Zoekresultaten
Resultaat 101 - 120 (van 987)
Reza Rad Power BI DAX simplified
DAX and calculation language of Power BI demystified by practical examples
Non-fictie
Engels | 496 pagina's | RADACAD Systems Limited, Whanggaparaoa | 2021
Gedrukt boek
Centrum voor Wiskunde en Informatica Symmetry and partial order reduction techniques in model checking Rebeca
Non-fictie
Engels | 30 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2007
Gedrukt boek
P. Klint | A.T. Kooiker | J.J. Vinju Language parametric module management for IDEs
Non-fictie
Engels | 19 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2007
Gedrukt boek
Centre for Telematics and Information Technology An abstract metamodel for aspect languages
Non-fictie
Engels | 17 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2006
Gedrukt boek
Centrum voor Wiskunde en Informatica Extending Rebeca with synchronous messages and reusable components
Non-fictie
Engels | 16 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2005
Gedrukt boek
Centre for Telematics and Information Technology MoDeST
a compositional modeling formalism for hard and softly timed systems
Non-fictie
Engels | 38 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2005
Gedrukt boek
Peter R.J. Asveld Generating all circular shifts by context-free grammars in Chomsky normal form
Non-fictie
Engels | Centre for Telematics and Information Technology, University of Twente, Enschede | 2005
Gedrukt boek
A. Alimarine Generic functional programming
conceptual design, implementation and applications
Non-fictie
Engels | 185 pagina's | 2005
Gedrukt boek
Centre for Telematics and Information Technology Graph transformation for verification and concurrency (GT-VC 2005)
satellite workshop of Concur 2005, San Francisco, 22 August 2005
Non-fictie
Engels | 112 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2005
Gedrukt boek
Nijmeegs Instituut voor Informatica en Informatiekunde Towards machine-verified proofs for I/O
Non-fictie
Engels | 25 pagina's | Nijmegen Institute for Computing and Information Sciences, Faculty of Science, University of Nijmegen, Nijmegen | 2004
Gedrukt boek
D. Reidsma | N. Jovanovic | D.H.W. Hofs Designing annotation tools based in properties of annotation problems
Non-fictie
Engels | Centre for Telematics and Information Technology, University of Twente, Enschede | 2004
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
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
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
Harry Foster | Adam Krolnik | David Lacey Assertion-based design
Non-fictie
Engels | 363 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 2003
Gedrukt boek
D.E. Thomas | Philip R. Moorby The Verilog hardware description language
Non-fictie
Engels | 381 pagina's | Kluwer Academic Publishers, [Boston, Dordrecht etc.] | 2002
Gedrukt boek
Centrum voor Wiskunde en Informatica A multiply fibred automaton semantics for IWIM
Non-fictie
Engels | 59 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2002
Gedrukt boek
Onderwijsinstituut CKI Disambiguation filters for scannerless generalized LR parsers
Non-fictie
Engels | 14 pagina's | Onderwijsinstituut CKI, Utrecht University, Utrecht | 2002
Gedrukt boek
Lionel Bening | Harry Foster Principles of verifiable RTL design
a functional coding style supporting verification processes in Verilog
Non-fictie
Engels | 281 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 2001
Gedrukt boek