Computer science
Results 8841 - 8860 of 16995
Computer science
Paperback. Constitutes the proceedings of the 18th International Conference on Automated Deduction, held in Denmark in 2002. The 27 full papers and 10 system descriptions cover proofcarrying code and compiler verifications, non-classical logics, system descriptions, SAT, model generation, CASC and more. Editor(s): Voronkov, Andrei. Series: Lecture Notes in Computer Science. Num Pages: 552 pages, biography. BIC Classification: UYQE. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. 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
- 552
- Condition
- New
- SKU
- V9783540439318
- ISBN
- 9783540439318
Paperback
Condition: New
€ 71.70
€ 71.70
Paperback. These are the refereed proceedings of the 5th International Symposium on Abstraction, Reformulation, and Approximation, SARA 2002. Abstraction, reformulation, approximation in the context of human common-sense reasoning, problem solving, and reasoning in complex domains are addressed. Editor(s): Koenig, Sven; Holte, Robert. Series: Lecture Notes in Computer Science. Num Pages: 352 pages, biography. BIC Classification: UYA; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 19. Weight in Grams: 516.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 352
- Condition
- New
- SKU
- V9783540439417
- ISBN
- 9783540439417
Paperback
Condition: New
€ 68.21
€ 68.21
Digital Cities II - Computational and Sociological Approaches
. Ed(S): Tanabe, Makoto; Ishida, Toru; Bessel...
Paperback. Presents papers contributed to the Second Kyoto Workshop on Digital Cities, held in Japan in 2001. The 29 papers cover: concepts and theory; politics of the digitial city movement; examples of digital cities; evaluations; architectures for digital cities; and technologies for digital cities. Editor(s): Tanabe, Makoto; Ishida, Toru; Besselaar, P.Van Den. Series: Lecture Notes in Computer Science. Num Pages: 416 pages, biography. BIC Classification: UT; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 21. Weight in Grams: 1280.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 416
- Condition
- New
- SKU
- V9783540439639
- ISBN
- 9783540439639
Paperback
Condition: New
€ 69.11
€ 69.11
Paperback. These are the the refereed proceedings of the 14th International Conference on Computer Aided Verification, CAV 2002, held in Copenhagen, Denmark in July 2002. Series: Lecture Notes in Computer Science. Num Pages: 372 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 33. Weight in Grams: 911.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 372
- Condition
- New
- SKU
- V9783540439974
- ISBN
- 9783540439974
Paperback
Condition: New
€ 131.61
€ 131.61
Structural, Syntactic, and Statistical Pattern Recognition
. Ed(S): Caelli, Terry; Amin, Adnan; Duin, Ro...
Paperback. Constitutes the proceedings of the 9th International Workshop on Structural and Syntactic Pattern Recognition and the 4th International Workshop on Statistical Techniques in Pattern Recognition held in Canada in 2002. Editor(s): Caelli, Terry; Amin, Adnan; Duin, Robert P. W. (Delft University of Technology, Delft, Netherlands); Kamel, Mohamed; Ridder, Dick de. Series: Lecture Notes in Computer Science. Num Pages: 898 pages, biography. BIC Classification: UYQP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 44. Weight in Grams: 1306.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 898
- Condition
- New
- SKU
- V9783540440116
- ISBN
- 9783540440116
Paperback
Condition: New
€ 127.17
€ 127.17
Paperback. These are the refereed proceedings of the First International Workshop on Pattern Recognition with Support Vector Machines, SVM 2002, held in Niagara Falls, Canada in August 2002. Editor(s): Lee, Seong-Whan; Verri, Alessandro. Series: Lecture Notes in Computer Science. Num Pages: 440 pages, biography. BIC Classification: UYQP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 22. Weight in Grams: 1350.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 440
- Condition
- New
- SKU
- V9783540440161
- ISBN
- 9783540440161
Paperback
Condition: New
€ 69.56
€ 69.56
Paperback. These are the refereed proceedings of the 5th Pacific Rim International Conference on Multi-Agents, PRIMA 2002, held in Tokyo, Japan in August 2002. Editor(s): Kuwabara, Kazuhiro; Lee, Jaeho. Series: Lecture Notes in Computer Science. Num Pages: 230 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 12. Weight in Grams: 343.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 230
- Condition
- New
- SKU
- V9783540440260
- ISBN
- 9783540440260
Paperback
Condition: New
€ 65.85
€ 65.85
Paperback. Constitutes the proceedings of the 6th European Conference on Principles of Data Mining and Knowledge Discovery held in Finland in 2002. Papers cover kernel methods, probabilistic methods, association rule mining, rough sets, sampling algorithms, pattern discovery, web text mining and more. Editor(s): Elomaa, Tapio; Mannila, Heikki; Toivonen, Hannu. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 528 pages, biography. BIC Classification: UNC; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 28. Weight in Grams: 825.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 528
- Condition
- New
- SKU
- V9783540440376
- ISBN
- 9783540440376
Paperback
Condition: New
€ 66.64
€ 66.64
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
€ 130.98
€ 130.98
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
€ 130.28
€ 130.28
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
€ 131.91
€ 131.91
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
€ 65.19
€ 65.19
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
€ 175.97
€ 175.97
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
€ 66.33
€ 66.33
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
€ 71.07
€ 71.07
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
€ 65.45
€ 65.45
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
€ 68.31
€ 68.31
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
€ 70.19
€ 70.19
Paperback. These conference papers cover information agents for mobile computing environments, interaction and negotiation, information gathering and collaborative filtering, agent-based information and knowledge management, agent communication and cooperation, and information agent mobility. Editor(s): Klusch, Matthias; Ossowski, Sascha; Shehory, Onn. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 340 pages, black & white illustrations. BIC Classification: UT; UYQE. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 18. Weight in Grams: 481.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 340
- Condition
- New
- SKU
- V9783540441731
- ISBN
- 9783540441731
Paperback
Condition: New
€ 67.73
€ 67.73
Hardback. Editor(s): Versteegen, Gerhard. Series: Xpert.press. BIC Classification: UYZM. Dimension: 235 x 155. Weight in Grams: 1370.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Springer Berlin Heidelberg
- Condition
- New
- SKU
- V9783540441755
- ISBN
- 9783540441755
Hardback
Condition: New
€ 75.39
€ 75.39