Computer science
Results 9061 - 9080 of 16995
Computer science
Paperback. These papers, the proceedings of the First European Conference in Algebraic Computing and Control held in Paris, present the main actual methods for analysis and control of systems which naturally lead to the use of algebraic computing. Editor(s): Jacob, Gerard; Lamnabhi-Lagarrigue, Francoise. Series: Lecture Notes in Control and Information Sciences. Num Pages: 398 pages, 6 black & white tables, biography. BIC Classification: TJFM; UYA. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 21. Weight in Grams: 787.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 398
- Condition
- New
- SKU
- V9783540544081
- ISBN
- 9783540544081
Paperback
Condition: New
€ 66.01
€ 66.01
Paperback. Ottobrunn, November 19-20, 1990 Num Pages: 168 pages, 58 black & white illustrations, 21 black & white tables, biography. BIC Classification: PN; UKC; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 10. Weight in Grams: 310.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1991
- Number of pages
- 168
- Condition
- New
- SKU
- V9783540544111
- ISBN
- 9783540544111
Paperback
Condition: New
€ 63.36
€ 63.36
Parallel Computing and Mathematical Optimization: Proceedings of the W...
. Ed(S): Grauer, Manfred; Pressmar, Dieter B.
paperback. Presents the proceedings of a workshop which adopted a problem-oriented approach and attempted to solve the problem of how any company's existing computer infrastructure (personal computers, workstations and local area networks) could be used for parallel and distributed computation. Editor(s): Grauer, Manfred; Pressmar, Dieter B. Series: Lecture Notes in Economics and Mathematical Systems. Num Pages: 213 pages, 19 black & white tables, biography. BIC Classification: KJQ; KJT; UL; UYFP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 170 x 12. Weight in Grams: 384.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer Germany
- Edition
- Softcover reprint of the original 1st ed. 1991
- Number of pages
- 213
- Condition
- New
- SKU
- V9783540544340
- ISBN
- 9783540544340
Paperback
Condition: New
€ 121.12
€ 121.12
Computer-Aided Verification: 2nd Internatonal Conference, CAV '90, New...
. Ed(S): Kurshan, R. P.; Clarke, E.M.
paperback. This volume is the proceedings of a workshop presenting results that lead to new or more powerful computer aided verification methods: advances in the use of binary decision diagrams, dense time, reductions based upon partial order representations, and proof-checking in controller verification. Editor(s): Kurshan, R. P.; Clarke, E.M. Series: Lecture Notes in Computer Science. Num Pages: 392 pages, biography. BIC Classification: PBCD; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 20. Weight in Grams: 548.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer Germany
- Edition
- 1991st Edition
- Number of pages
- 392
- Condition
- New
- SKU
- V9783540544777
- ISBN
- 9783540544777
Paperback
Condition: New
€ 68.68
€ 68.68
Paperback. This volume contains 24 papers presented at a workshop held in Heidelberg in October 1990. The papers cover a wide range of topics in computer science logic. Editor(s): Borger, Egon; Buning, Hans Kleine; Richter, Michael M.; Schonfeld, Wolfgang. Series: Lecture Notes in Computer Science. Num Pages: 410 pages, biography. BIC Classification: PBCD; PBW; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 21. Weight in Grams: 581.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 410
- Condition
- New
- SKU
- V9783540544876
- ISBN
- 9783540544876
Paperback
Condition: New
€ 69.11
€ 69.11
Paperback. The papers in this volume were presented at the fourth biennial Summer Conference on Category and Computer Science. Category theory continues to be an important tool in foundational studies in computer science. Editor(s): Pitt, David H.; Curien, P-.L.; Abramsky, Samson; Pitts, Andrew M.; Poigne, Axel; Rydeheard, D. E. Series: Lecture Notes in Computer Science. Num Pages: 304 pages, biography. BIC Classification: PBC; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 16. Weight in Grams: 445.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 304
- Condition
- New
- SKU
- V9783540544951
- ISBN
- 9783540544951
Paperback
Condition: New
€ 67.08
€ 67.08
Paperback. Series: Informatik-Fachberichte / Subreihe Kunstliche Intelligenz. Num Pages: 215 pages, 2 black & white illustrations. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 12. Weight in Grams: 370.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 215
- Condition
- New
- SKU
- V9783540545231
- ISBN
- 9783540545231
Paperback
Condition: New
€ 79.26
€ 79.26
Paperback. 5th International GI/ITG/GMA Conference, Nurnberg, September 25-27, 1991. Proceedings Editor(s): Dal Cin, Mario. Series: Informatik-Fachberichte / Subreihe Kunstliche Intelligenz. Num Pages: 425 pages, 37 black & white illustrations, biography. BIC Classification: UMZ; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 170 x 23. Weight in Grams: 747.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1991
- Number of pages
- 425
- Condition
- New
- SKU
- V9783540545453
- ISBN
- 9783540545453
Paperback
Condition: New
€ 123.66
€ 123.66
Paperback. Editor(s): Lehmann, Axel; Lehmann, Fritz. Series: Informatik-Fachberichte / Subreihe Kunstliche Intelligenz. Num Pages: 346 pages, 8 black & white illustrations. BIC Classification: UKN; UYD. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 19. Weight in Grams: 595.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 346
- Condition
- New
- SKU
- V9783540545507
- ISBN
- 9783540545507
Paperback
Condition: New
€ 80.46
€ 80.46
Paperback. This proceedings volume contains revised papers from the first International Workshop on Nonmonotonic and Inductive Logic. Topics covered include nonmonotonicity in logic programs, axiomatic approach to nonmonotonic reasoning, inductive inference, autoepistemic logic, and belief updates. Editor(s): Dix, Jurgen; Jantke, K.P.; Schmitt, Peter H. Series: Lecture Notes in Computer Science. Num Pages: 260 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 13. Weight in Grams: 820.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 260
- Condition
- New
- SKU
- V9783540545644
- ISBN
- 9783540545644
Paperback
Condition: New
€ 66.21
€ 66.21
Paperback. Editor(s): Kaindl, Hermann. Series: Informatik-Fachberichte. Num Pages: 180 pages, biography. BIC Classification: UYA; UYQ; UYQL. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 10. Weight in Grams: 341.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 180
- Condition
- New
- SKU
- V9783540545675
- ISBN
- 9783540545675
Paperback
Condition: New
€ 78.97
€ 78.97
Paperback. Num Pages: black & white illustrations, bibliography. BIC Classification: UYQL. Category: (G) General (US: Trade). Dimension: 244 x 170 x 10. Weight in Grams: 290.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783540545750
- ISBN
- 9783540545750
Paperback
Condition: New
€ 68.28
€ 68.28
Paperback. This monograph offers information on the theory of degeneracy graphs, paving the way for an understanding of further applications, and also uses the basic theory to go on to explain the theory of simplex cycling and to derive the conditions in which simplex cycling would be used. Series: Lecture Notes in Economics and Mathematical Systems. Num Pages: 212 pages, 16 black & white tables, biography. BIC Classification: PB; UM; UYA. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 11. Weight in Grams: 381.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1991
- Number of pages
- 212
- Condition
- New
- SKU
- V9783540545934
- ISBN
- 9783540545934
Paperback
Condition: New
€ 63.44
€ 63.44
Paperback. This reference text for teaching graduate and undergraduate students in control systems, distributed AI, computer integrated manufacturing, AI in engineering applications and computer science, aims to help professional research staff to trace the latest technology developed in these fields. Series: Lecture Notes in Control and Information Sciences. Num Pages: 145 pages, 8 black & white illustrations, 2 black & white tables, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 170 x 8. Weight in Grams: 268.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 145
- Condition
- New
- SKU
- V9783540549130
- ISBN
- 9783540549130
Paperback
Condition: New
€ 62.60
€ 62.60
Paperback. This text examines the diagnosis of faults in VLSI chips and the design of chips to be fault-tolerant. Seven topics are treated at a level appropriate for researchers beginning work in this field including the definition of a testability measure and triple modular redundancy (TMR) systems. Num Pages: 197 pages, 6 black & white illustrations, 23 black & white tables, biography. BIC Classification: UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 170 x 10. Weight in Grams: 380.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1992
- Number of pages
- 197
- Condition
- New
- SKU
- V9783540549628
- ISBN
- 9783540549628
Paperback
Condition: New
€ 121.09
€ 121.09
Paperback. This monograph describes a class of computational methods, based on polynomial matrices, for the design of dynamic compensators for linear multi-variable control systems. Series: Lecture Notes in Control and Information Sciences. Num Pages: 217 pages, 1 black & white illustrations, biography. BIC Classification: PBK; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 12. Weight in Grams: 438.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 217
- Condition
- New
- SKU
- V9783540549925
- ISBN
- 9783540549925
Paperback
Condition: New
€ 121.71
€ 121.71
Knowledge Based Systems in Medicine: Methods, Applications and Evaluat...
. Ed(S): Talmon, Jan L.; Fox, John
paperback. This proceedings volume contains a series of essays that describe the use of artificial intelligence in medical research in Europe. Methodological issues regarding the construction and evaluation of medical decision aids are discussed as well as applications for critical and chronic care. Editor(s): Talmon, Jan L.; Fox, John. Series: Lecture Notes in Medical Informatics. Num Pages: 332 pages, 42 black & white illustrations, biography. BIC Classification: 1D; MBGR; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 216 x 138 x 19. Weight in Grams: 600.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer Germany
- Edition
- 1st Edition
- Number of pages
- 332
- Condition
- New
- SKU
- V9783540550112
- ISBN
- 9783540550112
Paperback
Condition: New
€ 64.82
€ 64.82
paperback. This volume presents the proceedings of two workshops: one on parallel processing, logic, organization and technology, and the other on evolutionary computer strategies. The papers explore a range of questions that are of interest to those involved in parallel processing research. Editor(s): Becker, J. D.; Eisele, I.; Muendemann, F.W. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 540 pages, biography. BIC Classification: UYFP; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 250 x 170 x 27. Weight in Grams: 851.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1991st Edition
- Number of pages
- 540
- Condition
- New
- SKU
- V9783540550273
- ISBN
- 9783540550273
Paperback
Condition: New
€ 66.76
€ 66.76
Hardback. Proceedings of the NATO Advanced Research Workshop on Multisensor Fusion for Computer Vision, held in Grenoble, France, June 26-30, 1989 Editor(s): Aggarwal, Jake K. Series: NATO Asi Series / NATO Asi Subseries F:. Num Pages: 460 pages, biography. BIC Classification: UYQV. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 25. Weight in Grams: 1840.
- Format
- Hardback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 460
- Condition
- New
- SKU
- V9783540550440
- ISBN
- 9783540550440
Hardback
Condition: New
€ 246.32
€ 246.32
Hardback. Proceedings of the NATO Advanced Research Workshop on Multi-media Interface Design in Education, held at Castel Vecchio Pascoli, Lucca, Italy, September 20-24, 1989 Editor(s): Edwards, Alistair D. N.; Holland, Simon. Series: NATO Asi Series / NATO Asi Subseries F:. Num Pages: 223 pages, biography. BIC Classification: JMR; JNV; UG; UYQ; UYZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 170 x 14. Weight in Grams: 520.
- Format
- Hardback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st ed. 1992. Corr. 2nd printing 1994
- Number of pages
- 223
- Condition
- New
- SKU
- V9783540550464
- ISBN
- 9783540550464
Hardback
Condition: New
€ 126.76
€ 126.76