Computer science
Results 9161 - 9180 of 16995
Computer science
Paperback. A series of research papers on image processing and pattern recognition, which includes discussion of the following topics: 3D vision; character recognition and document processing; shape and motion; biomedical and industrial applications; image data structures; and neural networks. Editor(s): Chetverikov, Dmitry; Kropatsch, Walter G. Series: Lecture Notes in Computer Science. Num Pages: 876 pages, bibliography. BIC Classification: UYQP; UYS; UYT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 216 x 138. Weight in Grams: 1095.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 876
- Condition
- New
- SKU
- V9783540572336
- ISBN
- 9783540572336
Paperback
Condition: New
€ 69.42
€ 69.42
Paperback. Contains the proceedings of the 4th International Conference on Database and Expert Systems Applications, held in Prague in September 1993. Topics discussed include data models, distributed systems, database optimization and performance evaluation, knowledge engineering and other AI applications. Editor(s): Marik, Vladimir; Wagner, Roland; Lazansky, Jiri. Series: Lecture Notes in Computer Science. Num Pages: 792 pages, biography. BIC Classification: UYQE. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 40. Weight in Grams: 1095.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 792
- Condition
- New
- SKU
- V9783540572343
- ISBN
- 9783540572343
Paperback
Condition: New
€ 125.82
€ 125.82
Paperback. Presenting a blend of theory and practical applications, technical developments and standardization issues, this volume explores such topics as public key cryptography, digital signatures, network security and data encryption standards. Editor(s): Preneel, Bart; Govaerts, R.; Vandewalle, Joos. Series: Lecture Notes in Computer Science. Num Pages: 292 pages, biography. BIC Classification: URD; URY; UYAM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 279 x 216 x 15. Weight in Grams: 920.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 292
- Condition
- New
- SKU
- V9783540573418
- ISBN
- 9783540573418
Paperback
Condition: New
€ 66.85
€ 66.85
Paperback. Presenting results gleaned from research in environmental physics, this monograph demonstrates how image sequence processing has been used to analyze spatio-temporal data in all areas of natural science. Series: Lecture Notes in Computer Science. Num Pages: 214 pages, biography. BIC Classification: TQ; UYS; UYT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 12. Weight in Grams: 720.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 214
- Condition
- New
- SKU
- V9783540574187
- ISBN
- 9783540574187
Paperback
Condition: New
€ 65.58
€ 65.58
Paperback. Based on the 3rd International Conference on Human-Computer Interaction, held in Moscow, CIS, in August 1993, this volume contains a series of research papers on the techniques of interface design, information visualization, multimedia, hypertext, interfaces and empirical studies. Editor(s): Bass, Len; Gornostaev, Juri; Unger, Claus. Series: Lecture Notes in Computer Science. Num Pages: 392 pages, biography. BIC Classification: UT; UYZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 21. Weight in Grams: 1250.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 392
- Condition
- New
- SKU
- V9783540574330
- ISBN
- 9783540574330
Paperback
Condition: New
€ 68.94
€ 68.94
Programmverifikation: Sequentielle, parallele und verteilte Programme
Apt, Krzysztof; Olderog, Ernst-Rudiger
paperback. Series: Springer-Lehrbuch. BIC Classification: UYD. Dimension: 235 x 155. Weight in Grams: 416.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer
- Edition
- 1994th Edition
- Condition
- New
- SKU
- V9783540574798
- ISBN
- 9783540574798
Paperback
Condition: New
€ 47.88
€ 47.88
Paperback. Presenting the results of a contemporary symposium on formal program development, this volume focuses on systematic approaches to computer programming and the appropriate concepts and notations required to support these approaches. Editor(s): Moller, B.; Partsch, Helmut A.; Schuman, Steve. Series: Lecture Notes in Computer Science. Num Pages: 375 pages, biography. BIC Classification: UM; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 20. Weight in Grams: 548.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 375
- Condition
- New
- SKU
- V9783540574996
- ISBN
- 9783540574996
Paperback
Condition: New
€ 68.68
€ 68.68
Paperback. Series: Springer-Lehrbuch. BIC Classification: UY. Dimension: 235 x 155. Weight in Grams: 950.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer Berlin Heidelberg
- Condition
- New
- SKU
- V9783540575085
- ISBN
- 9783540575085
Paperback
Condition: New
€ 30.18
€ 30.18
Foundations of Software Technology and Theoretical Computer Science
Rudrapatna K. . Ed(S): Shyamasundar
Paperback. This volume of conference proceedings contains papers grouped into sections on type theory, parallel algorithms, term rewriting, logic programming, computational geometry and complexity, software technology, concurrency, distributed algorithms and learning theory. Editor(s): Shyamasundar, Rudrapatna K. Series: Lecture Notes in Computer Science. Num Pages: 938 pages, biography. BIC Classification: UMZ; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 24. Weight in Grams: 662.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 938
- Condition
- New
- SKU
- V9783540575290
- ISBN
- 9783540575290
Paperback
Condition: New
€ 70.24
€ 70.24
Hardback. This comprehensive overview of the mathematical description of shape emphasizes methodology and the underlying mathematics. Its results are needed in various fields of image analysis, computer vision, and artificial intelligence. Editor(s): O, Ying-Lie; Toet, Alexander; Foster, David; Heijmans, Henk J. A. M.; Meer, Peter. Series: NATO Asi Series / NATO Asi Subseries F:. Num Pages: 682 pages, biography. BIC Classification: UYAM; UYQ; UYS; UYT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 38. Weight in Grams: 1144.
- Format
- Hardback
- Publication date
- 1994
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 682
- Condition
- New
- SKU
- V9783540575788
- ISBN
- 9783540575788
Hardback
Condition: New
€ 357.72
€ 357.72
Paperback. This monograph brings computational unconstrained nonlinear optimization to life through a study of the interplay between the metric-based (Cauchy) and model-based (Newton) points of view. The author develops the Newton-Cauchy framework and explores its wealth of algorithmic implications. Series: Lecture Notes in Computer Science. Num Pages: 108 pages, biography. BIC Classification: UYAM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 6. Weight in Grams: 185.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 108
- Condition
- New
- SKU
- V9783540576716
- ISBN
- 9783540576716
Paperback
Condition: New
€ 63.90
€ 63.90
Paperback. This monograph explores the integration of decision-theory and artificial intelligence and their combined usage in the solution of planning problems. The author develops a first-order logic of time, chance and action which represents and assesses the results of plans. Series: Lecture Notes in Computer Science. Num Pages: 144 pages, biography. BIC Classification: KJT; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 8. Weight in Grams: 480.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 144
- Condition
- New
- SKU
- V9783540576976
- ISBN
- 9783540576976
Paperback
Condition: New
€ 64.07
€ 64.07
Paperback / so. Editor(s): Warnecke, Hans-Jurgen; Bullinger, Hans-Jarg. Series: IPA-Iao - Forschung Und Praxis Tagungsberichte. Num Pages: 391 pages, black & white illustrations, bibliography. BIC Classification: KJC; KJM; UYZG. Category: (G) General (US: Trade). Dimension: 297 x 210 x 21. Weight in Grams: 953.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 391
- Condition
- New
- SKU
- V9783540577683
- ISBN
- 9783540577683
Paperback
Condition: New
€ 72.88
€ 72.88
paperback. Describing how digital signal processing has become an integral part of observational seismology, this monograph describes the basic theory of linear systems, the design and analysis of simple digital filters, the effect of sampling and the spectral analysis of digital signals. Series: Lecture Notes in Earth Sciences. Num Pages: 164 pages, biography. BIC Classification: RBC; UYS; UYT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 10. Weight in Grams: 278.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st Edition
- Number of pages
- 164
- Condition
- New
- SKU
- V9783540579731
- ISBN
- 9783540579731
Paperback
Condition: New
€ 62.79
€ 62.79
Paperback. This monograph presents an introduction to multiagent systems and other aspects of distributed artificial intelligence. It develops a semantics for multiagent systems in a general logical framework. Series: Lecture Notes in Computer Science. Num Pages: 174 pages, biography. BIC Classification: UT; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 10. Weight in Grams: 288.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 174
- Condition
- New
- SKU
- V9783540580263
- ISBN
- 9783540580263
Paperback
Condition: New
€ 47.17
€ 47.17
Paperback. Proceedings of the 17th Annual Conference of the Gesellschaft fur Klassifikation e.V., University of Kaiserslautern, March 3 - 5, 1993 Editor(s): Bock, Hans H.; Bock, Hans-Hermann; Lenski, Wolfgang; Richter, M.M. Series: Studies in Classification, Data Analysis, and Knowledge Organization. Num Pages: 479 pages, 31 black & white tables, biography. BIC Classification: PBT; UYAM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 24. Weight in Grams: 820.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1994
- Number of pages
- 479
- Condition
- New
- SKU
- V9783540580577
- ISBN
- 9783540580577
Paperback
Condition: New
€ 124.24
€ 124.24
Paperback. This volume of conference proceedings has been organized into sections on development process support, workflow management, quality management, object-oriented requirements engineering, behavioural modelling, advanced development tools, formal IS modelling and advanced database engineering. Editor(s): Wijers, Gerard; Brinkkemper, Sjaak. Series: Lecture Notes in Computer Science. Num Pages: 427 pages, biography. BIC Classification: UMZ; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 279 x 216 x 22. Weight in Grams: 1370.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 427
- Condition
- New
- SKU
- V9783540581130
- ISBN
- 9783540581130
Paperback
Condition: New
€ 106.52
€ 106.52
Paperback. This volume describes advanced electronic speech technologies and their applications in the emerging areas of natural language processing, the multilingual conversion between speech and text, the integration of speech, text, visual information and gesture, and the design of speech-based computers. Editor(s): Varghese, Kadamula; etc.; Pfleger, Silvia; Lefevre, Jean-Paul. Series: Research Reports Esprit / Project Group Speech Technology. Num Pages: 320 pages, biography. BIC Classification: UYU. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 17. Weight in Grams: 467.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 320
- Condition
- New
- SKU
- V9783540581420
- ISBN
- 9783540581420
Paperback
Condition: New
€ 64.25
€ 64.25
Hardback. Describes the vision system anywhere to integrate robotic camera control, ocular reflexes, reactive fixation, real-time image processing, image tracking, perceptual grouping, active 3D modeling, and object recognition. Editor(s): Crowley, James L.; Christensen, Henrik L. Series: ESPRIT Basic Research Series. Num Pages: 435 pages, 25 black & white tables, biography. BIC Classification: UYQP; UYQV. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 25. Weight in Grams: 807.
- Format
- Hardback
- Publication date
- 1994
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 435
- Condition
- New
- SKU
- V9783540581437
- ISBN
- 9783540581437
Hardback
Condition: New
€ 193.30
€ 193.30
Paperback. A volume of conference proceedings organized into different sections on real-time systems, computer aided verification (CAV) theory and applications, symbolic verification, hybrid systems, model checking, improving efficiency and hardware verification. Editor(s): Dill, David L. Series: Lecture Notes in Computer Science. Num Pages: 496 pages, biography. BIC Classification: UM; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 25. Weight in Grams: 689.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 496
- Condition
- New
- SKU
- V9783540581796
- ISBN
- 9783540581796
Paperback
Condition: New
€ 70.62
€ 70.62