.png){kind=logo}
Computing
Results 6721 - 6744 of 28126
Computing
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
paperback. Constitutes the refereed proceedings of the 28th Annual German Conference on Artificial Intelligence, KI 2005, held in Germany. This work presents papers organized in topical sections on knowledge representation and reasoning, machine learning, diagnosis, neural networks, planning, robotics, and cognitive modeling, philosophy, natural language. Series: Lecture Notes in Computer Science. Num Pages: 432 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 600.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2005th Edition
- Number of pages
- 432
- Condition
- New
- SKU
- V9783540287612
- ISBN
- 9783540287612
Paperback
Condition: New
€ 68.25
€ 68.25
Paperback. Constitutes the refereed proceedings of the 7th International Conference on Ubiquitous Computing, UbiComp 2005, held in Japan in September 2005. These papers address topics related to human-computer interface (HCI), systems, context recognition and use, communications, and social implications and applications of computing. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 416 pages, biography. BIC Classification: UYZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 1290.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 416
- Condition
- New
- SKU
- V9783540287605
- ISBN
- 9783540287605
Paperback
Condition: New
€ 72.46
€ 72.46
Paperback. Constitutes the proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2005. This book contains topics addressing semantics of languages; relationships between formalisms; complexity and expressive power; software engineering, decision making, and other domains; and more. Series: Lecture Notes in Computer Science. Num Pages: 462 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 662.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 462
- Condition
- New
- SKU
- V9783540285380
- ISBN
- 9783540285380
Paperback
Condition: New
€ 73.60
€ 73.60
paperback. Constitutes the refereed proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2005, held in Oxford, UK, in August 2005. This book includes 20 full papers, 2 invited papers, and 4 proof concise presentations of interesting examples, selected from 49 submissions. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 414 pages, biography. BIC Classification: UYA; UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 1310.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2005th Edition
- Number of pages
- 414
- Condition
- New
- SKU
- V9783540283720
- ISBN
- 9783540283720
Paperback
Condition: New
€ 72.61
€ 72.61
paperback. Constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held as the 14th Annual Conference of the EACSL in Oxford, UK in August 2005. This volume is organized in topical sections on semantics and logics, type theory and lambda calculus, linear logic and ludics, finite models, and more. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 578 pages, biography. BIC Classification: UMX; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 30. Weight in Grams: 808.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer Germany
- Edition
- 2005th Edition
- Number of pages
- 578
- Condition
- New
- SKU
- V9783540282310
- ISBN
- 9783540282310
Paperback
Condition: New
€ 75.71
€ 75.71
Paperback. Constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held in San Francisco, USA in August 2005. The papers are organized in topical sections on state representation and abstraction, dealing with concurrency, dealing with complex data, checking temporal properties, and more. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 304 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 16. Weight in Grams: 435.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 304
- Condition
- New
- SKU
- V9783540281955
- ISBN
- 9783540281955
Paperback
Condition: New
€ 70.30
€ 70.30
Paperback. Constitutes the refereed proceedings of the 5th International Symposium on Smart Graphics, SG 2005, held in Frauenworth Cloister, Germany in August 2005. The papers address smart graphics issues from the points of view of computer graphics, artificial intelligence, cognitive science, graphic design, and fine art. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 288 pages, biography. BIC Classification: UYT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 405.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 288
- Condition
- New
- SKU
- V9783540281795
- ISBN
- 9783540281795
Paperback
Condition: New
€ 66.85
€ 66.85
Paperback. Includes the refereed proceedings of the 9th International Symposium on Spatial and Temporal Databases, SSTD 2005, held in Angra dos Reis, Brazil in August 2005. This book offers topical sections on query optimization and simulation, advanced query processing, spatial/temporal data streams, indexing schemes, novel applications and more. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 446 pages, biography. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 630.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 446
- Condition
- New
- SKU
- V9783540281276
- ISBN
- 9783540281276
Paperback
Condition: New
€ 73.12
€ 73.12
Paperback. Constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held in Tallinn, Estonia, in July 2005. The 25 papers and 5 system descriptions presented were carefully reviewed and selected from 78 submissions. All current aspects of automated deduction are addressed. Series: Lecture Notes in Computer Science. Num Pages: 480 pages, biography. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 665.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 480
- Condition
- New
- SKU
- V9783540280057
- ISBN
- 9783540280057
Paperback
Condition: New
€ 68.74
€ 68.74
Paperback. Presents the refereed proceedings of the International Symposium of Formal Methods Europe, FM 2005, held in Newcastle, UK, in July 2005. This book contains 31 papers presented together with three invited contributions and extended abstracts of 6 invited industrial presentations, which were reviewed and selected from 130 submissions. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 558 pages, biography. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 29. Weight in Grams: 803.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 558
- Condition
- New
- SKU
- V9783540278825
- ISBN
- 9783540278825
Paperback
Condition: New
€ 75.64
€ 75.64
Paperback. Constitutes the refereed proceedings of the 4th International Conference on Image and Video Retrieval, CIVR 2005, held in Singapore, in July 2005. The papers in this book are organized in topical sections on video retrieval techniques, story segmentation and event detection, semantics in video retrieval, image indexing and retrieval and more. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 674 pages, biography. BIC Classification: UGN. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 35. Weight in Grams: 960.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 674
- Condition
- New
- SKU
- V9783540278580
- ISBN
- 9783540278580
Paperback
Condition: New
€ 138.75
€ 138.75
Paperback. Constitutes the refereed proceedings of the 17th International Conference on Computer Aided Verification, CAV 2005, held in Edinburgh, Scotland, UK in July 2005. This book reviews 32 papers presented together with 16 tool papers and 3 invited papers, as well as a report on a special tools competition and selects from 155 submissions. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 568 pages, biography. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 30. Weight in Grams: 814.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 568
- Condition
- New
- SKU
- V9783540272311
- ISBN
- 9783540272311
Paperback
Condition: New
€ 136.71
€ 136.71
Paperback. A collection of papers organized in topical sections on verification and analysis, theory and security, transformations, program development, termination, and program development and synthesis. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 292 pages, biography. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 450.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 292
- Condition
- New
- SKU
- V9783540266556
- ISBN
- 9783540266556
Paperback
Condition: New
€ 66.90
€ 66.90