.png){kind=logo}
Operating systems
Results 521 - 540 of 566
Operating systems
Paperback. Editor(s): Park, James J.; Park, Jong Hyuk; Arabnia, Hamid R.; Kim, Cheonshik; Shi, Weisong; Gil, Joon-Min. Series: Lecture Notes in Computer Science. Num Pages: 992 pages, 483 black & white illustrations, biography. BIC Classification: UG; UK; UL; UMB; UNH; UT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 49. Weight in Grams: 1490.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 992
- Condition
- New
- SKU
- V9783642380266
- ISBN
- 9783642380266
Paperback
Condition: New
€ 133.80
€ 133.80
paperback. Proceedings of the NATO Advanced Study Institute on Distributed Operating Systems: Theory and Practice held at Altinyunus, Cesme, Turkey, August 18-29, 1986 Editor(s): Paker, Yakup; Banatre, Jean Pierre; Bozyigit, Muslim. Series: NATO ASI Subseries F. Num Pages: 379 pages, biography. BIC Classification: UL. Category: (P) Professional & Vocational. Dimension: 254 x 178 x 20. Weight in Grams: 741.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1987
- Number of pages
- 379
- Condition
- New
- SKU
- V9783642466069
- ISBN
- 9783642466069
Paperback
Condition: New
€ 129.66
€ 129.66
Paperback. Proceedings of the NATO Advanced Study Institute on Parallel Computing on Distributed Memory Multiprocessors, held at Bilkent University, Ankara, Turkey, July 1-13, 1991 Editor(s): Ozguner, Fusun; Ercal, Fikret. Series: NATO ASI Subseries F. Num Pages: 332 pages, 24 black & white tables, biography. BIC Classification: PBKS; UL; UM; UYF. Category: (P) Professional & Vocational. Dimension: 242 x 170 x 18. Weight in Grams: 600.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1993
- Number of pages
- 332
- Condition
- New
- SKU
- V9783642634604
- ISBN
- 9783642634604
Paperback
Condition: New
€ 128.69
€ 128.69
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
Leveraging Applications of Formal Methods, Verification and Validation
. Ed(S): Margaria, Tiziana; Steffen, Bernhard...
Paperback. Constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012. Editor(s): Margaria, Tiziana; Steffen, Bernhard; Merten, Maik. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 377 pages, 129 black & white illustrations, biography. BIC Classification: UL; UMX; UMZ; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 532.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 377
- Condition
- New
- SKU
- V9783642340314
- ISBN
- 9783642340314
Paperback
Condition: New
€ 67.77
€ 67.77
Leveraging Applications of Formal Methods, Verification and Validation
. Ed(S): Margaria, Tiziana; Steffen, Bernhard...
Paperback. Constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012. Editor(s): Margaria, Tiziana; Steffen, Bernhard; Merten, Maik. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 633 pages, 170 black & white illustrations, biography. BIC Classification: UL; UMX; UMZ; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 32. Weight in Grams: 879.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 633
- Condition
- New
- SKU
- V9783642340253
- ISBN
- 9783642340253
Paperback
Condition: New
€ 70.30
€ 70.30
Paperback. This volume of research papers addresses the issue of how to support the implementation of computer systems with very long lives. Among the topics discussed are the creation, operation and maintenance of these systems, and improvements to the quality of persistent software engineering. Editor(s): Maier, David; Benzaken, Veronique. Series: Workshops in Computing. Num Pages: 546 pages, 22 black & white illustrations. BIC Classification: UL; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 29. Weight in Grams: 854.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1995
- Number of pages
- 546
- Condition
- New
- SKU
- V9783540199120
- ISBN
- 9783540199120
Paperback
Condition: New
€ 69.62
€ 69.62
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
Paperback. Gathers together research from three key application themes of modelling in operational research - modelling to support evaluation; modelling within the development; and the use of modelling approaches to enhance decision support in organisational contexts. This book also covers a range of complex and diverse modelling issues. Editor(s): Macredie, Robert; Paul, Ray; Anketell, Dervarajan; Lehaney, Brian; Warwick, Shamim. Num Pages: 243 pages, 6 black & white illustrations, biography. BIC Classification: KJQ; KJT; UL; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 13. Weight in Grams: 364.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1998
- Number of pages
- 243
- Condition
- New
- SKU
- V9783540761082
- ISBN
- 9783540761082
Paperback
Condition: New
€ 66.61
€ 66.61
Forensics in Telecommunications, Information and Multimedia
. Ed(S): Lai, Xuejia; Gu, Dawu; Jin, Bo; Wang...
Paperback. Constitutes the thoroughly refereed post-conference proceedings of the Third International ICST Conference on Forensic Applications and Techniques in Telecommunications, Information and Multimedia, E-Forensics 2010, held in Shanghai, China, in November 2010. Editor(s): Lai, Xuejia; Gu, Dawu; Jin, Bo; Wang Yong; Wang, Yongquan; Li, Hui. Series: Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. Num Pages: 327 pages, 67 black & white illustrations, 49 colour illustrations, biography. BIC Classification: UBJ; UBL; UL; UYQP. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 464.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 327
- Condition
- New
- SKU
- V9783642236013
- ISBN
- 9783642236013
Paperback
Condition: New
€ 67.31
€ 67.31
Paperback / so. Editor(s): Kromker, Detlef; Steusloff, Hartwig; Subel, Hans-Peter. Series: Beitrage Zur Graphischen Datenverarbeitung. Num Pages: black & white illustrations, bibliography. BIC Classification: UB; UDB; UGC; UL; UMZ; UN. Category: (G) General (US: Trade). Dimension: 244 x 170 x 23. Weight in Grams: 703.
- Format
- Paperback
- Publication date
- 1989
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783540193982
- ISBN
- 9783540193982
Paperback
Condition: New
€ 74.79
€ 74.79
Recent Advances in Operator Theory and Related Topics
. Ed(S): Kerchy, Laszlo; Foias, Ciprian; Gohb...
Hardback. Features the 35 refereed articles that report on original results in various areas of operator theory and connected fields, many of them strongly related to contributions of Sz-Nagy. Editor(s): Kerchy, Laszlo; Foias, Ciprian; Gohberg, Prof. Israel; Langer, Heinz. Series: Operator Theory: Advances and Applications. Num Pages: 720 pages, biography. BIC Classification: PBKF; UL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 38. Weight in Grams: 1460.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Birkhauser Verlag AG Switzerland
- Number of pages
- 720
- Condition
- New
- SKU
- V9783764366070
- ISBN
- 9783764366070
Hardback
Condition: New
€ 200.81
€ 200.81
Paperback. Editor(s): Kacsuk, Peter; Kranzlmuller, Dieter; Nemeth, Zsolt (MTA SZTAKI Computer and Automation Research Institute, Budapest, Hungary); Volkert, Jens (Johannes Kepler University, Linz, Austria). Series: The Springer International Series in Engineering and Computer Science. Num Pages: 230 pages, biography. BIC Classification: MB; UL; UYFP. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 367.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2002
- Number of pages
- 230
- Condition
- New
- SKU
- V9781461354253
- ISBN
- 9781461354253
Paperback
Condition: New
€ 127.16
€ 127.16
paperback. Editor(s): Julien, Christine; De Nicola, Rocco. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 265 pages, 76 black & white illustrations, biography. BIC Classification: UL; UMZ; UYFP; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 415.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2013th Edition
- Number of pages
- 265
- Condition
- New
- SKU
- V9783642384929
- ISBN
- 9783642384929
Paperback
Condition: New
€ 66.95
€ 66.95
Paperback. Editor(s): Jantsch, Axel; Tenhunen, Hannu. Num Pages: 303 pages, biography. BIC Classification: UGC; UL; UT; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 443.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 1st ed. Softcover of orig. ed. 2003
- Number of pages
- 303
- Condition
- New
- SKU
- V9781441953445
- ISBN
- 9781441953445
Paperback
Condition: New
€ 194.34
€ 194.34
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
Paperback. Editor(s): Herbert, Andrew James; Spaerck-Jones, Karen I. B. Series: Monographs in Computer Science. Num Pages: 355 pages, 67 black & white illustrations, biography. BIC Classification: UKN; UL; UMX; UT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 551.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2004
- Number of pages
- 355
- Condition
- New
- SKU
- V9781475780758
- ISBN
- 9781475780758
Paperback
Condition: New
€ 67.60
€ 67.60
Active Middleware Services: From the Proceedings of the 2nd Annual Wor...
. Ed(S): Hariri, Salim; Lee, Craig A.; Raghav...
paperback. Editor(s): Hariri, Salim; Lee, Craig A.; Raghavendra, Cauligi S. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 240 pages, 42 black & white illustrations, biography. BIC Classification: UG; UKN; UL; UYF. Category: (G) General (US: Trade). Dimension: 235 x 155 x 13. Weight in Grams: 379.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer United States
- Number of pages
- 240
- Condition
- New
- Edition
- 2000th Edition
- SKU
- V9781461346579
- ISBN
- 9781461346579
Paperback
Condition: New
€ 127.25
€ 127.25
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. Editor(s): Gorbenko, Anatoliy; Romanovsky, Alexander; Kharchenko, V.K. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 209 pages, 87 black & white illustrations, biography. BIC Classification: UKN; UL; UMZ; UNH. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 332.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 209
- Condition
- New
- SKU
- V9783642408939
- ISBN
- 9783642408939
Paperback
Condition: New
€ 61.41
€ 61.41