Program Analysis and Compilation, Theory and Practice
Title | Program Analysis and Compilation, Theory and Practice PDF eBook |
Author | Thomas Reps |
Publisher | Springer |
Pages | 370 |
Release | 2007-06-05 |
Genre | Computers |
ISBN | 3540713220 |
Reinhard Wilhelm's career in Computer Science spans more than a third of a century. This Festschrift volume, published to honor him on his 60th Birthday on June 10, 2006, includes 15 refereed papers by leading researchers, his graduate students and research collaborators, as well as current and former colleagues, who all attended a celebratory symposium held at Schloss Dagstuhl, Germany.
New and Improved Theoretical and Practical Grammar of the Spanish Language in which the Present Usage is Displayed, in Conformity with the Latest Decisions of the Royal Academy of Madrid
Title | New and Improved Theoretical and Practical Grammar of the Spanish Language in which the Present Usage is Displayed, in Conformity with the Latest Decisions of the Royal Academy of Madrid PDF eBook |
Author | Emanuel Del Mar |
Publisher | |
Pages | 384 |
Release | 1826 |
Genre | Spanish language |
ISBN |
A Theoretical and Practical Grammar of the Otchipwe Language for the Use of Missionaries and Other Persons Living Among the Indians
Title | A Theoretical and Practical Grammar of the Otchipwe Language for the Use of Missionaries and Other Persons Living Among the Indians PDF eBook |
Author | Frederic Baraga |
Publisher | |
Pages | 1266 |
Release | 1878 |
Genre | Algonquian languages |
ISBN |
SOFSEM 2009: Theory and Practice of Computer Science
Title | SOFSEM 2009: Theory and Practice of Computer Science PDF eBook |
Author | Mogens Nielsen |
Publisher | Springer Science & Business Media |
Pages | 685 |
Release | 2009-01-12 |
Genre | Computers |
ISBN | 3540958908 |
This book constitutes the refereed proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2009, held in Špindleruv Mlýn, Czech Republic, in January 2009. The 49 revised full papers, presented together with 9 invited contributions, were carefully reviewed and selected from 132 submissions. SOFSEM 2009 was organized around the following four tracks: Foundations of Computer Science; Theory and Practice of Software Services; Game Theoretic Aspects of E-commerce; and Techniques and Tools for Formal Verification.
SOFSEM 2012: Theory and Practice of Computer Science
Title | SOFSEM 2012: Theory and Practice of Computer Science PDF eBook |
Author | Mária Bieliková |
Publisher | Springer Science & Business Media |
Pages | 690 |
Release | 2012-01-09 |
Genre | Computers |
ISBN | 3642276598 |
This book constitutes the refereed proceedings of the 38th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2012, held in Špindlerův Mlýn, Czech Republic, in January 2012. The 43 revised papers presented in this volume were carefully reviewed and selected from 121 submissions. The book also contains 11 invited talks, 10 of which are in full-paper length. The contributions are organized in topical sections named: foundations of computer science; software and Web engineering; cryptography, security, and verification; and artificial intelligence.
SOFSEM 2015: Theory and Practice of Computer Science
Title | SOFSEM 2015: Theory and Practice of Computer Science PDF eBook |
Author | Giuseppe Italiano |
Publisher | Springer |
Pages | 631 |
Release | 2015-01-14 |
Genre | Computers |
ISBN | 3662460785 |
This book constitutes the proceedings of the 41st International Conference on Current Trends in Theory and Practice of Computer Science held in Pec pod Sněžkou, Czech Republic, during January 24-29, 2015. The book features 8 invited talks and 42 regular papers which were carefully reviewed and selected from 101 submissions. The papers are organized in topical sections named: foundations of computer science; software and Web engineering; data, information, and knowledge engineering; and cryptography, security, and verification.
SOFSEM 2024
Title | SOFSEM 2024 PDF eBook |
Author | Henning Fernau |
Publisher | Springer Nature |
Pages | 514 |
Release | 2024 |
Genre | Computer science |
ISBN | 3031521137 |
This book constitutes the proceedings of the 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, held in Cochem, Germany, in February 2024. The 33 full papers presented in this book were carefully reviewed and selected from 81 submissions. The book also contains one invited talk in full paper length. They focus on original research and challenges in foundations of computer science including algorithms, AI-based methods, computational complexity, and formal models.