.png){kind=logo}
Computing
Results 19105 - 19128 of 30854
Computing
Paperback. This book develops a framework for the detection of formal errors in business process models and the prediction of error probability. It precisely describes Event-driven Process Chains, their control flow semantics, and a suitable correctness criterion. Series: Lecture Notes in Business Information Processing. Num Pages: 194 pages, biography. BIC Classification: KJQ; UKR; UMZ; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 11. Weight in Grams: 310.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 194
- Condition
- New
- SKU
- V9783540892236
- ISBN
- 9783540892236
Paperback
Condition: New
€ 68.51
€ 68.51
Paperback. Constitutes the post-proceedings of the 8th International Workshop on Runtime Verification, RV 2008, held in Budapest, Hungary, in March 2008 as satellite event of ETAPS 2008. This title includes 9 revised papers presented together with 2 invited papers that were selected from 27 initial submissions. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 196 pages, biography. BIC Classification: UMB; UMX; UMZ; UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 10. Weight in Grams: 314.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 196
- Condition
- New
- SKU
- V9783540892465
- ISBN
- 9783540892465
Paperback
Condition: New
€ 66.97
€ 66.97
Paperback. Constitutes the refereed proceedings of the 14th International Conference on the Theory and Application of Cryptology and Information Security, ASIACRYPT 2008, held in Melbourne, Australia. This book includes such topics as muliti-party computation, cryptographic protocols, cryptographic hash functions, and public-key cryptography. Editor(s): Pieprzyk, Josef. Series: Lecture Notes in Computer Science / Security and Cryptology. Num Pages: 586 pages, biography. BIC Classification: PBD; UKN; UMB; URY; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 36. Weight in Grams: 890.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 586
- Condition
- New
- SKU
- V9783540892540
- ISBN
- 9783540892540
Paperback
Condition: New
€ 69.86
€ 69.86
Paperback. Constitutes the refereed post-workshop proceedings of the Third Workshop on Theory of Quantum Computation, Communication, and Cryptography, TQC 2008, held in Tokyo, Japan, in January/February 2008. This book focuses on theoretical aspects of quantum computation, quantum communication, and quantum cryptography. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 125 pages, biography. BIC Classification: UMB; UYAM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 7. Weight in Grams: 207.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 125
- Condition
- New
- SKU
- V9783540893035
- ISBN
- 9783540893035
Paperback
Condition: New
€ 66.97
€ 66.97
Paperback. Constitutes the refereed proceedings of the 6th Asian Symposium on Programming Languages and Systems, APLAS 2008, held in Bangalore, India, in December 2008. This book covers topics such as semantics, logics, foundational theory, type systems, language design, program analysis, optimization, transformation, and software security. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 353 pages, biography. BIC Classification: UL; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 545.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 353
- Condition
- New
- SKU
- V9783540893295
- ISBN
- 9783540893295
Paperback
Condition: New
€ 67.57
€ 67.57
Paperback. Constitutes the refereed proceedings of the 4th Usability Symposium of the Human-Computer Interaction and Usability Engineering Workgroup of the Austrian Computer Society, USAB 2008, held in Graz, Austria, in November 2008. This title includes papers that are organized in topical sections on cognitive processes and end user experience. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 504 pages, biography. BIC Classification: MBP; UGK; UGN; UKR; UYQ; UYZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 25. Weight in Grams: 771.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 504
- Condition
- New
- SKU
- V9783540893493
- ISBN
- 9783540893493
Paperback
Condition: New
€ 69.06
€ 69.06
Hardback. This book presents a new way to look at topical relevance in information retrieval and offers a new method for modeling exchangeable sequences of discrete random variables which does not make any assumptions about the data and can also handle rare events. Series: The Information Retrieval Series. Num Pages: 217 pages, 31 black & white illustrations, 18 black & white tables, biography. BIC Classification: UMB; UND; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 498.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 217
- Condition
- New
- SKU
- V9783540893639
- ISBN
- 9783540893639
Hardback
Condition: New
€ 128.09
€ 128.09
Paperback. Constitutes the thoroughly refereed joint post-workshop proceedings of three international workshops held in conjunction with the 10th Asia-Pacific Web Conference, APWeb 2008, in Shenyang, China, in April 2008. The papers focus on issues such as Web searching, Web services, database, data mining, bioinformatics, and business intelligence. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 261 pages, 85 black & white illustrations, biography. BIC Classification: UBJ; UG; UKN; UKR; UNF; UYZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 403.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 261
- Condition
- New
- SKU
- V9783540893752
- ISBN
- 9783540893752
Paperback
Condition: New
€ 66.95
€ 66.95
Paperback. Constitutes the refereed proceedings of the 21th Australasian Joint Conference on Artificial Intelligence, AI 2008, held in Auckland, New Zealand, in December 2008. The papers are organized in topical sections on knowledge representation, constraints, planning, grammar and language processing, statistical learning, and vision and image processing. Series: Lecture Notes in Computer Science. Num Pages: 632 pages, biography. BIC Classification: UKR; UMB; UMX; UND; UNF; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 32. Weight in Grams: 955.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 632
- Condition
- New
- SKU
- V9783540893776
- ISBN
- 9783540893776
Paperback
Condition: New
€ 131.12
€ 131.12
Paperback. Constitutes the refereed proceedings of three joint events - the International Workshop on Software Measurement, IWSM 2008, the DASMA Metrik Kongress, Metrikon 2008, and the International Conference on Software Process and Product Measurement, Mensura 2008, held in Munich, Germany, in November 2008. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 376 pages, biography. BIC Classification: JNV; UKR; UMZ; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 581.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 376
- Condition
- New
- SKU
- V9783540894025
- ISBN
- 9783540894025
Paperback
Condition: New
€ 67.79
€ 67.79
Hardback. This book explores the adaptation of cognitive processes to limited resources. It deals with resource-bounded and resource-adaptive cognitive processes in human information processing and human-machine systems plus the related technology transfer issues. Editor(s): Crocker, Matthew W.; Siekmann, Jorg. Series: Cognitive Technologies. Num Pages: 424 pages, 79 black & white illustrations, 72 colour illustrations, biography. BIC Classification: CFX; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 242 x 166 x 33. Weight in Grams: 900.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 424
- Condition
- New
- SKU
- V9783540894070
- ISBN
- 9783540894070
Hardback
Condition: New
€ 197.08
€ 197.08
Paperback. This book explores the state of the art of digital human modeling, specifically emergent human algorithms, which aim to model human forms, interactions, and dynamics. It features innovative ideas on human dynamics, virtual humans and human forms. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 216 pages, biography. BIC Classification: PSA; UBJ; UGK; UKN; UYQ; UYZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 11. Weight in Grams: 349.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 216
- Condition
- New
- SKU
- V9783540894292
- ISBN
- 9783540894292
Paperback
Condition: New
€ 66.97
€ 66.97
Paperback. This volume presents results of three workshops of the InterLink working group, setup by the EU to look at software-intensive systems and novel computing paradigms. It covers ensemble engineering, theory and formal methods, and novel computing paradigms. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 267 pages, biography. BIC Classification: UKN; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 433.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 267
- Condition
- New
- SKU
- V9783540894360
- ISBN
- 9783540894360
Paperback
Condition: New
€ 66.95
€ 66.95
Paperback. Constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2008, which took place in Doha, Qatar, during November 22-27, 2008. This book contains the papers that address issues in automated reasoning, computational logic, and programming languages. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 728 pages, biography. BIC Classification: UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 37. Weight in Grams: 1098.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 728
- Condition
- New
- SKU
- V9783540894384
- ISBN
- 9783540894384
Paperback
Condition: New
€ 132.05
€ 132.05
Paperback. Constitutes the proceedings of the 7th International Conference on Practical Aspects of Knowledge Management, PAKM 2008, held in Yokohama, Japan, in November 2008. This title organizes the papers in sections on knowledge sharing, collaboration platforms, content-oriented retrieval, knowledge acquisition, and knowledge management solutions. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 295 pages, biography. BIC Classification: UKR; UND; UNF; UYQ; UYZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 462.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 295
- Condition
- New
- SKU
- V9783540894469
- ISBN
- 9783540894469
Paperback
Condition: New
€ 67.03
€ 67.03
paperback. Constitutes the thoroughly refereed post-conference proceedings of the Kyoto Conference on Computational Geometry and Graph Theory, Kyoto CGGT 2007, held in Kyoto, Japan, in June 2007, in honor of Jin Akiyama and Vaek Chvatal, on the occasion of their 60th birthdays. This book covers various aspects of Computational Geometry and Graph Theory. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 249 pages, biography. BIC Classification: PBMW; UG; UMB; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 397.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer Germany
- Edition
- 2008th Edition
- Number of pages
- 249
- Condition
- New
- SKU
- V9783540895497
- ISBN
- 9783540895497
Paperback
Condition: New
€ 66.97
€ 66.97
Paperback. Constitutes the proceedings of the Third International Workshop on Security, IWSEC 2008, held in Kagawa, Japan, in November 2008. This title organizes the papers in topical sections on cryptography, signature and signcryption, software security, privacy protection and contents protection, authentication and access control, and implementation. Series: Lecture Notes in Computer Science / Security and Cryptology. Num Pages: 311 pages, biography. BIC Classification: UR. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 16. Weight in Grams: 480.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 311
- Condition
- New
- SKU
- V9783540895978
- ISBN
- 9783540895978
Paperback
Condition: New
€ 67.13
€ 67.13
Zukunft Ingenieurwissenschaften - Zukunft Deutschland
. Ed(S): Nagl, Manfred (Rwth Aachen); Bargsta...
Hardback. Editor(s): Nagl, Manfred (RWTH Aachen); Bargstadt, Hans-Joachim; Hoffmann, Michael; Muller, Norbert (University of Applied Sciences Erfurt). Num Pages: black & white illustrations, bibliography. BIC Classification: JNA; JNV; KJMV2; TBC; UBJ; VSC. Category: (G) General (US: Trade). Dimension: 234 x 156 x 18. Weight in Grams: 581.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer United States
- Condition
- New
- SKU
- V9783540896081
- ISBN
- 9783540896081
Hardback
Condition: New
€ 77.94
€ 77.94
Paperback. Constitutes the refereed proceedings of the Second European Conference on Ambient Intelligence, AmI 2008, held in Nuremberg, Germany, in November 2008. This title includes the papers that are roughly classified into two groups on well-being and care, and mobility and logistics respectively. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 374 pages, biography. BIC Classification: UBJ; UKN; UNH; UR; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 587.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 374
- Condition
- New
- SKU
- V9783540896166
- ISBN
- 9783540896166
Paperback
Condition: New
€ 67.84
€ 67.84
Paperback. Editor(s): Mehnen, Jorn; Tiwari, Ashutosh; Koppen, Mario; Ashraf, Saad. Series: Advances in Intelligent and Soft Computing (Closed). Num Pages: 536 pages, 168 black & white illustrations, 100 black & white tables, biography. BIC Classification: PBW; TBJ; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 29. Weight in Grams: 786.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 536
- Condition
- New
- SKU
- V9783540896180
- ISBN
- 9783540896180
Paperback
Condition: New
€ 379.60
€ 379.60
Paperback. Constitutes the refereed proceedings of the 7th International Conference on Cryptology and Network Security, CANS 2008, held in Hong-Kong, China, in December 2008. This title features papers organized in topical sections on cryptosystems, signatures, identification, authentication and key management, and, cryptographic algorithms and protocols. Series: Lecture Notes in Computer Science / Security and Cryptology. Num Pages: 408 pages, biography. BIC Classification: UR; UTN. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 635.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 408
- Condition
- New
- SKU
- V9783540896401
- ISBN
- 9783540896401
Paperback
Condition: New
€ 68.17
€ 68.17
Paperback. Constitutes the refereed proceedings of the 6th International Conference on Service-Oriented Computing, ICSOC 2008, held in Sydney, Australia, in December 2008. This title includes papers that present original research in the field of service oriented computing, from theoretical and foundational results to empirical evaluations. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 755 pages, biography. BIC Classification: UT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 38. Weight in Grams: 1139.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 755
- Condition
- New
- SKU
- V9783540896470
- ISBN
- 9783540896470
Paperback
Condition: New
€ 132.29
€ 132.29
Paperback. Constitutes the proceedings of the 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, held in Hanoi, Vietnam, in December 2008. This title addresses subjects in multi-agent research and development, ranging from theoretical and methodological issues to various applications in different fields. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 420 pages, biography. BIC Classification: UKN; UMB; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 640.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 420
- Condition
- New
- SKU
- V9783540896739
- ISBN
- 9783540896739
Paperback
Condition: New
€ 68.20
€ 68.20
Paperback. Constitutes the refereed proceedings of the International Conference on Computer Vision and Computer Graphics Theory and Applications, Visigrapp 2007, held in Barcelona, Spain, in March 2007. This title includes papers organized in topical sections on geometry and modeling; animation and simulation; interactive environments; and image analysis. Series: Communications in Computer and Information Science. Num Pages: 273 pages, biography. BIC Classification: UGK; UGN; UYQP. 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
- 273
- Condition
- New
- SKU
- V9783540896814
- ISBN
- 9783540896814
Paperback
Condition: New
€ 69.67
€ 69.67