.png){kind=logo}
Operating systems
Results 1 - 20 of 551
Operating systems
Paperback. Editor(s): Shirazi, Behrooz A.; etc. Num Pages: 520 pages, Illustrations. BIC Classification: UL; UYFP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 310 x 174 x 27. Weight in Grams: 1163.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- IEEE Computer Society Press,U.S. United States
- Edition
- 1st Edition
- Number of pages
- 520
- Condition
- New
- SKU
- V9780818665875
- ISBN
- 9780818665875
Paperback
Condition: New
€ 113.00
€ 113.00
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. Editor(s): Atkinson, Malcolm P.; Buneman, Peter; Morrison, Ronald. Series: Topics in Information Systems. Num Pages: 294 pages, biography. BIC Classification: UL; UMX; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 16. Weight in Grams: 480.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1988
- Number of pages
- 294
- Condition
- New
- SKU
- V9783642648700
- ISBN
- 9783642648700
Paperback
Condition: New
€ 127.90
€ 127.90
Paperback. Editor(s): Bach, Fred; Domann, Peter; Remmele, Werner. Num Pages: black & white illustrations, bibliography. BIC Classification: KJQ; UL. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 12. Weight in Grams: 367.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1985
- Condition
- New
- SKU
- V9783642702631
- ISBN
- 9783642702631
Paperback
Condition: New
€ 83.19
€ 83.19
Paperback. The papers in this work cover such topics as: acquiring user models from multi-modal user input; learning interaction models; user models for natural language interpretation, processing and generation; and adaptive interviewing for acquiring user preferences. Editor(s): Bauer, Mathias; Gmytrasiewicz, Piotr J.; Vassileva, Julita. Series: Lecture Notes in Computer Science. Num Pages: 326 pages, biography. BIC Classification: UDB; UL; UT; UYZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 18. Weight in Grams: 478.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 326
- Condition
- New
- SKU
- V9783540423256
- ISBN
- 9783540423256
Paperback
Condition: New
€ 70.97
€ 70.97
Paperback. Editor(s): Beckert, Bernhard; Damiani, Ferruccio; Boer, Frank S. de; Bonsangue, Marcello M. (Leiden University). Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 356 pages, 129 black & white illustrations, biography. BIC Classification: UL; UMX; UMZ; UNH. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 516.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 356
- Condition
- New
- SKU
- V9783642358869
- ISBN
- 9783642358869
Paperback
Condition: New
€ 67.65
€ 67.65
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
Hardback. Editor(s): Blumauer, Andreas; Pellegrini, Tassilo. Series: X.Media.Press. Num Pages: black & white illustrations, figures, bibliography. BIC Classification: UB; UL; UT; UY. Category: (G) General (US: Trade). Dimension: 239 x 163 x 30. Weight in Grams: 975.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer United States
- Condition
- New
- SKU
- V9783540722151
- ISBN
- 9783540722151
Hardback
Condition: New
€ 66.21
€ 66.21
paperback. Visual interfaces to digital libraries exploit the power of human vision and spatial cognition to help individuals mentally organize and electronically access and manage large and complex information spaces. Based on two workshops, the book presents an introductory overview. Editor(s): Borner, Katy; Chen, Chaomei. Series: Lecture Notes in Computer Science. Num Pages: 232 pages, biography. BIC Classification: GL; UL; UN; UYZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 10. Weight in Grams: 379.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2002nd Edition
- Number of pages
- 232
- Condition
- New
- SKU
- V9783540002475
- ISBN
- 9783540002475
Paperback
Condition: New
€ 66.46
€ 66.46
Paperback. Editor(s): Brat, Guillaume; Rungta, Neha; Venet, Arnaud. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 510 pages, 164 black & white illustrations, biography. BIC Classification: UL; UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 26. Weight in Grams: 777.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 510
- Condition
- New
- SKU
- V9783642380877
- ISBN
- 9783642380877
Paperback
Condition: New
€ 69.07
€ 69.07
Paperback. This work constitutes the refereed post-proceedings of the Second International Conference on Cooperative Multimodal Communication, 1998. It covers topical sections on multimodal generation, multimodal co-operation, multimodal interpretation, and multimedia platforms and test environments. Editor(s): Bunt, Harry; Beun, Robbert-Jan. Series: Lecture Notes in Computer Science. Num Pages: 256 pages, 51 black & white illustrations, 3 colour illustrations, 4 black & white tables, biography. BIC Classification: UL; UYQ; UYZ. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 14. Weight in Grams: 452.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 256
- Condition
- New
- SKU
- V9783540428060
- ISBN
- 9783540428060
Paperback
Condition: New
€ 66.97
€ 66.97
Paperback. Editor(s): Calvary, Gaelle; Pribeanu, Costin; Santucci, Giuseppe; Vanderdonckt, Jean. Num Pages: 312 pages, biography. BIC Classification: UGC; UL; UMZ; UNH; UYZG. Category: (G) General (US: Trade). Dimension: 235 x 155 x 17. Weight in Grams: 480.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer Netherlands
- Number of pages
- 312
- Condition
- New
- SKU
- V9789401784870
- ISBN
- 9789401784870
Paperback
Condition: New
€ 127.97
€ 127.97
Paperback. Editor(s): Camara, Javier; Lemos, Rogerio de; Ghezzi, Carlo; Lopes, Antonia. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 341 pages, 94 black & white illustrations, biography. BIC Classification: UL; UMX. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 494.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 341
- Condition
- New
- SKU
- V9783642362484
- ISBN
- 9783642362484
Paperback
Condition: New
€ 67.51
€ 67.51
Paperback. Editor(s): Chiba, Shigeru; Sudholt, Mario; Eugster, Patrick; Leavens, Gary T. Series: Lecture Notes in Computer Science. Num Pages: 278 pages, 86 black & white illustrations, biography. BIC Classification: UGK; UL; UMX; UMZ; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 433.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 278
- Condition
- New
- SKU
- V9783319469683
- ISBN
- 9783319469683
Paperback
Condition: New
€ 99.70
€ 99.70
Paperback. Constitutes the refereed post-proceedings of the 16th International Workshop on Security Protocols, SP 2008 that was held in Cambridge UK, in April 2008. Editor(s): Christianson, Bruce; Malcolm, James A. (University of Hertfordshire); Matyas, Vaclav Vashek; Roe, Michael. Series: Lecture Notes in Computer Science / Security and Cryptology. Num Pages: 266 pages, biography. BIC Classification: UBL; UKN; UL; UNH; URY; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 390.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 266
- Condition
- New
- SKU
- V9783642221361
- ISBN
- 9783642221361
Paperback
Condition: New
€ 83.22
€ 83.22
Hardback. Encapsulates work done in the DIRC project (Interdisciplinary Research Collaboration in Dependability), bringing together a range of disciplinary approaches - computer science, sociology and software engineering - to produce a socio-technical systems perspective on the issues surrounding trust in technology in complex settings. Editor(s): Clarke, Karen; Hardstone, Gillian; Rouncefield, Dr. Mark; Sommerville, Ian. Series: Computer Supported Cooperative Work. Num Pages: 246 pages, biography. BIC Classification: JH; UL; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 527.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 246
- Condition
- New
- SKU
- V9781402042577
- ISBN
- 9781402042577
Hardback
Condition: New
€ 128.24
€ 128.24
Paperback. The papers from the Third International COST264 Workshop on Networked Group Communication, NGC 2001, held in London, UK, in November 2001 cover topics such as: application-level aspects; group management; performance topics; security; and topology. Editor(s): Crowcroft, Jon; Hofmann, Markus. Series: Lecture Notes in Computer Science. Num Pages: 214 pages, biography. BIC Classification: UDB; UL; UT. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 11. Weight in Grams: 310.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 214
- Condition
- New
- SKU
- V9783540428244
- ISBN
- 9783540428244
Paperback
Condition: New
€ 66.30
€ 66.30
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. Editor(s): Desai, Narayan; Cirne, Walfredo. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 204 pages, 100 black & white illustrations, biography. BIC Classification: UGK; UKN; UL; UMB; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 326.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 204
- Condition
- New
- SKU
- V9783662437780
- ISBN
- 9783662437780
Paperback
Condition: New
€ 65.92
€ 65.92
Paperback. Editor(s): Ding, Chen; Criswell, John; Wu, Peng. Series: Lecture Notes in Computer Science. Num Pages: 348 pages, 137 black & white illustrations, biography. BIC Classification: UL; UMX; UMZ; UYD; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 551.
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2017
- Number of pages
- 348
- Condition
- New
- SKU
- V9783319527086
- ISBN
- 9783319527086
Paperback
Condition: New
€ 67.29
€ 67.29