Operating systems
Results 1 - 20 of 621
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
€ 110.28
€ 110.28
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
€ 124.30
€ 124.30
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
€ 122.63
€ 122.63
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
€ 79.80
€ 79.80
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
€ 68.05
€ 68.05
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
€ 64.87
€ 64.87
hardcover. Focuses on both application-level compiler directed energy optimization and low-power operating systems. This volume discusses low energy operating systems, compilation and code optimization, and the relationship between energy-aware middleware and wireless microsensors, mobile computing, and other wireless applications. Editor(s): Benini, Luca; Kandemir, Mahmut (Pennsylvania State University, University Park, USA); Ramanujam, J. (Louisiana State University, Baton Rouge, USA). Num Pages: 223 pages, biography. BIC Classification: UL. Category: (G) General (US: Trade); (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 235 x 155 x 15. Weight in Grams: 537.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Springer United States
- Edition
- 2003rd Edition
- Number of pages
- 223
- Condition
- New
- SKU
- V9781402075735
- ISBN
- 9781402075735
Hardback
Condition: New
€ 127.28
€ 127.28
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
€ 64.31
€ 64.31
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
€ 63.46
€ 63.46
Systems, Approximation, Singular Integral Operators and Related Topics
. Ed(S): Borichev, Alexander A.; Nikol'skii, ...
Hardback. This volume is devoted to some topical problems and applications of operator theory and its interplay with modern complex analysis. It consists of 20 selected survey papers that represent updated addresses to the IWOTRA 2000 conference. Editor(s): Borichev, Alexander A.; Nikol'skii, N. K. Series: Operator Theory: Advances and Applications. Num Pages: 545 pages, biography. BIC Classification: PBKF; UL; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 38. Weight in Grams: 1120.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Birkhauser Verlag AG Switzerland
- Number of pages
- 545
- Condition
- New
- SKU
- V9783764366452
- ISBN
- 9783764366452
Hardback
Condition: New
€ 190.44
€ 190.44
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
€ 63.74
€ 63.74
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
€ 66.22
€ 66.22
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
€ 64.46
€ 64.46
Paperback. Provides a general presentation of the COMANDOS platform, structured into two parts. The first part provides a user view of the platform and focuses on its functionality, on design choices and innovative aspects. The second part gives an overview of the implementation of the platform. Editor(s): Cahill, Vinny; Balter, Roland; Harris, N. R.; Rousset De Pina, Xavier. Series: Research Reports Esprit / Project 2071. Comandos. Num Pages: 312 pages, 6 black & white illustrations, biography. BIC Classification: UFC; UL; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 17. Weight in Grams: 510.
- 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
- 312
- Condition
- New
- SKU
- V9783540566601
- ISBN
- 9783540566601
Paperback
Condition: New
€ 64.58
€ 64.58
Hardback. Gathering the latest experience of research teams and leading organizations in computer-aided design of user interfaces for interactive applications, this book investigates how best to support the development cycle of interactive systems. It stresses how design activity could be better understood for different types of advanced interactive systems. Editor(s): Calvary, Gaelle; Pribeanu, Costin; Santucci, Giuseppe; Vanderdonckt, Jean. Num Pages: 312 pages, biography. BIC Classification: UGC; UL. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 658.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 312
- Condition
- New
- SKU
- V9781402058196
- ISBN
- 9781402058196
Hardback
Condition: New
€ 123.76
€ 123.76
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
€ 122.52
€ 122.52
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
€ 64.73
€ 64.73
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
€ 95.75
€ 95.75
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
€ 79.76
€ 79.76