Formal Models of Operating System Kernels

Formal Models of Operating System Kernels

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Craig, Iain D.
Μορφή:	Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Γλώσσα:	English
Έκδοση:	London Springer-Verlag London Limited 2007
Θέματα:	Operating systems (Computers) Software engineering Computational complexity Computer science Computer Science Operating Systems Software Engineering Discrete Mathematics in Computer Science Επιστήμη των υπολογιστών > Μαθηματικά
Διαθέσιμο Online:	http://dx.doi.org/10.1007/978-1-84628-718-3

Παρόμοια τεκμήρια

Open Source Systems IFIP Working Group 2.13 Foundation on Open Source Software, June 8β10, 2006, Como, Italy
ανά: Damiani, Ernesto
Έκδοση: (2006)

Validated Designs for Object-oriented Systems
ανά: Fitzgerald, John
Έκδοση: (2005)

Beginning Ubuntu Linux
ανά: Raggi, Emilio
Έκδοση: (2010)

Beginning Microsoft Excel 2010
ανά: Katz, Abbbott
Έκδοση: (2010)

Mathematical Approaches to Software Quality
ανά: OβRegan, Gerard
Έκδοση: (2006)

Beginning PHP and PostgreSQL 8 From Novice to Professional
ανά: Gilmore, W. Jason
Έκδοση: (2006)

Pro Windows Small Business Server 2003
ανά: Campbell, Tony
Έκδοση: (2006)

Web Dynpro ABAP for Practitioners
ανά: Gellert, Ulrich
Έκδοση: (2010)

Job Scheduling Strategies for Parallel Processing 15th International Workshop, JSSPP 2010, Atlanta, GA, USA, April 23, 2010, Revised Selected Papers
ανά: Frachtenberg, Eitan
Έκδοση: (2010)

Network and Parallel Computing IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010. Proceedings
ανά: Ding, Chen
Έκδοση: (2010)

Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
ανά: Boer, Frank S.
Έκδοση: (2010)

Soft Real-Time Systems Predictability vs. Efficiency
ανά: Buttazzo, Giorgio C.
Έκδοση: (2005)

Thriving Systems Theory and Metaphor-Driven Modeling
ανά: Waguespack, Leslie J
Έκδοση: (2010)

Analyzing Computer System Performance with Perl::PDQ
ανά: Gunther, Neil J.
Έκδοση: (2005)

Bioinspired Models of Network, Information, and Computing Systems 4th International Conference, BIONETICS 2009, Avignon, France, December 9-11, 2009, Revised Selected Papers
ανά: Altman, Eitan
Έκδοση: (2010)

Web Component Development with Zope 3
ανά: Weitershausen, Philipp
Έκδοση: (2007)

Web Component Development with Zope 3
ανά: Weitershausen, Philipp
Έκδοση: (2005)

Operating Systems Concepts
ανά: Peterson, James L., κ.ά.
Έκδοση: (1991)

Security and Privacy in Communication Networks 6th Iternational ICST Conference, SecureComm 2010, Singapore, September 7-9, 2010. Proceedings
ανά: Jajodia, Sushil
Έκδοση: (2010)

Advances in Grid and Pervasive Computing 5th International Conference, GPC 2010, Hualien, Taiwan, May 10-13, 2010. Proceedings
ανά: Bellavista, Paolo
Έκδοση: (2010)

Mechanisms for Autonomous Management of Networks and Services 4th International Conference on Autonomous Infrastructure, Management and Security, AIMS 2010, Zurich, Switzerland, June 23-25, 2010. Proceedings
ανά: Stiller, Burkhard
Έκδοση: (2010)

Distributed Event-Based Systems
ανά: MΓΌhl, Gero
Έκδοση: (2006)

Introduction to Reliable Distributed Programming
ανά: Guerraoui, Rachid
Έκδοση: (2006)

Pro Python
ανά: Alchin, Marty
Έκδοση: (2010)

Applications of Evolutionary Computation EvoApplications 2010: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoMUSART, and EvoTRANSLOG, Istanbul, Turkey, April 7-9, 2010, Proceedings, Part II
ανά: Chio, Cecilia
Έκδοση: (2010)

HPC@Green IT Green High Performance Computing Methods
ανά: Gruber, Ralf
Έκδοση: (2010)

Reliable and Autonomous Computational Science International Conference, RACS 2010, Atlanta, GA, USA, October 27-30, 2010
ανά: Shin, Sung Y
Έκδοση: (2010)

Innovations in Computing Sciences and Software Engineering
ανά: Sobh, Tarek
Έκδοση: (2010)

Expert Oracle
ανά: Kyte, Thomas
Έκδοση: (2005)

Agile Software Construction
ανά: Hunt, John
Έκδοση: (2006)

Pro PHP Refactoring
ανά: Trucchia, Francesco
Έκδοση: (2010)

A Process Algebraic Approach to Software Architecture Design
ανά: Aldini, Alessandro
Έκδοση: (2010)

Distributed Computing in Sensor Systems 6th IEEE International Conference, DCOSS 2010, Santa Barbara, CA, USA, June 21-23, 2010. Proceedings
ανά: Rajaraman, Rajmohan
Έκδοση: (2010)

Engineering Self-Organising Systems 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers
ανά: Brueckner, Sven A.
Έκδοση: (2007)

Model-Driven Software Development
ανά: Beydeda, Sami
Έκδοση: (2005)

Beginning Databases with PostgreSQL From Novice to Professional
ανά: Matthew, Neil
Έκδοση: (2005)

Pro Spring
ανά: Harrop, Rob
Έκδοση: (2005)

Painless Project Management with FogBugz
ανά: Gunderloy, Mike
Έκδοση: (2005)

Shell Scripting Recipes A Problem-Solution Approach
ανά: Johnson, Chris F. A.
Έκδοση: (2005)

Beginning Java Objects From Concepts to Code
ανά: Barker, Jacquie
Έκδοση: (2005)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Cannot write session to /tmp/vufind_sessions/sess_m0ao2lb4lpnn1ak5s3lr58moko