.png){kind=logo}
Operating systems
Results 41 - 60 of 551
Operating systems
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
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
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.32
€ 68.32
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
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. 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. Constitutes the thoroughly refereed post-conference proceedings of the Second International ICST Conference on Sensor Systems and Software, S-Cube 2010, held in Miami, Florida, USA, in December 2010. Editor(s): Parr, Gerard; Morrow, Philip. Series: Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. Num Pages: 261 pages, 36 black & white illustrations, 69 colour illustrations, biography. BIC Classification: TJK; UBJ; UKN; UL; UMZ; UYZM. Category: (P) Professional & Vocational. Dimension: 231 x 152 x 15. Weight in Grams: 376.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 261
- Condition
- New
- SKU
- V9783642235825
- ISBN
- 9783642235825
Paperback
Condition: New
€ 66.64
€ 66.64
Automatic Tools for Designing Office Information Systems
. Ed(S): Pernici, Barbara; Rolland, Colette
Paperback. Presents the TODOS methodology and design support environment for office information systems development. The main goal of the TODOS approach is to avoid the unnecessary re-implementation of hardware and software components available on the market. Editor(s): Pernici, Barbara; Rolland, Colette. Series: ESPRIT research reports - project 813. Num Pages: 321 pages, 17 black & white illustrations, biography. BIC Classification: KJQ; KJWF; UL. Category: (P) Professional & Vocational; (XV) Technical / Manuals. Dimension: 242 x 170 x 18. Weight in Grams: 570.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1990
- Number of pages
- 321
- Condition
- New
- SKU
- V9783540532842
- ISBN
- 9783540532842
Paperback
Condition: New
€ 128.57
€ 128.57
Paperback. Editor(s): Pickett, Mary S.; Boyse, John W. Num Pages: 392 pages, black & white illustrations, bibliography. BIC Classification: UL; UYD. Category: (G) General (US: Trade). Dimension: 254 x 178 x 21. Weight in Grams: 758.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1984
- Number of pages
- 392
- Condition
- New
- SKU
- V9781461297307
- ISBN
- 9781461297307
Paperback
Condition: New
€ 68.95
€ 68.95
paperback. Editor(s): Pitt, David H.; Rydeheard, D. E.; Dybjer, Peter; Pitts, Andrew M.; Poigne, Axel. Series: Lecture Notes in Computer Science. Num Pages: 380 pages, biography. BIC Classification: UL. Category: (G) General (US: Trade); (P) Professional & Scholarly; (UP) Postgraduate. Dimension: 250 x 156 x 19. Weight in Grams: 1160.
- Format
- Paperback
- Publication date
- 1989
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1989th Edition
- Number of pages
- 380
- Condition
- New
- SKU
- V9783540516620
- ISBN
- 9783540516620
Paperback
Condition: New
€ 71.62
€ 71.62
Paperback. Editor(s): Rajarajan, Muttukrishnan; Piper, Fred C.; Wang, Haining; Kesidis, George. Series: Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. Num Pages: 562 pages, 174 black & white illustrations, biography. BIC Classification: UKN; UL; URY; UT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 29. Weight in Grams: 854.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 562
- Condition
- New
- SKU
- V9783642319082
- ISBN
- 9783642319082
Paperback
Condition: New
€ 69.58
€ 69.58
Paperback. Editor(s): Randell, Brian; Laprie, J. C.; Kopetz, Hermann; Littlewood, Bev. Series: ESPRIT Basic Research Series. Num Pages: 588 pages, 33 black & white tables, biography. BIC Classification: UL; UM; UYD; UYQE. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 31. Weight in Grams: 913.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1995
- Number of pages
- 588
- Condition
- New
- SKU
- V9783642797910
- ISBN
- 9783642797910
Paperback
Condition: New
€ 130.79
€ 130.79
Paperback. Dependability has always been a vital attribute of operational systems, regardless of whether they are highly specialized or more general purpose. This volume aims to provide an overview of the topic, focusing on dependability as a lifecycle management issue. Editor(s): Redmill, Felix; Dale, Chris. Num Pages: 235 pages, 5 black & white illustrations, biography. BIC Classification: TBC; UKR; UL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 13. Weight in Grams: 364.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1997
- Number of pages
- 235
- Condition
- New
- SKU
- V9783540760733
- ISBN
- 9783540760733
Paperback
Condition: New
€ 127.42
€ 127.42
Hardback. Editor(s): Rossnagel, Alexander; Sommerlatte, Tom (Wiesbaden); Winand, Udo. Num Pages: black & white illustrations, bibliography. BIC Classification: UB; UF; UKN; UL; UTX; UY. Category: (G) General (US: Trade). Dimension: 234 x 156 x 13. Weight in Grams: 467.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer United States
- Condition
- New
- SKU
- V9783540770213
- ISBN
- 9783540770213
Hardback
Condition: New
€ 59.78
€ 59.78
Paperback. Compiled from the proceedings of the Second International Conference on Embedded Software, this volume contains 30 papers. It spans the whole range of embedded software, including operating systems and middleware, programming languages and compilers, modelling and validation. Editor(s): Sangiovanni-Vincentelli, Alberto; Sifakis, Joseph. Series: Lecture Notes in Computer Science. Num Pages: 440 pages, biography. BIC Classification: UF; UL; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 233 x 155 x 22. Weight in Grams: 619.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 440
- Condition
- New
- SKU
- V9783540443070
- ISBN
- 9783540443070
Paperback
Condition: New
€ 73.04
€ 73.04
Paperback. This volume contains the proceedings of a joint symposium, held in Moscow in June 1990, which provided a platform for scientists and engineers to exchange results and discuss the most recent advances in the fields of information processing, software and systems design automation. Editor(s): Schwartzel, Heinz; Mizin, Igor A. Num Pages: 397 pages, biography. BIC Classification: UL; UMZ; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 170 x 21. Weight in Grams: 701.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 397
- Condition
- New
- SKU
- V9783540526834
- ISBN
- 9783540526834
Paperback
Condition: New
€ 129.44
€ 129.44
Paperback. Editor(s): Shen, Xipeng; Mueller, Frank; Tuck, James. Series: Lecture Notes in Computer Science. Num Pages: 329 pages, 139 colour illustrations, biography. BIC Classification: UL; UMB; UMX; UMZ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 18. Weight in Grams: 510.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 329
- Condition
- New
- SKU
- V9783319297774
- ISBN
- 9783319297774
Paperback
Condition: New
€ 67.03
€ 67.03
Security and Dependability for Ambient Intelligence
. Ed(S): Spanoudakis, George; Kokolakis, Spyr...
Paperback. This book details the SERENITY approach towards providing security and dependability solutions for dynamic, highly-distributed and heterogeneous systems. It covers the foundations of ambient systems and includes case studies. Editor(s): Spanoudakis, George; Kokolakis, Spyros. Series: Advances in Information Security. Num Pages: 392 pages, 50 black & white illustrations, 30 colour illustrations, 20 black & white tables, biograp. BIC Classification: UB; UL; UMZ. Category: (G) General (US: Trade). Dimension: 234 x 156 x 21. Weight in Grams: 617.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of hardcover 1st ed. 2009
- Number of pages
- 392
- Condition
- New
- SKU
- V9781441947000
- ISBN
- 9781441947000
Paperback
Condition: New
€ 195.13
€ 195.13
Messung Modellierung Und Bewertung Von Rechensystemen Und Netzen
. Ed(S): Stiege, Gunther; Lie, Jung S
Paperback. Editor(s): Stiege, Gunther; Lie, Jung S. Num Pages: 342 pages, black & white illustrations, bibliography. BIC Classification: PBT; UDH; UKN; UL; UYD; UYM. Category: (G) General (US: Trade). Dimension: 244 x 170 x 19. Weight in Grams: 567.
- Format
- Paperback
- Publication date
- 1989
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 342
- Condition
- New
- SKU
- V9783540517139
- ISBN
- 9783540517139
Paperback
Condition: New
€ 73.76
€ 73.76
Languages, Compilers and Run-Time Systems for Scalable Computers
. Ed(S): Szymanski, Boleslaw K.; Sinharoy, Ba...
Paperback. Editor(s): Szymanski, Boleslaw K.; Sinharoy, Balaram. Num Pages: 335 pages, biography. BIC Classification: UL; UMX; UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 545.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1996
- Number of pages
- 335
- Condition
- New
- SKU
- V9781461359791
- ISBN
- 9781461359791
Paperback
Condition: New
€ 194.65
€ 194.65