Zoekresultaten
Resultaat 161 - 180 (van 642)
Australian Transputer and Occam User Group Parallel computing and transputers
Non-fictie
Engels | 383 pagina's | IOS Press, Amsterdam [etc.] | 1994
Gedrukt boek
Gary M. Koob | Clifford G. Lau Foundations of dependable computing
Non-fictie
Engels | 321 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 1994
Gedrukt boek
Roland Airiau | Jean-Michel Bergé | Vincent Olive Circuit synthesis with VHDL
Non-fictie
Engels | 221 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 1994
Gedrukt boek
D. Alstein | P. van der Stok Hard real-time reliable multicast in the DEDOS system
Non-fictie
Engels | 19 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Computing Science Section, Eindhoven | 1993
Gedrukt boek
F. van Breugel Generalizing finiteness conditions of labelled transition systems
Non-fictie
Engels | 25 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1993
Gedrukt boek
Queueing networks with finite capacity
proceedings of the Second international conference on queueing networks with finite capacity, May 28-29, 1992 and September 28-30, 1992, Research Triangle Park, NC, USA
Non-fictie
Engels | 304 pagina's | North-Holland, Amsterdam [etc.] | 1993
Gedrukt boek
International Federation for Information Processing Human factors in computing systems
INTERCHI '93
Non-fictie
Engels | 547 pagina's | IOS Press, Amsterdam [etc.] | 1993
Gedrukt boek
Alfred Menezes Elliptic curve public key cryptosystems
Non-fictie
Engels | 128 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 1993
Gedrukt boek
Performance measurement and visualization of parallel systems
proceedings of the Workshop on performance measurement and visualization, Moravany, Czechoslovakia, 23-24 October, 1992
Non-fictie
Engels | 361 pagina's | North-Holland, Amsterdam [etc.] | 1993
Gedrukt boek
Ronald M. Tol | Wim H. Hesselink Formal proof of a procedure for Task-Oriented and predictable storage management
Non-fictie
Engels | University of Groningen, Department of Mathematics and Computing Science, Groningen | 1993
Gedrukt boek
N.A. Lynch | F.W. Vaandrager Forward and backward simulations
Non-fictie
Engels | 35 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1993
Gedrukt boek
N.A. Lynch | F.W. Vaandrager Forward and backward simulations
Non-fictie
Engels | 36 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1993
Gedrukt boek
P. van der Stok | M. Claessen | D. Alstein A hierarchical membership protocol for synchronous distributed systems
Non-fictie
Engels | 43 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Computing Science Section, Eindhoven | 1993
Gedrukt boek
A. Jeffrey | S.A. Schneider | F.W. Vaandrager A comparison of additivity axioms in timed transition systems
Non-fictie
Engels | 19 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1993
Gedrukt boek
J.W. Klop | V. van Oostrom | F. van Raamsdonk Combinatory reduction systems
introduction and survey
Non-fictie
Engels | 27 pagina's | Vrije Universiteit, Faculteit der Wiskunde en Informatica, Amsterdam | 1993
Gedrukt boek
E.D.G. Boeve Modelling interaction tools in the Views architecture
Non-fictie
Engels | 11 pagina's | CWI, Centrum voor Wiskunde en Informatica van de Stichting Mathematisch Centrum, Amsterdam | 1992
Gedrukt boek
Universiteit Twente Proceedings fifth workshop on design, realisation and application of advanced computersystems
University of Twente, Enschede, The Netherlands, February 5 1992
Non-fictie
Engels | 47 pagina's | Faculty of Computer Science, University of Twente, Enschede | 1992
Gedrukt boek
International Federation for Information Processing Decision support systems: experiences and expectations
proceedings of the IFIP TC8/WG 8.3 Working Conference on Decision Support Systems: Experiences and Expectations, Fontainebleau, France, 30 June-3 July 1992
Non-fictie
Engels | 323 pagina's | North-Holland, Amsterdam [etc.] | 1992
Gedrukt boek
R.F. Riswick | R.R. Bakker Conversion of discrete event simulation models to diagnostic models
Non-fictie
Engels | 33 pagina's | Faculteit der informatica, Universiteit Twente, Enschede | 1992
Gedrukt boek
S. Pemberton | L.G. Barfield The MUSA design methodology
Non-fictie
Engels | 15 pagina's | CWI, Centrum voor Wiskunde en Informatica van de Stichting Mathematisch Centrum, Amsterdam | 1992
Gedrukt boek