✦ LIBER ✦

[Lecture Notes in Computer Science] Mathematical and Engineering Methods in Computer Science Volume 7119 || Rigorous System Design: The BIP Approach

✍ Scribed by Kotásek, Zdeněk; Bouda, Jan; Černá, Ivana; Sekanina, Lukáš; Vojnar, Tomáš; Antoš, David

Book ID: 118119647
Publisher: Springer Berlin Heidelberg
Year: 2012
Weight: 369 KB
Category: Article
ISBN: 3642259294
DOI: 10.1007/978-3-642-25929-6_1

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] How

[Lecture Notes in Computer Science] How the World Computes Volume 7318 || Randomness, Computation and Mathematics

✍ Cooper, S. Barry; Dawar, Anuj; Löwe, Benedikt 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 302 KB

This book constitutes the refereed proceedings of the Turing Centenary Conference and the 8th Conference on Computability in Europe, CiE 2012, held in Cambridge, UK, in June 2012. The 53 revised papers presented together with 6 invited lectures were carefully reviewed and selected with an acceptance

[Lecture Notes in Computer Science] Math

[Lecture Notes in Computer Science] Mathematical Modeling and Computational Science Volume 7125 || Simulation of Holography Using Multiprocessor Systems

✍ Adam, Gheorghe; Buša, Ján; Hnatič, Michal 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 381 KB

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Algebra Volume 162 || The design of Maple: A compact, portable, and powerful computer algebra system

✍ Hulzen, J. A. 📂 Article 📅 1983 🏛 Springer Berlin Heidelberg ⚖ 989 KB

[Lecture Notes in Computational Science

[Lecture Notes in Computational Science and Engineering] Advanced Computational Methods in Science and Engineering Volume 71 || Numerical Modeling of the Electromechanical Interaction in MEMS

✍ Koren, Barry; Vuik, Kees 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg ⚖ 897 KB

[Lecture Notes in Computer Science] Desi

[Lecture Notes in Computer Science] Design and Implementation of Symbolic Computation Systems Volume 1128 || A deductive database for mathematical formulas

✍ Calmet, Jacques; Limongelli, Carla 📂 Article 📅 1996 🏛 Springer Berlin Heidelberg ⚖ 706 KB

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Mathematics Volume 5081 || The Four Colour Theorem: Engineering of a Formal Proof

✍ Kapur, Deepak 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 37 KB

This book constitutes thoroughly refereed post-conference proceedings of the 8th Asian Symposium on Computer Mathematics, ASCM 2007, held in Singapore in December 2007. The 22 revised full papers and 5 revised poster papers presented together with 3 invited lectures were carefully selected during tw