1
Publicat 2013
Taula de continguts: ... Functional Formalizations – A Type-Theoretical Case Study in PVS -- Functional Semantics -- Why Functional...
Obtenir text complet
Electrònic eBook
2
Taula de continguts: ...Algebraic Preliminaries -- Integration of Rational Functions -- Differential Fields -- The Order...
Obtenir text complet
Electrònic eBook
3
Publicat 2005
Taula de continguts: ... for Parallel Embedded Systems -- Remarks on Parallel Bit-Byte CPU Structures of the Programmable Logic...
Obtenir text complet
Electrònic eBook
4
Publicat 2010
Taula de continguts: ... of the Paparella–Young epsilon theorem -- Inertia-gravity-wave generation: a geometric-optics approach -- Parallels...
Obtenir text complet
Electrònic eBook
5
Publicat 2013
Taula de continguts: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
Obtenir text complet
Electrònic eBook
6
Publicat 2014
Taula de continguts: ... Formation Using Cellular Automata and L-Systems: A Case Study in Producing Islamic Patterns -- Interactive...
Obtenir text complet
Electrònic eBook
7
Publicat 2012
Taula de continguts: ... Benchmark Queries for Linked Open Data -- RDFS Reasoning on Massively Parallel Hardware -- An Efficient Bit...
Obtenir text complet
Electrònic eBook
8
Publicat 2012
Taula de continguts: ... Benchmark Queries for Linked Open Data -- RDFS Reasoning on Massively Parallel Hardware -- An Efficient Bit...
Obtenir text complet
Electrònic eBook
9
Publicat 2015
Taula de continguts: ... -- Hierarchical Dynamic Power-Gating in FPGAs -- Tools and Compilers -- Hardware Synthesis from Functional...
Obtenir text complet
Electrònic eBook
10
Publicat 2014
Taula de continguts: ... -- Exploring Chaotic Neural Network for Cryptographic Hash Function -- Protocol to Authenticate the Objects...
Obtenir text complet
Electrònic eBook
11
Publicat 2013
Taula de continguts: ... urban space: A case study of cozy space design pattern -- Quantum-Membership-Function-Based Adaptive...
Obtenir text complet
Electrònic eBook
12
Matèries: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Obtenir text complet
Electrònic eBook
13
Matèries: ...Microsoft and .NET. https://scigraph.springernature.com/ontologies/product-market-codes/I29030...
Obtenir text complet
Electrònic eBook
14
Matèries: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Obtenir text complet
Electrònic eBook