Computer science
Results 8785 - 8808 of 16990
Computer science
paperback. This text constitutes the refereed post-proceedings of the 4th International Andrei Ershov Memorial Conference, PSI 2001, held in Akademgorodok, Novosibirsk, Russia, in July 2001. Fifty revised papers and two invited memorial papers on the perspectives of system informatics are presented. Editor(s): Bjorner, Dines; Broy, Manfred; Zamulin, A.; Erashov, A.P. Series: Lecture Notes in Computer Science. Num Pages: 563 pages, biography. BIC Classification: UMC; UMX; UYF. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 29. Weight in Grams: 786.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2001st Edition
- Number of pages
- 563
- Condition
- New
- SKU
- V9783540430759
- ISBN
- 9783540430759
Paperback
Condition: New
€ 72.02
€ 72.02
Cooperative Environments for Distributed Systems Engineering
Drira, Khalil; Martelli, Andrea; Villemur, Th...
Paperback. This text documents the outcome of a European project on distributed system environments by presenting the results of the user's requirements analysis and assessing the current available technology, such as: collaboration systems design; analysis; and verification middleware product data. Series: Lecture Notes in Computer Science. Num Pages: 582 pages, biography. BIC Classification: UK; UMZ; UT; UYZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 419.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 582
- Condition
- New
- SKU
- V9783540430834
- ISBN
- 9783540430834
Paperback
Condition: New
€ 66.72
€ 66.72
Paperback. Containing the post-proceedings of the Second International Workshop on Engineering Societies in the Agents World, held in Prague in July 2001, this book has 12 papers on foundations of engineering with agents, logics and languages for MAS engineering, and agent middleware and applications. Editor(s): Omicini, Andrea; Petta, Paolo; Tolksdorf, Robert. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 212 pages, biography. BIC Classification: TJFM1; UT; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 11. Weight in Grams: 305.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 212
- Condition
- New
- SKU
- V9783540430919
- ISBN
- 9783540430919
Paperback
Condition: New
€ 65.14
€ 65.14
Paperback. A presentation of 74 papers from 19 different countries selected from approximately twice as many submissions. Among the topics addressed are fuzzy systems, soft computing, neural networks, pattern recognition, image processing, evolutionary computation and data mining. Editor(s): Pal, Nikhil R.; Sugeno, Michio. Series: Lecture Notes in Computer Science. Num Pages: 556 pages, biography. BIC Classification: TJFM1; UYQP; UYT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (XV) Technical / Manuals. Dimension: 234 x 156 x 28. Weight in Grams: 771.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 556
- Condition
- New
- SKU
- V9783540431503
- ISBN
- 9783540431503
Paperback
Condition: New
€ 129.80
€ 129.80
Logic Synthesis for Asynchronous Controllers and Interfaces
Cortadella, Jordi; Kishinevsky, M.; Kondratye...
Hardback. This book systematically teaches the reader about computer-aided design of asynchronous circuits. It should appeal to researchers, electrical engineers and advanced students. Series: Springer Series in Advanced Microelectronics. Num Pages: 286 pages, biography. BIC Classification: TJFD5; UT; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 17. Weight in Grams: 1290.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 286
- Condition
- New
- SKU
- V9783540431527
- ISBN
- 9783540431527
Hardback
Condition: New
€ 200.33
€ 200.33
paperback. This text constitutes the refereed proceedings of the 15th International Workshop on Algebraic Development Techniques, WADT 2001, held jointly with the General Workshop of the ESPRIT Working Group CoFI. Among the topics addressed are formal specification, specification languages and term rewriting. Editor(s): Cerioli, M.; Reggio, Gianna. Series: Lecture Notes in Computer Science. Num Pages: 358 pages, biography. BIC Classification: PBCD; UMZ; UYAM; UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 505.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2002nd Edition
- Number of pages
- 358
- Condition
- New
- SKU
- V9783540431596
- ISBN
- 9783540431596
Paperback
Condition: New
€ 68.11
€ 68.11
Hardback. Num Pages: 300 pages, black & white illustrations. BIC Classification: UY. Category: (G) General (US: Trade). Dimension: 234 x 156 x 17. Weight in Grams: 597.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 300
- Condition
- New
- SKU
- V9783540431640
- ISBN
- 9783540431640
Hardback
Condition: New
€ 64.10
€ 64.10
Paperback. Assessing the state of the art in active research areas in theoretical computer science, this book presents research papers and survey articles written for Grzegorz Rozenberg's 60th birthday. Topics include basic decidability and the notion of information, graph grammars and graph transformations. Editor(s): Brauer, Wilfried; Ehrig, Hartmut; Karhumaki, Juhani; Salomaa, Arto K. Series: Lecture Notes in Computer Science. Num Pages: 436 pages, biography. BIC Classification: UMB; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 24. Weight in Grams: 1460.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 436
- Condition
- New
- SKU
- V9783540431909
- ISBN
- 9783540431909
Paperback
Condition: New
€ 70.11
€ 70.11
Hardback. Visualization has become increasingly important for many types of biomedical applications and this book collects the latest results in the development of visualization methods in this field. Editor(s): Malladi, Ravikanth. Series: Mathematics and Visualization. Num Pages: 155 pages, biography. BIC Classification: MJA; PBKS; UYA; UYT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (XV) Technical / Manuals. Dimension: 235 x 155 x 13. Weight in Grams: 438.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 155
- Condition
- New
- SKU
- V9783540432166
- ISBN
- 9783540432166
Hardback
Condition: New
€ 121.71
€ 121.71
Paperback. Editor(s): Meiler, Monika; Saupe, Dietmar; Kruggel, Frithjof; Handels, Heinz; Lehmann, Thomas. Series: Informatik aktuell. BIC Classification: UYT. Dimension: 235 x 155. Weight in Grams: 679.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer Berlin Heidelberg
- Condition
- New
- SKU
- V9783540432258
- ISBN
- 9783540432258
Paperback
Condition: New
€ 81.01
€ 81.01
Hardback. Discussing developments and research related to all areas of plant surveillance and diagnosis, this text also identifies the successful applications of older methodological tools in the field. It highlights advantages of intelligent systems, AI techniques and integration of soft computing tools. Editor(s): Ruan, Da; Fantoni, Paolo F. Series: Power Systems. Num Pages: 386 pages, 30 black & white tables, biography. BIC Classification: KJMV4; THK; THRD; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 22. Weight in Grams: 1620.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 386
- Condition
- New
- SKU
- V9783540432470
- ISBN
- 9783540432470
Hardback
Condition: New
€ 193.49
€ 193.49
Artificial Intelligence and Dynamic Systems for Geophysical Applicatio...
Gvishiani, Alexej; Dubois, Jacques O.
Hardback. Taking as its main focus the application of theory to concrete geophysical problems, this text presents new clustering schemes, dynamical systems and pattern recognition algorithms in geophysical, geodynamical and natural hazard applications. Num Pages: 347 pages, 14 black & white tables, biography. BIC Classification: PDE; PHVG; RGY; UYAM; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 22. Weight in Grams: 698.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 347
- Condition
- New
- SKU
- V9783540432586
- ISBN
- 9783540432586
Hardback
Condition: New
€ 192.66
€ 192.66
Hardback. In this book, comprising recent research of leading researchers, a broad variety of problems is introduced, motivated, and then new results on these problems are presented. This handbook-like volume is for readers with theoretical as well as practical background knowledge about Computational Intelligence. Series: Natural Computing Series. Num Pages: 326 pages, 30 black & white tables, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 20. Weight in Grams: 653.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 326
- Condition
- New
- SKU
- V9783540432692
- ISBN
- 9783540432692
Hardback
Condition: New
€ 127.73
€ 127.73
Paperback. This text contains the post-proceedings of the International Workshop of the TYPES Working Group held in Durham in December 2000. The 15 revised full papers address significant issues on type theory and type systems and their applications to programming, systems design and proof theory. Editor(s): Callaghan, P.M.; Luo, Z.; McKinna, J.; Pollack, R. Series: Lecture Notes in Computer Science. Num Pages: 248 pages, biography. BIC Classification: PBCD; UMC; UMX; UYF. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 13. Weight in Grams: 820.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 248
- Condition
- New
- SKU
- V9783540432876
- ISBN
- 9783540432876
Paperback
Condition: New
€ 66.09
€ 66.09
Paperback. Addresses several problems of control and filtering of 2-D discrete systems. This monographs treats the problems of Hinfinity filtering, Hinfinity control, stabilization, Hinfinity model reduction as well as Hinfinity deconvolution filtering of 2-D linear discrete systems. Series: Lecture Notes in Control and Information Sciences. Num Pages: 168 pages, biography. BIC Classification: TJFM; UYS. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 9. Weight in Grams: 245.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 168
- Condition
- New
- SKU
- V9783540433293
- ISBN
- 9783540433293
Paperback
Condition: New
€ 64.51
€ 64.51
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