Operating systems engineering : proceedings of the 14th IBM Computer science symposium, Amagi, Japan, October 1980

محفوظ في:
التفاصيل البيبلوغرافية
مؤلف مشترك: IBM Computer science symposium :Amagi, Japon
مؤلفون آخرون: Maekawa, Mamoru, 1942- (مدير النشر), Belady, Laszlo A., 1928- (مدير النشر)
التنسيق: Livre numérique
اللغة:Anglais
منشور في: Berlin [etc.] : Springer [20..].
Cham : Springer Nature
سلاسل:Lecture notes in computer science 143
الموضوعات:
الوصول للمادة أونلاين:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
ملاحظة: Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
Autres localisations: Voir dans le Sudoc
Edition sous un autre format:• Operating systems engineering, proceedings of the 14th IBM Computer science symposium, Amagi, Japan, October 1980, edited by M. Maekawa and L. A. Belady, Berlin, Springer-Verlag, 1982, 1 vol. (VII-465 p.), Lecture notes in computer science, 3-540-11604-4
• Operating Systems Engineering, Texte imprimé, 9783662170151
LEADER 03577nam a22003737a 4500
001 944064
008 110927q2000 xxe ||| |||| 00| 0 eng d
009 PPN155173561
020 |a 9783540394242 (PDF) 
041 0 |a eng 
082 |a 004 
111 2 |a IBM Computer science symposium  |n (14  |d  :1980  |c  :Amagi, Japon). 
245 1 0 |a Operating systems engineering :  |b proceedings of the 14th IBM Computer science symposium, Amagi, Japan, October 1980   |c edited by M. Maekawa and L. A. Belady. 
260 |a Berlin [etc.] :  |b Springer. 
260 |a Cham :  |b Springer Nature,  |c [20..]. 
490 0 |a Lecture notes in computer science  |v 143  |x 1611-3349 
500 |a Archives Springer e-books (Licence nationale) 
500 |a Archives Springer e-books (Licence nationale) 
505 0 |a Synchronization mechanisms for parallel processing -- A parallel programming language and description of scheduler -- Specification of schedulers with algebraic specification techniques -- Generalized dynamic authorization mechanisms -- Program behavior and its models -- CPU scheduling for effective multiprogramming -- Dynamic tuning of operating systems -- On pseudo workload for performance measurement of interactive systems -- Modifiability of large software systems -- Operating system conceptual model for ease of extension -- Perspective of OS interface to users -- Intelligent console a universal user interface of a computer system -- Structuring distributed programs with control fault detection -- A distributed operating system for a binary tree multiprocessor -- Gamma-net: Computer network coupled by 100 MBPS optical fiber ring bus -system planning and ring bus subsystem description- -- Product validation for standardized network protocol -- Protection and synchronisation in a message-switched system -- On the progress of communication between two machines -- Form transformer -a formalism for office form manipulation- -- Automated design of concurrent process systems -- Concurrent programming -- Streams and managers. 
506 |a Accès en ligne pour les établissements français bénéficiaires des licences nationales 
506 |a Accès soumis à abonnement pour tout autre établissement 
506 |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 
650 |a Informatique 
650 |a Systèmes d'exploitation (ordinateurs) 
650 |a Actes de congrès 
700 1 |a Maekawa, Mamoru,  |d 1942-  |4 pbd 
700 1 |a Belady, Laszlo A.,  |d 1928-  |4 pbd 
776 0 |0 02479306X  |t Operating systems engineering  |o proceedings of the 14th IBM Computer science symposium, Amagi, Japan, October 1980  |f edited by M. Maekawa and L. A. Belady  |c Berlin  |n Springer-Verlag  |d 1982  |p 1 vol. (VII-465 p.)  |s Lecture notes in computer science  |z 3-540-11604-4 
776 0 |t Operating Systems Engineering  |b Texte imprimé  |z 9783662170151 
856 4 |q PDF  |u https://doi.org/10.1007/3-540-11604-4  |z Accès sur la plateforme de l'éditeur 
856 4 |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-P30J8LFW-6  |z Accès sur la plateforme Istex 
856 4 |5 452349901:747923108  |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-11604-4  |z Accès Université d'Orléans 
856 4 |5 180339901:750935391  |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-11604-4  |z Accès INSA CVL 
997 |0 944064  |1 Livre numérique  |a Ressource numérique  |b INSA  |b ENSA  |c 0/Bibliothèque numérique/  |c 1/Bibliothèque numérique/Autre ressource numérique/