Computing
Results 6769 - 6792 of 28325
Computing
Paperback. This book constitutes the refereed proceedings of the 13th International SPIN workshop on Model Checking Software, SPIN 2006, held in Vienna, Austria in March/April 2006 as satellite event of ETAPS 2006. The 16 revised full papers presented together with three tool presentation papers were carefully reviewed and selected from 44 submissions. The papers are organized in topical sections. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 318 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 1010.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 318
- Condition
- New
- SKU
- V9783540331025
- ISBN
- 9783540331025
Paperback
Condition: New
€ 70.63
€ 70.63
Paperback. This book constitutes the refereed proceedings of the 15th International Conference on Compiler Construction, CC 2006, held in March 2006 as part of ETAPS. The 17 revised full papers presented together with three tool demonstration papers and one invited paper were carefully reviewed and selected from 71 submissions. The papers are organized in topical sections. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 290 pages, biography. BIC Classification: UL; UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 920.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 290
- Condition
- New
- SKU
- V9783540330509
- ISBN
- 9783540330509
Paperback
Condition: New
€ 70.06
€ 70.06
Paperback. This book constitutes the thoroughly refereed post-proceedings of the 9th International Conference on Computer Supported Cooperative Work in Design, CSCWD 2005, held in Coventry, UK, in May 2005. The 65 revised full papers presented were carefully reviewed and selected from numerous submissions during at least two rounds of reviewing and improvement. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 671 pages, biography. BIC Classification: UGC. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 34. Weight in Grams: 933.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 671
- Condition
- New
- SKU
- V9783540329695
- ISBN
- 9783540329695
Paperback
Condition: New
€ 138.35
€ 138.35
Paperback. Constitutes the refereed proceedings of the 7th International Symposium, Latin American Theoretical Informatics, LATIN 2006, held in March 2006. This book features the papers that are devoted to a range of topics in theoretical computer science with a focus on algorithmics and computations related to discrete mathematics. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 830 pages, biography. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 42. Weight in Grams: 1149.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- New ed
- Number of pages
- 830
- Condition
- New
- SKU
- V9783540327554
- ISBN
- 9783540327554
Paperback
Condition: New
€ 133.10
€ 133.10
Paperback. Constitutes the refereed post-proceedings of the Third International Workshop on Programming Multi-Agent Systems, ProMAS 2005, that was held in Utrecht, The Netherlands in July 2005 as an associated event of AAMAS 2005, the main international conference on autonomous agents and multi-agent systems. Series: Lecture Notes in Computer Science. Num Pages: 281 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 408.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 281
- Condition
- New
- SKU
- V9783540326168
- ISBN
- 9783540326168
Paperback
Condition: New
€ 69.88
€ 69.88
Paperback. Constitutes the refereed post-proceedings of the First International Workshop on Spatial Coherence for Visual Motion Analysis, 2004, that was held in May 2004. This title presents eleven research papers that cover a range in the field of motion analysis that is a central problem in computer vision. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 150 pages, biography. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 8. Weight in Grams: 234.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 150
- Condition
- New
- SKU
- V9783540325338
- ISBN
- 9783540325338
Paperback
Condition: New
€ 67.43
€ 67.43
Paperback. Constitutes the refereed post-workshop proceedings of the 6th International Workshop on Fuzzy Logic and Applications that was held in September 2005. This book presents 50 papers and 32 short papers together with three invited papers. Series: Lecture Notes in Computer Science. Num Pages: 452 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 1410.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 452
- Condition
- New
- SKU
- V9783540325291
- ISBN
- 9783540325291
Paperback
Condition: New
€ 73.28
€ 73.28
Paperback. Constitutes the refereed post-proceedings of the Third International Workshop on Adaptive Multimedia Retrieval, that was held in September 2005. This title presents 18 papers and three invited papers. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 296 pages, biography. BIC Classification: UN. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 920.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 296
- Condition
- New
- SKU
- V9783540321743
- ISBN
- 9783540321743
Paperback
Condition: New
€ 70.03
€ 70.03
Paperback. Constitutes the refereed proceedings of the 4th International Symposium on Foundations of Information and Knowledge Systems, held in February 2006. This book covers such topics as: the theoretical foundations of information and knowledge systems, as well as mathematical fields such as discrete mathematics and combinatorics. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 341 pages, biography. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 489.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 341
- Condition
- New
- SKU
- V9783540317821
- ISBN
- 9783540317821
Paperback
Condition: New
€ 67.51
€ 67.51
Paperback. Covers the refereed proceedings of the Second International Workshop on Biologically Inspired Approaches to Advanced Information Technology, BioADIT 2006. This book features contributions that range from basic research in biology and in information technology, to more application-oriented developments in software and in hardware. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 402 pages, biography. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 623.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 402
- Condition
- New
- SKU
- V9783540312536
- ISBN
- 9783540312536
Paperback
Condition: New
€ 68.05
€ 68.05
Paperback. Contains the post-proceedings of the 10th International Conference on Implementation and Application of Automata, CIAA 2005. This book covers topics, which show applications of automata in many fields, including mathematics, linguistics, networks, XML processing, biology and music. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 373 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 532.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 373
- Condition
- New
- SKU
- V9783540310235
- ISBN
- 9783540310235
Paperback
Condition: New
€ 71.69
€ 71.69
Paperback. Constitutes the refereed proceedings of the Second International Conference on Distributed Computing and Internet Technology. This book covers the topics such as distributed computing, Internet technology, system security, data mining, and software engineering the papers are subdivided in topical sections on network protocols, and more. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 632 pages, 243 black & white illustrations, biography. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 32. Weight in Grams: 876.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 632
- Condition
- New
- SKU
- V9783540309994
- ISBN
- 9783540309994
Paperback
Condition: New
€ 131.06
€ 131.06
Paperback. Contains the proceedings of the First International Symposium on Visual Computing, ISVC 2005. This book covers the four main areas of visual computing: vision, graphics, visualization, and virtual reality. It also covers topics, such as computer graphics, medical imaging, computer vision methods for ambient intelligence, visualization, and more. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 775 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 39. Weight in Grams: 1074.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 775
- Condition
- New
- SKU
- V9783540307501
- ISBN
- 9783540307501
Paperback
Condition: New
€ 131.93
€ 131.93
Paperback. Constitutes the refereed post-proceedings of the 5th International Conference on Practice and Theory of Automated Timetabling, PATAT 2004, held in Pittsburgh, PA, USA in August 2004. This title presents 19 revised full papers that were selected during two rounds of reviewing and improvement. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 360 pages, biography. BIC Classification: KJMV5; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 527.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 360
- Condition
- New
- SKU
- V9783540307051
- ISBN
- 9783540307051
Paperback
Condition: New
€ 71.62
€ 71.62
Paperback. Constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2005. This book presents 46 revised papers with 3 abstracts, addressing issues in logic programming, logic-based program manipulation, formal method, automated reasoning, and various kinds of AI logics. Series: Lecture Notes in Computer Science. Num Pages: 758 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 38. Weight in Grams: 1052.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 758
- Condition
- New
- SKU
- V9783540305538
- ISBN
- 9783540305538
Paperback
Condition: New
€ 131.69
€ 131.69
paperback. Constitutes the refereed proceedings of the Third International Working Conference on Component Deployment, CD 2005. This book presents papers organized in sections on middleware integration, patterns for deployment, QoS issues, adaptability, customization and format aware deployment, dependability, assembly and packaging, as well as case studies. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 197 pages, biography. BIC Classification: UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 11. Weight in Grams: 670.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer Germany
- Edition
- 2005th Edition
- Number of pages
- 197
- Condition
- New
- SKU
- V9783540305170
- ISBN
- 9783540305170
Paperback
Condition: New
€ 68.37
€ 68.37
Paperback. Constitutes the proceedings of the First International Conference on Intelligent Technologies for Interactive Entertainment, 2005 held in Madonna di Campiglio, Italy. The papers included in this title cover topics such as intelligent interactive games, intelligent music, interactive cinema, edutainment, interactive art, and interactive real TV. Series: Lecture Notes in Computer Science. Num Pages: 360 pages, biography. BIC Classification: UG. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 19. Weight in Grams: 511.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 360
- Condition
- New
- SKU
- V9783540305095
- ISBN
- 9783540305095
Paperback
Condition: New
€ 71.45
€ 71.45
Paperback. Constitutes the refereed proceedings of the Third Asian Symposium on Programming Languages and Systems, APLAS 2005, held in Tsukuba, Japan in November 2005. This title covers topics such as, semantics, type theory, program transformation, static analysis, verification, programming calculi, functional programming languages, and more. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 442 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 635.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 442
- Condition
- New
- SKU
- V9783540297352
- ISBN
- 9783540297352
Paperback
Condition: New
€ 73.21
€ 73.21
paperback. Constitutes the refereed proceedings of the Second International Workshop on Mobility Aware Technologies and Applications, MATA 2005, held in Montreal, Canada, in October 2005. This book presents 39 revised full papers that were reviewed and selected. Series: Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications. Num Pages: 418 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 1340.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer/Sci-Tech/Trade Germany
- Edition
- 2005th Edition
- Number of pages
- 418
- Condition
- New
- SKU
- V9783540294108
- ISBN
- 9783540294108
Paperback
Condition: New
€ 72.80
€ 72.80
paperback. Constitutes the refereed proceedings of the 16th International Conference on Algorithmic Learning Theory, ALT 2005, held in Singapore in October 2005. This title presents 30 revised full papers together with 5 invited papers and an introduction by the editors that were reviewed and selected from 98 submissions. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 503 pages, biography. BIC Classification: UYQM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 25. Weight in Grams: 705.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2005th Edition
- Number of pages
- 503
- Condition
- New
- SKU
- V9783540292425
- ISBN
- 9783540292425
Paperback
Condition: New
€ 74.27
€ 74.27
Hardback. Presents the advances in high performance computing and simulation on modern supercomputer architectures. This book covers trends in hardware and software development in general and specifically the vector-based systems and heterogeneous architectures. Num Pages: 262 pages, 63 colour illustrations, 31 black & white tables, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 609.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 262
- Condition
- New
- SKU
- V9783540291244
- ISBN
- 9783540291244
Hardback
Condition: New
€ 128.77
€ 128.77
Paperback. Constitutes the proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2005, held in Montego Bay, Jamaica, in October 2005. This book includes 52 papers and 2 keynote abstracts. It covers such topics as process modelling, product families, state/behavioral modeling, design strategies and more. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 724 pages, biography. BIC Classification: TBC; UY. Category: (P) Professional & Vocational. Dimension: 235 x 157 x 37. Weight in Grams: 1048.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2005th Edition
- Number of pages
- 740
- Condition
- New
- SKU
- V9783540290100
- ISBN
- 9783540290100
Paperback
Condition: New
€ 139.67
€ 139.67
Paperback. Constitutes the post-proceedings of the 10th International Conference on Computer Aided Systems Theory, EUROCAST 2005, held in Las Palmas de Gran Canaria, Spain in February 2005. This book includes 83 papers, which are organized in topical sections on formal approaches in modelling, intelligent information systems, computer vision, and more. Series: Lecture Notes in Computer Science. Num Pages: 648 pages, biography. BIC Classification: UGC. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 33. Weight in Grams: 898.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 648
- Condition
- New
- SKU
- V9783540290025
- ISBN
- 9783540290025
Paperback
Condition: New
€ 131.27
€ 131.27
Paperback. Constitutes the proceedings of the 11th International Conference on Computer Analysis of Images and Patterns, CAIP 2005, held in Versailles, France, in September 2005. These 65 papers address topics such as: image analysis, biometrics, computer vision, pattern recognition, object recognition, segmentation and grouping, medical imaging, and more. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 884 pages, biography. BIC Classification: UYQP; UYQV. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 44. Weight in Grams: 1225.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 884
- Condition
- New
- SKU
- V9783540289692
- ISBN
- 9783540289692
Paperback
Condition: New
€ 133.53
€ 133.53