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 PHP and PostgreSQL 8 From Novice to Professional
ανά: Gilmore, W. Jason
Έκδοση: (2006)

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

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

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

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

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

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

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

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

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

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)

Thriving Systems Theory and Metaphor-Driven Modeling
ανά: Waguespack, Leslie J
Έκδοση: (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)

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)

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

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

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)

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

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)

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

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

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

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

Open Source Messaging Application Development Building and Extending Gaim
ανά: Egan, Sean
Έκδοση: (2005)

Pro Eclipse JST Plug-ins for J2EE Development
ανά: Judd, Christopher M.
Έκδοση: (2005)

Advanced Software Engineering: Expanding the Frontiers of Software Technology IFIP 19th World Computer Congress, First International Workshop on Advanced Software Engineering, August 25, 2006, Santiago, Chile
ανά: Ochoa, Sergio F.
Έκδοση: (2006)

Pro OpenSSH
ανά: Stahnke, Michael
Έκδοση: (2006)

Beginning Java EE 5 From Novice to Professional
ανά: Mukhar, Kevin
Έκδοση: (2006)

Building Online Communities with Drupal, phpBB, and WordPress
ανά: Douglass, Robert T.
Έκδοση: (2006)

Micro-ISV From Vision to Reality
ανά: Walsh, Bob
Έκδοση: (2006)

Excel Pivot Tables Recipe Book A Problem-Solution Approach
ανά: Dalgleisch, Debra
Έκδοση: (2006)

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

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

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