Computer science
Results 8801 - 8820 of 16995
Computer science
Paperback. Spatial knowledge representation and reasoning with spatial knowledge are relevant issues for many application areas. Starting out with the qualitative, topological constraint calculus RCC8 proposed by Randell, Cui and Cohn, this work presents answers to a variety of open questions regarding RCC8. Series: Lecture Notes in Computer Science. Num Pages: 228 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 12. Weight in Grams: 327.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 228
- Condition
- New
- SKU
- V9783540433460
- ISBN
- 9783540433460
Paperback
Condition: New
€ 63.34
€ 63.34
Paperback. Constitutes the proceedings of the 5th International Conference on Visual Information Systems held in Taiwan in 2002. The 28 revised full papers cover content-based indexing, search and retrieval visual information, system architectures, image/video databases, networked video and applications. Editor(s): Chang, Shi-Kuo; Chen, Zen; Lee, Shu-Yin. Series: Lecture Notes in Computer Science. Num Pages: 340 pages, biography. BIC Classification: UYQV. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 18. Weight in Grams: 478.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 340
- Condition
- New
- SKU
- V9783540433583
- ISBN
- 9783540433583
Paperback
Condition: New
€ 67.73
€ 67.73
Paperback. Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures held in France in 2002. The 28 full papers cover algebraic, logical and geometric theories and methods supporting the analysis and transformation of programs and software systems. Editor(s): Nielsen, Mogens; Engberg, Uffe. Series: Lecture Notes in Computer Science. Num Pages: 443 pages, biography. BIC Classification: UMZ; UYA; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 23. Weight in Grams: 635.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 443
- Condition
- New
- SKU
- V9783540433668
- ISBN
- 9783540433668
Paperback
Condition: New
€ 69.87
€ 69.87
Paperback. Constitutes the refereed post-proceedings of the Second Workshop of Central and Eastern Europe on Multi-Agent Systems held in Poland in 2001. The 33 revised papers address organizational and social aspects of MAS; communication languages, protocols and negotiation; applications of MAS and more. Editor(s): Dunin-Keplicz, Barbara; Nawarecki, Edward. Series: Lecture Notes in Computer Science. Num Pages: 346 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 18. Weight in Grams: 500.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 346
- Condition
- New
- SKU
- V9783540433705
- ISBN
- 9783540433705
Paperback
Condition: New
€ 67.85
€ 67.85
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes ...
Nipkow, Tobias, Paulson, Lawrence C., Wenzel,...
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 226 pages, biography. BIC Classification: HPL; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 157 x 235 x 19. Weight in Grams: 370.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer
- Edition
- 2002nd Edition
- Condition
- New
- SKU
- V9783540433767
- ISBN
- 9783540433767
Paperback
Condition: New
€ 71.22
€ 71.22
Trends in Network and Pervasive Computing Arcs 2002
. Ed(S): Schmeck, Hartmut; Ungerer, Theo; Wol...
Paperback. This volume constitutes the refereed proceedings of the International Conference on Architecture of Computing Systems held in Germany in 2002. The 18 revised full papers cover context-aware systems, system aspects, networking, processor architecture, and middleware and verification. Editor(s): Schmeck, Hartmut; Ungerer, Theo; Wolf, Lars. Series: Lecture Notes in Computer Science. Num Pages: 308 pages, biography. BIC Classification: UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 16. Weight in Grams: 440.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 308
- Condition
- New
- SKU
- V9783540434092
- ISBN
- 9783540434092
Paperback
Condition: New
€ 67.16
€ 67.16
Paperback. The main goal of this book is to provide an overview of some of the developments in the field of domain decomposition methods. Papers reflect some of the most active research areas in domain decomposition such as novel FETI, Neumann-Neumann, overlapping Schwarz and Mortar methods. Editor(s): Pavarino, Luca F.; Toselli, Andrea. Series: Lecture Notes in Computational Science and Engineering. Num Pages: 255 pages, 11 black & white illustrations, 10 colour illustrations, 54 black & white tables, biograp. BIC Classification: PBKJ; UK; UYAM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 14. Weight in Grams: 452.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2002
- Number of pages
- 255
- Condition
- New
- SKU
- V9783540434139
- ISBN
- 9783540434139
Paperback
Condition: New
€ 121.55
€ 121.55
Hardback. Teaches finite element methods and basic finite difference methods from a computational point of view. This text emphasizes developing flexible computer programs using the numerical library Diffpack, which is detailed for problems including model equations in applied mathematics, heat transfer, elasticity, and viscous fluid flow. Series: Texts in Computational Science and Engineering. Num Pages: 888 pages, biography. BIC Classification: PBKJ; UM; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 239 x 160 x 37. Weight in Grams: 1340.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2nd ed. 2003
- Number of pages
- 888
- Condition
- New
- SKU
- V9783540434160
- ISBN
- 9783540434160
Hardback
Condition: New
€ 70.50
€ 70.50
Tools and Algorithms for the Construction and Analysis of Systems
. Ed(S): Katoen, Jost-Pieter; Stevens, Perdit...
Paperback. Constitutes the proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems held in France in 2002. The 29 full papers cover real-time and probabilistic systems, scheduling, software verification, infinite-state systems and more. Editor(s): Katoen, Jost-Pieter; Stevens, Perdita. Series: Lecture Notes in Computer Science. Num Pages: 486 pages, biography. BIC Classification: UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 25. Weight in Grams: 694.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 486
- Condition
- New
- SKU
- V9783540434191
- ISBN
- 9783540434191
Paperback
Condition: New
€ 70.67
€ 70.67
Paperback. Constitutes the proceedings of three workshops (EvoCOP, EvoIASP and EvoSTIM/EvoPLAN) on the application of evolutionary programming and algorithms in various domains. The 33 papers cover combinatorial optimization problems, image analysis, signal processing, scheduling, timetabling and AI planning. Editor(s): Cagnoni, Stefano; Gottlieb, Jens; Hart, Emma; Middendorf, Martin; Raidl, Gunther R. (Vienna University of Technology). Series: Lecture Notes in Computer Science. Num Pages: 360 pages, biography. BIC Classification: UMB; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 19. Weight in Grams: 1130.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 360
- Condition
- New
- SKU
- V9783540434320
- ISBN
- 9783540434320
Paperback
Condition: New
€ 68.16
€ 68.16
Hardback. Deals with the issue of timing in systems design and analysis. Series: Monographs in Theoretical Computer Science : An Eatcs Series. Num Pages: 306 pages, biography. BIC Classification: UYA; UYD; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 19. Weight in Grams: 620.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 306
- Condition
- New
- SKU
- V9783540434474
- ISBN
- 9783540434474
Hardback
Condition: New
€ 69.67
€ 69.67
Paperback. Constitutes the refereed post-proceedings of the 5th International Conference on Developments in Language Theory held in Austria in 2001. The 24 full papers cover grammars and acceptors, efficient algorithms for languages, combinatorial and algebraic properties, decision problems and more. Editor(s): Kuich, Werner; Rozenberg, Grzegorz; Salomaa, Arto. Series: Lecture Notes in Computer Science. Num Pages: 398 pages, biography. BIC Classification: PBCD; UMX; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 21. Weight in Grams: 570.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 398
- Condition
- New
- SKU
- V9783540434535
- ISBN
- 9783540434535
Paperback
Condition: New
€ 68.99
€ 68.99
Hardback. Aims to provide an extremely clear monograph on algorithmic information theory. This work contains discussions of some interesting philosophical questions surrounding the meaning of randomness, as well as notion of randomness in physics and the information content of mathematical knowledge. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 468 pages, biography. BIC Classification: PBB; PBCD; UM; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (XV) Technical / Manuals. Dimension: 234 x 156 x 26. Weight in Grams: 862.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2nd ed. 2002
- Number of pages
- 468
- Condition
- New
- SKU
- V9783540434665
- ISBN
- 9783540434665
Hardback
Condition: New
€ 109.86
€ 109.86
Methods and Applications of Artificial Intelligence
. Ed(S): Vlahavas, Ioannis P.; Spyropoulos, C...
Paperback. Constitutes the refereed proceedings of the Second Hellenic Conference on Artificial Intelligence held in Greece in 2002. The 30 full papers cover knowledge representation and reasoning, logic programming and constraint satisfaction, planning and scheduling, natural language processing and more. Editor(s): Vlahavas, Ioannis P.; Spyropoulos, Constantine D. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 528 pages, 63 black & white illustrations, 27 colour illustrations, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 229 x 152 x 27. Weight in Grams: 811.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 528
- Condition
- New
- SKU
- V9783540434726
- ISBN
- 9783540434726
Paperback
Condition: New
€ 66.16
€ 66.16
Paperback. This text contains the proceedings of the Second Mexican International Conference on Artificial Intelligence held in Yucatan in 2002. The 56 full papers cover robotics and computer vision, heuristic search and optimization, speech recognition and natural language processing, logic and more. Editor(s): Coello Coello, Carlos A.; Albornoz, Alvaro de (Tecnologico de Monterrey, Mexico); Sucar, Luis Enrique; Battistutti, Osvaldo C. Series: Lecture Notes in Computer Science. Num Pages: 568 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 29. Weight in Grams: 1740.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 568
- Condition
- New
- SKU
- V9783540434757
- ISBN
- 9783540434757
Paperback
Condition: New
€ 129.91
€ 129.91
Hardcover. In contrast to other literature about B2B integration, this book presents a complete and concise overall architecture and discussion of various relevant technologies and standards. It also provides an impressiver reference list to product and research related information. Num Pages: 418 pages, 4 black & white tables, biography. BIC Classification: KJ; UY. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 242 x 166 x 29. Weight in Grams: 784.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Springer
- Edition
- 2003rd Edition
- Condition
- New
- SKU
- V9783540434870
- ISBN
- 9783540434870
Hardback
Condition: New
€ 66.37
€ 66.37
Paperback. Series: Springer-Lehrbuch. BIC Classification: UYD. Dimension: 235 x 155. Weight in Grams: 650.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer Berlin Heidelberg
- Condition
- New
- SKU
- V9783540435488
- ISBN
- 9783540435488
Paperback
Condition: New
€ 49.40
€ 49.40
Hardback. Introduces graph algorithms on an intuitive basis followed by an exposition in a literate programming style, with correctness proofs as well as worst-case analyses. This book provides C++ implementations of algorithms using the LEDA library of data structures and algorithms. Num Pages: 489 pages, biography. BIC Classification: UMB; UYAM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 28. Weight in Grams: 860.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 489
- Condition
- New
- SKU
- V9783540435501
- ISBN
- 9783540435501
Hardback
Condition: New
€ 94.39
€ 94.39
Paperback. This is the first of three volumes constituting the refereed proceedings of the Second International Conference on Computational Science held in Amsterdam in 2002. They present more than 350 reviewed contributed and invited papers and span the range of computational science. Editor(s): Sloot, Peter M. A.; Tan, C. J. Kenneth; Dongarra, Jack; Hoekstra, A.G. (University of Amsterdam). Series: Lecture Notes in Computer Science. Num Pages: 1179 pages, biography. BIC Classification: UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 56. Weight in Grams: 1686.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 1179
- Condition
- New
- SKU
- V9783540435914
- ISBN
- 9783540435914
Paperback
Condition: New
€ 129.57
€ 129.57
Algebraic and Coalgebraic Methods in the Mathematics of Program Constr...
. Ed(S): Backhouse, Roland C.; Crole, Roy; Gi...
Paperback. This textbook-like tutorial presents eight chapters on ordered sets and complete lattices, algebras and coalgebras, Galois connections and fixed point calculus, calculating functional programs, algebra of program termination, exercises in coalgebraic specification, temporal algebra and more. Editor(s): Backhouse, Roland C.; Crole, Roy; Gibbons, Jeremy. Series: Lecture Notes in Computer Science. Num Pages: 404 pages, biography. BIC Classification: UM; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 570.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 404
- Condition
- New
- SKU
- V9783540436133
- ISBN
- 9783540436133
Paperback
Condition: New
€ 68.99
€ 68.99