Zoekresultaten
Resultaat 1 - 20 (van 36)
M. Boasson Het onmogelijke duurt iets langer
Non-fictie
Nederlands | 25 pagina's | 1996
Gedrukt boek
Kees Jongsma Switch to Switch
handelen met Switch, het nieuwe handelssysteem van de EOE-Optiebeurs
Non-fictie
Nederlands | 32 pagina's | Infobook, Amsterdam | 1996
Gedrukt boek
M. Beemster Fine-grained parallelism in a lazy functional language
Non-fictie
Engels | 195 pagina's | Universiteit van Amsterdam, Faculteit der Wiskunde, Informatica, Natuurkunde en Sterrenkunde], [Amsterdam | 1996
Gedrukt boek
Stefan Poledna Fault-tolerant real-time systems
the problem of replica determinism
Non-fictie
Engels | 147 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 1996
Gedrukt boek
Centre for Telematics and Information Technology WIDE
workflow model and architecture
Non-fictie
Engels | 50 pagina's | Centre for Telematics and Information Technology, Enschede | 1996
Gedrukt boek
Leon Bun A specification verification framework
integration of theorem proving in the analysis phase of a formal development method of real-time control systems
Non-fictie
Engels | Delft University of Technology, Faculty of Technical Mathematics and Informatics, Delft | 1996
Gedrukt boek
The engineering of complex real-time computer control systems
Non-fictie
Engels | 87 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 1996
Gedrukt boek
Vijay K. Garg Principles of distributed systems
Non-fictie
Engels | 254 pagina's | Kluwer Academic Publishers, Boston, London, Dordrecht | 1996
Gedrukt boek
Ti-Yen Yen | Wayne Wolf Hardware-software co-synthesis of distributed embedded systems
Non-fictie
Engels | 156 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 1996
Gedrukt boek
T. Arts | J. Giesl Automatically proving termination where simplification orderings fail
Non-fictie
Engels | 34 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1996
Gedrukt boek
Input/output in parallel and distributed computer systems
Non-fictie
Engels | 395 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 1996
Gedrukt boek
Robin Sahner | Kishor Shridharbhai Trivedi | Antonio Puliafito Performance and reliability analysis of computer systems
an example-based approach using the SHARPE software package
Non-fictie
Engels | 404 pagina's | Kluwer Academic Publishers, Boston, London, Dordrecht | 1996
Gedrukt boek
D. Alstein Distributed algorithms for hard real-time systems
Non-fictie
Engels | 124 pagina's | Eindhoven University of Technology, Eindhoven | 1996
Gedrukt boek
A.J.C. van Gemund Performance modeling of parallel systems
Non-fictie
Engels | 210 pagina's | Delft University Press, Delft | 1996
Gedrukt boek
André Postma | Th. Krol Interactive concistency in quasi-asynchronous systems
Non-fictie
Engels | 10 pagina's | University of Twente, Department of Computer Science, Enschede | 1996
Gedrukt boek
Leonard J.N. Franken Quality of service management: a model-based approach
Non-fictie
Engels | 267 pagina's | Centre for Telematics and Information Technology, Enschede | 1996
Gedrukt boek
L.A. Timochouk Computer algebra system WAGRAM
Non-fictie
Engels | 55 pagina's | Delft University of Technology, Faculty of Technical Mathematics and Informatics, Delft | 1996
Gedrukt boek
Peter R.J. Asveld Controlled fuzzy parallel rewriting
Non-fictie
Engels | 23 pagina's | University of Twente, Department of Computer Science, Enschede | 1996
Gedrukt boek
E.P. Hupkens | Arunabha Bagchi The detection of local changes in (semi-)causal stochastic fields
Non-fictie
Engels | 27 pagina's | University of Twente, Enschede | 1996
Gedrukt boek
Centre for Telematics and Information Technology The term processor generator Kimwitu
Non-fictie
Engels | 15 pagina's | Centre for Telematics and Information Technology, Enschede | 1996
Gedrukt boek