Zoekresultaten
Resultaat 1 - 11 (van 11)
Marcel Beelen Server-based computing & access infrastructure
praktijkhandboek server-based computing
Non-fictie
Nederlands | WEKA, Amsterdam | 2004
Gedrukt boek
L. Brandán Briones | H. Brinksma A test generation framework for quiescent real-time systems
Non-fictie
Engels | 20 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2004
Gedrukt boek
H. Brinksma | A.H. Mader On verification modelling of embedded systems
Non-fictie
Engels | 5 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2004
Gedrukt boek
Chris van Aart Organizational principles for multi-agent architectures
Non-fictie
Engels | 180 pagina's | 2004
Gedrukt boek
Pieter Koopman | M.J. Plasmeijer Testing reactive systems with GAST
Non-fictie
Engels | 19 pagina's | Nijmegen Institute for Computing and Information Sciences, Faculty of Science, University of Nijmegen, Nijmegen | 2004
Gedrukt boek
J. Pang Formal verification of distributed systems
Non-fictie
Engels | 230 pagina's | 2004
Gedrukt boek
J. Ketema | J.W. Klop | V. van Oostrom Vicious circles in orthogonal term rewriting systems
Non-fictie
Engels | 13 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2004
Gedrukt boek
M. Smiljanic | M. van Keulen | W. Jonker Defining the XML schema matching problem for a personal schema based query answering system
Non-fictie
Engels | 30 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2004
Gedrukt boek
Nataliya Yustinova Abstractions and static analysis for verifying reactive systems
Non-fictie
Engels | 191 pagina's | 2004
Gedrukt boek
High performance scientific and engineering computing
hardware/software support
Non-fictie
Engels | 316 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 2004
Gedrukt boek
Avi Epstein Parallel hardware architectures for the life sciences
Non-fictie
Engels | 153 pagina's | DUP Science, Delft | 2004
Gedrukt boek