Zoekresultaten
Resultaat 161 - 180 (van 1093)
Centre for Telematics and Information Technology Model-driven architecture with emphasis on industrial applications
Non-fictie
Engels | 142 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2004
Gedrukt boek
B. Gebremichael | T. Krilavicius | Y.S. Usenko A formal analysis of a car periphery supervision system
Non-fictie
Engels | 12 pagina's | Nijmegen Institute for Computing and Information Sciences, Faculty of Science, University of Nijmegen, Nijmegen | 2004
Gedrukt boek
Sivarama Dandamudi Hierarchical scheduling in parallel and cluster systems
Non-fictie
Engels | 251 pagina's | Kluwer Academic/Plenum Publishers, New York, Boston, Dordrecht [etc.] | 2003
Gedrukt boek
International Federation for Information Processing System modeling and optimization XX
IFIP TC7 20th conference on system modeling and optimization July 23-27, 2001, Trier, Germany
Non-fictie
Engels | 331 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 2003
Gedrukt boek
Manoj Franklin Multiscalar processors
"Multiscalar Processors is designed to meet the needs of a professional audience composed of designers and programmers of next-generation processors and researchers in computer architecture and engineering. - This book is also suitable as a secondary text for graduate level students in computer science and engineering."--BOOK JACKET
Non-fictie
Engels | 236 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 2003
Gedrukt boek
Gianfranco Lamperti | Marina Zanella Diagnosis of active systems
principles and techniques
Non-fictie
Engels | 426 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 2003
Gedrukt boek
Gert E. Veldhuijzen van Zanten | S.J.B.A. Hoppenbrouwers | H.A. Proper System development as a rational communicative process
Non-fictie
Engels | 7 pagina's | Nijmegen Institute for Computing and Information Sciences, Faculty of Science, University of Nijmegen, Nijmegen | 2003
Gedrukt boek
Synthesis and control of discrete event systems
Non-fictie
Engels | 221 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 2002
Gedrukt boek
P. Zoeteweij A coordination-based framework for distributed constraint solving
Non-fictie
Engels | 19 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2002
Gedrukt boek
Dick A.C. Quartel | L. Ferreira Pires | Marten van Sinderen On architectural support for behaviour refinement in distributed systems design
Non-fictie
Engels | 30 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2002
Gedrukt boek
Eric Y.T. Juan | Jeffrey J.P. Tsai Compositional verification of concurrent and real-time systems
Non-fictie
Engels | 196 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 2002
Gedrukt boek
P.J. 't Hoen Towards distributed development of large object-oriented models
views of packages as classes
Non-fictie
Engels | 304 pagina's | 2001
Gedrukt boek
Deutsche Forschungsgemeinschaft System design automation
fundamentals, principles, methods, examples
Non-fictie
Engels | 262 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 2001
Gedrukt boek
Qiang Lu Nonlinear control systems and power system dynamics
Non-fictie
Engels | 376 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 2001
Gedrukt boek
Ciro de Barros Barbosa Frameworks for implementing protocols: a model based approach
Non-fictie
Engels | 260 pagina's | 2001
Gedrukt boek
Katalin M. Hangos | Rozália Lakner | Miklós Gerzson Intelligent control systems
an introduction with examples
Non-fictie
Engels | 301 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 2001
Gedrukt boek
System design
a practical guide with SpecC
Non-fictie
Engels | 255 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 2001
Gedrukt boek
Muhammad Zakiyullah Romdlony Stabilization with guaranteed safety of nonlinear systems
Non-fictie
Engels | 82 pagina's | University of Groningen, [Groningen] | 2018
Gedrukt boek
Elvira Maria Arvanitou Proposing and empirically validating change impact analysis metrics
Non-fictie
Engels | 267 pagina's | University of Groningen, [Groningen] | 2018
Gedrukt boek
Field-programmable custom computing technology
architectures, tools, and applications
Non-fictie
Engels | 136 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 2000
Gedrukt boek