Computer science
Results 8689 - 8712 of 16990
Computer science
Paperback. Containing the proceedings of the 3rd Neural Computation and Psychology Workshop, this volume provides a view of the neural computation perspective on cognition, with particular emphasis on cognition, low-level perception, audition and vision, and sequence learning. Editor(s): Smith, Leslie S.; Hancock, Peter J.B. Series: Workshops in Computing. Num Pages: 229 pages, biography. BIC Classification: JMR; PSAN; UYQP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 13. Weight in Grams: 375.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 229
- Condition
- New
- SKU
- V9783540199489
- ISBN
- 9783540199489
Paperback
Condition: New
€ 63.42
€ 63.42
Paperback. The papers in this volume cover three main aspects of research: hardware, image analysis and image synthesis. They include several key contributions from the EU RACE II supported MONA LISA (MOdelling NAturaL Images for Synthesis and Animation) project. Editor(s): Paker, Yakup; Wilbur, Sylvia. Series: Workshops in Computing. Num Pages: 294 pages, 80 black & white illustrations, biography. BIC Classification: AJR; UYQV; UYS; UYT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 17. Weight in Grams: 480.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 294
- Condition
- New
- SKU
- V9783540199472
- ISBN
- 9783540199472
Paperback
Condition: New
€ 63.94
€ 63.94
Paperback. Designed for those who seek background material on the mathematical underpinnings of the refinement calculus, this monograph explores one view of the development of the calculus, plus its attempt to bring together Z specifications and Dijkstra's programming language. Editor(s): Morgan, Carroll; Vickers, Trevor. Series: Formal Approaches to Computing & Information Technology (FACIT). Num Pages: 159 pages, biography. BIC Classification: UMX; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 10. Weight in Grams: 280.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1992
- Number of pages
- 159
- Condition
- New
- SKU
- V9783540199311
- ISBN
- 9783540199311
Paperback
Condition: New
€ 63.19
€ 63.19
Paperback. This volume contains essays by researchers working on object technology and its application to information systems design and development. It discusses modelling, software, interface design, knowledge bases, object databases, distributed databases and emerging object technologies. Editor(s): Patel, Dilip; Sun, Yuan; Patel, Shushma. Num Pages: 506 pages, 22 black & white illustrations. BIC Classification: UMN; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 27. Weight in Grams: 795.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1995
- Number of pages
- 506
- Condition
- New
- SKU
- V9783540199274
- ISBN
- 9783540199274
Paperback
Condition: New
€ 66.05
€ 66.05
Paperback. This volume explores all aspects of safety-critical systems, from collaborative projects and strategic views to new technology. It covers verification, risk analysis, hazard identification and assessment, the use of programming languages and security principles. Editor(s): Redmill, Felix; Anderson, Tom. Num Pages: 329 pages, 5 black & white illustrations. BIC Classification: TBC; TGPR; UBH; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 18. Weight in Grams: 535.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1995
- Number of pages
- 329
- Condition
- New
- SKU
- V9783540199229
- ISBN
- 9783540199229
Paperback
Condition: New
€ 64.42
€ 64.42
Hardback. Focuses on the design and analysis of nonlinear control systems. This book covers such topics as: local and global decompositions of control systems; input-output maps and realization theory; nonlinear feedback for single-input/single-output systems and multi-input/multi-output systems; applications of state feedback; and, output regulation. Series: Communications and Control Engineering. Num Pages: 564 pages, biography. BIC Classification: PBWS; TBJ; TJFM; UYAM; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 239 x 158 x 37. Weight in Grams: 944.
- Format
- Hardback
- Publication date
- 1995
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 3rd ed. 1995
- Number of pages
- 564
- Condition
- New
- SKU
- V9783540199168
- ISBN
- 9783540199168
Hardback
Condition: New
€ 272.54
€ 272.54
Functional Programming, Glasgow 1994: Proceedings of the 1994 Glasgow ...
. Ed(S): Hammond, Kevin; Etc.; Turner, D.N.; ...
paperback. A summary of new research results on functional programming, which includes discussion of theoretical work in bisimilarity and computer algebra, the creation of a cervical smear scanning system, issues in concurrency and parallelism, and compilation methods for functional languages. Editor(s): Hammond, Kevin; etc.; Turner, D.N.; Sansom, P.M. (all of University of Glasgow, Scotland). Series: Workshops in Computing. Num Pages: 254 pages, biography. BIC Classification: UMJ; UYA; UYFP. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 425.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- Springer Germany
- Edition
- First Edition
- Number of pages
- 254
- Condition
- New
- SKU
- V9783540199144
- ISBN
- 9783540199144
Paperback
Condition: New
€ 121.63
€ 121.63
Paperback. This volume contains revised papers from the 2nd International Workshop on Interfaces to Database Systems, held at the University of Lancaster in July 1994. Topics discussed include data visualization, applications of graphics and virtual reality, formal models of user interfaces and more. Editor(s): Sawyer, P. H. Series: Workshops in Computing. Num Pages: 368 pages, 84 black & white illustrations, biography. BIC Classification: UN; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 20. Weight in Grams: 595.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 368
- Condition
- New
- SKU
- V9783540199106
- ISBN
- 9783540199106
Paperback
Condition: New
€ 64.78
€ 64.78
Paperback. Providing a detailed overview of the design and applications of the algebra of communicating processes (ACP), this volume examines a formalism which extends ACP with algebraic data specification, expressiveness issues and a number of relevant case studies. Editor(s): Ponse, Alban (Universiteit van Amsterdam); Verhoef, Christiaan; Vlijmen, Sebastiaan F.M.Van; etc. Series: Workshops in Computing. Num Pages: 359 pages, biography. BIC Classification: PBF; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 20. Weight in Grams: 575.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1995
- Number of pages
- 359
- Condition
- New
- SKU
- V9783540199090
- ISBN
- 9783540199090
Paperback
Condition: New
€ 64.67
€ 64.67
Paperback. This volume examines asynchronous methods which have been used in large circuit design, ranging from initial formal specification to more standard finite-state, machine-based control models. Many aspects of current practice are described, including practical design and applications. Editor(s): Birtwistle, Graham M.; Davis, Alan; Birtwhistle, G. Series: Workshops in Computing. Num Pages: 265 pages, 55 black & white illustrations, biography. BIC Classification: TJFC; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 15. Weight in Grams: 435.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 265
- Condition
- New
- SKU
- V9783540199014
- ISBN
- 9783540199014
Paperback
Condition: New
€ 64.17
€ 64.17
Incompleteness and Uncertainty in Information Systems
. Ed(S): Alagar, Vangalur S.; Etc.; Bergler, ...
Paperback. Contains papers presented at a workshop on the subject, held at Concordia University, Montreal, Canada in October 1993. The contributors discuss software aberrations, modelling uncertainty in object-oriented databases, the management of uncertainty in AI and much more. Editor(s): Alagar, Vangalur S.; etc.; Bergler, Sabine; Dong, F.Q. Series: Workshops in Computing. Num Pages: 235 pages, biography. BIC Classification: UKX; UMZ; UN; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 13. Weight in Grams: 395.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 235
- Condition
- New
- SKU
- V9783540198970
- ISBN
- 9783540198970
Paperback
Condition: New
€ 63.52
€ 63.52
paperback. This monograph addresses topics in the areas of control systems, signal processing and neural networks. Procedures are determined which constitute a successful synthesis method for associative memories by means of artificial neural networks. Editor(s): Liu, Derong; Michel, Anthony N. Series: Lecture Notes in Control and Information Sciences. Num Pages: 211 pages, biography. BIC Classification: PBKJ; TJFM; UYQN; UYS; UYT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 11. Weight in Grams: 340.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st Edition
- Number of pages
- 211
- Condition
- New
- SKU
- V9783540198888
- ISBN
- 9783540198888
Paperback
Condition: New
€ 63.19
€ 63.19
Paperback. Researchers from such diverse backgrounds as psychology, mathematics, the neurosciences and engineering present current research developments in the field of neural networks in this volume. Editor(s): Marinaro, Maria; Morasso, Pietro G. Num Pages: 1488 pages, 34 black & white illustrations, biography. BIC Classification: UYQN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 41. Weight in Grams: 1234.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 1488
- Condition
- New
- SKU
- V9783540198871
- ISBN
- 9783540198871
Paperback
Condition: New
€ 68.82
€ 68.82
paperback. The papers presented at this workshop on the theory and practice of formal software developments address the practical applications of these formal methods in commerce and industry. Series: Workshops in Computing. Num Pages: 309 pages, 1 black & white illustrations. BIC Classification: UMZ; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 17. Weight in Grams: 505.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer Germany
- Edition
- Softcover reprint of the original 1st ed. 1994
- Number of pages
- 309
- Condition
- New
- SKU
- V9783540198864
- ISBN
- 9783540198864
Paperback
Condition: New
€ 64.59
€ 64.59
Paperback. This volume of workshop papers has been divided into sections on knowledge discovery methodologies and applications, the theory of rough sets and its extensions, machine learning applications of rough sets, and reasoning from uncertain data using both fuzzy and rough set methods. Editor(s): Ziarko, Wojciech P. Series: Workshops in Computing. Num Pages: 476 pages, 18 black & white illustrations. BIC Classification: PBWX; UYA; UYQE; UYQM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 25. Weight in Grams: 737.
- 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
- 476
- Condition
- New
- SKU
- V9783540198857
- ISBN
- 9783540198857
Paperback
Condition: New
€ 65.76
€ 65.76
Paperback. The proceedings of a workshop which produced research papers on the full spectrum of functional programming research, including implementation, performance, parallelism, algorithms and semantics. Editor(s): O'Donnell, John T.; Hammond, Kevin. Series: Workshops in Computing. Num Pages: 287 pages, 8 black & white illustrations. BIC Classification: UMJ; UYA; UYFP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 16. Weight in Grams: 525.
- 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
- 287
- Condition
- New
- SKU
- V9783540198796
- ISBN
- 9783540198796
Paperback
Condition: New
€ 64.35
€ 64.35
Music Education: an Artificial Intelligence Approach
. Ed(S): Smith, Matt; Smaill, Alan; Wiggins, ...
Paperback. Presents the latest developments in a branch of artificial intelligence which is concerned with the computational study and emulation of human behaviour with respect to music. The volume explores the electronic representation of musical knowledge and computational models. Editor(s): Smith, Matt; Smaill, Alan; Wiggins, G. Series: Workshops in Computing. Num Pages: 173 pages, 31 black & white illustrations, biography. BIC Classification: AV; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 10. Weight in Grams: 300.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 173
- Condition
- New
- SKU
- V9783540198734
- ISBN
- 9783540198734
Paperback
Condition: New
€ 62.92
€ 62.92
Paperback. Logic program synthesis and transformation play a vital role in the automation of the software production process. This volume of conference proceedings surveys the research in progress and discusses new trends in logic program development and related areas. Editor(s): Deville, Yves. Series: Workshops in Computing. Num Pages: 245 pages, biography. BIC Classification: UMZ; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 14. Weight in Grams: 450.
- 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
- 245
- Condition
- New
- SKU
- V9783540198642
- ISBN
- 9783540198642
Paperback
Condition: New
€ 63.74
€ 63.74
Paperback. This volume surveys the various aspects of technology currently employed in the design of safety-critical systems, emphasizing the importance of safety assessment and risk management in their design and operation. The contributors discuss human factors, safety management and more. Editor(s): Redmill, Felix; Anderson, Tom. Num Pages: 258 pages, 9 black & white illustrations. BIC Classification: KNXC; TGP; URY; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 14. Weight in Grams: 453.
- 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
- 258
- Condition
- New
- SKU
- V9783540198598
- ISBN
- 9783540198598
Paperback
Condition: New
€ 63.90
€ 63.90
Algebraic Methodology and Software Technology (Amast '93)
. Ed(S): Nivat, Maurice; Rattray, Charles; Ru...
Paperback. This volume of workshop proceedings covers a variety of software development issues and testifies to the versatility of algebraic methods used as conceptual tools in the software development process. It describes six specific software systems which have been developed using algebraic methods. Editor(s): Nivat, Maurice; Rattray, Charles; Rus, Teodor; Scollo, Giuseppe. Series: Workshops in Computing. Num Pages: 416 pages, biography. BIC Classification: UMZ; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 23. Weight in Grams: 710.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1994
- Number of pages
- 416
- Condition
- New
- SKU
- V9783540198529
- ISBN
- 9783540198529
Paperback
Condition: New
€ 65.53
€ 65.53
Paperback. Contains a selection of research papers originally presented at a workshop on computer theory and formal methods. The contributors focused on four main areas of development: semantics; concurrency; logic; and specification. Editor(s): Burn, Geoffrey; Gay, Simon; Ryan, Mark D. Series: Workshops in Computing. Num Pages: 337 pages, 9 black & white illustrations. BIC Classification: UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 18. Weight in Grams: 570.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1993
- Number of pages
- 337
- Condition
- New
- SKU
- V9783540198420
- ISBN
- 9783540198420
Paperback
Condition: New
€ 64.65
€ 64.65
Paperback. A survey of current research in the field of neural networks, which describes computerized models of higher order human brain functions, the relationship between neural network architecture and function, and the need to extract computational principles from neurobiological findings. Editor(s): Gielen, Stan; Kappen, Bert. Num Pages: 1095 pages, 79 black & white illustrations, biography. BIC Classification: UGK; UYQN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 56. Weight in Grams: 1659.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 1095
- Condition
- New
- SKU
- V9783540198390
- ISBN
- 9783540198390
Paperback
Condition: New
€ 71.50
€ 71.50
Paperback. A three volume set designed to give insight into CNC technology, focusing on practical applications. Volume two explains why CNC requires a change in cutting tool technology from conventional methods. Num Pages: 190 pages, 91 black & white illustrations, biography. BIC Classification: TGP; TGXT; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 11. Weight in Grams: 325.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 190
- Condition
- New
- SKU
- V9783540198291
- ISBN
- 9783540198291
Paperback
Condition: New
€ 121.00
€ 121.00
Paperback. A three volume set designed to give insight into CNC technology, focusing on practical applications. Volume one outlines the origins and development of CNC machine tools, explains the construction of the equipment and discusses the various elements necessary to ensure high quality of production. Num Pages: 178 pages, 81 black & white illustrations, biography. BIC Classification: TGP; TGXT; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 10. Weight in Grams: 305.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 178
- Condition
- New
- SKU
- V9783540198284
- ISBN
- 9783540198284
Paperback
Condition: New
€ 120.85
€ 120.85