A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur J.W. de BAKKER |
Documents disponibles écrits par cet auteur
Affiner la recherche Interroger des sources externes
Foundations of computer science IV. Distributed systems : part 1 / J.W. de BAKKER (1983)
Titre : Foundations of computer science IV. Distributed systems : part 1 : Algorithms and complexity Type de document : monographie Auteurs : J.W. de BAKKER, Auteur ; J. van LEEUWEN, Auteur Editeur : Amsterdam : Mathematisch Centrum Année de publication : 1983 Collection : Mathematical centre tracts num. 158 Importance : 122 p. ISBN/ISSN/EAN : 978-90-6196-254-0 Langues : Anglais Mots-clés : algorithme ordinateur Note de contenu : références Foundations of computer science IV. Distributed systems : part 1 : Algorithms and complexity [monographie] / J.W. de BAKKER, Auteur ; J. van LEEUWEN, Auteur . - Amsterdam : Mathematisch Centrum, 1983 . - 122 p.. - (Mathematical centre tracts; 158) .
ISBN : 978-90-6196-254-0
Langues : Anglais
Mots-clés : algorithme ordinateur Note de contenu : références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 8626 BAK/68/5570-I Livre Recherche Salle Disponible Foundations of computer science IV. Distributed systems : part 2 / J.W. de BAKKER (1983)
Titre : Foundations of computer science IV. Distributed systems : part 2 : Semantics and logic Type de document : monographie Auteurs : J.W. de BAKKER, Auteur ; J. van LEEUWEN, Auteur Editeur : Amsterdam : Mathematisch Centrum Année de publication : 1983 Collection : Mathematical centre tracts num. 159 Importance : 255 p. ISBN/ISSN/EAN : 978-90-6196-255-7 Langues : Anglais Mots-clés : ordinateur sémantique logique Note de contenu : références Foundations of computer science IV. Distributed systems : part 2 : Semantics and logic [monographie] / J.W. de BAKKER, Auteur ; J. van LEEUWEN, Auteur . - Amsterdam : Mathematisch Centrum, 1983 . - 255 p.. - (Mathematical centre tracts; 159) .
ISBN : 978-90-6196-255-7
Langues : Anglais
Mots-clés : ordinateur sémantique logique Note de contenu : références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 8627 BAK/68/5570-II Livre Recherche Salle Disponible