Computing
Results 14569 - 14592 of 23909
Computing
Formal Methods in Databases and Software Engineering
. Ed(S): Alagar, V. S.; Lakshmanan, Laks V. S...
Paperback. This volume outlines the proceedings of a workshop which aimed to foster interdisciplinary research between software engineers and database designers. Topics discussed include object-oriented VDM, proof management, temporal databases, concept learning and knowledge-based systems. Editor(s): Alagar, V. S.; Lakshmanan, Laks V. S.; etc.; Sadri, Fereidoon. Series: Workshops in Computing. Num Pages: 193 pages, biography. BIC Classification: UMN; UMZ; UN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 11. Weight in Grams: 320.
- 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
- 193
- Condition
- New
- SKU
- V9783540198123
- ISBN
- 9783540198123
Paperback
Condition: New
€ 63.07
€ 63.07
paperback. Systematically examines the implications of focusing computer system design on the needs of the user. This study explores which design perspectives are most suitable, and why design in the context of computer supported co-operative work (CSCW) is different from established practices. Editor(s): Rosenberg, Duska; Hutchison, Christopher. Series: Computer Supported Cooperative Work. Num Pages: 338 pages, 17 black & white illustrations, biography. BIC Classification: UYD; UYZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 18. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- First Edition
- Number of pages
- 338
- Condition
- New
- SKU
- V9783540198109
- ISBN
- 9783540198109
Paperback
Condition: New
€ 64.33
€ 64.33
Paperback. A comprehensive overview of current research in the field of information retrieval, as well as indications of future developments. The text includes chapters on such topics as an intelligent multimodal interface for a materials information system, and hypermedia links and information retrieval. Editor(s): McEnery, Tony; Paice, Chris. Series: Workshops in Computing. Num Pages: 195 pages, 2 black & white illustrations. BIC Classification: GLF; U. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 11. Weight in Grams: 355.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 195
- Condition
- New
- SKU
- V9783540198086
- ISBN
- 9783540198086
Paperback
Condition: New
€ 63.27
€ 63.27
paperback. Sponsored by the Association for Logic Programming and ALPUK Editor(s): Lau, Kung-Kiu; Clement, T.P. Series: Workshops in Computing. Num Pages: 273 pages, 2 black & white illustrations, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 15. Weight in Grams: 445.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- First Edition
- Number of pages
- 273
- Condition
- New
- SKU
- V9783540198062
- ISBN
- 9783540198062
Paperback
Condition: New
€ 63.85
€ 63.85
Paperback. The aim of the workshop upon which this text is based was to raise the profile of LARCH, a group of formal specification languages and tools orginally developed in the USA. Among the topics covered in this volume are the mechanical verification of concurrent systems with TLA. Editor(s): Martin, Ursula; Wing, Jeannette M. Series: Workshops in Computing. Num Pages: 315 pages, 4 black & white illustrations, biography. BIC Classification: UMX; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 17. Weight in Grams: 560.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 315
- Condition
- New
- SKU
- V9783540198048
- ISBN
- 9783540198048
Paperback
Condition: New
€ 64.55
€ 64.55
Paperback. An overview of research into the modelling and use of database dynamics. The text covers such topics as specifying the dynamics of complex objects databases, updates in a rule-based language for objects, and non-deterministic aspects of database transformations involving object creation Editor(s): Lipeck, Udo Walter; Thalheim, B. Series: Workshops in Computing. Num Pages: 244 pages, 1 black & white illustrations, biography. BIC Classification: UN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 13. Weight in Grams: 420.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 244
- Condition
- New
- SKU
- V9783540198031
- ISBN
- 9783540198031
Paperback
Condition: New
€ 63.70
€ 63.70
Paperback. This volume contains revised papers initially presented at the 1st International Workshop on Interfaces to Database Systems, held in Glasgow in July 1992. The contributors discuss the production of interfaces tailored to particular applications and more general systems. Editor(s): Cooper, Richard. Series: Workshops in Computing. Num Pages: 468 pages, 98 black & white illustrations, biography. BIC Classification: UN; UT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 24. Weight in Grams: 784.
- 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
- 468
- Condition
- New
- SKU
- V9783540198024
- ISBN
- 9783540198024
Paperback
Condition: New
€ 123.88
€ 123.88
Paperback. Provides a look at state of the art research into the area of persistent object systems. The primary topics discussed are the design, implementation and use of persistent object systems. Series: Workshops in Computing. Num Pages: 447 pages, 29 black & white illustrations. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 24. Weight in Grams: 790.
- 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
- 447
- Condition
- New
- SKU
- V9783540198000
- ISBN
- 9783540198000
Paperback
Condition: New
€ 66.41
€ 66.41
Paperback. Based on the proceedings of the 5th Irish Conference on Artificial Intelligence and Cognitive Science, this volume covers such fields of research as the development of reasoning strategies, computer-based iconic communication and a robotic vehicle system for emergency management support. Editor(s): Ryan, Kevin; Sutcliffe, Richard F. E. Series: Workshops in Computing. Num Pages: 357 pages, 31 black & white illustrations. BIC Classification: TJFM1; UT; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 19. Weight in Grams: 610.
- 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
- 357
- Condition
- New
- SKU
- V9783540197997
- ISBN
- 9783540197997
Paperback
Condition: New
€ 64.87
€ 64.87
Paperback. Offering a broad, critical evaluation of the role of information technology in today's business world, this study explores information systems and strategies, artificial intelligence, hybrid managers, knowledge-based training systems and human-centred systems. Editor(s): Ennals, Professor Richard; Molyneux, Philip. Num Pages: 284 pages, 15 black & white illustrations, biography. BIC Classification: KJM; KJQ; URD; UYAM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 16. Weight in Grams: 465.
- 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
- 284
- Condition
- New
- SKU
- V9783540197959
- ISBN
- 9783540197959
Paperback
Condition: New
€ 63.86
€ 63.86
Paperback. This volume is based on the proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, held in May 1991. The resulting volume contains the eight papers presented at the meeting, along with five additional papers which offer further insight into the topics raised there. Editor(s): Denvir, Tim; Herman, Rosalind; Whitty, R.W.; etc. Series: Workshops in Computing. Num Pages: 259 pages, biography. BIC Classification: KJM; UMX; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 14. Weight in Grams: 440.
- 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
- 259
- Condition
- New
- SKU
- V9783540197881
- ISBN
- 9783540197881
Paperback
Condition: New
€ 63.69
€ 63.69
Paperback. Provides a comprehensive overview of current research into artificial intelligence and cognitive science. Many of the papers aim to present new perspectives on common problems, as well as techniques for dealing with them. Series: Workshops in Computing. Num Pages: 309 pages, 18 black & white illustrations, biography. BIC Classification: JMR; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 17. Weight in Grams: 540.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 309
- Condition
- New
- SKU
- V9783540197850
- ISBN
- 9783540197850
Paperback
Condition: New
€ 64.82
€ 64.82
Paperback. This is an introduction to both technical and human aspects of computer supported co-operative work (CSCW), taken from the perspectives of the technology, the users and the user interface. The authors examine the concept of collaborative authoring to propose solutions to the problems encountered. Editor(s): Diaper, Dan; Sanger, Colston. Series: Computer Supported Cooperative Work. Num Pages: 218 pages, 7 black & white illustrations. BIC Classification: UYZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 157 x 13. Weight in Grams: 330.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer
- Edition
- Softcover reprint of the original 1st ed. 1993
- Condition
- New
- SKU
- V9783540197843
- ISBN
- 9783540197843
Paperback
Condition: New
€ 63.34
€ 63.34
Paperback. This volume of conference proceedings covers a variety of technical areas, including concurrent logic languages and their semantics, the application of logic languages to other logical systems, modules, error-handling and the distributed execution of PROLOG programs. Editor(s): Broda, Krysia B. Series: Workshops in Computing. Num Pages: 355 pages, biography. BIC Classification: UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 19. Weight in Grams: 615.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1993
- Number of pages
- 355
- Condition
- New
- SKU
- V9783540197836
- ISBN
- 9783540197836
Paperback
Condition: New
€ 64.93
€ 64.93
Paperback. This volume arose from a symposium which provided the first major opportunity for those working in the areas of computers and collaborative writing to exchange ideas. It features papers on software design, collaborative writing models and computer-supported co-operative work. Editor(s): Sharples, Mike. Series: Computer Supported Cooperative Work. Num Pages: 237 pages, 8 black & white illustrations, biography. BIC Classification: CBW; CFG; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 13. Weight in Grams: 380.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 237
- Condition
- New
- SKU
- V9783540197829
- ISBN
- 9783540197829
Paperback
Condition: New
€ 63.44
€ 63.44
Paperback. Provides an overview of new developments in theoretical and practical aspects of Z. It should be of interest to academic and industrial researchers, as well as teachers of formal methods, and industrial software engineers. Editor(s): Nicholls, J.E. Series: Workshops in Computing. Num Pages: 408 pages, biography. BIC Classification: UMX; UMZ; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 170 x 22. Weight in Grams: 713.
- 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
- 408
- Condition
- New
- SKU
- V9783540197805
- ISBN
- 9783540197805
Paperback
Condition: New
€ 65.53
€ 65.53
Paperback. A collection of papers investigating different approaches for providing Z with an object oriented structuring mechanism. It evolved from a comparative study of ways in which object orientation has been combined with Z, which was carried out as part of the DTI/IED-funded ZIP Project. Editor(s): Stepney, Susan; Barden, Rosalind; Cooper, Mr David. Series: Workshops in Computing. Num Pages: 146 pages, 3 black & white illustrations, biography. BIC Classification: UMN; UMX; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 242 x 170 x 8. Weight in Grams: 281.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 146
- Condition
- New
- SKU
- V9783540197782
- ISBN
- 9783540197782
Paperback
Condition: New
€ 62.82
€ 62.82
Paperback. Part of a conference designed to promote the understanding of machine vision, image processing and pattern recognition, this volume of proceedings covers object recognition, computational issues in perception, robotic vision, feature extraction and the reconstruction of 3D shapes. Num Pages: 609 pages, 151 black & white illustrations, biography. BIC Classification: TJFM1; UYQP; UYQV; UYS; UYT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 32. Weight in Grams: 1020.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 609
- Condition
- New
- SKU
- V9783540197775
- ISBN
- 9783540197775
Paperback
Condition: New
€ 67.88
€ 67.88
Paperback. A comprehensive overview of neural network research, based on the findings of the Database for European Artificial Neural Network Activity (DEANNA) Project. The aims of the project were to pinpoint the main problems of technology transfer and to create a European neural network advisory structure. Editor(s): Taylor, J. G. Series: Perspectives in Neural Computing. Num Pages: 160 pages, 17 black & white illustrations, biography. BIC Classification: 1D; UYQN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 9. Weight in Grams: 300.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 160
- Condition
- New
- SKU
- V9783540197737
- ISBN
- 9783540197737
Paperback
Condition: New
€ 120.82
€ 120.82
Paperback. These papers reflect the wide spectrum of neural network applications currently being researched in industry and medicine. They cover robotics, medical diagnosis, plant control, machine learning, visual inspection, net learning and knowledge representation. Editor(s): Taylor, J. G. Series: Perspectives in Neural Computing. Num Pages: 156 pages, 10 black & white illustrations, biography. BIC Classification: UYQN. Category: (P) Professional & Vocational. Dimension: 242 x 170 x 9. Weight in Grams: 301.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 156
- Condition
- New
- SKU
- V9783540197720
- ISBN
- 9783540197720
Paperback
Condition: New
€ 62.92
€ 62.92
paperback. The proceedings of a workshop which encompassed a range of topics in which neural networks played a fundamental role. Attempting to bridge the gap between neural computation and computational neuroscience, the papers describe the foundations of neural network dynamics and their applications. Editor(s): Taylor, J. G.; Caianiello, E. R.; Cotterill, R. M. J.; Clark, J. W. Series: Perspectives in Neural Computing. Num Pages: 371 pages, 9 black & white illustrations, biography. BIC Classification: UYQN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 170 x 20. Weight in Grams: 660.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- First Edition
- Number of pages
- 371
- Condition
- New
- SKU
- V9783540197713
- ISBN
- 9783540197713
Paperback
Condition: New
€ 65.22
€ 65.22
Paperback. The epistemology of professional knowledge is a new area of research, concerned with the development of professional knowledge at the level of the individual, work group and community. This book aims to illustrate the effect of information technology on professional knowledge. Series: Artificial Intelligence & Society. Num Pages: 113 pages, 17 black & white illustrations, biography. BIC Classification: UBJ; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 242 x 170 x 7. Weight in Grams: 235.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 113
- Condition
- New
- SKU
- V9783540197591
- ISBN
- 9783540197591
Paperback
Condition: New
€ 62.40
€ 62.40
Paperback. This study examines how humans acquire knowledge in an effort to set out the implications of this knowledge for expert systems design. It also outlines the Diderot Project, an international research programme which examines the social impact of computer technology in the workplace. Editor(s): Goranzon, Bo; Florin, Magnus. Series: Human-Centred Systems. Num Pages: 291 pages, biography. BIC Classification: UYQ; UYZ. Category: (P) Professional & Vocational. Dimension: 242 x 170 x 17. Weight in Grams: 600.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 291
- Condition
- New
- SKU
- V9783540197584
- ISBN
- 9783540197584
Paperback
Condition: New
€ 64.82
€ 64.82
Paperback. Based upon the proceedings of a workshop on code generation, this volume evaluates current methods and indicates directions for future research. It discusses tools and techniques, code generation for parallel architectures, register allocation problems and formal methods. Editor(s): Giegerich, Robert; Graham, Susan L. Series: Workshops in Computing. Num Pages: 323 pages, biography. BIC Classification: UL; UYA; UYFP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 216 x 138 x 18. Weight in Grams: 580.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 323
- Condition
- New
- SKU
- V9783540197577
- ISBN
- 9783540197577
Paperback
Condition: New
€ 64.70
€ 64.70