Computer science
Results 8857 - 8880 of 16990
Computer science
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
Research and Advanced Technology for Digital Libraries
. Ed(S): Agosti, Maristella; Thanos, Costanti...
Paperback. These are the refereed proceedings of the 6th European Conference on Research and Advanced Technology for Digital Libraries, ECDL 2002, held in Rome, Italy, in September 2002. Editor(s): Agosti, Maristella; Thanos, Costantino. Series: Lecture Notes in Computer Science. Num Pages: 672 pages, biography. BIC Classification: GL; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 35. Weight in Grams: 949.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 672
- Condition
- New
- SKU
- V9783540441786
- ISBN
- 9783540441786
Paperback
Condition: New
€ 132.26
€ 132.26
Artificial Intelligence and Cognitive Science: 13th Irish Internationa...
. Ed(S): O'Neill, Michael; Sutcliffe, Richard...
paperback. Constituting the refereed proceedings of the 13th Irish International Conference on Artificial Intelligence and Cognitive Science (AICS 2002), this volume contains 33 papers covering cognitive modelling, case-based reasoning, constraint processing, data mining, evolutionary computation and more. Editor(s): O'Neill, Michael; Sutcliffe, Richard F.E.; Ryan, Conor; Eaton, Malachy. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 252 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 14. Weight in Grams: 375.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer Germany
- Edition
- 2002nd Edition
- Number of pages
- 252
- Condition
- New
- SKU
- V9783540441847
- ISBN
- 9783540441847
Paperback
Condition: New
€ 66.28
€ 66.28
Paperback. These proceedings cover location awareness, design support for personal digital assistants, context dependent systems, innovative case studies, usability evaluation in small devices, and novel user interfaces for mobile devices. Editor(s): Paterno, Fabio. Series: Lecture Notes in Computer Science. Num Pages: 445 pages, 8 black & white illustrations, 117 colour illustrations, biography. BIC Classification: UYZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 25. Weight in Grams: 682.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 445
- Condition
- New
- SKU
- V9783540441892
- ISBN
- 9783540441892
Paperback
Condition: New
€ 65.33
€ 65.33
Paperback. Giving a focus to the requirements that arise in complex problem solving and to the fact that modern experience management must be implemented as Internet-based applications, this title deals with with experience management in the context of real-world applicability and realistic applications. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 398 pages, biography. BIC Classification: KJE; KJM; UDB; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 21. Weight in Grams: 586.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 398
- Condition
- New
- SKU
- V9783540441915
- ISBN
- 9783540441915
Paperback
Condition: New
€ 65.05
€ 65.05
Paperback. Compiled from the proceedings of the 24th Symposium of the German Association for Pattern Recognition, this volume contains 74 papers. They address current issues in pattern recognition, including tracking, segmentation, 3D shape, optical flow, recognition, and spherical images. Editor(s): Gool, L. van. Series: Lecture Notes in Computer Science. Num Pages: 644 pages, biography. BIC Classification: UYQP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 33. Weight in Grams: 985.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 644
- Condition
- New
- SKU
- V9783540442097
- ISBN
- 9783540442097
Paperback
Condition: New
€ 125.14
€ 125.14
Medical Image Computing and Computer-Assisted Intervention - MICCAI 20...
. Ed(S): Dohi, Takeyoshi; Kikins, Ron
Paperback. Together with the companion volume LNCS 2489 this book constitutes the refereed proceedings of the 5th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2002, held in Tokyo, Japan, in September 2002. Editor(s): Dohi, Takeyoshi; Kikins, Ron. Series: Lecture Notes in Computer Science. Num Pages: 866 pages, biography. BIC Classification: MMP; UYT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 42. Weight in Grams: 1251.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 866
- Condition
- New
- SKU
- V9783540442240
- ISBN
- 9783540442240
Paperback
Condition: New
€ 126.82
€ 126.82
Medical Image Computing and Computer-Assisted Intervention - MICCAI 20...
. Ed(S): Dohi, Takeyoshi; Kikinis, Ron
paperback. Together with the companion volume LNCS 2488 this book constitutes the refereed proceedings of the 5th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2002, held in Tokyo, Japan, in September 2002. Editor(s): Dohi, Takeyoshi; Kikinis, Ron. Series: Lecture Notes in Computer Science. Num Pages: 722 pages, biography. BIC Classification: MMP; UYT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 37. Weight in Grams: 1081.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer Germany
- Edition
- 2002nd Edition
- Number of pages
- 722
- Condition
- New
- SKU
- V9783540442257
- ISBN
- 9783540442257
Paperback
Condition: New
€ 125.77
€ 125.77
Grammatical Inference - Algorithms and Applications
. Ed(S): Adriaans, Pieter; Fernau, Henning; V...
Paperback. These are the refereed proceedings of the 6th International Colloquium on Grammatical Inference, ICGI 2002, held in Amsterdam, The Netherlands, in September 2002. Editor(s): Adriaans, Pieter; Fernau, Henning; Van Zaanen, M. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 318 pages, biography. BIC Classification: UMX; UYQL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 17. Weight in Grams: 467.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 318
- Condition
- New
- SKU
- V9783540442394
- ISBN
- 9783540442394
Paperback
Condition: New
€ 67.93
€ 67.93
Paperback. 22-25, 2002, Proceedings Editor(s): Bradfield, Julian. Series: Lecture Notes in Computer Science. Num Pages: 628 pages, biography. BIC Classification: UMX; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 32. Weight in Grams: 884.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 628
- Condition
- New
- SKU
- V9783540442400
- ISBN
- 9783540442400
Paperback
Condition: New
€ 131.23
€ 131.23
Paperback. Compiled from the post-proceedings of the 13th Italian Workshop on Neural Nets, this book contains 21 revised full papers and three invited papers. They are organized in topical sections on architectures and algorithms, image and signal processing applications, and learning in neural networks. Editor(s): Marinaro, Maria; Tagliaferri, Roberto. Series: Lecture Notes in Computer Science. Num Pages: 261 pages, biography. BIC Classification: UMB; UYQ; UYT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 14. Weight in Grams: 386.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 261
- Condition
- New
- SKU
- V9783540442653
- ISBN
- 9783540442653
Paperback
Condition: New
€ 66.38
€ 66.38
Knowledge Engineering and Knowledge Management. Ontologies and the Sem...
Gomez-Perez, A., Gomez-Perez, Asuncion, Benja...
Paperback. These papers, from IKAW 2002, address issues in knowledge processing and key ingredients for building the semantic web, such as ontologies, knowledge modeling and representation, languages and tools, knowledge management, and knowledge acquisition. Editor(s): Gomez-Perez, Asuncion (Universidad Politecnica de Madrid); Benjamins, V. Richard. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 402 pages, 7 black & white illustrations, 575 colour illustrations, biography. BIC Classification: UYQE. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 22. Weight in Grams: 635.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer
- Edition
- 2002nd Edition
- Condition
- New
- SKU
- V9783540442684
- ISBN
- 9783540442684
Paperback
Condition: New
€ 65.14
€ 65.14
Paperback. Constituting proceedings of the First International Conference on Graph Transformations, these papers deal with graphical structures that are useful to describe complex systems and computational structures, like graphs, diagrams, visual sentences, and others. Editor(s): Corradini, Andrea; Ehrig, Hartmut; Kreowski, Hans-Jorg; Rozenberg, Grzegorz. Series: Lecture Notes in Computer Science. Num Pages: 476 pages, biography. BIC Classification: PBV; UMB; UNC; UYT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 24. Weight in Grams: 662.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 476
- Condition
- New
- SKU
- V9783540443100
- ISBN
- 9783540443100
Paperback
Condition: New
€ 70.24
€ 70.24
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 290 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. 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
- 290
- Condition
- New
- SKU
- V9783540443124
- ISBN
- 9783540443124
Paperback
Condition: New
€ 67.23
€ 67.23
Paperback. Constitutes the refereed proceedings of the 28th Symposium of the German Association for Pattern Recognition, DAGM 2006. This book contains topical sections that include image filtering, restoration and segmentation, shape analysis and representation, recognition, categorization and detection, and computer vision and image retrieval. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 804 pages, biography. BIC Classification: UYQP. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 40. Weight in Grams: 1098.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 804
- Condition
- New
- SKU
- V9783540444121
- ISBN
- 9783540444121
Paperback
Condition: New
€ 127.25
€ 127.25
Hardback. Grid computing is widely regarded as a technology of immense potential. Together with a brief introduction into grid computing in general and underlying security technologies, this book offers the first concise and detailed introduction to this important area. Num Pages: 331 pages, 12 black & white tables, biography. BIC Classification: URY; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 684.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 331
- Condition
- New
- SKU
- V9783540444923
- ISBN
- 9783540444923
Hardback
Condition: New
€ 65.45
€ 65.45
Paperback. Constitutes the refereed proceedings of the Third International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2006, held in Mallorca, Spain in September 2006. This book presents 40 revised full papers, carefully reviewed and selected from numerous submissions. Series: Lecture Notes in Computer Science. Num Pages: 352 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 1100.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 352
- Condition
- New
- SKU
- V9783540444947
- ISBN
- 9783540444947
Paperback
Condition: New
€ 68.40
€ 68.40
paperback. Constitutes the refereed proceedings of the Third International Conference on Image Analysis and Recognition, ICIAR 2006. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 967 pages, biography. BIC Classification: UYQP. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 48. Weight in Grams: 1448.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer Germany
- Edition
- 2006th Edition
- Number of pages
- 967
- Condition
- New
- SKU
- V9783540448914
- ISBN
- 9783540448914
Paperback
Condition: New
€ 128.20
€ 128.20
Paperback. Constitutes the refereed proceedings of the Third International Conference on Image Analysis and Recognition, ICIAR 2006. This title includes papers on pattern recognition for image analysis, computer vision, biometrics, shape and matching, brain imaging, remote sensing image processing, and more. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 950 pages, biography. BIC Classification: UYQP. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 47. Weight in Grams: 1436.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 950
- Condition
- New
- SKU
- V9783540448945
- ISBN
- 9783540448945
Paperback
Condition: New
€ 128.79
€ 128.79
Hardback. Offers a spectrum of sample works developed in leading research throughout the world about innovative methodologies of artificial intelligence in education and foundations of engineering educational intelligent systems as well as application and interesting experiences in the field. Editor(s): Nedjah, Nadia; Mourelle, Luiza de Macedo (State University of Rio de Janeiro); Borges, Mario Neto; Almeida, Nival Nunes de. Series: Studies in Computational Intelligence. Num Pages: 185 pages, 25 black & white tables, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 237 x 168 x 18. Weight in Grams: 440.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 185
- Condition
- New
- SKU
- V9783540449201
- ISBN
- 9783540449201
Hardback
Condition: New
€ 125.55
€ 125.55
Paperback. A monograph that focuses on optimal flow analysis of sequential and parallel programs. It studies algorithmic properties of various versions of the well-known constant-propagation problem, combining techniques from such diverse areas as linear algebra, computable ring theory, abstract interpretation, program verification and complexity theory. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 190 pages, biography. BIC Classification: UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 10. Weight in Grams: 630.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 190
- Condition
- New
- SKU
- V9783540453857
- ISBN
- 9783540453857
Paperback
Condition: New
€ 65.02
€ 65.02
Paperback. Constitutes the refereed proceedings of the 20th International Workshop on Computer Science Logic, CSL 2006. This book presents 37 revised full papers together with 4 invited contributions, addressing various aspects of logic in computer science. Editor(s): Esik, Zoltan. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 639 pages, biography. BIC Classification: UMX; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 33. Weight in Grams: 892.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 639
- Condition
- New
- SKU
- V9783540454588
- ISBN
- 9783540454588
Paperback
Condition: New
€ 125.85
€ 125.85