1
Publicat 2005
Taula de continguts: ... of Modelling Tools -- Modeling in the Large and Modeling in the Small -- Model-Driven Development...
Obtenir text complet
Electrònic eBook
2
Publicat 2008
Taula de continguts: .... Towards Hybrid Knowledge Engineering -- XML Schema Mappings Using Schema Constraints and Skolem Functions...
Obtenir text complet
Electrònic eBook
3
Publicat 2012
Matèries: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Obtenir text complet
Electrònic eBook
4
Matèries: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Obtenir text complet
Electrònic eBook
5
per Nisio, Makiko., Nisio, Makiko.
Publicat 2015
Matèries: ...Functional Analysis. https://scigraph.springernature.com/ontologies/product-market-codes/M12066...
Obtenir text complet
Electrònic eBook
6
Taula de continguts: ...Introduction -- IEC 61499 in a Nutshell -- Introduction to Synchronous Programming Using Esterel...
Obtenir text complet
Electrònic eBook
7
Publicat 2008
Taula de continguts: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
Obtenir text complet
Electrònic eBook
8
Publicat 2007
Taula de continguts: ... -- Answer Set Programming for the Semantic Web -- Coinductive Logic Programming and Its Applications...
Obtenir text complet
Electrònic eBook
9
Publicat 2013
Taula de continguts: ... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...
Obtenir text complet
Electrònic eBook
10
Matèries: ...Hydrogeology. https://scigraph.springernature.com/ontologies/product-market-codes/G19005...
Obtenir text complet
Electrònic eBook
11
Publicat 2006
Taula de continguts: ... Fine-Grained Join Point Model for More Reusable Aspects -- Automatic Testing of Higher Order Functions...
Obtenir text complet
Electrònic eBook
12
Publicat 2006
Taula de continguts: ... -- The Paderkicker Team: Autonomy in Realtime Environments -- Modular Compilation of Synchronous Programs -- Trends...
Obtenir text complet
Electrònic eBook
13
Publicat 2013
Taula de continguts: ... — Where Programs Meet Provers -- Compositional Invariant Checking for Overlaid and Nested Linked Lists...
Obtenir text complet
Electrònic eBook
14
Publicat 2007
Taula de continguts: ...Invited Papers -- Actions, Causation and Logic Programming -- Challenges to Machine Learning...
Obtenir text complet
Electrònic eBook
15
Publicat 2008
Taula de continguts: ... -- Experiences with Functional Programming in an Introductory Curriculum -- Learning Programming with the PBL...
Obtenir text complet
Electrònic eBook
16
per Lee, Kent D., Lee, Kent D.
Publicat 2014
Taula de continguts: ...-Driven Programming -- Defining Classes -- Appendix A: Integer Operators -- Appendix B: Float Operators...
Obtenir text complet
Electrònic eBook
17
Publicat 2014
Taula de continguts: ...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...
Obtenir text complet
Electrònic eBook
18
Publicat 2013
Taula de continguts: ... -- Probabilistic Reasoning with an Enzyme-Driven DNA Device -- Staged Self-assembly and Polyomino Context-Free...
Obtenir text complet
Electrònic eBook
19
Publicat 2007
Taula de continguts: ... Finite Domains -- Conflict-Driven Answer Set Enumeration -- Head-Elementary-Set-Free Logic Programs -- A...
Obtenir text complet
Electrònic eBook
20
per Lee, Kent D., Lee, Kent D.
Publicat 2011
Taula de continguts: ...-driven Programming -- Defining Classes....
Obtenir text complet
Electrònic eBook