Computer science
Results 7993 - 8016 of 16995
Computer science
Hardback. Editor(s): Garas, Antonios. Series: Understanding Complex Systems. Num Pages: 245 pages, 63 black & white illustrations, 12 colour illustrations, biography. BIC Classification: GPFC; PBW; TJK; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 537.
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 245
- Condition
- New
- SKU
- V9783319239453
- ISBN
- 9783319239453
Hardback
Condition: New
€ 65.14
€ 65.14
Hardcover. Bottlenecks in signal distribution systems are becoming more serious and set a limit on achievable speeds. This book examines methods to optimize performance, featuring a detailed discussion of a "taxonomy of problem formulation". Num Pages: 262 pages, Illustrations. BIC Classification: TJK; UKR; UYS. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 242 x 165 x 28. Weight in Grams: 544.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- John Wiley & Sons Inc United States
- Edition
- 1st Edition
- Number of pages
- 262
- Condition
- New
- SKU
- V9780471293668
- ISBN
- 9780471293668
Hardback
Condition: New
€ 173.84
€ 173.84
Paperback. Num Pages: 368 pages, black & white illustrations, bibliography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 210 x 148 x 20. Weight in Grams: 445.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer Fachmedien Wiesbaden Germany
- Number of pages
- 368
- Condition
- New
- SKU
- V9783528053840
- ISBN
- 9783528053840
Paperback
Condition: New
€ 69.66
€ 69.66
Paperback. Editor(s): Endres-Niggemeyer, Brigitte; Herrmann, Thomas A.; Kobsa, Alfred; Rosner, Dietmar. Series: Informatik-Fachberichte / Subreihe Kunstliche Intelligenz. Num Pages: 175 pages, 8 black & white illustrations, biography. BIC Classification: KCP; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 242 x 170 x 10. Weight in Grams: 345.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 175
- Condition
- New
- SKU
- V9783540524137
- ISBN
- 9783540524137
Paperback
Condition: New
€ 79.01
€ 79.01
Paperback. Constitutes the proceedings of the First International Conference on Interactive Theorem proving, ITP 2010, held in Edinburgh, UK, in July 2010. This title features the papers that are organized in topics such as counterexample generation, hybrid system verification, translations from one formalism to another, and cooperation between tools. Editor(s): Kaufmann, Matt; Paulson, Lawrence C. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 495 pages, 82 black & white illustrations, biography. BIC Classification: MJCM; PBCD; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 28. Weight in Grams: 771.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 495
- Condition
- New
- SKU
- V9783642140518
- ISBN
- 9783642140518
Paperback
Condition: New
€ 126.58
€ 126.58
Paperback. Editor(s): Blazy, Sandrine; Paulin-Mohring, Christine; Pichardie, David. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 510 pages, 73 black & white illustrations, biography. BIC Classification: PBCD; UM; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 26. Weight in Grams: 777.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 510
- Condition
- New
- SKU
- V9783642396335
- ISBN
- 9783642396335
Paperback
Condition: New
€ 65.93
€ 65.93
paperback. Editor(s): Beringer, Lennart; Felty, Amy. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 430 pages, 37 black & white illustrations, biography. BIC Classification: UMZ; UR; UYA; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 603.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012th Edition
- Number of pages
- 430
- Condition
- New
- SKU
- V9783642323461
- ISBN
- 9783642323461
Paperback
Condition: New
€ 65.52
€ 65.52
Paperback. Constitutes the refereed proceedings of the Second International onference on Interactive Theorem proving, ITP 2011 that was held in Berg en Dal, The Netherlands. Editor(s): Eekelen, Marko van; Geuvers, Herman; Schmaltz, Julien; Wiedijk, Freek. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 394 pages, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 605.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 394
- Condition
- New
- SKU
- V9783642228629
- ISBN
- 9783642228629
Paperback
Condition: New
€ 65.24
€ 65.24
Paperback. Editor(s): Urban, Christian; Zhang, Xingyuan. Series: Lecture Notes in Computer Science. Num Pages: 480 pages, 63 black & white illustrations, biography. BIC Classification: UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 735.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 480
- Condition
- New
- SKU
- V9783319221014
- ISBN
- 9783319221014
Paperback
Condition: New
€ 65.37
€ 65.37
Paperback. Editor(s): Klein, Gerwin; Gamboa, Ruben. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 577 pages, 90 black & white illustrations, biography. BIC Classification: UMB; UMZ; UR; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 878.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 577
- Condition
- New
- SKU
- V9783319089690
- ISBN
- 9783319089690
Paperback
Condition: New
€ 66.38
€ 66.38
Paperback. Editor(s): Merz, Stephan; Blanchette, Jasmin Christian. Series: Lecture Notes in Computer Science. Num Pages: 519 pages, 88 black & white illustrations, biography. BIC Classification: UGK; UMB; UMZ; UYA; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 27. Weight in Grams: 789.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 519
- Condition
- New
- SKU
- V9783319431437
- ISBN
- 9783319431437
Paperback
Condition: New
€ 65.69
€ 65.69
Interactive Technologies and Sociotechnical Systems
. Ed(S): Zha, Hongbin; Pan, Zhigeng; Thwaites...
paperback. This book constitutes the refereed proceedings of the 13th International Conference on Interactive Technologies and Sociotechnical Systems, VSMM 2006, held in Xi'an, China in October 2006. The 59 revised full papers presented together with one keynote paper were carefully reviewed and selected from more than 180 submissions. Editor(s): Zha, Hongbin; Pan, Zhigeng; Thwaites, Hal; Addison, Alonzo C.; Forte, Maurizio. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 563 pages, biography. BIC Classification: UYV. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 29. Weight in Grams: 786.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2006th Edition
- Number of pages
- 563
- Condition
- New
- SKU
- V9783540463047
- ISBN
- 9783540463047
Paperback
Condition: New
€ 66.86
€ 66.86
Paperback. Constitutes the refereed post-proceedings of the 12th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2005. This book features the papers that are organized in topical sections on teams and groups, sketches and templates, away from the desktop, migration and mobility, analysis tools, and more. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 288 pages, biography. BIC Classification: UYD. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 15. Weight in Grams: 405.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 12
- Number of pages
- 288
- Condition
- New
- SKU
- V9783540341451
- ISBN
- 9783540341451
Paperback
Condition: New
€ 66.65
€ 66.65
Paperback. Constitutes the refereed proceedings of the 15th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2008, held in Kingston, Canada, in July 2008. This book features 21 revised full papers and 10 late breaking and experience report papers. Series: Lecture Notes in Computer Science. Num Pages: 323 pages, biography. BIC Classification: UG; UKN; UMB; UMZ; UND; UYZ. Category: (P) Professional & Vocational. Dimension: 237 x 157 x 19. Weight in Grams: 484.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 323
- Condition
- New
- SKU
- V9783540705680
- ISBN
- 9783540705680
Paperback
Condition: New
€ 64.59
€ 64.59
Paperback. Constitutes the thoroughly refereed post-proceedings of the 13th International Workshop on Design, Specification, and Verification of Interactive Systems, DSVIS 2006, held in Dublin, Ireland in July 2006. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 287 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 444.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 287
- Condition
- New
- SKU
- V9783540695530
- ISBN
- 9783540695530
Paperback
Condition: New
€ 64.29
€ 64.29
Paperback. These papers cover the design, specification, and verification of interactive systems from the human-computer interaction point of view. and the use of models in supporting design and development of interactive systems and user interfaces for ubiquitous computing. Series: Lecture Notes in Computer Science. Num Pages: 284 pages, biography. BIC Classification: UYZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 15. Weight in Grams: 402.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 284
- Condition
- New
- SKU
- V9783540002666
- ISBN
- 9783540002666
Paperback
Condition: New
€ 67.04
€ 67.04
Paperback. Constitutes the refereed proceedings of the 5th International Conference on Interactive Digital Storytelling, ICIDS 2012, San Sebastian, Spain, November 2012. Editor(s): Oyarzun, David; Peinado, Federico; Young, R. Michael; Elizalde, Ane; Mendez, Gonzalo. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 231 pages, 38 black & white illustrations, biography. BIC Classification: UG; UNH; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 332.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 231
- Condition
- New
- SKU
- V9783642348501
- ISBN
- 9783642348501
Paperback
Condition: New
€ 58.52
€ 58.52
Paperback. Constitutes the refereed proceedings of the 4th International Conference on Interactive Digital Storytelling, ICIDS 2011, held in Vancouver, Canada, in November/December 2011. Editor(s): Si, Mei; Thue, David; Andre, Elisabeth; Lester, James; Tanenbaum, Joshua; Zammitto, Veronica. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 398 pages, 76 black & white illustrations, biography. BIC Classification: JNV; UG; UNH; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 543.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 398
- Condition
- New
- SKU
- V9783642252884
- ISBN
- 9783642252884
Paperback
Condition: New
€ 64.61
€ 64.61
Paperback. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 375 pages, biography. BIC Classification: AB; H; JNV; UG; UYQL; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 567.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 375
- Condition
- New
- SKU
- V9783642106422
- ISBN
- 9783642106422
Paperback
Condition: New
€ 64.70
€ 64.70
Paperback. Editor(s): Louchart, Sandy; Schoenau-Fog, Henrik; Bruni, Luis Emilio; Baceviciute, Sarune. Series: Lecture Notes in Computer Science. Num Pages: 433 pages, 73 colour illustrations, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 664.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 433
- Condition
- New
- SKU
- V9783319270357
- ISBN
- 9783319270357
Paperback
Condition: New
€ 64.97
€ 64.97
Paperback. Editor(s): Mitchell, Alex; Fernandez-Vara, Clara; Thue, David. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 284 pages, 68 black & white illustrations, biography. BIC Classification: AB; H; UG; UKP; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 438.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 284
- Condition
- New
- SKU
- V9783319123363
- ISBN
- 9783319123363
Paperback
Condition: New
€ 63.69
€ 63.69
paperback. Editor(s): Koenitz, Hartmut; Sezen, Tonguc Ibrahim; Ferri, Gabriele; Haahr, Mads; Sezen, Digdem; Catak, Guven. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 300 pages, 78 black & white illustrations, biography. BIC Classification: AB; H; UG; UKP; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 16. Weight in Grams: 462.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 2013th Edition
- Number of pages
- 300
- Condition
- New
- SKU
- V9783319027555
- ISBN
- 9783319027555
Paperback
Condition: New
€ 64.06
€ 64.06
Paperback. Editor(s): Nack, Frank; Gordon, Andrew S. Series: Lecture Notes in Computer Science. Num Pages: 485 pages, 92 black & white illustrations, biography. BIC Classification: UG; UNH; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 741.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2016
- Number of pages
- 485
- Condition
- New
- SKU
- V9783319482781
- ISBN
- 9783319482781
Paperback
Condition: New
€ 65.58
€ 65.58
Paperback. Editor(s): Giardina, Max. Series: NATO Asi Series / NATO Asi Subseries F:. Num Pages: 254 pages, biography. BIC Classification: UMZ; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 242 x 170 x 14. Weight in Grams: 463.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1992
- Number of pages
- 254
- Condition
- New
- SKU
- V9783642777073
- ISBN
- 9783642777073
Paperback
Condition: New
€ 122.01
€ 122.01