Computer science
Results 3145 - 3168 of 3369
Computer science
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
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
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
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. 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. 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
€ 192.67
€ 192.67
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
Paperback. Editor(s): Cremers, Daniel; Magnor, Marcus A.; Oswald, Martin R.; Zelnik-Manor, Lihi. Series: Lecture Notes in Computer Science. Num Pages: 213 pages, 20 black & white illustrations, 95 colour illustrations, biography. BIC Classification: UMB; UML; UYQV; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 340.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 213
- Condition
- New
- SKU
- V9783642248696
- ISBN
- 9783642248696
Paperback
Condition: New
€ 83.12
€ 83.12
Paperback / so. Editor(s): Crameri, Mario; Heck, Uwe. Num Pages: 274 pages, black & white illustrations, black & white tables, bibliography. BIC Classification: KJMV3; UB; UY. Category: (G) General (US: Trade). Dimension: 240 x 170 x 15. Weight in Grams: 501.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Vieweg+teubner Verlag United States
- Number of pages
- 274
- Condition
- New
- SKU
- V9783834808455
- ISBN
- 9783834808455
Paperback
Condition: New
€ 69.66
€ 69.66
Paperback. Constitutes the refereed proceedings of the 20th Irish Conference on Artificial Intelligence and Cognitive Science, AICS 2009, held in Dublin, Ireland in August 2009. Editor(s): Coyle, Lorcan; Freyne, Jill. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 293 pages, 108 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UND; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 152 x 15. Weight in Grams: 458.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 293
- Condition
- New
- SKU
- V9783642170799
- ISBN
- 9783642170799
Paperback
Condition: New
€ 67.23
€ 67.23
Paperback. Constitutes the refereed proceedings of the Third International Symposium on End-User Development, IS-EUD 2011, that was held in Torre Canne, Italy. This title contains 2 keynote speeches, 14 doctoral consortia, and information on 3 workshops. Editor(s): Costabile, Maria Francesca; Dittrich, Yvonne; Fischer, Gerhard; Piccinno, Antonio. Series: Lecture Notes in Computer Science. Num Pages: 426 pages, 11 black & white illustrations, 84 colour illustrations, biography. BIC Classification: UGD; UKP; UMZ; 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
- Number of pages
- 426
- Condition
- New
- SKU
- V9783642215292
- ISBN
- 9783642215292
Paperback
Condition: New
€ 68.68
€ 68.68
Models for Parallel and Distributed Computation: Theory, Algorithmic T...
. Ed(S): Correa, Ricardo; Dutra, Ines de Cast...
hardcover. Focuses on advanced techniques used in the design of efficient parallel programs. This book presents a wide variety of different models of parallel and distributed computation and applications of these models to the design of efficient algorithms to solve numerical and non-numerical problems. It is suitable for students of computer science. Editor(s): Correa, Ricardo; Dutra, Ines De Castro; Fiallos, Mario; Silva, Luiz Fernando Gomes. Series: Applied Optimization. Num Pages: 323 pages, biography. BIC Classification: UYFP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 20. Weight in Grams: 664.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Boston Incorporated United States
- Number of pages
- 323
- Condition
- New
- Edition
- 2002nd Edition
- SKU
- V9781402006234
- ISBN
- 9781402006234
Hardback
Condition: New
€ 191.87
€ 191.87
Paperback. Constitutes the refereed proceedings of the 4th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2011, held in Winchester, UK, in August/September 2011. This book also includes 6 papers from the CALCO-tools Workshop, colocated with CALCO 2011 and dedicated to tools based on algebraic and/or coalgebraic principles. Editor(s): Corradini, Andrea; Klin, Bartek; Cirstea, Corina. Series: Lecture Notes in Computer Science. Num Pages: 420 pages, 112 black & white illustrations, 6 colour illustrations, biography. BIC Classification: UM; UYA; UYAM; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 612.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 420
- Condition
- New
- SKU
- V9783642229435
- ISBN
- 9783642229435
Paperback
Condition: New
€ 68.24
€ 68.24
Paperback. Contains papers from the 5th International Conference on Web Information Systems and Technologies, WEBIST 2009, held in Lisbon, Portugal, in March 2009, organized by the Institute for Systems and Technologies of Information, Control and Communication, in collaboration with ACM SIGMIS and co-sponsored by the Workflow Management Coalition (WFMC). Editor(s): Cordeiro, Jose; Filipe, Joaquim. Series: Lecture Notes in Business Information Processing. Num Pages: 311 pages, 110 black & white illustrations, biography. BIC Classification: KJE; KJQ; UKR; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 157 x 18. Weight in Grams: 499.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 311
- Condition
- New
- SKU
- V9783642124358
- ISBN
- 9783642124358
Paperback
Condition: New
€ 127.48
€ 127.48
Hardback. Contains chapters which cover topics such as how to collect traces, emulate instruction sets, simulate microprocessors using execution-driven techniques, evaluate memory hierarchies, apply statistical sampling to simulation, and how to augment simulation with performance bound models. Editor(s): Conte, Thomas M.; Gimarc, Charles E. Num Pages: 244 pages, biography. BIC Classification: UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 15. Weight in Grams: 542.
- Format
- Hardback
- Publication date
- 1995
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 244
- Condition
- New
- SKU
- V9780792395935
- ISBN
- 9780792395935
Hardback
Condition: New
€ 126.64
€ 126.64