Explore: Allocation Ressource
Discover books, insights, and more — all in one place.
Learn more about Allocation Ressource with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “allocation-ressource”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Principles of operating systems
By Sacha Krakowiak
“Principles of operating systems” Metadata:
- Title: ➤ Principles of operating systems
- Author: Sacha Krakowiak
- Languages: ➤ English - Spanish; Castilian - español, castellano
- Number of Pages: Median: 469
- Publisher: MIT Press - Mit Pr - Arcadia
- Publish Date: 1987 - 1988 - 1990
- Publish Location: ➤ Cambridge, Mass - Madrid, Spain
“Principles of operating systems” Subjects and Themes:
- Subjects: ➤ Operating systems (Computers) - Systemes d'exploitation (ordinateurs) - Betriebssystem - Allocation mémoire - Système exploitation réparti - Synchronisation - Systèmes d'exploitation (ordinateurs) - Gestion fichier - Système multiprogramme - Allocation ressource - Conception système exploitation - Système exploitation - Sistemas operativos
Edition Identifiers:
- The Open Library ID: OL45998555M - OL2377293M - OL51670542M
- Library of Congress Control Number (LCCN): 87005676
- All ISBNs: ➤ 0262111225 - 9788486299149 - 0262610590 - 9780262111225 - 8486299144 - 9780262610599
Access and General Info:
- First Year Published: 1987
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Principles of operating systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Verifying concurrent processes using temporal logic
By Brent T. Hailpern
“Verifying concurrent processes using temporal logic” Metadata:
- Title: ➤ Verifying concurrent processes using temporal logic
- Author: Brent T. Hailpern
- Language: English
- Number of Pages: Median: 208
- Publisher: Springer-Verlag
- Publish Date: 1982
- Publish Location: New York - Berlin
“Verifying concurrent processes using temporal logic” Subjects and Themes:
- Subjects: ➤ Computer programs - Parallel processing (Electronic computers) - Verification - Programmation structurée - Allocation ressource - Vérification - Programme parallèle - Programmierung - Heuristique - Programmverifikation - Logiciel - vérification - Vérification logiciel - Multitraitement - Protocole réseau - Logiciels - Logique temporelle - Parallelverarbeitung - Verifikation - Parallélisme (Informatique)
Edition Identifiers:
- The Open Library ID: OL3481503M
- Online Computer Library Center (OCLC) ID: 8219232
- Library of Congress Control Number (LCCN): 82000856
- All ISBNs: 9780387112053 - 0387112057
Access and General Info:
- First Year Published: 1982
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Verifying concurrent processes using temporal logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.