1
Publicado em 2013
Sumário: ... Functional Formalizations – A Type-Theoretical Case Study in PVS -- Functional Semantics -- Why Functional...
Obter o texto integral
Recurso Eletrônico livro eletrônico
2
por Bronstein, Manuel., Bronstein, Manuel.
Publicado em 2005
Sumário: ...Algebraic Preliminaries -- Integration of Rational Functions -- Differential Fields -- The Order...
Obter o texto integral
Recurso Eletrônico livro eletrônico
3
Publicado em 2005
Sumário: ... for Parallel Embedded Systems -- Remarks on Parallel Bit-Byte CPU Structures of the Programmable Logic...
Obter o texto integral
Recurso Eletrônico livro eletrônico
4
Publicado em 2010
Sumário: ... of the Paparella–Young epsilon theorem -- Inertia-gravity-wave generation: a geometric-optics approach -- Parallels...
Obter o texto integral
Recurso Eletrônico livro eletrônico
5
Publicado em 2013
Sumário: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
Obter o texto integral
Recurso Eletrônico livro eletrônico
6
Publicado em 2012
Sumário: ... Benchmark Queries for Linked Open Data -- RDFS Reasoning on Massively Parallel Hardware -- An Efficient Bit...
Obter o texto integral
Recurso Eletrônico livro eletrônico
7
Publicado em 2012
Sumário: ... Benchmark Queries for Linked Open Data -- RDFS Reasoning on Massively Parallel Hardware -- An Efficient Bit...
Obter o texto integral
Recurso Eletrônico livro eletrônico
8
Publicado em 2014
Sumário: ... Formation Using Cellular Automata and L-Systems: A Case Study in Producing Islamic Patterns -- Interactive...
Obter o texto integral
Recurso Eletrônico livro eletrônico
9
Publicado em 2015
Sumário: ... -- Hierarchical Dynamic Power-Gating in FPGAs -- Tools and Compilers -- Hardware Synthesis from Functional...
Obter o texto integral
Recurso Eletrônico livro eletrônico
10
Publicado em 2014
Sumário: ... -- Exploring Chaotic Neural Network for Cryptographic Hash Function -- Protocol to Authenticate the Objects...
Obter o texto integral
Recurso Eletrônico livro eletrônico
11
Publicado em 2013
Sumário: ... urban space: A case study of cozy space design pattern -- Quantum-Membership-Function-Based Adaptive...
Obter o texto integral
Recurso Eletrônico livro eletrônico
12
por Pace, Larry., Pace, Larry., Wiley, Joshua.
Publicado em 2015
Assuntos: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Obter o texto integral
Recurso Eletrônico livro eletrônico
13
Assuntos: ...Microsoft and .NET. https://scigraph.springernature.com/ontologies/product-market-codes/I29030...
Obter o texto integral
Recurso Eletrônico livro eletrônico
14
Assuntos: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Obter o texto integral
Recurso Eletrônico livro eletrônico