
Theory and Practice in Distributed Systems - International Workshop, Dagstuhl Castle, Germany, Sep…
von Friedemann Mattern Kenneth P. Birman Verlag: Springer Berlin,
1995 1995. Gepflegter, sauberer Zustand. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. 16723/202
Beispielbild für diese ISBNOn a Method of Multiprogramming
von W. H. J. Feijen, A. J. M. Van Gasteren Verlag: Springer
2010 Kartoniert, 392 Seiten, 235mm x 155mm x 22mm, Sprache(n): eng Even with all the interest in parallelism and parallel processing, there is still something missing. This book is about how to design parallel programs from their specification. It follows from the Owicki/Gries theory and can be…
Beispielbild für diese ISBNPractical Aspects of Declarative Languages - 16th International Symposium, PADL 2014, San Diego, C…
von Matthew Flatt Verlag: Springer International Publishing,
2014 2013. Buchschnitt verkürzt - gepflegter, sauberer Zustand - Ausgabejahr 2014 24395596/12
Beispielbild für diese ISBNAliasing in Object-Oriented Programming - Types, Analysis and Verification
von David Clarke Verlag: Springer Berlin,
2013 2013. Buchschnitt verkürzt- gepflegter, sauberer Zustand - Ausgabejahr 2013 23647519/12

The Book of Psalms - Arranged According to the Original Parallelisms for Responsive Reading
von Anonymous Verlag: hansebooks
2017 Kartoniert, 596 Seiten, 216mm x 167mm x 41mm, Sprache(n): eng
Beispielbild für diese ISBNFunctional Programming, Glasgow 1994 - Proceedings of the 1994 Glasgow Workshop on Functional Prog…
Verlag: Springer London
1995 Kartoniert, 268 Seiten, 235mm x 155mm x 15mm, Sprache(n): eng
Beispielbild für diese ISBNScalable Multi-core Architectures - Design Methodologies and Tools
Verlag: Springer
2014 Kartoniert, 240 Seiten, 235mm x 155mm x 14mm, Sprache(n): eng Describes trends towards distributed memory architectures and distributed power management Integrates Network on Chip with distributed, shared memory architectures Demonstrates novel design methodologies and frameworks for multi…
Beispielbild für diese ISBNAlgoritmi - Lo spirito dell'informatica
von David Harel, Yishai Feldman Verlag: Springer
2007 Kartoniert, 640 Seiten, 235mm x 155mm x 35mm, Sprache(n): ita Includes supplementary material: sn.pub/extras
Beispielbild für diese ISBNTowards a Formal Description of Ada
Verlag: Springer
1980 Kartoniert, 648 Seiten, 235mm x 155mm x 35mm, Sprache(n): eng
Beispielbild für diese ISBNAn Analytical Description of CHILL, the CCITT High Level Language
von P. Branquart, G. Louis, P. Wodon Verlag: Springer
1982 Kartoniert, 296 Seiten, 235mm x 155mm x 17mm, Sprache(n): eng









