.png){kind=logo}
Computing
Results 6817 - 6840 of 28344
Computing
Paperback. Constitutes the refereed proceedings of the 26th International Conference on Applications and Theory of Petri Nets, ICATPN 2005. This book contains papers that address the various issues on research and development in the area of Petri nets, particularly the concurrent systems design and analysis, modular systems development, and more. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 475 pages, biography. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 25. Weight in Grams: 684.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 475
- Condition
- New
- SKU
- V9783540263012
- ISBN
- 9783540263012
Paperback
Condition: New
€ 73.97
€ 73.97
Paperback. Constitutes the proceedings of the 16th Annual Symposium on Combinatorial Pattern Matching, CPM 2005, held on June 19-22, 2005. This volume features papers which constitute original research contributions in combinatorial pattern matching and its applications, addressing application fields such as computational biology, bioinformatics, and others. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 464 pages, biography. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 646.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 464
- Condition
- New
- SKU
- V9783540262015
- ISBN
- 9783540262015
Paperback
Condition: New
€ 73.40
€ 73.40
Paperback. A post-event proceedings volume, containing selected papers based on presentations given during a seminar, held in Dagstuhl Castle, Germany in September 2003. The papers are organized in topical sections on semantics for scenario-based notations, scenario-based notations in software validation and verification, and other areas. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 279 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 920.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 279
- Condition
- New
- SKU
- V9783540261896
- ISBN
- 9783540261896
Paperback
Condition: New
€ 70.03
€ 70.03
Paperback. Constitutes the post-proceedings of the Second International Workshop on Declarative Agent Languages and Technologies, DALT 2004, held in July 2004. The papers featured in this book are organized in topical sections on reasoning, modeling and engineering, verification, norms and protocols, and interaction and communication. Series: Lecture Notes in Computer Science. Num Pages: 304 pages, biography. BIC Classification: UM. 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
- V9783540261728
- ISBN
- 9783540261728
Paperback
Condition: New
€ 70.34
€ 70.34
Paperback. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 1089 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 57. Weight in Grams: 1712.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 1089
- Condition
- New
- SKU
- V9783540260325
- ISBN
- 9783540260325
Paperback
Condition: New
€ 136.08
€ 136.08
Paperback. Constitutes the refereed proceedings of the Second International Workshop on Human Interactive Proofs, HIP 2005, held in Bethlehem, PA, USA in May 2005. This book is devoted to the new class of security protocols called human interactive proofs. It includes sections such as: CAPTCHAs and performance analysis, and HIP architectures. Series: Lecture Notes in Computer Science / Security and Cryptology. Num Pages: 608 pages, biography. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 8. Weight in Grams: 229.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 608
- Condition
- New
- SKU
- V9783540260011
- ISBN
- 9783540260011
Paperback
Condition: New
€ 67.29
€ 67.29
Paperback. Constitutes the refereed post-proceedings of the 6th International Bi-Conference Workshop on Agent-Oriented Information Systems, AOIS 2004, held in Riga, Latvia in June and in New York, NY, USA in July 2004. This title contains papers organized in topical sections on information systems, analysis and modeling, methodologies, and applications. Series: Lecture Notes in Computer Science. Num Pages: 240 pages, biography. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 13. Weight in Grams: 348.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 240
- Condition
- New
- SKU
- V9783540259114
- ISBN
- 9783540259114
Paperback
Condition: New
€ 69.04
€ 69.04
Paperback. Constitutes the refereed proceedings of the First International Workshop on Location- and Context-Awareness, LoCA 2005, held in Oberpfaffenhofen, Germany in May 2005. This work includes papers organized in topical sections on context information management and distribution, from location to context, Bayesian networks, and context inference. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 380 pages, biography. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 554.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 380
- Condition
- New
- SKU
- V9783540258964
- ISBN
- 9783540258964
Paperback
Condition: New
€ 72.01
€ 72.01
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 155 pages, biography. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 8. Weight in Grams: 234.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 155
- Condition
- New
- SKU
- V9783540258124
- ISBN
- 9783540258124
Paperback
Condition: New
€ 67.39
€ 67.39
Paperback. Num Pages: 640 pages, 108 black & white illustrations, 65 black & white tables, biography. BIC Classification: TBJ; UGC; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 34. Weight in Grams: 2050.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 640
- Condition
- New
- SKU
- V9783540257851
- ISBN
- 9783540257851
Paperback
Condition: New
€ 212.28
€ 212.28
Paperback. Molecular simulation is a widely used tool in biology, chemistry, physics and engineering. This book contains a collection of articles by leading researchers who are developing methods for molecular modelling and simulation. It is useful for practitioners in the simulation community and for those new to molecular simulation. Series: Lecture Notes in Computational Science and Engineering. Num Pages: 383 pages, 77 black & white illustrations, 8 colour illustrations, 22 black & white tables, biograph. BIC Classification: PH; PNF; PSB; UGK. Category: (P) Professional & Vocational. Dimension: 158 x 234 x 26. Weight in Grams: 578.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 383
- Condition
- New
- SKU
- V9783540255420
- ISBN
- 9783540255420
Paperback
Condition: New
€ 195.37
€ 195.37
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 456 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 638.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 456
- Condition
- New
- SKU
- V9783540254355
- ISBN
- 9783540254355
Paperback
Condition: New
€ 68.53
€ 68.53
Paperback. Constitutes the extended post-proceedings of the ERCIM/CoLogNet International Workshop on Constraint Satisfaction and Constraint Logic Programming, CSCLP 2004, held in Lausanne, Switzerland in June 2004. This work includes papers that are organized in topical sections on constraint propagation, constraint search, and applications. Series: Lecture Notes in Computer Science. Num Pages: 227 pages, biography. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 332.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 227
- Condition
- New
- SKU
- V9783540251767
- ISBN
- 9783540251767
Paperback
Condition: New
€ 68.78
€ 68.78
Paperback. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 238 pages, biography. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 348.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 238
- Condition
- New
- SKU
- V9783540251095
- ISBN
- 9783540251095
Paperback
Condition: New
€ 69.04
€ 69.04
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 696 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 35. Weight in Grams: 971.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 696
- Condition
- New
- SKU
- V9783540251088
- ISBN
- 9783540251088
Paperback
Condition: New
€ 138.90
€ 138.90
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 840 pages, biography. BIC Classification: UYQL. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 42. Weight in Grams: 1155.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- annotated ed
- Number of pages
- 840
- Condition
- New
- SKU
- V9783540244752
- ISBN
- 9783540244752
Paperback
Condition: New
€ 132.98
€ 132.98
Paperback. Constitutes the proceedings of the 7th International Symposium on Practical Aspects of Declarative Languages, PADL 2005, held in Long Beach, CA, USA in January 2005. This work addresses various aspects of declarative programming including implementational issues and applications in areas such as database management, active networks, and more. Series: Lecture Notes in Computer Science. Num Pages: 280 pages, biography. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 424.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 280
- Condition
- New
- SKU
- V9783540243625
- ISBN
- 9783540243625
Paperback
Condition: New
€ 70.15
€ 70.15
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 217 pages, biography. BIC Classification: UT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 321.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 217
- Condition
- New
- SKU
- V9783540240532
- ISBN
- 9783540240532
Paperback
Condition: New
€ 68.68
€ 68.68
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 208 pages, biography. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 11. Weight in Grams: 299.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 208
- Condition
- New
- SKU
- V9783540239895
- ISBN
- 9783540239895
Paperback
Condition: New
€ 68.32
€ 68.32
paperback. Series: Lecture Notes in Computer Science. Num Pages: 280 pages, biography. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 402.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2005th Edition
- Number of pages
- 280
- Condition
- New
- SKU
- V9783540239871
- ISBN
- 9783540239871
Paperback
Condition: New
€ 69.82
€ 69.82
Paperback. Contains lecture notes on four topics at the forefront of research in computational mathematics. This book presents a self-contained guide to a research area, an extensive bibliography, and proofs of the key results. It is suitable for professional mathematicians who require an accurate account of research in areas parallel to their own. Series: Universitext. Num Pages: 275 pages, 52 black & white illustrations, 1 colour illustrations, 4 black & white tables, biography. BIC Classification: PBKS; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 16. Weight in Grams: 478.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 275
- Condition
- New
- SKU
- V9783540239215
- ISBN
- 9783540239215
Paperback
Condition: New
€ 67.12
€ 67.12
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 448 pages, biography. BIC Classification: UGC. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 646.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 448
- Condition
- New
- SKU
- V9783540237389
- ISBN
- 9783540237389
Paperback
Condition: New
€ 73.42
€ 73.42
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 190 pages, biography. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 10. Weight in Grams: 294.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 190
- Condition
- New
- SKU
- V9783540237273
- ISBN
- 9783540237273
Paperback
Condition: New
€ 68.23
€ 68.23
Paperback. Constitutes the refereed proceedings of the Second Asian Symposium on Programming Languages and Systems, APLAS 2004, held in Taipei, Taiwan in November 2004. This book covers topics such as type theory, program transformation, static analysis, verification, concurrent systems, code generation, programming calculi, language support, and more. Series: Lecture Notes in Computer Science. Num Pages: 464 pages, biography. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 657.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 464
- Condition
- New
- SKU
- V9783540237242
- ISBN
- 9783540237242
Paperback
Condition: New
€ 73.57
€ 73.57