Zoekresultaten
Resultaat 1 - 12 (van 12)
Dirk Keppens Algebra voor ingenieurs
met ondersteuning voor computeralgebra Maple
Non-fictie
Nederlands | 217 pagina's | Acco, Leuven, Voorburg | 2007
Gedrukt boek
C.A.J. Hurkens Plenty of Franklin Magic Squares, but none of order 12
Non-fictie
Engels | 30 pagina's | TU/e, Technische Universiteit Eindhoven, Department of Mathematics and Computing Science, Eindhoven | 2007
Gedrukt boek
Eric Jespers Noetherian semigroup algebras
Non-fictie
Engels | 361 pagina's | Springer, Dordrecht | 2007
Gedrukt boek
Carlos S. Kubrusly Measure theory
a first course
Non-fictie
Engels | 166 pagina's | Academic Press, Amsterdam [etc.] | 2007
Gedrukt boek
A.M. Silva | J.J.M.M. Rutten Behavioural differential equations and coinduction for binary trees
Non-fictie
Engels | 13 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2007
Gedrukt boek
Leo Dorst | D.H.F. Fontijne | Stephen Mann Geometric algebra for computer science
an object-oriented approach to geometry
Non-fictie
Engels | 626 pagina's | Elsevier Morgan Kaufmann, Amsterdam [etc.] | 2007
Gedrukt boek
Jacob Vosmaer MacNeille completion and profinite completion can coincide on finitely generated modal algebras
Non-fictie
Engels | 3 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2007
Gedrukt boek
A.M. Silva | J.J.M.M. Rutten A coinductive calculus of binary trees
Non-fictie
Engels | 28 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2007
Gedrukt boek
Residuated lattices: an algebraic glimpse at substructural logics
Non-fictie
Engels | 509 pagina's | Elsevier, Amsterdam [etc.] | 2007
Gedrukt boek
Sara L. Uckelman Anselm's logic of agency
Non-fictie
Engels | 18 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2007
Gedrukt boek
Marcello Bonsangue | J.J.M.M. Rutten | A.M. Silva Coalgebraic logic and synthesis of Mealy machines
Non-fictie
Engels | 19 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2007
Gedrukt boek
Helle Hvid Hansen | Clemens Kupke | Eric Pacuit Bisimulation for neighbourhood structures
Non-fictie
Engels | 23 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2007
Gedrukt boek