Automata, Languages and Programming : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II
The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, ...
Lire la suite
Foundations of Information and Knowledge Systems
This book constitutes the refereed proceedings of the 4th International Symposium on Foundations of Information and Knowledge ...
Lire la suite
Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
This book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational ...
Lire la suite
Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings
This book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational ...
Lire la suite
Foundations of Software Science and Computational Structures
This book constitutes the refereed proceedings of the 10th International Conference on Foundations of Software Science and ...
Lire la suite
Foundations of Software Science and Computational Structures (vol. # 3441)
ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
Lire la suite
Foundations of Software Science and Computational Structures (vol. # 3921)
This book constitutes the refereed proceedings of the 9th International Conference on Foundations of Software Science and ...
Lire la suite
Theoretical Aspects of Computing - ICTAC 2006
This book constitutes the refereed proceedings of the Third International Colloquium on Theoretical Aspects of Computing, ...
Lire la suite
