1
Bằng Bronstein, Manuel., Bronstein, Manuel.
Được phát hành 2005
Mục lục: ...Algebraic Preliminaries -- Integration of Rational Functions -- Differential Fields -- The Order...
lấy văn bản
Điện tử eBook
2
Được phát hành 2015
Mục lục: ... Monitoring and Synthesis -- Newton's Forward Difference Equation for Functions from Words to Words -- Degrees...
lấy văn bản
Điện tử eBook
3
Được phát hành 2013
Mục lục: ...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...
lấy văn bản
Điện tử eBook
4
Được phát hành 2007
Mục lục: ... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...
lấy văn bản
Điện tử eBook
5
Được phát hành 2014
Mục lục: ... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...
lấy văn bản
Điện tử eBook
6
Được phát hành 2010
Mục lục: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
lấy văn bản
Điện tử eBook
7
Được phát hành 2015
Mục lục: ... for Static Deadlock Prevention -- Automatically Partitioning Data to Facilitate the Parallelization...
lấy văn bản
Điện tử eBook
8
Được phát hành 2008
Mục lục: ... Propositional Theories -- Abstract Answer Set Solvers -- Partial Functions and Equality in Answer Set...
lấy văn bản
Điện tử eBook
9
Được phát hành 2012
Những chủ đề: ...IT in Business. https://scigraph.springernature.com/ontologies/product-market-codes/522000...
lấy văn bản
Điện tử eBook
10
Được phát hành 2014
Mục lục: ... and Conclusions -- Toward Cultivating Socially Responsible Global Consciousness -- Developmental Reconstructions...
lấy văn bản
Điện tử eBook
11
Được phát hành 2013
Mục lục: ...-Aware Scheduling Algorithms to Avoid Contention in Multicore Systems -- Developing Embedded Systems from...
lấy văn bản
Điện tử eBook
12
Được phát hành 2013
Mục lục: ...-Parallel DC/DC Transformer -- A Effective Equalization Based on Fuzzy Logic for Series Moduled Battery...
lấy văn bản
Điện tử eBook