Zoekresultaten
Resultaat 121 - 140 (van 642)
Workload characterization of emerging computer applications
Non-fictie
Engels | 231 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 2001
Gedrukt boek
G.I. Jojgov Systems for open terms: an overview
Non-fictie
Engels | 39 pagina's | Technische Universiteit Eindhoven, Department of Mathematics and Computing Science, Eindhoven | 2001
Gedrukt boek
Dongmin Kim | S. Hariri Virtual computing
concept, design, and evaluation
Non-fictie
Engels | 124 pagina's | Kluwer Academic Publishers, Boston, MA, Dordrecht [etc.] | 2001
Gedrukt boek
Discrete event systems
analysis and control
Non-fictie
Engels | 484 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 2000
Gedrukt boek
Workload characterization for computer system design
Non-fictie
Engels | 213 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 2000
Gedrukt boek
T. Kuipers | L.M.F. Moonen Types and concept analysis for legacy systems
Non-fictie
Engels | 15 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 2000
Gedrukt boek
Milena Todorova Stefanova Properties of typing systems
Non-fictie
Engels | 121 pagina's | 1999
Gedrukt boek
S. Even | D. Spelt Verification of compensation requirements for the SEPIA cooperative authoring system
Non-fictie
Engels | 15 pagina's | Centre for Telematics and Information Technology, Enschede | 1998
Gedrukt boek
R. van Liere | J.A. Harkes | J.H. Kniesmeijer Porting a visualization package from IRIX to NT: what will I get and what will I pay?
Non-fictie
Engels | 10 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1998
Gedrukt boek
J.D. Mulder | J.J. van Wijk | R. van Liere A survey of computational steering environments
Non-fictie
Engels | 13 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1998
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
Chengzhong Xu | Francis C.M. Lau Load balancing in parallel computers
theory and practice
Non-fictie
Engels | 210 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 1997
Gedrukt boek
M. Huisman Binary addition in lego
Non-fictie
Engels | 20 pagina's | Nijmegen Computing Science Institute, Faculty of Mathematics and Informatics, Catholic University of Nijmegen, Nijmegen | 1997
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