Formal Models of Operating System Kernels

Formal Models of Operating System Kernels

Εμφάνιση άλλων εκδόσεων (1)

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	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)

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)

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)

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

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 Dynpro ABAP for Practitioners
ανά: Gellert, Ulrich
Έκδοση: (2010)

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

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)

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

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

Mathematical Software β ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings
ανά: Fukuda, Komei
Έκδοση: (2010)

Pervasive Computing 8th International Conference, Pervasive 2010, Helsinki, Finland, May 17-20, 2010. Proceedings
ανά: FlorΓen, Patrik
Έκδοση: (2010)

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

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

Architecture of Computing Systems - ARCS 2010 23rd International Conference, Hannover, Germany, February 22-25, 2010. Proceedings
ανά: MΓΌller-Schloer, Christian
Έκδοση: (2010)

New Horizons of Parallel and Distributed Computing
ανά: Guo, Minyi
Έκδοση: (2005)

High Performance Computing and Applications Second International Conference, HPCA 2009, Shanghai, China, August 10-12, 2009, Revised Selected Papers
ανά: Zhang, Wu
Έκδοση: (2010)

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

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

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

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

Grid Computing Experiment Management, Tool Integration, and Scientific Workflows
ανά: Prodan, Radu
Έκδοση: (2007)

Enterprise Service Oriented Architectures Concepts, Challenges, Recommendations
ανά: McGovern, James
Έκδοση: (2006)

Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II
ανά: Abramsky, Samson, 1953-
Έκδοση: (2010)

Internet and Network Economics 6th International Workshop, WINE 2010, Stanford, CA, USA, December 13-17, 2010. Proceedings
ανά: Saberi, Amin
Έκδοση: (2010)

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

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

Mobile Lightweight Wireless Systems Second International ICST Conference, MOBILIGHT 2010, Barcelona, Spain, May 10-12, 2010, Revised Selected Papers
ανά: Chatzimisios, Periklis
Έκδοση: (2010)

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

High Availability and Disaster Recovery Concepts, Design, Implementation
ανά: Schmidt, Klaus
Έκδοση: (2006)

Recent Trends in Wireless and Mobile Networks Second International Conference, WiMo 2010, Ankara, Turkey, June 26-28, 2010. Proceedings
ανά: Γzcan, Abdulkadir
Έκδοση: (2010)

Formal Models of Operating System Kernels
ανά: Craig, Iain D.
Έκδοση: (2007)

Distributed Applications and Interoperable Systems 10th IFIP WG 6.1 International Conference, DAIS 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings
ανά: Eliassen, Frank
Έκδοση: (2010)

Frontiers in Algorithmics 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings
ανά: Lee, Der-Tsai
Έκδοση: (2010)

Composing Software Components A Software-testing Perspective
ανά: Hamlet, Dick
Έκδοση: (2010)

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