Computing
Results 4201 - 4220 of 11261
Computing
Paperback. Collects the articles that cover some of the main topics of Christoph Walther's research interests, such as formal modeling, theorem proving, induction, and termination analysis, and give a good perspective on the formal verification of the correctness of software systems. Editor(s): Siegler, Simon; Wasser, Nathan. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 145 pages, 30 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 231 x 152 x 10. Weight in Grams: 259.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 145
- Condition
- New
- SKU
- V9783642171710
- ISBN
- 9783642171710
Paperback
Condition: New
€ 65.93
€ 65.93
Paperback. Presents foundational and practical issues in programming languages and systems and features in the following areas: semantics, logics, foundational theory, design of languages and foundational calculi, type systems, compilers, interpreters, abstract machines, program derivation, analysis, transformation, software security, and safety. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 440 pages, 48 black & white illustrations, biography. BIC Classification: UMX; UMZ; UR; UYA. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 25. Weight in Grams: 699.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 440
- Condition
- New
- SKU
- V9783642171635
- ISBN
- 9783642171635
Paperback
Condition: New
€ 68.80
€ 68.80
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. All modern industries rely on large and complex software systems. This survey presents the outcome of the 8th Symposium on Formal Methods for Components and Objects, held in Eindhoven, The Netherlands, in November 2009. Editor(s): Boer, Frank S. de; Bonsangue, Marcello M. (Leiden University); Hallerstede, Stefan; Leuschel, Michael. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 339 pages, 56 black & white illustrations, 55 colour illustrations, biography. BIC Classification: UL; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 15. Weight in Grams: 499.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 339
- Condition
- New
- SKU
- V9783642170706
- ISBN
- 9783642170706
Paperback
Condition: New
€ 67.49
€ 67.49
Paperback. Constitutes the revised papers of the 5th European Conference on Smart Sensing and Context, EuroSSC 2010, held in Passau, Germany, in November 2010. This volume includes papers that address topics such as applications; sensing; systems support; and higher level modeling. Editor(s): Lukowicz, Paul; Kunze, Kai; Kortuem, Gerd. Series: Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications. Num Pages: 203 pages, 75 black & white illustrations, biography. BIC Classification: UBJ; UKN; UKR; UMZ; UT; UYZ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 10. Weight in Grams: 340.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 203
- Condition
- New
- SKU
- V9783642169816
- ISBN
- 9783642169816
Paperback
Condition: New
€ 66.46
€ 66.46
Paperback. Constitutes the proceedings of the Second International Workshop on Motion in Games, held in Utrecht, The Netherlands, in November 2010. This book includes papers that are organized in topical sections on body simulation, learning movements, body control, motion planning, physically-based character control, crowds and formation, and geometry. Editor(s): Boulic, Ronan; Chrysanthou, Yiorgos; Komura, Taku. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 436 pages, 210 black & white illustrations, biography. BIC Classification: UGK; UGN; UKR; UMB; UYQ; UYZ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 25. Weight in Grams: 676.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 436
- Condition
- New
- SKU
- V9783642169571
- ISBN
- 9783642169571
Paperback
Condition: New
€ 68.66
€ 68.66
Advances in Artificial Intelligence - IBERAMIA 2010
. Ed(S): Kuri-Morales, Angel; Simari, Guiller...
Paperback. Constitutes the refereed proceedings of the 12th Ibero-American Conference on Artificial Intelligence, IBERAMIA 2010, held in Bahia Blanca, Argentina, in November 2010. Editor(s): Kuri-Morales, Angel; Simari, Guillermo R. Series: Lecture Notes in Computer Science. Num Pages: 604 pages, 174 black & white illustrations, biography. BIC Classification: UGK; UKR; UYQL; UYQP. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 33. Weight in Grams: 916.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 604
- Condition
- New
- SKU
- V9783642169519
- ISBN
- 9783642169519
Paperback
Condition: New
€ 131.31
€ 131.31
Paperback. Editor(s): Ruyter, Boris de; Wichert, Reiner; Keyson, David V.; Markopoulos, Panos; Streitz, Norbert A.; Divitini, Monica; Georgantas, Nikolaos; Gomez, Antonio Mana. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and Hci. Num Pages: 371 pages. BIC Classification: UBJ; UKN; UKR; UMZ; UYQ; UYZ. Category: (P) Professional & Vocational. .
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 371
- Condition
- New
- SKU
- V9783642169168
- ISBN
- 9783642169168
Paperback
Condition: New
€ 65.96
€ 65.96
Formal Methods and Software Engineering: 12th International Conference...
. Ed(S): Dong, Jin Song; Zhu, Huibiao
paperback. Editor(s): Dong, Jin Song; Zhu, Huibiao. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 712 pages, 202 black & white illustrations, biography. BIC Classification: UKN; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 28. Weight in Grams: 1016.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Edition
- 2010th Edition
- Number of pages
- 712
- Condition
- New
- SKU
- V9783642169007
- ISBN
- 9783642169007
Paperback
Condition: New
€ 131.97
€ 131.97
Paperback. Editor(s): Dix, Jurgen; Fisher, Michael; Novak, Peter. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 197 pages, 40 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 13. Weight in Grams: 318.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 197
- Condition
- New
- SKU
- V9783642168666
- ISBN
- 9783642168666
Paperback
Condition: New
€ 66.32
€ 66.32
Modelling Autonomic Communication Environments: 5th IEEE International...
. Ed(S): Brennan, Rob; Fleck, Joel, Ii; Meer,...
paperback. Editor(s): Brennan, Rob; Fleck, Joel, II; Meer, Sven van der. Series: Lecture Notes in Computer Science. Num Pages: 125 pages, 46 black & white illustrations, biography. BIC Classification: UKR; UMB; UMX; UMZ; UY. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 10. Weight in Grams: 218.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Number of pages
- 125
- Condition
- New
- Edition
- 2010th Edition
- SKU
- V9783642168352
- ISBN
- 9783642168352
Paperback
Condition: New
€ 65.66
€ 65.66
Paperback. Editor(s): Echizen, Isao; Kunihiro, Noboru; Sasaki, Ryoichi. Series: Lecture Notes in Computer Science / Security and Cryptology. Num Pages: 371 pages, 83 black & white illustrations, biography. BIC Classification: UBJ; UKN; UMB; URY; UYZM. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 23. Weight in Grams: 576.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 371
- Condition
- New
- SKU
- V9783642168246
- ISBN
- 9783642168246
Paperback
Condition: New
€ 68.00
€ 68.00
Paperback. Editor(s): Ors Yalcin, Siddika Berna. Series: Lecture Notes in Computer Science / Security and Cryptology. Num Pages: 271 pages, 72 black & white illustrations, biography. BIC Classification: TJKR; UKN; UMB; URY; UYQE; UYZM. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 18. Weight in Grams: 440.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 271
- Condition
- New
- SKU
- V9783642168215
- ISBN
- 9783642168215
Paperback
Condition: New
€ 67.12
€ 67.12
Paperback. Editor(s): Proper, Erik; Lankhorst, Marc; Schonherr, Marten; Barjis, Joseph; Overbeek, Sietse. Series: Lecture Notes in Business Information Processing. Num Pages: 101 pages, 25 black & white illustrations, biography. BIC Classification: KJQ; UKR; UMZ; UY. Category: (P) Professional & Vocational. Dimension: 231 x 152 x 8. Weight in Grams: 177.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 101
- Condition
- New
- SKU
- V9783642168185
- ISBN
- 9783642168185
Paperback
Condition: New
€ 65.40
€ 65.40
Paperback. Constitutes the refereed proceedings of the 9th Mexican International Conference on Artificial Intelligence, MICAI 2010, that was held in Pachuca, Mexico. Editor(s): Sidorov, Grigori; Hernandez Aguirre, Arturo; Reyes-Garcia, Carlos Alberto. Series: Lecture Notes in Computer Science. Num Pages: 515 pages, 200 black & white illustrations, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 152 x 28. Weight in Grams: 780.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 515
- Condition
- New
- SKU
- V9783642167720
- ISBN
- 9783642167720
Paperback
Condition: New
€ 69.34
€ 69.34
Paperback. Constitutes the refereed proceedings of the 9th Mexican International Conference on Artificial Intelligence, MICAI 2010, that was held in Pachuca, Mexico. Editor(s): Sidorov, Grigori; Hernandez Aguirre, Arturo; Reyes-Garcia, Carlos Alberto. Series: Lecture Notes in Computer Science. Num Pages: 479 pages, 190 black & white illustrations, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 28. Weight in Grams: 739.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 479
- Condition
- New
- SKU
- V9783642167607
- ISBN
- 9783642167607
Paperback
Condition: New
€ 69.07
€ 69.07
Paperback. A book that constitutes the refereed proceedings of the First International Conference on Computational Systems-Biology and Bioinformatics, CSBio 2010, that was held in Bangkok, Thailand. Editor(s): Chan, Jonathan H.; Ong, Yew Soon; Cho, Sung-Bae. Series: Communications in Computer and Information Science. Num Pages: 227 pages, 91 black & white illustrations, biography. BIC Classification: PSA; UGK; UMB; UNF; UYQP. Category: (P) Professional & Vocational. Dimension: 237 x 186 x 14. Weight in Grams: 367.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 227
- Condition
- New
- SKU
- V9783642167492
- ISBN
- 9783642167492
Paperback
Condition: New
€ 66.64
€ 66.64
Computational Collective Intelligence. Technologies and Applications: ...
. Ed(S): Pan, Jeng-Shyang; Chen, Shyi-Ming; N...
paperback. Constitutes the refereed proceedings of the Second International Conference on Computational Collective Intelligence, ICCCI 2010, that was held in Kaohsiung, Taiwan. Editor(s): Pan, Jeng-Shyang; Chen, Shyi-Ming; Nguyen, Ngoc Thanh. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 514 pages, 257 black & white illustrations, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 239 x 155 x 28. Weight in Grams: 726.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Number of pages
- 514
- Condition
- New
- Edition
- 2010th Edition
- SKU
- V9783642167317
- ISBN
- 9783642167317
Paperback
Condition: New
€ 68.98
€ 68.98
Paperback. A book that constitutes the proceedings of the 4th International Conference on Advances in Information Technology, IAIT 2010, that was held in Bangkok, Thailand. Editor(s): Papasratorn, Borworn; Lavangnananda, Kittichai; Chutimaskul, Wichian; Vanijja, Vajirasak. Series: Communications in Computer and Information Science. Num Pages: 215 pages, 88 black & white illustrations, biography. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 13. Weight in Grams: 340.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 215
- Condition
- New
- SKU
- V9783642166983
- ISBN
- 9783642166983
Paperback
Condition: New
€ 66.46
€ 66.46
Paperback. Constitutes the refereed proceedings of the Second International Conference on Computational Collective Intelligence, ICCCI 2010, that was held in Kaohsiung, Taiwan. Editor(s): Pan, Jeng-Shyang; Chen, Shyi-Ming; Nguyen, Ngoc Thanh. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 472 pages, 269 black & white illustrations, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 25. Weight in Grams: 717.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 472
- Condition
- New
- SKU
- V9783642166952
- ISBN
- 9783642166952
Paperback
Condition: New
€ 68.92
€ 68.92