Computing
Results 10897 - 10920 of 11260
Computing
Paperback. Constitutes the refereed proceedings of the 24th International Workshop on Computer Science Logic, CSL 2010, held in Brno, Czech Republic, in August 2010. This title covers such topics as automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and games, and more. Editor(s): Dawar, Anuj; Veith, Helmut. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 548 pages, 64 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 30. Weight in Grams: 862.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 548
- Condition
- New
- SKU
- V9783642152047
- ISBN
- 9783642152047
Paperback
Condition: New
€ 69.87
€ 69.87
Paperback. This book offers essays by friends, students and collaborators of Jacob T. Schwartz at the Courant Institute of Mathematical Sciences, on topics Schwartz explored: quantum theory, theory and practice of programming, robotics, motion planning and genomics. Editor(s): Davis, Martin; Schonberg, Edmond. Num Pages: 220 pages, 5 black & white tables, biography. BIC Classification: PBC; PHQ; TJFM1; UMX. Category: (G) General (US: Trade). Dimension: 235 x 155 x 12. Weight in Grams: 343.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 220
- Condition
- New
- SKU
- V9781447161707
- ISBN
- 9781447161707
Paperback
Condition: New
€ 121.27
€ 121.27
Paperback. Editor(s): Davis, Fred; Riedl, Rene; Leger, Pierre-Majorique; Brocke, Jan vom; Randolph, Adriane B. Series: Lecture Notes in Information Systems and Organisation. Num Pages: 232 pages, 37 black & white illustrations, 2 colour illustrations, biography. BIC Classification: JMM; KJQ; PSAN; UT; UYZM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 13. Weight in Grams: 367.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Birkhauser Verlag AG Switzerland
- Number of pages
- 232
- Condition
- New
- SKU
- V9783319187013
- ISBN
- 9783319187013
Paperback
Condition: New
€ 64.39
€ 64.39
Agent-Mediated Electronic Commerce: Designing Trading Strategies and M...
. Ed(S): David, Esther; Gerding, Enrico; Sarn...
Paperback. Contains 18 thoroughly refereed and revised papers detailing the advances in research on designing trading agents and mechanisms for agent-mediated e-commerce. This title includes papers that focus on topics such as individual agent behavior and agent interaction, collective behavior, mechanism design, and computational aspects. Editor(s): David, Esther; Gerding, Enrico; Sarne, David; Shehory, Onn. Series: Lecture Notes in Business Information Processing. Num Pages: 275 pages, 55 black & white illustrations, biography. BIC Classification: KJE; KJQ; UKR; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 15. Weight in Grams: 431.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 275
- Condition
- New
- SKU
- V9783642151163
- ISBN
- 9783642151163
Paperback
Condition: New
€ 67.05
€ 67.05
Information and Communication Technologies: International Conference, ...
. Ed(S): Das, Vinu V.; Vijaykumar, R.
paperback. A book that was constitutes the proceedings of the International Conference on Information and Communication Technologies that was held in Kochi, Kerala, India in September 2010. Editor(s): Das, Vinu V.; Vijaykumar, R. Series: Communications in Computer and Information Science. Num Pages: 704 pages, 359 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UND; UNF. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 38. Weight in Grams: 1066.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Number of pages
- 704
- Condition
- New
- Edition
- 2010th Edition
- SKU
- V9783642157653
- ISBN
- 9783642157653
Paperback
Condition: New
€ 132.30
€ 132.30
Advances in Power Electronics and Instrumentation Engineering
. Ed(S): Das, Vinu V.; Thankachan, Nessy; Deb...
Paperback. Constitutes the refereed proceedings of the Second International Conference on Advances in Power Electronics and Instrumentation Engineering, PEIE 2011, that was held at Nagpur, India. Editor(s): Das, Vinu V.; Thankachan, Nessy; Debnath, Narayan C. Series: Communications in Computer and Information Science. Num Pages: 146 pages, 94 black & white illustrations, 25 colour illustrations, biography. BIC Classification: UK; UMB; UMZ; UYF; UYQE. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 159.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 146
- Condition
- New
- SKU
- V9783642204982
- ISBN
- 9783642204982
Paperback
Condition: New
€ 65.28
€ 65.28
Paperback. A book that constitutes the proceedings of the International Conference on Power Electronics and Instrumentation Engineering that was held in Kochi, Kerala, India, in September 2010. Editor(s): Das, Vinu V.; Stephen, Janahallal; Thankachan, Nessy. Series: Communications in Computer and Information Science. Num Pages: 114 pages, 95 black & white illustrations, biography. BIC Classification: UK; UMB; UMZ; UT; UYF. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 8. Weight in Grams: 204.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 114
- Condition
- New
- SKU
- V9783642157387
- ISBN
- 9783642157387
Paperback
Condition: New
€ 65.57
€ 65.57
Paperback. Constitutes the refereed proceedings of the 11th European Conference on Computer Vision, ECCV 2010, that was held in Heraklion, Crete, Greece, in September 2010. Editor(s): Daniilidis, Kostas; Maragos, Petros; Paragios, Nikos (Imaging and Visualization Department Siemens Corporate Research, Princeton, USA). Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 611 pages, 282 black & white illustrations, biography. BIC Classification: UYQP; UYQV. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 25. Weight in Grams: 907.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 611
- Condition
- New
- SKU
- V9783642155666
- ISBN
- 9783642155666
Paperback
Condition: New
€ 131.26
€ 131.26
Paperback. Constitutes the refereed proceedings of the 11th European Conference on Computer Vision, ECCV 2010, that was held in Heraklion, Crete, Greece, in September 2010. Editor(s): Daniilidis, Kostas; Maragos, Petros; Paragios, Nikos (Imaging and Visualization Department Siemens Corporate Research, Princeton, USA). Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 815 pages, 393 black & white illustrations, biography. BIC Classification: UYQP; UYQV. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 30. Weight in Grams: 1179.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 815
- Condition
- New
- SKU
- V9783642155604
- ISBN
- 9783642155604
Paperback
Condition: New
€ 133.04
€ 133.04
Paperback. Constitutes the refereed proceedings of the 11th European Conference on Computer Vision, ECCV 2010, that was held in Heraklion, Crete, Greece, in September 2010. Editor(s): Daniilidis, Kostas; Maragos, Petros; Paragios, Nikos (Imaging and Visualization Department Siemens Corporate Research, Princeton, USA). Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 807 pages, 370 black & white illustrations, biography. BIC Classification: UYQP; UYQV. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 30. Weight in Grams: 1157.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 807
- Condition
- New
- SKU
- V9783642155543
- ISBN
- 9783642155543
Paperback
Condition: New
€ 132.89
€ 132.89
Paperback. Constitutes the refereed proceedings of the 11th European Conference on Computer Vision, ECCV 2010, that was held in Heraklion, Crete, Greece, in September 2010. Editor(s): Daniilidis, Kostas; Maragos, Petros; Paragios, Nikos (Imaging and Visualization Department Siemens Corporate Research, Princeton, USA). Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 813 pages, 340 black & white illustrations, biography. BIC Classification: UYQP; UYQV. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 30. Weight in Grams: 1179.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 813
- Condition
- New
- SKU
- V9783642155512
- ISBN
- 9783642155512
Paperback
Condition: New
€ 133.04
€ 133.04
Paperback. Constitutes the refereed proceedings of the 11th European Conference on Computer Vision, ECCV 2010, that was held in Heraklion, Crete, Greece, in September 2010. Editor(s): Daniilidis, Kostas; Maragos, Petros; Paragios, Nikos (Imaging and Visualization Department Siemens Corporate Research, Princeton, USA). Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 811 pages, 409 black & white illustrations, biography. BIC Classification: UYQP; UYQV. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 30. Weight in Grams: 1179.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 811
- Condition
- New
- SKU
- V9783642155482
- ISBN
- 9783642155482
Paperback
Condition: New
€ 133.04
€ 133.04
Paperback. Presents 12 case studies that use Rigorous Approach to Industrial Software Engineering, to construct, analyse, develop and apply formal specifications. This book covers application areas including government finance, case-based reasoning, multi-language text processing, object-oriented design patterns, and component-based software design. Editor(s): Dang Van, Hung; George, Chris; Janowski, Tomasz; Moore, Richard. Series: Formal Approaches to Computing & Information Technology (FACIT). Num Pages: 420 pages, biography. BIC Classification: UL; UMX; UMZ; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 21. Weight in Grams: 592.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 420
- Condition
- New
- SKU
- V9781852333591
- ISBN
- 9781852333591
Paperback
Condition: New
€ 127.54
€ 127.54
Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops
. Ed(S): Dan, Asit; Gittler, Frederic; Touman...
Paperback. Constitutes the refereed proceedings of the International Workshops on Service-Oriented Computing, ICSOC/ServiceWave 2009, held in Stockholm, Sweden. This book includes papers of workshops on trends in enterprise architecture research (TEAR 2009), SOA, globalization, people, and work (SG-PAW), service oriented computing in logistics, and more. Editor(s): Dan, Asit; Gittler, Frederic; Toumani, Farouk. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 584 pages, 177 black & white illustrations, biography. BIC Classification: UT. Category: (P) Professional & Vocational. Dimension: 234 x 157 x 33. Weight in Grams: 898.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 584
- Condition
- New
- SKU
- V9783642161315
- ISBN
- 9783642161315
Paperback
Condition: New
€ 131.19
€ 131.19
Paperback. Editor(s): Dal Lago, Ugo; Pena, Ricardo. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 170 pages, 34 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYD; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 9. Weight in Grams: 273.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 170
- Condition
- New
- SKU
- V9783319124650
- ISBN
- 9783319124650
Paperback
Condition: New
€ 52.22
€ 52.22
Paperback. Editor(s): Dabbous, W.; Diot, C. Series: IFIP Advances in Information and Communication Technology. Num Pages: 246 pages, biography. BIC Classification: TTBM; UKN. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 385.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1997
- Number of pages
- 246
- Condition
- New
- SKU
- V9781475763164
- ISBN
- 9781475763164
Paperback
Condition: New
€ 185.02
€ 185.02
Paperback. Constitutes the proceedings of the 20th Brazilian Symposium on Artificial Intelligence, SBIA 2010, held in Sao Bernardo do Campo, Brazil. Editor(s): Da Rocha Costa, Antonio Carlos; Vicari, Rosa Maria; Tonidandel, Flavio. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 313 pages, 100 black & white illustrations, biography. BIC Classification: UKN; UKR; UND; UNF; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 20. Weight in Grams: 499.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 313
- Condition
- New
- SKU
- V9783642161377
- ISBN
- 9783642161377
Paperback
Condition: New
€ 67.49
€ 67.49
Paperback. Constitutes the refereed proceedings of the 16th International Euro-Par Conference held in Ischia, Italy, in August/September 2010. Editor(s): D'Ambra, Pasqua; Guarracino, Mario; Talia, Domenico. Series: Lecture Notes in Computer Science. Num Pages: 544 pages, 222 black & white illustrations, biography. BIC Classification: UMB; UYA; UYD; UYF. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 30. Weight in Grams: 862.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 544
- Condition
- New
- SKU
- V9783642152900
- ISBN
- 9783642152900
Paperback
Condition: New
€ 69.87
€ 69.87
Hardback. Contains the proceedings of the GEO workshop, sponsored by the International Federation for Information Processing (IFIP), held in October 2000. This book includes seventeen papers providing an overview of the evolution of geometric centric modeling into shape modeling. Editor(s): Cugini, Umberto; Wozny, Michael J. Series: IFIP Advances in Information and Communication Technology. Num Pages: 250 pages, biography. BIC Classification: UGC. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 15. Weight in Grams: 537.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 250
- Condition
- New
- SKU
- V9780792376354
- ISBN
- 9780792376354
Hardback
Condition: New
€ 192.06
€ 192.06
Hardback. Presents the worldwide results in both the theory and practice of the testing of communicating systems. This volume provides a forum that brings together the substantial volume of research on the testing of communicating systems, ranging from conference testing through interoperability testing to performance and QoS testing. Editor(s): Csopaki, Gyula; Dibuz, Margit; Tarnay, Katalin. Series: IFIP Advances in Information and Communication Technology. Num Pages: 409 pages, biography. BIC Classification: TJK; UT. Category: (G) General (US: Trade); (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 23. Weight in Grams: 758.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 409
- Condition
- New
- SKU
- V9780792385813
- ISBN
- 9780792385813
Hardback
Condition: New
€ 197.31
€ 197.31
Hardback. Anil Nerode, Director of the Mathematics Institute at Cornell, USA, is one of the most influential logicians in the world. This volume, published in his honour, contains much new and significant work. The papers in general arose from a symposium held in his honour at Cornell University. Editor(s): Crossley, John N.; Remmel, Jeffrey B.; Shore, Richard A.; Sweedler, Moss E. Series: Progress in Computer Science and Applied Logic. Num Pages: 816 pages, biography. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 44. Weight in Grams: 1598.
- Format
- Hardback
- Publication date
- 1994
- Publisher
- Birkhauser Boston Inc United States
- Number of pages
- 816
- Condition
- New
- SKU
- V9780817636906
- ISBN
- 9780817636906
Hardback
Condition: New
€ 194.66
€ 194.66
Hardback. Contains a collection of papers addressing developments in the design of information retrieval systems using language modeling techniques. This book is primarily for researchers and advanced graduate students working in the language technologies areas of computer science or information science. Editor(s): Croft, W. Bruce; Lafferty, John. Series: The Information Retrieval Series. Num Pages: 246 pages, biography. BIC Classification: UN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 15. Weight in Grams: 548.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 246
- Condition
- New
- SKU
- V9781402012167
- ISBN
- 9781402012167
Hardback
Condition: New
€ 126.90
€ 126.90
Paperback. Constitutes the refereed proceedings of the 5th European Conference on Software Architecture, ECSA 2011, held in Essen, Germany, in September 2011. This title presents the papers that are organized in topical sections on requirements and software architectures; software architecture, components, and compositions; and, ADLs and metamodels. Editor(s): Crnkovic, Ivica; Gruhn, Volker; Book, Matthias. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 448 pages, 103 black & white illustrations, 52 colour illustrations, biography. BIC Classification: UKN; UMX; UMZ; UNH; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 680.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 448
- Condition
- New
- SKU
- V9783642237973
- ISBN
- 9783642237973
Paperback
Condition: New
€ 68.68
€ 68.68
paperback. Editor(s): Cremers, Daniel; Reid, Ian; Saito, Hideo; Yang, Ming-Hsuan. Series: Lecture Notes in Computer Science. Num Pages: 703 pages, 255 black & white illustrations, biography. BIC Classification: UBH; UYQP; UYQV; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 36. Weight in Grams: 1062.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 2015th Edition
- Number of pages
- 703
- Condition
- New
- SKU
- V9783319168135
- ISBN
- 9783319168135
Paperback
Condition: New
€ 67.33
€ 67.33