1
door Bronstein, Manuel., Bronstein, Manuel.
Gepubliceerd in 2005
Inhoudsopgave: ...Algebraic Preliminaries -- Integration of Rational Functions -- Differential Fields -- The Order...
Volledige tekst
Elektronisch E-boek
2
Gepubliceerd in 2015
Inhoudsopgave: ... Monitoring and Synthesis -- Newton's Forward Difference Equation for Functions from Words to Words -- Degrees...
Volledige tekst
Elektronisch E-boek
3
Gepubliceerd in 2013
Inhoudsopgave: ...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...
Volledige tekst
Elektronisch E-boek
4
Gepubliceerd in 2007
Inhoudsopgave: ... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...
Volledige tekst
Elektronisch E-boek
5
Gepubliceerd in 2014
Inhoudsopgave: ... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...
Volledige tekst
Elektronisch E-boek
6
Gepubliceerd in 2010
Inhoudsopgave: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Volledige tekst
Elektronisch E-boek
7
Gepubliceerd in 2008
Inhoudsopgave: ... Propositional Theories -- Abstract Answer Set Solvers -- Partial Functions and Equality in Answer Set...
Volledige tekst
Elektronisch E-boek
8
Gepubliceerd in 2015
Inhoudsopgave: ... for Static Deadlock Prevention -- Automatically Partitioning Data to Facilitate the Parallelization...
Volledige tekst
Elektronisch E-boek
9
Gepubliceerd in 2012
Onderwerpen: ...IT in Business. https://scigraph.springernature.com/ontologies/product-market-codes/522000...
Volledige tekst
Elektronisch E-boek
10
Gepubliceerd in 2014
Inhoudsopgave: ... Psychological Science of Globalization, A Global Community Psychology -- Transforming a limited social function...
Volledige tekst
Elektronisch E-boek
11
Gepubliceerd in 2013
Inhoudsopgave: ...-Aware Scheduling Algorithms to Avoid Contention in Multicore Systems -- Developing Embedded Systems from...
Volledige tekst
Elektronisch E-boek
12
Gepubliceerd in 2013
Inhoudsopgave: ...-Parallel DC/DC Transformer -- A Effective Equalization Based on Fuzzy Logic for Series Moduled Battery...
Volledige tekst
Elektronisch E-boek