 | | | | |
Bild | | | | Bestellen |
|
|
|
Mathematical Foundations of Computer Science 2015 (1 Angebot) This two volume set LNCS 9234 and 9235 constitutes the refereed conference proceedings of the 40th International Symposium on Mathematical Foundations of Computer Science, MFCS 2015, held in Milan,... |
Springer Verlag 9783662480564 |
€ 49,99*
pro Stück |
|
|
Mathematical Foundations of Data Science (1 Angebot) This textbook aims to point out the most important principles of data analysis from the mathematical point of view. Specifically, it selected these questions for exploring: Which are the principle... |
Springer Verlag 9783031190735 |
€ 84,99*
pro Stück |
|
|
Mathematical Foundations of Data Science (1 Angebot) This textbook aims to point out the most important principles of data analysis from the mathematical point of view. Specifically, it selected these questions for exploring: Which are the principle... |
Springer Verlag 9783031190766 |
€ 59,99*
pro Stück |
|
|
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 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 |
|
|
