Computer science
Results 8737 - 8760 of 16990
Computer science
7th UK Computer and Telecommunications Performance Engineering Worksho...
. Ed(S): Hillston, Jane E.; King, Peter J. B....
Paperback. This volume contains 16 papers highlighting various aspects of parallel computing. Topics covered include advances in queueing theory, common performance problems and their solutions, assessments of available tools, and presentations of new theoretical results. Editor(s): Hillston, Jane E.; King, Peter J. B.; Pooley, Robert J. Series: Workshops in Computing. Num Pages: 191 pages, 32 black & white illustrations, biography. BIC Classification: TJK; UMZ; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 11. Weight in Grams: 368.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 191
- Condition
- New
- SKU
- V9783540197331
- ISBN
- 9783540197331
Paperback
Condition: New
€ 63.35
€ 63.35
Paperback. This is a collection of 16 papers presented at a workshop whose purpose was to bring together the work of database researchers and those working on formal specification techniques, to examine the role that formal specification can play in developing database systems. Editor(s): Harper, David J.; Norrie, Moira C. Series: Workshops in Computing. Num Pages: 323 pages, 6 black & white illustrations, biography. BIC Classification: UN; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 170 x 18. Weight in Grams: 610.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 323
- Condition
- New
- SKU
- V9783540197324
- ISBN
- 9783540197324
Paperback
Condition: New
€ 64.87
€ 64.87
perfect. This text aims to broaden and extend the debate concerning the significance of connectionist models. It collects together a variety of perspectives by experimental and developmental psychologists, philosophers and active AI researchers. Editor(s): Clark, Andy; Lutz, Rudi. Series: Human-Centred Systems. Num Pages: 181 pages, 3 black & white illustrations, biography. BIC Classification: JMR; PDA; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 170 x 10. Weight in Grams: 341.
- Publication date
- 1992
- Publisher
- Springer Germany
- Edition
- First Edition
- Number of pages
- 181
- Condition
- New
- SKU
- V9783540197164
- ISBN
- 9783540197164
Paperback
Condition: New
€ 63.19
€ 63.19
Paperback. The proceedings of an annual conference which provides researchers with the latest developments in the fields of computer vision and image processing, this volume contains papers on stereo and motion analysis, shading and texture methods, active sensing, object recognition and more. Editor(s): Mowforth, P. Num Pages: 419 pages, 127 black & white illustrations, biography. BIC Classification: UYQV; UYS; UYT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 170 x 23. Weight in Grams: 790.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 419
- Condition
- New
- SKU
- V9783540197157
- ISBN
- 9783540197157
Paperback
Condition: New
€ 123.91
€ 123.91
Paperback. This volume covers the proceedings of a conference on artificial intelligence and encompasses distributed intelligent agents, new modes of reasoning, the knowledge-level perspective, theorem proving and machine learning. Num Pages: 265 pages, 11 black & white illustrations, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 170 x 15. Weight in Grams: 525.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 265
- Condition
- New
- SKU
- V9783540196716
- ISBN
- 9783540196716
Paperback
Condition: New
€ 64.74
€ 64.74
Paperback. A survey of the parallel processing industry. It introduces the basic concepts of parallel computing and also covers different forms of parallelism, including descriptions of vector supercomputers, SIMD computers, shared memory multiprocessors, hypercubes and transputer-based machines. Editor(s): Trew, Arthur; Wilson, Greg. Num Pages: 392 pages, 9 black & white illustrations, biography. BIC Classification: UKC; UMZ; UYFP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 170 x 22. Weight in Grams: 770.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 392
- Condition
- New
- SKU
- V9783540196648
- ISBN
- 9783540196648
Paperback
Condition: New
€ 65.90
€ 65.90
Paperback. This volume contains the papers presented at a workshop held at Banff, Canada, 10-14 September 1990, which gathered together researchers interested in the application of higher order techniques. Series: Workshops in Computing. Num Pages: 285 pages, biography. BIC Classification: UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 170 x 16. Weight in Grams: 555.
- 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
- 285
- Condition
- New
- SKU
- V9783540196600
- ISBN
- 9783540196600
Paperback
Condition: New
€ 64.91
€ 64.91
Paperback. Contains the papers from a Refinement Workshop, organized by the British Computer Society in Cambridge, 1991. "Refinement" describes the systematic and formal methodology of specifying hardware and software and transforming the specifications into designs and implementations. Editor(s): Shaw, Roger C.; Morris, J.M. Series: Workshops in Computing. Num Pages: 480 pages, 2 black & white illustrations, biography. BIC Classification: UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 216 x 138 x 25. Weight in Grams: 840.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 480
- Condition
- New
- SKU
- V9783540196570
- ISBN
- 9783540196570
Paperback
Condition: New
€ 66.33
€ 66.33
Paperback. Contains 24 papers presented at this annual conference on the multidisciplinary area of AI. The aim of the AICS '90 conference was to provide a forum for industry and academic research to discuss AI and related topics, and to present new research results. Editor(s): Creancy, N. Series: Workshops in Computing. Num Pages: 392 pages, 18 black & white illustrations, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 216 x 138 x 21. Weight in Grams: 707.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 392
- Condition
- New
- SKU
- V9783540196532
- ISBN
- 9783540196532
Paperback
Condition: New
€ 65.50
€ 65.50
perfect. This is an introduction to MURAL, a software-support system that aims to create a user-friendly software environment which makes the best use of human talents to produce well-designed computer systems. The text describes the requirements, concepts and realization of the MURAL system. Num Pages: 421 pages, 8 black & white illustrations. BIC Classification: UMZ; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 170 x 23. Weight in Grams: 753.
- 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
- 421
- Condition
- New
- SKU
- V9783540196518
- ISBN
- 9783540196518
Paperback
Condition: New
€ 65.78
€ 65.78
Paperback. This volume presents research papers which aim to bring together work in the fields of distributed databases and distributed artificial intelligence, in order to discuss the next generation of knowledge based systems, Co-operating Knowledge Based Systems (CKBS). Editor(s): Deen, S.M. Num Pages: 327 pages, 4 black & white illustrations, biography. BIC Classification: UN; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 170 x 18. Weight in Grams: 594.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 327
- Condition
- New
- SKU
- V9783540196495
- ISBN
- 9783540196495
Paperback
Condition: New
€ 64.78
€ 64.78
hardcover. Integrates two technologies, namely Image Processing (IP) and Artificial Intelligence (AI) through the implementation of a fifth generation of industrial vision systems. This book is suitable for image processing specialists and Prolog enthusiasts. Num Pages: 372 pages, 4 black & white tables, biography. BIC Classification: UMX; UYQ; UYS; UYT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 22. Weight in Grams: 730.
- Format
- Hardback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1991st Edition
- Number of pages
- 372
- Condition
- New
- SKU
- V9783540196471
- ISBN
- 9783540196471
Hardback
Condition: New
€ 186.98
€ 186.98
Paperback. The proceedings of an international workshop which brought together researchers in the areas of computer architecture and security to discuss issues related to architectural support for security. The papers focused on capability-based protection schemes and the implications for software. Editor(s): Rosenberg, John; Keedy, J.Leslie. Series: Workshops in Computing. Num Pages: 394 pages, 16 black & white illustrations. BIC Classification: URY; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 170 x 22. Weight in Grams: 713.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1990
- Number of pages
- 394
- Condition
- New
- SKU
- V9783540196464
- ISBN
- 9783540196464
Paperback
Condition: New
€ 65.92
€ 65.92
Paperback. The proceedings of a workshop which assessed the role of formal methods in the development and fielding of trustworthy critical systems. The aim of the workshop was to assess problems retarding the development of critical systems and to identify how to improve formal research methods. Editor(s): Craigen, Dan; Summerskill, Karen. Series: Workshops in Computing. Num Pages: 248 pages, 1 black & white illustrations, biography. BIC Classification: UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 14. Weight in Grams: 514.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 248
- Condition
- New
- SKU
- V9783540196358
- ISBN
- 9783540196358
Paperback
Condition: New
€ 64.27
€ 64.27
Paperback. Examines the emergence of a philosophy based on the idea of human-centred technology. This book illustrates the ways in which computer users, social scientists, managers and engineers can participate in the design and development of human-centred computer integrated manufacturing systems. Series: Human-Centred Systems. Num Pages: 146 pages, 4 black & white illustrations. BIC Classification: JH; TGPC; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 242 x 170 x 8. Weight in Grams: 290.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 146
- Condition
- New
- SKU
- V9783540196136
- ISBN
- 9783540196136
Paperback
Condition: New
€ 62.87
€ 62.87
Paperback. Series: Workshops in Computing. Num Pages: 350 pages, 1 black & white illustrations. BIC Classification: UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 242 x 170 x 19. Weight in Grams: 620.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1990
- Number of pages
- 350
- Condition
- New
- SKU
- V9783540196082
- ISBN
- 9783540196082
Paperback
Condition: New
€ 65.34
€ 65.34
Paperback. "Papers presented at the BCS-FACS Workshop on Specification and Verification of Concurrent Systems held on 6-8 July 1988, at the University of Stirling, Scotland"--Pref. Editor(s): Rattray, C. Num Pages: 612 pages, 13 black & white illustrations, biography. BIC Classification: UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 170 x 32. Weight in Grams: 1204.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 612
- Condition
- New
- SKU
- V9783540195818
- ISBN
- 9783540195818
Paperback
Condition: New
€ 68.61
€ 68.61
Paperback. This volume provides an international survey of public data networks, which allow efficient telecommunications between a terminal and a computer. The authors discuss forthcoming developments in data communications using public telecommunication facilities, such as datafax, teletex and videotex. Num Pages: 241 pages, 2 black & white illustrations, biography. BIC Classification: TJK; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 13. Weight in Grams: 499.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1992
- Number of pages
- 241
- Condition
- New
- SKU
- V9783540195801
- ISBN
- 9783540195801
Paperback
Condition: New
€ 64.19
€ 64.19
Paperback. This treatise argues that successful applications of artificial intelligence are possible only within an understanding of human institutions and the limitations of technology. It also explores the way in which artificial intelligence can be valuable in solving organizational problems. Series: Human-Centred Systems. Num Pages: 181 pages, biography. BIC Classification: UYQ; UYZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 242 x 170 x 11. Weight in Grams: 380.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 181
- Condition
- New
- SKU
- V9783540195795
- ISBN
- 9783540195795
Paperback
Condition: New
€ 63.44
€ 63.44
Paperback. Aims to demonstrate the complexity of the concept of dialogue in relation to new technology, the effects it has on the development and preservation of occupational knowledge, skills, society, culture and language. Editor(s): Goranzon, Bo; Florin, Magnus. Series: Human-Centred Systems. Num Pages: 197 pages, biography. BIC Classification: UBJ; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 170 x 12. Weight in Grams: 400.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 197
- Condition
- New
- SKU
- V9783540195740
- ISBN
- 9783540195740
Paperback
Condition: New
€ 63.94
€ 63.94
Artifical Intelligence, Culture and Language: On Education and Work
. Ed(S): Goranzon, Bo; Florin, Magnus; Gorans...
paperback. Mathematical and engineering models are not sufficient to explain the effects of computers on the concept and exercise of knowledge. This was the premise of a conference in Stockholm in 1988, papers from which are presented in this book. Editor(s): Goranzon, Bo; Florin, Magnus; Goranson, Bo. Series: Human-Centred Systems. Num Pages: 266 pages, biography. BIC Classification: UYQE; UYQL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 170 x 16. Weight in Grams: 535.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer Germany
- Edition
- First Edition
- Number of pages
- 266
- Condition
- New
- SKU
- V9783540195733
- ISBN
- 9783540195733
Paperback
Condition: New
€ 64.42
€ 64.42
Paperback. This work is designed for people (teachers, technical authors, those engaged upon study) who are using, or thinking of using, computers to teach or support writing and for designers of computer-based writing systems who need to know more about developments in the field. Num Pages: 235 pages, biography. BIC Classification: CBW; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 170 x 13. Weight in Grams: 434.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 235
- Condition
- New
- SKU
- V9783540195726
- ISBN
- 9783540195726
Paperback
Condition: New
€ 64.17
€ 64.17
Paperback. Num Pages: 358 pages, biography,12 figs. BIC Classification: UYQL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 242 x 170 x 20. Weight in Grams: 665.
- Format
- Paperback
- Publication date
- 1989
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 358
- Condition
- New
- SKU
- V9783540195573
- ISBN
- 9783540195573
Paperback
Condition: New
€ 65.25
€ 65.25
Paperback. Editor(s): Goranzon, Bo; Josefson, Ingela. Series: Human-Centred Systems. Num Pages: 193 pages, biography, 10 figs. BIC Classification: UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 170 x 12. Weight in Grams: 400.
- Format
- Paperback
- Publication date
- 1988
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 193
- Condition
- New
- SKU
- V9783540195191
- ISBN
- 9783540195191
Paperback
Condition: New
€ 63.55
€ 63.55