𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] SOFSEM'96: Theory and Practice of Informatics Volume 1175 || A light-weight formalism for the specification of reactive systems

✍ Scribed by Jeffery, Keith G.; Král, Jaroslav; Bartošek, Miroslav

Book ID
121087820
Publisher
Springer Berlin Heidelberg
Year
1996
Weight
515 KB
Category
Article
ISBN
3540495886

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] SOFS
[Lecture Notes in Computer Science] SOFSEM 2001: Theory and Practice of Informatics Volume 2234 || Formal Verification Methods for Industrial Hardware Design
✍ Pacholski, Leszek; Ružička, Peter 📂 Article 📅 2001 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 194 KB

SOFSEM 2001, the International Conference on Current Trends in Theory and Practice of Informatics, was held on November 24 – December 1, 2001 in the ? well-known spa Pie?stany, Slovak Republic. This was the 28th annual conference in the SOFSEM series organized either in the Slovak or the Czech Repub

[Lecture Notes in Computer Science] SOFS
[Lecture Notes in Computer Science] SOFSEM 2010: Theory and Practice of Computer Science Volume 5901 || Learning User Preferences for 2CP-Regression for a Recommender System
✍ van Leeuwen, Jan; Muscholl, Anca; Peleg, David; Pokorný, Jaroslav; Rumpe, Bernha 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 309 KB

This Book Constitutes The Refereed Proceedings Of The 36th Conference On Current Trends In Theory And Practice Of Computer Science, Sofsem 2010, Held In Špindleruv Mlýn, Czech Republic, In January 2009. The 53 Revised Full Papers, Presented Together With 11 Invited Contributions, Were Carefully Revi

[Lecture Notes in Computer Science] SOFS
[Lecture Notes in Computer Science] SOFSEM 2010: Theory and Practice of Computer Science Volume 5901 || Ant-CSP: An Ant Colony Optimization Algorithm for the Closest String Problem
✍ van Leeuwen, Jan; Muscholl, Anca; Peleg, David; Pokorný, Jaroslav; Rumpe, Bernha 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 229 KB

This Book Constitutes The Refereed Proceedings Of The 36th Conference On Current Trends In Theory And Practice Of Computer Science, Sofsem 2010, Held In Špindleruv Mlýn, Czech Republic, In January 2009. The 53 Revised Full Papers, Presented Together With 11 Invited Contributions, Were Carefully Revi

[Lecture Notes in Computer Science] Theo
[Lecture Notes in Computer Science] Theory and Practice of Algorithms in (Computer) Systems Volume 6595 || An Approximative Criterion for the Potential of Energetic Reasoning
✍ Marchetti-Spaccamela, Alberto; Segal, Michael 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 222 KB

This book constitutes the refereed proceedings of the First International ICST Conference on Theory and Practice of Algorithms in (Computer) Systems, TAPAS 2011, held in Rome, Italy, in April 2011. The 25 papers presented, including three short papers by invited speakers, were carefully reviewed and