3 résultat(s) recherche sur le mot-clé 'concurrent programming'

Concurrent programming in ML / Reppy, John H.

Public ISBD Titre : Concurrent programming in ML Type de document : texte imprimé Auteurs : Reppy, John H. Editeur : Cambridge : Cambridge University Press Année de publication : 1999 Importance : 308 p. ISBN/ISSN/EAN : 978-0-521-48089-5 Langues : Anglais Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68QXX Theory of computing:68Q10 Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) Mots-clés : ml  concurrent programming Index. décimale : 68C Monographie Concurrent programming in ML [texte imprimé] / Reppy, John H. . - Cambridge : Cambridge University Press, 1999 . - 308 p. ISBN : 978-0-521-48089-5 Langues : Anglais Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68QXX Theory of computing:68Q10 Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) Mots-clés : ml  concurrent programming Index. décimale : 68C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
16259	68C278	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

Understanding concurrent systems / A.W. Roscoe

Public ISBD Titre : Understanding concurrent systems Type de document : texte imprimé Auteurs : A.W. Roscoe, Auteur Editeur : London : Springer Année de publication : 2010 Collection : Texts in Computer Science, ISSN 1868-0941 Importance : xviii - 527 p. Format : 25 cm ISBN/ISSN/EAN : 978-1-84882-257-3 Langues : Anglais Catégories : 68-XX Computer science :68-02 Research exposition (monographs, survey articles) 68-XX Computer science :68NXX Software:68N19 Other programming techniques (object-oriented, sequential, concurrent, automatic, etc.) 68-XX Computer science :68QXX Theory of computing:68Q10 Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) Mots-clés : software  programming techniques  concurrent programming  communicating sequential processes  FDR  models of concurrent systems Index. décimale : 68C Monographie Understanding concurrent systems [texte imprimé] / A.W. Roscoe, Auteur . - London : Springer, 2010 . - xviii - 527 p. ; 25 cm. - (Texts in Computer Science, ISSN 1868-0941) . ISBN : 978-1-84882-257-3 Langues : Anglais Catégories : 68-XX Computer science :68-02 Research exposition (monographs, survey articles) 68-XX Computer science :68NXX Software:68N19 Other programming techniques (object-oriented, sequential, concurrent, automatic, etc.) 68-XX Computer science :68QXX Theory of computing:68Q10 Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) Mots-clés : software  programming techniques  concurrent programming  communicating sequential processes  FDR  models of concurrent systems Index. décimale : 68C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
21236	LINA/68C412	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

Communication and concurrency / Milner, Robin

Public ISBD Titre : Communication and concurrency Type de document : texte imprimé Auteurs : Milner, Robin Mention d'édition : 2nd ed. Editeur : Harlow : Pearson education Année de publication : 2006 ISBN/ISSN/EAN : 978-0-13-114984-7 Langues : Anglais Mots-clés : concurrent programming  computer systems Index. décimale : LIN Communication and concurrency [texte imprimé] / Milner, Robin  . -  2nd ed. . - Harlow : Pearson education, 2006. ISBN : 978-0-13-114984-7 Langues : Anglais Mots-clés : concurrent programming  computer systems Index. décimale : LIN

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
17578	LINA/68C337	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible