.png){kind=logo}
Computing
Results 11665 - 11688 of 23512
Computing
Paperback. Presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008. This book includes sections on programming language analysis, verification, real-time and concurrency, grand challenge problems, fm practice, runtime monitoring and analysis, and constraint analysis, and design. Series: Lecture Notes in Computer Science. Num Pages: 449 pages, biography. BIC Classification: UKR; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 694.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 449
- Condition
- New
- SKU
- V9783540682356
- ISBN
- 9783540682356
Paperback
Condition: New
€ 68.56
€ 68.56
Paperback. Constitutes the refereed proceedings of the 8th International Conference on Agile Processes in Software Engineering and eXtreme Programming, XP 2008, held in Limerick, Ireland, in June 2008. Series: Lecture Notes in Business Information Processing. Num Pages: 272 pages, biography. BIC Classification: KJMV6; UKR; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 860.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 272
- Condition
- New
- SKU
- V9783540682547
- ISBN
- 9783540682547
Paperback
Condition: New
€ 69.67
€ 69.67
Paperback. Constitutes the thoroughly refereed post-conference proceedings of the 3rd International Conference on Web Information Systems and Technologies, held in Barcelona, Spain, in March 2007. Series: Lecture Notes in Business Information Processing. Num Pages: 360 pages, biography. BIC Classification: KJE; KJQ; UKR; UND; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 557.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 360
- Condition
- New
- SKU
- V9783540682578
- ISBN
- 9783540682578
Paperback
Condition: New
€ 67.64
€ 67.64
Paperback. Constitutes the refereed proceedings of the Indian Conference on Computer Vision, Graphics and Image Processing, ICVGIP 2006, held in Madurai, India, December 2006. This book offers coverage that includes image restoration and super-resolution, image filtering, visualization, tracking and surveillance, and face-, gesture-, and object-recognition. Series: Lecture Notes in Computer Science. Num Pages: 984 pages, biography. BIC Classification: UYQV. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 49. Weight in Grams: 2990.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 984
- Condition
- New
- SKU
- V9783540683018
- ISBN
- 9783540683018
Paperback
Condition: New
€ 137.98
€ 137.98
Paperback. A survey that presents the outcome of the eSTREAM Project, which was launched in 2004 as part of ECRYPT, the European Network of Excellence in Cryptology (EU Framework VI). It describes the successful of the submitted designs and, over 16 chapters, provides specifications of the ciphers that reached the final phase of the eSTREAM project. Series: Lecture Notes in Computer Science. Num Pages: 300 pages, biography. BIC Classification: UMB. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 16. Weight in Grams: 474.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 300
- Condition
- New
- SKU
- V9783540683506
- ISBN
- 9783540683506
Paperback
Condition: New
€ 67.07
€ 67.07
Paperback. This book constitutes the refereed proceedings of the 5th International Workshop on System Analysis and Modelling, SAM 2006, held in Kaiserslautern, Germany in May/June 2006. The 14 revised full papers cover language profiles, evolution of development languages, model-driven development, and language implementation. Series: Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications. Num Pages: 239 pages, biography. BIC Classification: UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 348.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 239
- Condition
- New
- SKU
- V9783540683711
- ISBN
- 9783540683711
Paperback
Condition: New
€ 66.95
€ 66.95
Paperback. Editor(s): Ras, Zbigniew W.; Tsumoto, Shusaku; Zighed, Djamel A. Series: Lecture Notes in Computer Science. Num Pages: 275 pages, biography. BIC Classification: UNF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 439.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 275
- Condition
- New
- SKU
- V9783540684152
- ISBN
- 9783540684152
Paperback
Condition: New
€ 66.95
€ 66.95
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 301 pages, biography. BIC Classification: UYZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 16. Weight in Grams: 435.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 301
- Condition
- New
- SKU
- V9783540685005
- ISBN
- 9783540685005
Paperback
Condition: New
€ 67.09
€ 67.09
Paperback. Constitutes the refereed proceedings of the 20th IFIP TC 6/WG 6.1 International Conference on Testing Communicating Systems, TestCom 2008, and the 8th International Workshop on Formal Approaches to Testing of Software, FATES 2008, jointly held in Tokyo, Japan, in June 2008. Series: Lecture Notes in Computer Science. Num Pages: 315 pages, biography. BIC Classification: TJK; UKN; UKR; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 498.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 315
- Condition
- New
- SKU
- V9783540685142
- ISBN
- 9783540685142
Paperback
Condition: New
€ 67.27
€ 67.27
hardcover. Among all computer-generated mathematical images, Julia sets of rational maps occupy one of the most prominent positions. This accessible book summarizes the present knowledge about the computational properties of Julia sets in a self-contained way. Series: Algorithms and Computation in Mathematics. Num Pages: 164 pages, biography. BIC Classification: PBF; UMB. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 241 x 158 x 15. Weight in Grams: 366.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2009th Edition
- Number of pages
- 164
- Condition
- New
- SKU
- V9783540685463
- ISBN
- 9783540685463
Hardback
Condition: New
€ 70.04
€ 70.04
Paperback. Editor(s): Malony, Allen D. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 460 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 23. Weight in Grams: 712.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 460
- Condition
- New
- SKU
- V9783540685548
- ISBN
- 9783540685548
Paperback
Condition: New
€ 68.68
€ 68.68
Hardback. Num Pages: 216 pages, 15 black & white illustrations, 49 colour illustrations, 4 black & white tables. BIC Classification: UY. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 13. Weight in Grams: 408.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 216
- Condition
- New
- SKU
- V9783540685616
- ISBN
- 9783540685616
Hardback
Condition: New
€ 67.15
€ 67.15
Paperback. Constitutes the thoroughly refereed joint post-workshop proceedings of two co-located events: the Second International Workshop on Classification of Events, Activities and Relationships, CLEAR 2007, and the 5th Rich Transcription 2007 Meeting Recognition evaluation, RT 2007, held in succession in Baltimore, MD, USA, in May 2007. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 571 pages, biography. BIC Classification: UG; UMB; UYQP. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 878.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 571
- Condition
- New
- SKU
- V9783540685845
- ISBN
- 9783540685845
Paperback
Condition: New
€ 69.78
€ 69.78
Hardback. Clear and insightful, this introduction to a new discipline of knowledge deals with modeling, recognition and control of human emotions. It uses mathematical models to analyze the artificial control of emotion and the interaction between emotion and logic. Series: Studies in Computational Intelligence. Num Pages: 326 pages, 82 black & white illustrations, 56 colour illustrations, 32 black & white tables, biograp. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 741.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 326
- Condition
- New
- SKU
- V9783540686064
- ISBN
- 9783540686064
Hardback
Condition: New
€ 196.07
€ 196.07
Paperback. Constitutes the thoroughly refereed post-conference proceedings of the 4th Asia Information Retrieval Symposium, AIRS 2008, held in Harbin, China, in May 2008. Series: Lecture Notes in Computer Science. Num Pages: 704 pages, biography. BIC Classification: UKR; UMB; UNF; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 36. Weight in Grams: 1074.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 704
- Condition
- New
- SKU
- V9783540686330
- ISBN
- 9783540686330
Paperback
Condition: New
€ 131.90
€ 131.90
Paperback. Constitutes the proceedings of the 4th International Workshop on Cooperation and Interoperability, Architecture and Ontology, CIAO!, and the 4th International Workshop on Enterprise and Organizational Modeling and Simulation, EOMAS, held at CAiSE 2008 in Montpellier, France, in June 2008. Series: Lecture Notes in Business Information Processing. Num Pages: 195 pages, biography. BIC Classification: KJQ; UKR; UMZ; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 332.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 195
- Condition
- New
- SKU
- V9783540686439
- ISBN
- 9783540686439
Paperback
Condition: New
€ 66.95
€ 66.95
Paperback. This Festschrift volume, published in honor of Ugo Montanari on the occasion of his 65th birthday, contains 43 papers that examine the research areas to which he has contributed, from logic programming to software engineering, as well as his many achievements. Editor(s): Degano, Pierpaolo; De Nicola, Rocco; Meseguer, Jose. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 825 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 41. Weight in Grams: 1252.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 825
- Condition
- New
- SKU
- V9783540686767
- ISBN
- 9783540686767
Paperback
Condition: New
€ 133.08
€ 133.08
Hardback. This is the first coherent book on literature-based discovery (LBD). LBD is an inherently multi-disciplinary enterprise. The aim of this volume is to plant a flag in the ground and inspire new researchers to the LBD challenge. Editor(s): Bruza, Peter; Weeber, Marc. Series: Information Science and Knowledge Management. Num Pages: 198 pages, 25 black & white illustrations, 29 black & white tables, biography. BIC Classification: UNF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 485.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 198
- Condition
- New
- SKU
- V9783540686859
- ISBN
- 9783540686859
Hardback
Condition: New
€ 128.00
€ 128.00
Paperback. Constitutes the refereed proceedings of the 29th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2008, held in Xi'an, China, in June 2008. Editor(s): Hee, Kees van. Series: Lecture Notes in Computer Science. Num Pages: 442 pages, biography. BIC Classification: UKN; UL; UMZ; UYA; UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 682.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 442
- Condition
- New
- SKU
- V9783540687450
- ISBN
- 9783540687450
Paperback
Condition: New
€ 68.47
€ 68.47
Paperback. Constitutes the refereed proceedings of the 7th International Conference of B Users, B 2007, held in Besancon, France, January 2007. This book offers coverage that includes industrial applications and case studies using B, and integration of model-based specification methods in the software development lifecycle. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 310 pages, biography. BIC Classification: UMW. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 16. Weight in Grams: 480.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 310
- Condition
- New
- SKU
- V9783540687603
- ISBN
- 9783540687603
Paperback
Condition: New
€ 67.13
€ 67.13
Hardback. Covers the underlying science and application issues related to aggregation operators, focusing on tools used in practical applications that involve numerical information. This book contains introductions to information fusion and integration, measurement and probability theory, fuzzy sets, and functional equations. Series: Cognitive Technologies. Num Pages: 284 pages, 55 black & white illustrations, 31 black & white tables, biography. BIC Classification: UYQ. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 17. Weight in Grams: 560.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 284
- Condition
- New
- SKU
- V9783540687894
- ISBN
- 9783540687894
Hardback
Condition: New
€ 128.83
€ 128.83
Paperback. Contains selected papers based on presentations given, and discussions held, during two workshops held in Taormina in 2003 and 2004. This work is organized in topical sections: recognition of specific objects, recognition of object categories, recognition of object categories with geometric relations, and joint recognition and segmentation. Editor(s): Ponce, Jean; Hebert, Martial; Schmid, Cordelia; Zisserman, Andrew. Series: Lecture Notes in Computer Science. Num Pages: 620 pages, biography. BIC Classification: UYQP. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 32. Weight in Grams: 955.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 620
- Condition
- New
- SKU
- V9783540687948
- ISBN
- 9783540687948
Paperback
Condition: New
€ 131.08
€ 131.08
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 237 pages, biography. BIC Classification: TJK; UMWS. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 379.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 237
- Condition
- New
- SKU
- V9783540688051
- ISBN
- 9783540688051
Paperback
Condition: New
€ 66.49
€ 66.49
Paperback. Constitutes the refereed proceedings of the 21st Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2008, held in Windsor, Canada, in May 2008. This book presents research in various areas of Artificial Intelligence and apply historical AI techniques to modern problem domains. Series: Lecture Notes in Computer Science. Num Pages: 393 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 611.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 393
- Condition
- New
- SKU
- V9783540688211
- ISBN
- 9783540688211
Paperback
Condition: New
€ 68.03
€ 68.03