.png){kind=logo}
Computing
Results 12865 - 12888 of 30855
Computing
Computer Aided Learning and Instruction in Science and Engineering
. Ed(S): Sanchez, Arantza Diaz de Ilarraza; C...
Paperback. This text comprises the proceedings of the Third International Conference, CALISCE '96, held in San Sebastian, Spain, between July 29-31, 1996. Topics covered include: modelling and design; authoring and development tools and techniques; and CAL in distance learning. Editor(s): Sanchez, Arantza Diaz De Ilarraza; Castro, Isabel Fernandez De. Series: Lecture Notes in Computer Science. Num Pages: 485 pages, biography. BIC Classification: JNV; TBC; UY. Category: (P) Professional & Vocational; (XV) Technical / Manuals. Dimension: 234 x 156 x 25. Weight in Grams: 694.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 485
- Condition
- New
- SKU
- V9783540614913
- ISBN
- 9783540614913
Paperback
Condition: New
€ 74.07
€ 74.07
Paperback. This work presents a survey of logic programs as representational and reasoning tools. It examines the use of logic programming for various types of reasoning, particularly for nonmonotonic reasoning and a variety of knowledge representation formalisms, such as default negation. Series: Lecture Notes in Computer Science. Num Pages: 336 pages, biography. BIC Classification: UMX; UYF; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 18. Weight in Grams: 505.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 336
- Condition
- New
- SKU
- V9783540614883
- ISBN
- 9783540614883
Paperback
Condition: New
€ 71.38
€ 71.38
paperback. BIC Classification: UMB. Dimension: 235 x 155. Weight in Grams: 658.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer Berlin Heidelberg
- Edition
- 1996th Edition
- Condition
- New
- SKU
- V9783540613992
- ISBN
- 9783540613992
Paperback
Condition: New
€ 57.25
€ 57.25
Hardback. Giving an overview of public-key cryptography, this text covers its advantages and analyzes various public-key cryptosystems and protocols. It discusses classical cryptography and cryptoanalysis and offers an insight into recent developments. This revised edition includes cryptographic protocols. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 275 pages, biography. BIC Classification: URY; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 17. Weight in Grams: 1280.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2nd enlarged ed. 1996
- Number of pages
- 275
- Condition
- New
- SKU
- V9783540613565
- ISBN
- 9783540613565
Hardback
Condition: New
€ 72.42
€ 72.42
Paperback. Num Pages: 279 pages, 23 black & white illustrations, 12 black & white tables. BIC Classification: UGK; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 430.
- Format
- Paperback
- Publication date
- 1997
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 279
- Condition
- New
- SKU
- V9783540613022
- ISBN
- 9783540613022
Paperback
Condition: New
€ 72.41
€ 72.41
Paperback. This collection of 13 papers emphasizes methods of studying, analyzing and comparing designs and design methods. The topical focus is primarily in the software architecture level of design and on techniques suitable for dealing with large software systems. Editor(s): Lamb, David Alex. Series: Lecture Notes in Computer Science. Num Pages: 200 pages, biography. BIC Classification: UMZ; UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 10. Weight in Grams: 288.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 200
- Condition
- New
- SKU
- V9783540612858
- ISBN
- 9783540612858
Paperback
Condition: New
€ 68.19
€ 68.19
Paperback. Presenting 14 papers from the Second International Workshop on Higher-Order Algebra, Logic and Term-Rewriting, this work reports on the state of the art, addressing relevant theoretical aspects and discussing existing proof systems and term rewriting systems. Editor(s): Dowek, Gilles; Heering, J.; Meinke, K.; Moller, B. Series: Lecture Notes in Computer Science. Num Pages: 304 pages, biography. BIC Classification: UM; UYA; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 16. Weight in Grams: 950.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 304
- Condition
- New
- SKU
- V9783540612544
- ISBN
- 9783540612544
Paperback
Condition: New
€ 70.22
€ 70.22
Hardback. Series: Edition PAGE. BIC Classification: UG. Dimension: 235 x 155. Weight in Grams: 589.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Springer Berlin Heidelberg
- Condition
- New
- SKU
- V9783540612049
- ISBN
- 9783540612049
Hardback
Condition: New
€ 84.46
€ 84.46
Paperback / so. Translator(s): Merz, T. Series: Edition Page. Num Pages: black & white illustrations, colour illustrations, bibliography. BIC Classification: TBC; UFD; UG. Category: (G) General (US: Trade). Dimension: 203 x 127 x 5. Weight in Grams: 109.
- Format
- Paperback
- Publication date
- 1997
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783540612025
- ISBN
- 9783540612025
Paperback
Condition: New
€ 59.61
€ 59.61
Paperback. Editor(s): Schmidt, Mario; Hauslein, Andreas. Num Pages: 242 pages, 79 black & white illustrations. BIC Classification: KCN; TQD; TQK; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 385.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 242
- Condition
- New
- SKU
- V9783540611776
- ISBN
- 9783540611776
Paperback
Condition: New
€ 83.11
€ 83.11
Hardback. Aims to serve as a graduate-level textbook and reference book for scientists and academics in the field of reliability and maintenance of complex systems. This volume covers: stochastic models, decision models, software engineering, computational methods, and maintenance management. Editor(s): Ozekici, Suleyman. Series: NATO Asi Series / NATO Asi Subseries F:. Num Pages: 596 pages, biography. BIC Classification: PBT; PBWL; TBC; UYA; UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 33. Weight in Grams: 1028.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 596
- Condition
- New
- SKU
- V9783540611097
- ISBN
- 9783540611097
Hardback
Condition: New
€ 374.67
€ 374.67
Paperback / so. Originally presented as the author's thesis (doctoral)--Universit'at M'unchen, 1996. Series: Iwb Forschungsberichte. Num Pages: black & white illustrations, bibliography. BIC Classification: KJM; TBC; TD; UMZ. Category: (G) General (US: Trade). Dimension: 210 x 148 x 9. Weight in Grams: 204.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783540611042
- ISBN
- 9783540611042
Paperback
Condition: New
€ 70.97
€ 70.97
Paperback. Parallel processing can reduce the runtime involved in solving combinatorial optimization problems. This work, to which contributions were made by partners of the SCOOP Project (Solving Combinatorial Optimization Problems in Parallel), examines this use of parallel processing. Editor(s): Ferreira, Alfonso; Paradalos, P. Series: Lecture Notes in Computer Science. Num Pages: 287 pages, biography. BIC Classification: UYFP. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 413.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 287
- Condition
- New
- SKU
- V9783540610434
- ISBN
- 9783540610434
Paperback
Condition: New
€ 69.98
€ 69.98
Paperback / so. Editor(s): Glowalla, Ulrich; Rossbach, Gerhard; Kemp, Arnoud De; Engelmann, Erhard; Schoop, Eric. Num Pages: black & white illustrations, bibliography. BIC Classification: UY. Category: (G) General (US: Trade). Dimension: 234 x 156 x 18. Weight in Grams: 476.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783540609766
- ISBN
- 9783540609766
Paperback
Condition: New
€ 72.93
€ 72.93
paperback. These conference proceedings address all relevant aspects of formal methods, from the point of view of the industrial R&D professional, as well as from the academic viewpoint. They also document progress in the use of formal methods for the solution of real-world problems. Editor(s): Gaudel, M-.C.; Woodcock, J. C. P. Series: Lecture Notes in Computer Science. Num Pages: 711 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 36. Weight in Grams: 998.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1996th Edition
- Number of pages
- 711
- Condition
- New
- SKU
- V9783540609735
- ISBN
- 9783540609735
Paperback
Condition: New
€ 139.31
€ 139.31
Paperback / so. Originally presented as the author's thesis (doctoral)--Technische Universit'at M'unchen, 1995. Series: Iwb Forschungsberichte. Num Pages: black & white illustrations, bibliography. BIC Classification: TBC; TD; UGC; UMZ. Category: (G) General (US: Trade). Dimension: 210 x 148 x 10. Weight in Grams: 231.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783540609612
- ISBN
- 9783540609612
Paperback
Condition: New
€ 71.15
€ 71.15
Paperback / so. Originally presented as the author's thesis (doctoral)--Technische Universit'at M'unchen, 1995. Series: Iwb Forschungsberichte. Num Pages: 150 pages, black & white illustrations, bibliography. BIC Classification: TBC; UGC; UMZ. Category: (G) General (US: Trade). Dimension: 210 x 148 x 9. Weight in Grams: 209.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 150
- Condition
- New
- SKU
- V9783540609605
- ISBN
- 9783540609605
Paperback
Condition: New
€ 70.98
€ 70.98
Paperback / so. Originally presented as the author's thesis (doctoral)--Technische Universit'at M'unchen, 1995. Series: Iwb Forschungsberichte. Num Pages: black & white illustrations, bibliography. BIC Classification: TGB; TJFM; UMZ. Category: (G) General (US: Trade). Dimension: 210 x 148 x 9. Weight in Grams: 204.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783540609599
- ISBN
- 9783540609599
Paperback
Condition: New
€ 70.97
€ 70.97
Computational and Conversational Discourse: Burning Issues ― An Inte...
. Ed(S): Hovy, E.H.; Scott, Doris R.
hardcover. Proceedings of the NATO Advanced Research Workshop on Burning Issues in Discourse, held in Maratea, Italy, April 13-15, 1993 Editor(s): Hovy, E.H.; Scott, Doris R. Series: NATO Asi Series / NATO Asi Subseries F:. Num Pages: 202 pages, biography. BIC Classification: UYQL; UYU. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 14. Weight in Grams: 1080.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Springer Germany
- Edition
- 1996th Edition
- Number of pages
- 202
- Condition
- New
- SKU
- V9783540609483
- ISBN
- 9783540609483
Hardback
Condition: New
€ 253.50
€ 253.50
Hardback. The book gives a detailed and systematic introduction to high-level Petri nets that includes explanation, motivation, examples, and applications. The author is one of the leading authorities on Petri nets and a member of the steering committee for the International Conference on Application and Theory of Petri Nets. Series: Monographs in Theoretical Computer Science : An Eatcs Series. Num Pages: 248 pages, biography. BIC Classification: UGK; UKX; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 15. Weight in Grams: 1170.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2nd ed. 1996. 2nd corr. printing 1997
- Number of pages
- 248
- Condition
- New
- SKU
- V9783540609438
- ISBN
- 9783540609438
Hardback
Condition: New
€ 187.77
€ 187.77
Interactive Distributed Multimedia Systems and Services
. Ed(S): Butscher, Berthold; Moeller, Eckhard...
Paperback. These conference proceedings examine current and recent approaches to interactive distributed multimedia systems and services from different points of view, including research and development, management and users. Topics discussed include application development support and multimedia experiments. Editor(s): Butscher, Berthold; Moeller, Eckhard; Pusch, Herwart. Series: Lecture Notes in Computer Science. Num Pages: 344 pages, biography. BIC Classification: UG. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 18. Weight in Grams: 494.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 344
- Condition
- New
- SKU
- V9783540609384
- ISBN
- 9783540609384
Paperback
Condition: New
€ 71.18
€ 71.18
Paperback / so. Num Pages: black & white illustrations, black & white tables, bibliography. BIC Classification: KJMV3; MBPM; PBT; PDND; TBC; UF. Category: (G) General (US: Trade). Dimension: 203 x 127 x 18. Weight in Grams: 336.
- Format
- Paperback
- Publication date
- 1997
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783540609322
- ISBN
- 9783540609322
Paperback
Condition: New
€ 71.90
€ 71.90
Connectionist, Statistical and Symbolic Approaches to Learning for Nat...
. Ed(S): Wermter, S.; Scheler, G.; Riloff, E.
Paperback. IJCAI '95 Workshop, Montreal, Canada, August 21, 1995 Proceedings. Editor(s): Wermter, S.; Scheler, G.; Riloff, E. Series: Lecture Notes in Computer Science. Num Pages: 484 pages, black & white illustrations. BIC Classification: UYQL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 24. Weight in Grams: 673.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 484
- Condition
- New
- SKU
- V9783540609254
- ISBN
- 9783540609254
Paperback
Condition: New
€ 73.79
€ 73.79
Deutscher Multimedia Kongreß ’96: Perspektiven multimedialer Kommun...
. Ed(S): Glowalla, Ulrich; Schoop, Eric
paperback. Deutscher Multimedia Kongre '96, Leipzig, 12.-14. Mai 1996 Editor(s): Glowalla, Ulrich; Schoop, Eric. Num Pages: 424 pages, black & white illustrations, black & white tables, bibliography. BIC Classification: UMA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 660.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer Germany
- Edition
- 1st Edition
- Number of pages
- 424
- Condition
- New
- SKU
- V9783540609070
- ISBN
- 9783540609070
Paperback
Condition: New
€ 84.91
€ 84.91