.png){kind=logo}
Operating systems
Results 281 - 300 of 563
Operating systems
Paperback. This text provides an insight into some of the most important ideas in human-computer interaction. The authors describe ERMIA (Entity-Relationship Modelling of Information Artefacts) and explain how it can be used to develop effective interfaces. Series: Practitioner Series. Num Pages: 187 pages, 13 black & white illustrations, biography. BIC Classification: UL; UMZ; UYZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 10. Weight in Grams: 294.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer London Ltd United Kingdom
- Edition
- Softcover reprint of the original 1st ed. 1999
- Number of pages
- 187
- Condition
- New
- SKU
- V9781852330095
- ISBN
- 9781852330095
Paperback
Condition: New
€ 66.10
€ 66.10
Paperback. This volume covers the First International Workshop on Integrated Formal Methods, held at the University of York in June 1999. It discusses the theoretical aspects of combining behavioural and state-based formalisms and practical solutions to the industrial problems of this approach. Editor(s): Araki, Keijiro; Galloway, Andy; Taguchi, K. Num Pages: 477 pages, 3 black & white illustrations, biography. BIC Classification: UL; UMZ; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 25. Weight in Grams: 743.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer London Ltd United Kingdom
- Edition
- Softcover reprint of the original 1st ed. 1999
- Number of pages
- 477
- Condition
- New
- SKU
- V9781852331078
- ISBN
- 9781852331078
Paperback
Condition: New
€ 129.71
€ 129.71
Paperback. This title covers not only software tools that designers, developers, and human factors experts can use to manage multiple types of guidelines, but also looks at techniques addressing organizational, sociological, and technological issues. Editor(s): Vanderdonckt, Jean; Farenc, Christelle. Num Pages: 382 pages, biography. BIC Classification: UL; UYD; UYZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 20. Weight in Grams: 593.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 382
- Condition
- New
- SKU
- V9781852333553
- ISBN
- 9781852333553
Paperback
Condition: New
€ 195.06
€ 195.06
Paperback. Presents 12 case studies that use Rigorous Approach to Industrial Software Engineering, to construct, analyse, develop and apply formal specifications. This book covers application areas including government finance, case-based reasoning, multi-language text processing, object-oriented design patterns, and component-based software design. Editor(s): Dang Van, Hung; George, Chris; Janowski, Tomasz; Moore, Richard. Series: Formal Approaches to Computing & Information Technology (FACIT). Num Pages: 420 pages, biography. BIC Classification: UL; UMX; UMZ; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 21. Weight in Grams: 592.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 420
- Condition
- New
- SKU
- V9781852333591
- ISBN
- 9781852333591
Paperback
Condition: New
€ 133.46
€ 133.46
Paperback. Introduces an 'ethnographic' approach that helps enable designers to create collaborative and interactive systems. This book presents strategies for incorporating it into the design process. It covers various topics including the requirements problem. It is intended for those interested in bringing a social dimension to the system design process. Series: Computer Supported Cooperative Work. Num Pages: 196 pages, biography. BIC Classification: JHBC; JHMP; UL; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 10. Weight in Grams: 280.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 196
- Condition
- New
- SKU
- V9781852337186
- ISBN
- 9781852337186
Paperback
Condition: New
€ 193.18
€ 193.18
Hardback. Intended as a programmer's introduction to the use of SIMD on PCs. This book presents the underlying technology of SIMD processing on PCs and looks at tools to exploit this including the Intel SIMD library and the Parallel Processing Language Vector Pascal. It is for programmers in the rapidly growing area of games and multi-media entertainment. Series: Springer Professional Computing. Num Pages: 352 pages, 19 black & white tables, biography. BIC Classification: ULD; ULL; UYFP. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 254 x 178 x 22. Weight in Grams: 840.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 352
- Condition
- New
- SKU
- V9781852337940
- ISBN
- 9781852337940
Hardback
Condition: New
€ 138.49
€ 138.49
paperback. This title enables readers to gain a genuine mastery of how Linux systems are designed and come away with insight to work with any distribution, even one not discussed in the book. The books covers detailed analyses of three popular Linux distributions, example configuration and administration tasks, and three real-world case studies. Num Pages: 464 pages, biography. BIC Classification: ULL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 191 x 29. Weight in Grams: 939.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed.
- Number of pages
- 464
- Condition
- New
- SKU
- V9781893115279
- ISBN
- 9781893115279
Paperback
Condition: New
€ 48.99€ 42.92
€ 48.99
€ 42.92
paperback. Focuses on what programmers need to know about UI (User Interface) design, with numerous examples of how to improve common programs. Num Pages: 159 pages, 12 black & white illustrations, 342 colour illustrations, biography. BIC Classification: UL; UM. Category: (G) General (US: Trade). Dimension: 235 x 191 x 13. Weight in Grams: 490.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Apress United States
- Edition
- Softcover reprint of the original 1st ed.
- Number of pages
- 159
- Condition
- New
- SKU
- V9781893115941
- ISBN
- 9781893115941
Paperback
Condition: New
€ 62.55€ 54.87
€ 62.55
€ 54.87
Paperback. Num Pages: 264 pages, X, 264 S. 103 Abb. BIC Classification: UL; UYF. Category: (G) General (US: Trade). Dimension: 244 x 170 x 15. Weight in Grams: 454.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer Verlag GmbH Austria
- Edition
- 5., uberarb. Aufl.
- Number of pages
- 264
- Condition
- New
- SKU
- V9783211277546
- ISBN
- 9783211277546
Paperback
Condition: New
€ 61.80
€ 61.80
Paperback / so. Series: Springers Angewandte Informatik. Num Pages: 204 pages, black & white illustrations, bibliography. BIC Classification: UL; UR; UTX; UY. Category: (G) General (US: Trade). Dimension: 244 x 170 x 12. Weight in Grams: 349.
- Format
- Paperback
- Publisher
- Springer Verlag GmbH Austria
- Number of pages
- 204
- Condition
- New
- SKU
- V9783211819661
- ISBN
- 9783211819661
Paperback
Condition: New
€ 72.32
€ 72.32
Paperback / so. Series: Springers Angewandte Informatik. Num Pages: black & white illustrations, bibliography. BIC Classification: GPF; KJMV3; UF; UL; UNH; UY. Category: (G) General (US: Trade). Dimension: 244 x 170 x 11. Weight in Grams: 331.
- Format
- Paperback
- Publication date
- 1989
- Publisher
- Springer Verlag GmbH Austria
- Condition
- New
- SKU
- V9783211821534
- ISBN
- 9783211821534
Paperback
Condition: New
€ 72.17
€ 72.17
Paperback. Discussing the translation of programs written in a high level programming language into machine code, this volume deals with all of the major aspects of compilation systems. The discussion of error handling is followed by consideration of code generation and optimization. Num Pages: 176 pages, 19 black & white illustrations, biography. BIC Classification: UL; UMC. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 10. Weight in Grams: 370.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer Verlag GmbH Austria
- Number of pages
- 176
- Condition
- New
- SKU
- V9783211824313
- ISBN
- 9783211824313
Paperback
Condition: New
€ 66.40
€ 66.40
Paperback / so. Num Pages: black & white illustrations, bibliography. BIC Classification: PBCN; PBF; PBW; UL; UMB; UMN; UMX. Category: (G) General (US: Trade). Dimension: 244 x 170 x 18. Weight in Grams: 540.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer Verlag GmbH Austria
- Condition
- New
- SKU
- V9783211824467
- ISBN
- 9783211824467
Paperback
Condition: New
€ 73.64
€ 73.64
Paperback. Including a selection of 31 papers from a rendering workshop in Dublin, held from 12-14 June 1995, this book gives an overview of hierarchical radiosity, Monte Carlo radiosity, wavelet radiosity, non-diffuse radiosity and radiosity performance improvements. Editor(s): Hanrahan, Patrick M.; Purgathofer, Werner. Series: Eurographics. Num Pages: 372 pages, 143 black & white illustrations. BIC Classification: UG; UL; UYS; UYT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 20. Weight in Grams: 720.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- Springer Verlag GmbH Austria
- Edition
- Softcover reprint of the original 1st ed. 1995
- Number of pages
- 372
- Condition
- New
- SKU
- V9783211827338
- ISBN
- 9783211827338
Paperback
Condition: New
€ 68.71
€ 68.71
Paperback. This proceedings volume contains 27 contributions which treat the latest in Monte Carlo and finite-element methods for radiosity and radiance. Further special topics dealt with are the use of image maps to capture light throughout space, complexity, and volumetric stochastic descriptions. Series: Eurographics. Num Pages: 294 pages, 90 black & white illustrations. BIC Classification: UG; UL; UYS; UYT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 17. Weight in Grams: 575.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer Verlag GmbH Austria
- Edition
- Softcover reprint of the original 1st ed. 1996
- Number of pages
- 294
- Condition
- New
- SKU
- V9783211828830
- ISBN
- 9783211828830
Paperback
Condition: New
€ 67.75
€ 67.75
Paperback. The biennial series of International Conferences on User Modelling provides a forum, in which researchers from the fields of artificial intelligence, education, and linguistics can exchange their complementary insights on user modelling issues. Containing the proceedings of these conferences, this volume represents the developments in this area. Editor(s): Jameson, Anthony; Paris, Cecile L.; Tasso, Carlo. Series: CISM International Centre for Mechanical Sciences. Num Pages: 488 pages, 188 black & white illustrations, biography. BIC Classification: UGK; UL; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 25. Weight in Grams: 850.
- Format
- Paperback
- Publication date
- 1997
- Publisher
- Springer Verlag GmbH Austria
- Number of pages
- 488
- Condition
- New
- SKU
- V9783211829066
- ISBN
- 9783211829066
Paperback
Condition: New
€ 69.55
€ 69.55
Design, Specification and Verification of Interactive Systems '98
. Ed(S): Markopoulos, Panos; Johnson, Peter
paperback. Does modelling play a role in designing interactive systems? The papers in this volume discuss a range of modelling approaches, the representations they use, the strengths and weaknesses of their specification and analysis techniques, and their role in supporting the design of interactive systems. Editor(s): Markopoulos, Panos; Johnson, Peter. Series: Eurographics. Num Pages: 326 pages, 99 black & white illustrations, biography. BIC Classification: UL; UYD; UYZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 170 x 18. Weight in Grams: 660.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer Verlag GmbH Austria
- Edition
- 1st Edition
- Number of pages
- 326
- Condition
- New
- SKU
- V9783211832127
- ISBN
- 9783211832127
Paperback
Condition: New
€ 68.35
€ 68.35
Paperback. The collection of papers in this volume covers specification methods and their use in design, model-based tool support, task and dialogue models, distributed collaboration, and models for virtual reality input. Editor(s): Duke, D. J. Series: Eurographics. Num Pages: 282 pages, 34 black & white illustrations. BIC Classification: UL; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 16. Weight in Grams: 540.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer Verlag GmbH Austria
- Edition
- Softcover reprint of the original 1st ed. 1999
- Number of pages
- 282
- Condition
- New
- SKU
- V9783211834053
- ISBN
- 9783211834053
Paperback
Condition: New
€ 67.51
€ 67.51
Paperback. Editor(s): Bloem, Roderick P.; Lipp, Peter. Series: Lecture Notes in Computer Science / Security and Cryptology. Num Pages: 115 pages, 18 black & white illustrations, biography. BIC Classification: UL; UR. Category: (P) Professional & Vocational. Dimension: 157 x 234 x 10. Weight in Grams: 194.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 115
- Condition
- New
- SKU
- V9783319034904
- ISBN
- 9783319034904
Paperback
Condition: New
€ 66.95
€ 66.95
Paperback. Editor(s): Maehle, Erik; Romer, Kay; Karl, Wolfgang; Tovar, Eduardo. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 260 pages, 105 black & white illustrations, biography. BIC Classification: UKN; UL; UMZ; UNH; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 409.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 260
- Condition
- New
- SKU
- V9783319048901
- ISBN
- 9783319048901
Paperback
Condition: New
€ 66.40
€ 66.40