Zoekresultaten
Resultaat 1 - 20 (van 20)
Piet van der Ploeg C++ en numerieke wiskunde
voor programmeurs, wis- en natuurkundigen, elektrotechnici, bèta-studenten en geïnteresseerden.
Non-fictie
Nederlands | 5 pagina's | CCGT, Zoetermeer | 2016
Gedrukt boek
Veerle Fack Algoritmen en datastructuren
Handboek voor de studie algoritmen en datastructuren waarbij de nadruk ligt op ontwerptechnieken van algoritmen.
Non-fictie
Nederlands | 311 pagina's | Acco, Leuven, Den Haag | 2014
Gedrukt boek
Johan van Benthem | Hans van Ditmarsch | J.S. Lodder Logica voor informatica
Non-fictie
Nederlands | 360 pagina's | Pearson Addison Wesley, [Amsterdam etc.] | 2003
Gedrukt boek
Aldemar Verstolen Mnemomatica
Automatische begripsvorming en de bedrieglijkheid van geheugen
Non-fictie
Nederlands | 2 pagina's | Eburon, Delft | 2018
Gedrukt boek
Aldemar Verstolen Mnemomatica
Automatische begripsvorming en de bedrieglijkheid van geheugen
Non-fictie
Nederlands | 172 pagina's | Eburon, Delft | 2018
Gedrukt boek
Piet van der Ploeg ANSI C en numerieke wiskunde
voor programmeurs, wis- en natuurkundigen, elektrotechnici, bèta-studenten en geïnteresseerden
Non-fictie
Nederlands | 392 pagina's | Uitgeverij CCGT, Zoetermeer | 2015
Gedrukt boek
M. Roovers | F.J. Kuiper | W.J. Keller Het midoffice
elektronische dienstverlening tussen frontoffice en backoffice
Non-fictie
Nederlands | 280 pagina's | Academic Service, Den Haag | 2007
Gedrukt boek
Harm Schipper Functiepuntanalyse voor datawarehouses
handleiding voor het schatten en meten van BI-projecten
Non-fictie
Nederlands | 60 pagina's | Academic Service, [Den Haag] | 2006
Gedrukt boek
Erik Jan van Leeuwen Optimization and approximation on systems of geometric objects
Non-fictie
Engels | 254 pagina's | 2009
Gedrukt boek
Wouter Gerard Teepe Reconciling information exchange and confidentiality
a formal approach
Non-fictie
Engels | 237 pagina's | 2007
Gedrukt boek
Harm van Beek Specification and analysis of internet applications
Non-fictie
Engels | 264 pagina's | Technische Universiteit Eindhoven, Eindhoven | 2005
Gedrukt boek
Olga Tveretina Decision procedures for equality logic with uninterpreted functions
Non-fictie
Engels | 157 pagina's | Technische Universiteit Eindhoven, Eindhoven | 2005
Gedrukt boek
MohammadReza Mousavi Structuring structural operational semantics
Non-fictie
Engels | 219 pagina's | 2005
Gedrukt boek
A. Sokolova Coalgebraic analysis of probabilistic systems
Non-fictie
Engels | 201 pagina's | Technische Universiteit Eindhoven, Eindhoven | 2005
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
P.J.L. Cuijpers Hybrid process algebra
Non-fictie
Engels | 276 pagina's | Technische Universiteit Eindhoven, Eindhoven | 2004
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
Suzana Andova Probabilistic process algebra
Non-fictie
Engels | 259 pagina's | Technische Universiteit Eindhoven, Eindhoven | 2002
Gedrukt boek
Y.S. Usenko Linearization in →m⇋CRL
Non-fictie
Engels | 189 pagina's | Technische Universiteit Eindhoven, Eindhoven | 2002
Gedrukt boek