.png){kind=logo}
Computing
Results 13561 - 13584 of 30855
Computing
Formal Techniques in Real-Time and Fault-Tolerant Systems
. Ed(S): Damm, Werner; Olderog, Ernst-Rudiger
Paperback. Compiled from the proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, the 25 papers are organized by topic, including synthesis and scheduling, timed automata, bounded model checking, verification and conformance testing and more. Editor(s): Damm, Werner; Olderog, Ernst-Rudiger. Series: Lecture Notes in Computer Science. Num Pages: 462 pages, biography. BIC Classification: TJF; UM; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 24. Weight in Grams: 657.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 462
- Condition
- New
- SKU
- V9783540441656
- ISBN
- 9783540441656
Paperback
Condition: New
€ 73.57
€ 73.57
Paperback. Constitutes the proceedings of the 21st International Conference on Computer Safety, Reliability and Security held in Italy in 2002. Papers cover human-computer system dependability, human factors, security, dependability assessment, application of formal methods, reliability assessment and more. Editor(s): Anderson, Stuart; Bologna, Sandro; Felici, Massimo. Series: Lecture Notes in Computer Science. Num Pages: 352 pages, biography. BIC Classification: URD; URJ; URY; UYT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 19. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 352
- Condition
- New
- SKU
- V9783540441571
- ISBN
- 9783540441571
Paperback
Condition: New
€ 71.59
€ 71.59
Paperback. Constituting the proceedings of the Second International Conference on Music and Artificial Intelligence, these 16 revised, full papers address such topics as: parsing for music and language; patterns in music; musical pattern recognition; visualisation and tonal structure representation. Editor(s): Anagnostopoulou, Christina; Ferrand, Miguel; Smaill, Alan. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 220 pages, biography. BIC Classification: AVA; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 11. Weight in Grams: 316.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 220
- Condition
- New
- SKU
- V9783540441458
- ISBN
- 9783540441458
Paperback
Condition: New
€ 68.56
€ 68.56
paperback. These are the refereed proceedings of the 9th International Conference on Algebraic Methodology and Software Technology, AMAST 2002, held in Saint-Gilles-les-Bains, Reunion Island, France in September 2002. Editor(s): Kirchner, Helene; Ringeissen, Christophe. Series: Lecture Notes in Computer Science. Num Pages: 520 pages, biography. BIC Classification: PBF; UM; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 26. Weight in Grams: 722.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2002nd Edition
- Number of pages
- 520
- Condition
- New
- SKU
- V9783540441441
- ISBN
- 9783540441441
Paperback
Condition: New
€ 74.48
€ 74.48
Paperback. Constituting the proceedings of the sixth East European Conference on Advances in Databases and Information Systems, this volume contains a selection of papers organized in topical sections. Topics covered include data mining, knowledge discovery, and mobile and spatial databases. Editor(s): Manolopoulos, Yannis; Navrat, Pavol. Series: Lecture Notes in Computer Science. Num Pages: 436 pages, biography. BIC Classification: UN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 22. Weight in Grams: 608.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 436
- Condition
- New
- SKU
- V9783540441380
- ISBN
- 9783540441380
Paperback
Condition: New
€ 72.80
€ 72.80
Paperback. These are the refereed proceedings of the Third International Conference on E-Commerce and Web Technologies, EC-Web 2002, held in Aix-en-Provence, France, in September 2002. Editor(s): Bauknecht, Kurt; Tjoa, Min A.; Quirchmayr, Gerald. Series: Lecture Notes in Computer Science. Num Pages: 418 pages, biography. BIC Classification: UDB. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 22. Weight in Grams: 603.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 418
- Condition
- New
- SKU
- V9783540441373
- ISBN
- 9783540441373
Paperback
Condition: New
€ 72.77
€ 72.77
Hardback. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 538 pages, biography. BIC Classification: UMB. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 30. Weight in Grams: 950.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2nd ed. 2003. Corr. 2nd printing 2004
- Number of pages
- 538
- Condition
- New
- SKU
- V9783540441342
- ISBN
- 9783540441342
Hardback
Condition: New
€ 127.57
€ 127.57
Paperback. Constituting the refereed proceedings of the 5th International Conference on Text, Speech and Dialogue, these papers present research and development results in the field of natural language processing with emphasis on text, speech, and spoken language. Editor(s): Sojka, Petr; Kopecek, Ivan; Pala, Karel. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 496 pages, biography. BIC Classification: UYQL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 25. Weight in Grams: 697.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 496
- Condition
- New
- SKU
- V9783540441298
- ISBN
- 9783540441298
Paperback
Condition: New
€ 69.52
€ 69.52
Paperback. Presenting a computational approach to the analysis of nonlinear and uncertain systems, this text focuses on systems with piecewise linear dynamics. It describes numerical procedures for assessing stability, computing induced gains, and solving optimal control problems these systems. Series: Lecture Notes in Control and Information Sciences. Num Pages: 212 pages, biography. BIC Classification: TJFM; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 279 x 216 x 11. Weight in Grams: 316.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 212
- Condition
- New
- SKU
- V9783540441243
- ISBN
- 9783540441243
Paperback
Condition: New
€ 184.62
€ 184.62
paperback. Compiled from the refereed proceedings of the first international conference on electronic government, held in Aix-en-Provence in 2002, this volume contains 78 revised full papers. The papers are organized in topical sections on introduction and framework, digital Olympics 2008 and more. Editor(s): Traunmuller, Roland; Lenk, Klaus. Series: Lecture Notes in Computer Science. Num Pages: 486 pages, biography. BIC Classification: JPQ; KJE; TJF; UDB. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 25. Weight in Grams: 760.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2002nd Edition
- Number of pages
- 486
- Condition
- New
- SKU
- V9783540441212
- ISBN
- 9783540441212
Paperback
Condition: New
€ 135.05
€ 135.05
Paperback. Constituting the proceedings of the eighth International Conference on Principles and Practice of Constraint Programming, CP 2002, held in Ithaca, USA, in September 2002, this volume is compiled from submissions from the doctoral programme and covers all the main issues in constraint processing. Editor(s): Van Hentenryck, Pascal. Series: Lecture Notes in Computer Science. Num Pages: 794 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 41. Weight in Grams: 1138.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 794
- Condition
- New
- SKU
- V9783540441205
- ISBN
- 9783540441205
Paperback
Condition: New
€ 132.26
€ 132.26
Paperback. Presents six papers describing projects on data mining, dealing with data mining and e-commerce (sequence rule analysis, association rule mining, knowledge discovery in databases and intelligent e-marketing with Web mining), experience management and process learning, and medical applications. Editor(s): Perner, Petra. Series: Lecture Notes in Computer Science. Num Pages: 112 pages, biography. BIC Classification: UNC. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 233 x 155 x 6. Weight in Grams: 185.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 112
- Condition
- New
- SKU
- V9783540441168
- ISBN
- 9783540441168
Paperback
Condition: New
€ 66.95
€ 66.95
Paperback. Constituting the refereed proceedings of the eighth International Workshop on Groupware (CRIWG 2002), this volume contains 18 revised full papers and a keynote paper. It is organized in topical sections on computer supported collaborative learning, meeting support, design and development support. Editor(s): Haake, Jorge M.; Pino, Jose. Series: Lecture Notes in Computer Science. Num Pages: 304 pages, biography. BIC Classification: UFS; UK. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 16. Weight in Grams: 950.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 304
- Condition
- New
- SKU
- V9783540441120
- ISBN
- 9783540441120
Paperback
Condition: New
€ 70.24
€ 70.24
Paperback. Constituting the preceedings of the third International Workshop on Technologies for E-Services, these papers address such topics as: database issues for e-services; b2b integration; model transformation; information fusion; process-based application development and information integration. Editor(s): Buchmann, Alejandro P.; Casati, Fabio; Fiege, Ludger; Hsu, Mei-Chun; Shan, Ming-Chien (Hewlett-Packard Laboratories). Series: Lecture Notes in Computer Science. Num Pages: 181 pages, biography. BIC Classification: UDB; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 10. Weight in Grams: 600.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 181
- Condition
- New
- SKU
- V9783540441106
- ISBN
- 9783540441106
Paperback
Condition: New
€ 67.89
€ 67.89
Paperback. Constituting the preceedings of the 6th European Conference on Case-Based Reasoning, the papers in this text address in case-based reasoning, ranging from foundational and methodological issues to advanced applications in various fields. Editor(s): Preece, Alun; Craw, Susan. Series: Lecture Notes in Computer Science. Num Pages: 668 pages, biography. BIC Classification: JMRN; UYQE. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 34. Weight in Grams: 933.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 668
- Condition
- New
- SKU
- V9783540441090
- ISBN
- 9783540441090
Paperback
Condition: New
€ 138.42
€ 138.42
Hardback. Series: X.media.press. BIC Classification: UGD. Dimension: 235 x 155. Weight in Grams: 1190.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Springer Berlin Heidelberg
- Condition
- New
- SKU
- V9783540440932
- ISBN
- 9783540440932
Hardback
Condition: New
€ 88.39
€ 88.39
Paperback. Proceedings of four workshops held in conjunction with the 8th International Conference on Object-Oriented Information Systems held in France in 2002. Papers cover managing specialization/generalization hierarchies, reuse in object-oriented information systems design, Web-based systems and more. Editor(s): Bruel, Jean-Michel; Bellahsene, Zohra. Series: Lecture Notes in Computer Science. Num Pages: 336 pages, biography. BIC Classification: UMN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 17. Weight in Grams: 473.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 336
- Condition
- New
- SKU
- V9783540440888
- ISBN
- 9783540440888
Paperback
Condition: New
€ 70.85
€ 70.85
Paperback. These are the refereed proceedings of the 8th International Conference on Object-Oriented Information Systems, OOIS 2002 held in Montpellier, France, in September 2002. Editor(s): Bellahsene, Zohra; Patel, D.; Rolland, C. Series: Lecture Notes in Computer Science. Num Pages: 563 pages, biography. BIC Classification: UMN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 29. Weight in Grams: 792.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 563
- Condition
- New
- SKU
- V9783540440871
- ISBN
- 9783540440871
Paperback
Condition: New
€ 136.32
€ 136.32
Paperback. Constitutes the post-proceedings of the 5th International Conference on Financial Cryptography held in the British West Indies in 2002. Papers cover managing payment transaction costs, trust and risk management, groups and anonymity, certificates and authentication, credit card security and more. Editor(s): Syverson, Paul. Series: Lecture Notes in Computer Science. Num Pages: 388 pages, biography. BIC Classification: KFF; UN; URD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 20. Weight in Grams: 1220.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 388
- Condition
- New
- SKU
- V9783540440796
- ISBN
- 9783540440796
Paperback
Condition: New
€ 72.01
€ 72.01
Paperback. Constituting the proceedings of the fifth International Workshop on Document Analysis Systems (DAS 2002), this volume contains 44 full papers and 14 short papers. The papers are organized in topical sections and all contemporary issues in document analysis systems are addressed. Editor(s): Hu, Jianying; Kashi, Ramanusan; Lopresti, Daniel. Series: Lecture Notes in Computer Science. Num Pages: 574 pages, biography. BIC Classification: UNC; UYQP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 30. Weight in Grams: 814.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 574
- Condition
- New
- SKU
- V9783540440680
- ISBN
- 9783540440680
Paperback
Condition: New
€ 136.64
€ 136.64
Paperback. Constitutes the proceedings of the First International Conference on Pervasive Computing held in Zurich in 2002. Papers cover system design; applications; identification and authentication; models, platforms and architectures; location and mobility; and device independence and content distribution. Editor(s): Mattern, Friedemann; Naghshineh, Mahmoud. Series: Lecture Notes in Computer Science. Num Pages: 316 pages, biography. BIC Classification: UKP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 16. Weight in Grams: 445.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 316
- Condition
- New
- SKU
- V9783540440604
- ISBN
- 9783540440604
Paperback
Condition: New
€ 70.42
€ 70.42
Paperback. Constitutes the proceedings of the Third International Conference on Web-Age Information Management held in China in 2002. The papers cover XML; spatio-temporal databases; data mining and learning; XML and Web; workflows and e-services; bio-informatics, views and OLAP; Web search; and more. Editor(s): Meng, Xiaofeng; Su, Jianwen; Wang, Yujun. Series: Lecture Notes in Computer Science. Num Pages: 468 pages, biography. BIC Classification: UDB; UN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 23. Weight in Grams: 651.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 468
- Condition
- New
- SKU
- V9783540440451
- ISBN
- 9783540440451
Paperback
Condition: New
€ 73.49
€ 73.49
Paperback. These are revised and extended versions of lectures given at an international summer school on applied semantics that took place in Caminha, Portugal. The nine lectures included present developments in programming language research. Editor(s): Barthe, Gilles; Dybjer, Peter; Pinto, Luis; Saraiva, Joao. Series: Lecture Notes in Computer Science. Num Pages: 536 pages, biography. BIC Classification: CFG; UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 28. Weight in Grams: 765.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 536
- Condition
- New
- SKU
- V9783540440444
- ISBN
- 9783540440444
Paperback
Condition: New
€ 75.13
€ 75.13
Paperback. These are the refereed proceedings of the 13th International Conference on Concurrency Theory, CONCUR 2002, held in Brno, Czech Republic in August 2002. Editor(s): Brim, Lubos; Jancar, Petr; Kretinsky, Mojmir; Kucera, Antonin. Series: Lecture Notes in Computer Science. Num Pages: 609 pages, biography. BIC Classification: UYA; UYFP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 32. Weight in Grams: 868.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 609
- Condition
- New
- SKU
- V9783540440437
- ISBN
- 9783540440437
Paperback
Condition: New
€ 137.36
€ 137.36