Zoekresultaten
Resultaat 161 - 180 (van 989)
Institut National des Télécommunications SDL '97
time for testing; SDL, MSC and trends; proceedings of the eighth SDL Forum, Evry, France, 23-26 September, 1997/ ed. by Ana Cavalli, Amardeo Sarma
Non-fictie
Engels | 551 pagina's | Elsevier, Amsterdam [etc.] | 1997
Gedrukt boek
H.R. Walters Epic and ARM
user's guide
Non-fictie
Engels | 67 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1997
Gedrukt boek
Dan FitzPatrick | Ira Miller Analog behavioral modeling with the Verilog-A language
Non-fictie
Engels | 210 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 1997
Gedrukt boek
Jan Springintveld | F.W. Vaandrager | P.R. D'Argenio Testing timed automata
Non-fictie
Engels | Centre for Telematics and Information Technology, Enschede | 1997
Gedrukt boek
Huub van Thienen Prospero's book
Non-fictie
Engels | 29 pagina's | Computing Science Institute Nijmegen, Faculty of Mathematics and Informatics, Catholic University of Nijmegen, Nijmegen | 1997
Gedrukt boek
R. Serban | Frank Dehne | R.P. van de Riet A first step towards distributed Mokum
Non-fictie
Engels | 45 pagina's | Vrije Universiteit, Amsterdam | 1997
Gedrukt boek
Marco Kesseler The implementation of functional languages on parallel machines with distributed memory
Non-fictie
Engels | 196 pagina's | 1996
Gedrukt boek
M.H.H. Brassé PARIO, a parallel file access library
Non-fictie
Engels | 59 pagina's | Stan Ackermans Instituut, Eindhoven | 1996
Gedrukt boek
Vrije Universiteit A purpose driven method for language comparison
the REVISE project
Non-fictie
Engels | Vrije Universiteit, Amsterdam | 1996
Gedrukt boek
Vakgroep Informatica Strictification of lazy functions
Non-fictie
Engels | 12 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1996
Gedrukt boek
F.S. de Boer | M. van Hulst A compositional proof system for asynchronously communicating processes
Non-fictie
Engels | 14 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1996
Gedrukt boek
Peter R.J. Asveld The non-self-embedding property for generalized fuzzy context-free grammars
Non-fictie
Engels | 13 pagina's | University of Twente, Department of Computer Science, Enschede | 1996
Gedrukt boek
P.R. D'Argenio | H. Brinksma A calculus for timed automata
Non-fictie
Engels | 61 pagina's | Centre for Telematics and Information Technology, Enschede | 1996
Gedrukt boek
H.R. Walters | J.F.Th. Kamperman Epic 1.0 (unconditional)
an equational programming language
Non-fictie
Engels | 16 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1996
Gedrukt boek
H.E. Bal | M. Haines Approaches for integrating task and data parallelism
Non-fictie
Engels | 20 pagina's | Vrije Universiteit Amsterdam, Faculteit der Wiskunde en Informatica, Amsterdam | 1996
Gedrukt boek
Vakgroep Informatica A proof theory of asynchronously communicating sequential processes
Non-fictie
Engels | 26 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1996
Gedrukt boek
J. Strother Moore Piton
a mechanically verified assembly-level language
Non-fictie
Engels | 320 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 1996
Gedrukt boek
J. Saraiva | M.F. Kuiper | S.D. Swierstra Effective function cache management for incremental attribute evaluation
Non-fictie
Engels | 10 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1996
Gedrukt boek
Frans J. Faase | S. Even | Rolf A. de By An introduction to CoCoA
Non-fictie
Engels | 95 pagina's | University of Twente, Department of Computer Science, Enschede | 1996
Gedrukt boek
Hugh Robert Osborne Update plans
a high level low level specification language
Non-fictie
Engels | 124 pagina's | 1995
Gedrukt boek