Zoekresultaten
Resultaat 1 - 20 (van 20)
Technology of object-oriented languages, systems and architectures
Non-fictie
Engels | 231 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 2003
Gedrukt boek
Paul Blain Levy Call-by-push-value
a functional/imperative synthesis
Non-fictie
Engels | 352 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 2003
Gedrukt boek
SystemC
methodologies and applications
Non-fictie
Engels | 349 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 2003
Gedrukt boek
Domain theory, logic, and computation
proceedings of the 2nd international symposium on domain theory, Sichuan, China, October 2001
Non-fictie
Engels | 196 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 2003
Gedrukt boek
Harry Foster | Adam Krolnik | David Lacey Assertion-based design
Non-fictie
Engels | 363 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 2003
Gedrukt boek
J. Giesl | H. Zantema Liveness in rewriting
Non-fictie
Engels | 26 pagina's | Technische Universiteit Eindhoven, Department of Mathematics and Computer Science, Eindhoven | 2003
Gedrukt boek
Alex Martelli | Anna Ravenscroft | Steve Holden Python in a nutshell
Engels | 753 pagina's | O'Reilly, Beijing | 2017
Gedrukt boek
Joost Visser Generic traversal over typed source code representations
Non-fictie
Engels | 186 pagina's | Faculteit der Natuurwetenschappen, Wiskunde en Informatica, Universiteit van Amsterdam, Amsterdam | 2003
Gedrukt boek
System specification & design languages
best of FDL'02
Non-fictie
Engels | 340 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 2003
Gedrukt boek
J.F. Groote | M. Voorhoeve Operational semantics for Petri Net components
Non-fictie
Engels | 20 pagina's | Technische Universiteit Eindhoven, Department of Mathematics and Computer Science, Eindhoven | 2003
Gedrukt boek
E. Ketcha Ngassam | Bruce W. Watson | Derrick G. Koerie On hardcoding finite state automata processing
Non-fictie
Engels | 29 pagina's | TU/e, Technische Universiteit Eindhoven, Department of Mathematics and Computer Science, Eindhoven | 2003
Gedrukt boek
Luuk Groenewegen | Niels van Kampenhout | E.P. de Vink Coordination in networked organizations: the paradigm approach
Non-fictie
Engels | 17 pagina's | Technische Universiteit Eindhoven, Department of Mathematics and Computer Science, Eindhoven | 2003
Gedrukt boek
Gregory A. Maston | Tony R. Taylor | Julie N. Villar Elements of STIL
principles and applications of IEEE Std. 1450
Non-fictie
Engels | 291 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 2003
Gedrukt boek
Nell Dale | Chip Weems | Mark Headington Programming and problem solving with Java
Engels | 789 pagina's | Jones and Bartlett Publishers, Sudbury (Mass.) | 2003
Gedrukt boek
M. Giero | Freek Wiedijk MMode, a Mizar Mode for the proof assistant Coq
Non-fictie
Engels | 55 pagina's | Nijmegen Institute for Computing and Information Sciences, Faculty of Science, University of Nijmegen, Nijmegen | 2003
Gedrukt boek
Centre for Telematics and Information Technology LicenseScript
a novel digital rights language and its semantics
Non-fictie
Engels | 11 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2003
Gedrukt boek
Centre for Telematics and Information Technology LicenseScript
a novel digital rights language
Non-fictie
Engels | 12 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2003
Gedrukt boek
Dino Distefano | Arend Rensink | Joost-Pieter Katoen Who is pointing when to whom
on model-checking pointer structures
Non-fictie
Engels | 79 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2003
Gedrukt boek
Roderick W Smith FreeBSD :the complete reference
Met reg., bibliography
Engels | 869 pagina's | McGraw-Hill, Osborne | 2003
Gedrukt boek
Tim A.C. Willemse Semantics and verification in process algebras with data and timing
Non-fictie
Engels | 181 pagina's | Technische Universiteit Eindhoven, Eindhoven | 2003
Gedrukt boek