 | | | | | |
| Bild | | | | Bestellen |
|
|
92% |
|
Static Analysis (1 Angebot) Invited Talks.- Algorithmic Game Semantics and Static Analysis.- From Typed Process Calculi to Source-Based Security.- Contributed Papers.- Widening Operators for Weakly-Relational Numeric Abstract... |
Springer Verlag 9783540285847 |
€ 49,99*
pro Stück |
|
92% |
|
The Space of Dynamical Systems with the C0-Topology (1 Angebot) This book is an introduction to main methods and principal results in the theory of Co(remark: o is upper index!!)-small perturbations of dynamical systems. It is the first comprehensive treatment ... |
Springer Verlag 9783540577027 |
€ 24,95*
pro Stück |
|
92% |
|
The Landscape of Free Fermionic Gauge Models (1 Angebot) In this thesis, the author describes the development of a software framework to systematically construct a particular class of weakly coupled free fermionic heterotic string models, dubbed gauge mo... |
Springer Verlag 9783319796482 |
€ 99,99*
pro Stück |
|
92% |
|
Systemics of Incompleteness and Quasi-Systems (1 Angebot) When dealing with emergence, there are phenomena which must be modelled by systems having multiple models, depending on the aspects being taken into consideration. Here, incompleteness in themodell... |
Springer Verlag 9783030152765 |
€ 99,99*
pro Stück |
|
92% |
|
Theorem Proving in Higher Order Logics (1 Angebot) Recent Advancements in Hardware Verification -- How to Make Theorem Proving Fit for an Industrial Usage.- Disjoint Sums over Type Classes in HOL.- Inductive Datatypes in HOL -- Lessons Learned in F... |
Springer Verlag 9783540664635 |
€ 49,99*
pro Stück |
|
92% |
|
The Semantic Web - ISWC 2022 (1 Angebot) This book constitutes the proceedings of the 21st International Semantic Web Conference, ISWC 2022, which took place in October 2022 in a virtual mode. The 48 full papers presented in this volume ... |
Springer Verlag 9783031194320 |
€ 99,99*
pro Stück |
|
92% |
|
|
Springer Verlag 9783540547556 |
€ 51,39*
pro Stück |
|
92% |
|
|
Springer Verlag 9783030335731 |
€ 99,99*
pro Stück |
|
92% |
|
The Semiotics of Love (1 Angebot) brings together work on early symbolism, literary practices, and contemporary communication on the theme of romance and the idea of love to forge an understanding of the semiotic-cultural side of r... |
Springer Verlag 9783030181109 |
€ 22,99*
pro Stück |
|
92% |
|
|
Springer Verlag 9783540543169 |
€ 49,99*
pro Stück |
|
92% |
|
Topics in Orbit Equivalence (1 Angebot) This volume provides a self-contained introduction to some topics in orbit equivalence theory, a branch of ergodic theory. The first two chapters focus on hyperfiniteness and amenability. Included... |
Springer Verlag 9783540226031 |
€ 37,99*
pro Stück |
|
92% |
|
|
Springer Verlag 9783030335762 |
€ 99,99*
pro Stück |
|
92% |
|
Testing and Validation of Computer Simulation Models (1 Angebot) This must-read text/reference provides a practical guide to processes involved in the development and application of dynamic simulation models, covering a wide range of issues relating to testing, ... |
Springer Verlag 9783319150987 |
€ 99,99*
pro Stück |
|
92% |
|
Turbulence and Navier Stokes Equations (1 Angebot) Finite-time regularity for bounded and unbounded ideal incompressible fluids using holder estimates.- Modified dissipativity for a non linear evolution equation arising in turbulence.- A generic pr... |
Springer Verlag 9783540080602 |
€ 24,95*
pro Stück |
|
92% |
|
|
Springer Verlag 9783540008989 |
€ 99,99*
pro Stück |
|
|
