Zoekresultaten
Resultaat 1 - 12 (van 12)
Joost-Pieter Katoen | I.S. Zapreev Safe on-the-fly steady-state detection for time-bounded reachability
Non-fictie
Engels | 36 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2005
Gedrukt boek
Mascha Honsbeek Radical extensions and Galois groups
Non-fictie
Engels | 105 pagina's | 2005
Gedrukt boek
Mẫn (Nguyễn Văn Minh) Computer-algebraic methods for the construction of designs of experiments
Non-fictie
Engels | 147 pagina's | 2005
Gedrukt boek
International e-conference on computer science 2005
Non-fictie
Engels | 196 pagina's | VSP, Utrecht [etc.] | 2005
Gedrukt boek
Stefan Nicolaas Strubbe Compositional modelling of stochastic hybrid systems
Non-fictie
Engels | 155 pagina's | 2005
Gedrukt boek
In the frontiers of computational science
Non-fictie
Engels | 398 pagina's | VSP, Leiden | 2005
Gedrukt boek
J.C. van de Pol | Olga Tveretina A BDD-representation for the logic of equality and uninterpreted functions (a full version with proofs)
Non-fictie
Engels | 19 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2005
Gedrukt boek
Goran Fedja Frehse Compositional verification of hybrid systems using simulation relations
Non-fictie
Engels | 204 pagina's | 2005
Gedrukt boek
NATO Public Diplomacy Division Structural theory of automata, semigroups, and universal algebra
Non-fictie
Engels | 434 pagina's | Springer, Dordrecht | 2005
Gedrukt boek
European Society of Computational Methods in Sciences and Engineering Advances in computational methods in sciences and engineering 2005
selected papers from the International Conference of Computational Methods in Sciences and Engineering 2005 (ICCMSE 2005)
Non-fictie
Engels | 1905 pagina's | VSP, Leiden | 2005
Gedrukt boek
Roel de Vrijer | J.W. Klop Infinitary normalization
Non-fictie
Engels | 24 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2005
Gedrukt boek
Sergei Haller Computing Galois cohomology and forms of linear algebraic groups
Non-fictie
Engels | 91 pagina's | 2005
Gedrukt boek