Zoekresultaten
Resultaat 1 - 20 (van 34)
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
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
The engineering of complex real-time computer control systems
Non-fictie
Engels | 87 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 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
Vijay K. Garg Principles of distributed systems
Non-fictie
Engels | 254 pagina's | Kluwer Academic Publishers, Boston, London, Dordrecht | 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
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
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
D. Alstein Distributed algorithms for hard real-time systems
Non-fictie
Engels | 124 pagina's | Eindhoven University of Technology, Eindhoven | 1996
Gedrukt boek
Celestine A. Ntuen | Eui H. Park Human interaction with complex systems
conceptual principles and design practice
Non-fictie
Engels | 429 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 1996
Gedrukt boek
H. Slot | C.J.J. Joosen Transputer based static data acquisition systems at DNW
Non-fictie
Engels | 14 pagina's | NLR, Amsterdam | 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
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
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
Technische Universiteit Control considerations for the scanning tunnelling microscope
Non-fictie
Engels | Delft University of Technology, Faculty of Technical Mathematics and Informatics, Delft | 1996
Gedrukt boek
Wilbert Arthur Henrik de Vries Manufacturable design operations
Non-fictie
Engels | 143 pagina's | 1996
Gedrukt boek