 | | | | |
Bild | | | | Bestellen |
|
|
|
Mathematical Foundations of Programming Semantics (1 Angebot) This volume contains the proceedings of the Seventh International Conferenceon the Mathematical Foundations of Programming Semantics, held at Carnegie Mellon University, March 1991. The conference ... |
Springer Verlag 9783540555117 |
€ 49,99*
pro Stück |
|
|
|
Springer Verlag 9783540151982 |
€ 39,99*
pro Stück |
|
|
|
Springer Verlag 9783031262111 |
€ 84,99*
pro Stück |
|
|
|
Springer Verlag 9783031262142 |
€ 59,99*
pro Stück |
|
|
|
Springer Verlag 9783662694251 |
€ 84,99*
pro Stück |
|
|
Mathematical Knowledge Management (1 Angebot) Regular Contributions.- Digitisation, Representation, and Formalisation Digital Libraries of Mathematics.- MKM from Book to Computer: A Case Study.- From Proof-Assistants to Distributed Libraries o... |
Springer Verlag 9783540005681 |
€ 49,99*
pro Stück |
|
|
Mathematical Knowledge Management (1 Angebot) Invited Talks.- The Omega Number: Irreducible Complexity in Pure Math.- Roles of Math Search in Mathematics.- Contributed Papers.- Structured Induction Proofs in Isabelle/Isar.- Interpretation of L... |
Springer Verlag 9783540371045 |
€ 49,99*
pro Stück |
|
|
Mathematical Knowledge Management (1 Angebot) Copyright Issues for MKM.- Efficient Retrieval of Mathematical Statements.- Formalizing Set Theory as it Is Actually Used.- Integrated Semantic Browsing of the Mizar Mathematical Library for Author... |
Springer Verlag 9783540230298 |
€ 49,99*
pro Stück |
|
|
Mathematical Logic (1 Angebot) Mathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as its objects of study. This book shows how it can also provide a foundation for the development of i... |
Springer Basel 9783034808613 |
€ 49,99*
pro Stück |
|
|
Mathematical Methods for Curves and Surfaces (1 Angebot) MMCS 2008.- Partial Differential Equations for Interpolation and Compression of Surfaces.- Construction of Rational Curves with Rational Rotation-Minimizing Frames via Möbius Transformations.- Fat ... |
Springer Verlag 9783642116193 |
€ 49,99*
pro Stück |
|
|
Mathematical Methods in Counterterrorism (1 Angebot) Terrorism is one of the serious threats to international peace and security that we face in this decade. No nation can consider itself immune from the dangers it poses, and no society can remain di... |
Springer Verlag 9783211094419 |
€ 149,99*
pro Stück |
|
|
Mathematical Methods in Counterterrorism (1 Angebot) Terrorism is one of the serious threats to international peace and security that we face in this decade. No nation can consider itself immune from the dangers it poses, and no society can remain di... |
Springer Verlag 9783709116647 |
€ 149,99*
pro Stück |
|
|
Mathematical Methods in Program Development (1 Angebot) Modern information processing systems show such complex properties as distribution, parallelism, interaction, time dependency, and nondeterminism. For critical applications, mathematical methods ar... |
Springer Verlag 9783642645884 |
€ 99,99*
pro Stück |
|
|
|
Springer Verlag 9783540756316 |
€ 99,99*
pro Stück |
|
|
|
Springer Verlag 9783540164449 |
€ 49,99*
pro Stück |
|
|
