Zoekresultaten
Resultaat 21 - 34 (van 34)
A. Remke | Boudewijn R. Haverkort | L. Cloth Model checking infinite-state Markov chains
Non-fictie
Engels | 20 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2004
Gedrukt boek
Christer Carlsson | Mario Fedrizzi | Robert Fullér Fuzzy logic in management
Non-fictie
Engels | 276 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 2004
Gedrukt boek
Nijmeegs Instituut voor Informatica en Informatiekunde Dutch proof tools day 2004
program+ proceedings
Non-fictie
Engels | 81 pagina's | Nijmegen Institute for Computing and Information Sciences, Faculty of Science, University of Nijmegen, Nijmegen | 2004
Gedrukt boek
D.J.N. van Eijck Normal forms for characteristic functions on n-ary relations
Non-fictie
Engels | 16 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2004
Gedrukt boek
Dominique Perrin | J.E. Pin Infinite words
automata, semigroups, logic and games
Non-fictie
Engels | 538 pagina's | Elsevier Academic Press, Amsterdam [etc.] | 2004
Gedrukt boek
M. Niqui Formalising exact arithmetic: representations, algorithms and proofs
Non-fictie
Engels | 195 pagina's | 2004
Gedrukt boek
L.D. Beklemishev Veblen hierarchy in the context of provability algebras
Non-fictie
Engels | 15 pagina's | Zeno, Institute of Philosophy, Utrecht | 2004
Gedrukt boek
Neil G. Jacobson The in-system configuration handbook
a designer's guide to ISC
Non-fictie
Engels | 201 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 2004
Gedrukt boek
Centrum voor Wiskunde en Informatica Generalizing DPLL and satisfiability for equalities
Non-fictie
Engels | 28 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2004
Gedrukt boek
Wojciech Jamroga Using multiple models of reality
on agents who know how to play safer
Non-fictie
Engels | 233 pagina's | Taaluitgeverij Neslia Paniculata, Enschede | 2004
Gedrukt boek
Federico Divina Hybrid genetic relational search for inductive learning
Non-fictie
Engels | 180 pagina's | 2004
Gedrukt boek
G.I. Jojgov Incomplete proofs and terms and their use in interactive theorem proving
Non-fictie
Engels | 167 pagina's | Technische Universiteit Eindhoven, Eindhoven | 2004
Gedrukt boek