Zoekresultaten
Resultaat 261 - 280 (van 642)
Vladimir G. Ivancevic | Tijana T. Ivancevic Quantum neural computation
Non-fictie
Engels | 929 pagina's | Springer, Dordrecht [etc.] | 2010
Gedrukt boek
J. Berendsen Abstraction, prices and probability in model checking timed automata
Non-fictie
Engels | 178 pagina's | BOXPress, Oisterwijk | 2010
Gedrukt boek
Filipa Duarte A cache-based hardware accelerator for memory data movements
Non-fictie
Engels | 162 pagina's | 2008
Gedrukt boek
Embedded systems specification and design languages
selected contributions from FDL'07
Non-fictie
Engels | 275 pagina's | Benjamins, [Dordrecht] | 2008
Gedrukt boek
Communication and collaboration support systems
Non-fictie
Engels | 303 pagina's | Ohmsha, Tokyo | 2007
Gedrukt boek
Tomas Krilavičius Hybrid techniques for hybrid systems
Non-fictie
Engels | 192 pagina's | 2006
Gedrukt boek
M. Daneva | P. van Eck What enterprise architecture and enterprise systems usage can and can not tell about each other
Non-fictie
Engels | 15 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2006
Gedrukt boek
Trust in technology: a socio-technical perspective
Non-fictie
Engels | 221 pagina's | Springer, Dordrecht | 2006
Gedrukt boek
Omar Mansour High level synthesis for non-manifest digital signal processing applications
Non-fictie
Engels | 185 pagina's | 2006
Gedrukt boek
Katarzyna Julia Rycerz Grid-based HLA simulation support
Non-fictie
Engels | 226 pagina's | Nowy Projekt | 2006
Gedrukt boek
Yuanqing Guo Mapping applications to a coarse-grained reconfigurable architecture
Non-fictie
Engels | 172 pagina's | 2006
Gedrukt boek
Monique Jansen-Vullers | R.J.M. IJpelaar | M. Loosschilder Workflow patterns modelled in Arena
Non-fictie
Engels | 35 pagina's | Beta, Research School for Operations Management and Logistics, Eindhoven | 2006
Gedrukt boek
Centre for Telematics and Information Technology Scheduling lacquer production by reachability analysis
a case study
Non-fictie
Engels | Centre for Telematics and Information Technology, University of Twente, Enschede | 2005
Gedrukt boek
José M. Martínez | Boudewijn R. Haverkort CSL model checking of Deterministic and Stochastic Petri Nets
Non-fictie
Engels | 24 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2005
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
Chris van Aart Organizational principles for multi-agent architectures
Non-fictie
Engels | 180 pagina's | 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
P.J. 't Hoen | S.M. Bohte COllective INtelligence with sequences of actions
Non-fictie
Engels | 11 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2003
Gedrukt boek