Zoekresultaten
Resultaat 1 - 20 (van 33)
Quality of communication-based systems
Non-fictie
Engels | 195 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 1995
Gedrukt boek
Technische Universiteit A worldwide flock of Condors
load sharing among workstation clusters
Non-fictie
Engels | Delft University of Technology, Faculty of Technical Mathematics and Informatics, Delft | 1995
Gedrukt boek
Jan van Katwijk | Hans Toetenel Experiences using PAISLey for real-time specification
Non-fictie
Engels | 28 pagina's | Delft University of Technology, Faculty of Technical Mathematics and Informatics, Delft | 1995
Gedrukt boek
J.P.M. Voeten POOSL: an object-oriented specification language for the analysis and design of hardware/software systems
Non-fictie
Engels | 40 pagina's | Eindhoven University of Technology, Faculty of Electrical Engineering, Eindhoven | 1995
Gedrukt boek
I. Polak A proof-checked verification of a real-time communication protocol
Non-fictie
Engels | 26 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1995
Gedrukt boek
K.R. Pattipati | Y. Li | H.A.P. Blom A unified framework for the performability evaluation of fault-tolerant computer systems
Non-fictie
Engels | 16 pagina's | NLR, Amsterdam | 1995
Gedrukt boek
P.A.C. Verkoulen TransCoop Deliverable 2.1: requirements for the TransCoop specification language by analysing selected application areas
Non-fictie
Engels | 218 pagina's | University of Twente, Department of Computer Science, Enschede | 1995
Gedrukt boek
Ratnesh Kumar | Vijay K. Garg Modeling and control of logical Discrete Event Systems
Non-fictie
Engels | 143 pagina's | Kluwer Academic Publishers, Boston [etc.], Dordrecht | 1995
Gedrukt boek
M.A.M. Leermakers Determinants of monitoring behaviour in a four-instrument monitoring task; an experimental study
Non-fictie
Engels | 144 pagina's | Eindhoven University of Technology, Eindhoven | 1995
Gedrukt boek
P.J. van der Houwen | W.A. van der Veen Solving implicit differential equations on parallel computers
Non-fictie
Engels | 17 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1995
Gedrukt boek
Leon Bun | Jan van Katwijk An astral specification for a railroad controller
Non-fictie
Engels | 44 pagina's | Delft University of Technology, Faculty of Technical Mathematics and Informatics, Delft | 1995
Gedrukt boek
Nationaal Lucht- en Ruimtevaartlaboratorium A new generation test and verification equipment for attitude control systems
Non-fictie
Engels | 10 pagina's | NLR, Amsterdam | 1995
Gedrukt boek
D. Griffioen Proof-checking an audio control protocol with LP
Non-fictie
Engels | 32 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1995
Gedrukt boek
Universiteit Twente TransCoop Deliverable 3.1: specification of the prototype architecture
Non-fictie
Engels | 100 pagina's | University of Twente, Department of Computer Science, Enschede | 1995
Gedrukt boek
Ard Overkamp | J.H. van Schuppen Control of discrete event systems
research at the interface of control theory and computer science
Non-fictie
Engels | 15 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1995
Gedrukt boek
P. Brandt An airborne flight test data multiplexing and real-time processing system
Non-fictie
Engels | 19 pagina's | NLR, Amsterdam | 1995
Gedrukt boek
Applications of logic databases
Non-fictie
Engels | 280 pagina's | Kluwer Academic Publishers, Boston [etc.], Dordrecht | 1995
Gedrukt boek
J.-H. Hoepman | M. Papatriantafilou | P. Tsigas Toward self-stabilizing wait-free shared memeory objects
Non-fictie
Engels | 15 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1995
Gedrukt boek
Peter Boncz | F. Kwakkel | M.L. Kersten High performance support for OO traversals in Monet
Non-fictie
Engels | 20 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1995
Gedrukt boek
Giampiero E.G. Beroggi | William A. Wallace Computer supported risk management
Non-fictie
Engels | 372 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 1995
Gedrukt boek