The
Lib
.net
Online Library TheLib.net
» Book serie: / Книги серии: Lecture Notes in Computer Science 7434 : Theoretical Computer Science and General Issues » Page 11
Computing and Combinatorics: 18th Annual International Conference, COCOON 2012, Sydney, Australia, August 20-22, 2012. Proceedings
pdf
Author:
Binay Bhattacharya Tsunehiko Kameda (auth.) Joachim Gudmundsson Julián Mestre Taso Viglas (eds.)
Language:
English
Year:
2012
0
0
06.02.2024
0
0
Read online
Descriptional Complexity of Formal Systems: 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings
pdf
Author:
Jean-Baptiste Jeannin Dexter Kozen (auth.) Martin Kutrib Nelma Moreira Rogério Reis (eds.)
Language:
English
Year:
2012
0
0
06.02.2024
0
0
Read online
Implementation and Application of Automata: 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings
pdf
Author:
Yuan Gao Kai Salomaa (auth.) Nelma Moreira Rogério Reis (eds.)
Language:
English
Year:
2012
0
0
06.02.2024
0
0
Read online
Trustworthy Global Computing: 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers
pdf
Author:
Antoine Amarilli Fabrice Ben Hamouda Florian Bourse (auth.) Catuscia Palamidessi Mark D. Ryan (eds.)
Language:
English
Year:
2013
0
0
06.02.2024
0
0
Read online
Mathematical Foundations of Computer Science 2013: 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings
pdf
Author:
Sam Buss (auth.) Krishnendu Chatterjee Jirí Sgall (eds.)
Language:
English
Year:
2013
0
0
06.02.2024
0
0
Read online
Algebra and Coalgebra in Computer Science: 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings
pdf
Author:
Andrej Bauer Matija Pretnar (auth.) Reiko Heckel Stefan Milius (eds.)
Language:
English
Year:
2013
0
0
06.02.2024
0
0
Read online
Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings
pdf
Author:
Gilles Barthe (auth.) Kaustubh Joshi Markus Siegle Mariëlle Stoelinga Pedro R. D’Argenio (eds.)
Language:
English
Year:
2013
0
0
06.02.2024
1
0
Read online
Fundamentals of Computation Theory: 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings
pdf
Author:
Marek Chrobak (auth.) Leszek Gąsieniec Frank Wolter (eds.)
Language:
English
Year:
2013
0
0
06.02.2024
0
0
Read online
Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings
pdf
Author:
Laura Kovács Andrei Voronkov (auth.) Natasha Sharygina Helmut Veith (eds.)
Language:
English
Year:
2013
0
0
06.02.2024
0
0
Read online
Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
pdf
Author:
Ruzhen Dong Johannes Faber Wei Ke (auth.) Zhiming Liu Jim Woodcock Huibiao Zhu (eds.)
Language:
English
Year:
2013
0
0
06.02.2024
0
0
Read online
1
...
7
8
9
10
11
12
13
14
15
...
177
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через
