Synthesis (SYNT 2012)PELED, Doron; SCHEWE, Sven.Acta informatica. 2014, Vol 51, Num 3-4, issn 0001-5903, 136 p.Conference Proceedings

Quantitative Aspects of Programming Languages (QAPL 2010)DI PIERRO, Alessandra; NORMAN, Gethin.Theoretical computer science. 2012, Vol 413, Num 1, issn 0304-3975, 177 p.Serial Issue

Cellular Automata and Discrete Complex SystemsKARI, Jarkko.Theoretical computer science. 2011, Vol 412, Num 30, issn 0304-3975, 189 p.Serial Issue

2008 workshop on Tools at VSTTE 2008, TorontoKROENING, Daniel; MARGARIA, Tiziana; WOODCOCK, Jim et al.Formal aspects of computing. 2011, Vol 23, Num 5, issn 0934-5043, 96 p.Conference Proceedings

Intuitionistic Modal Logic and Applications (IMLA 2008)DE PAIVA, Valeria; PIENTKA, Brigitte.Information and computation (Print). 2011, Vol 209, Num 12, issn 0890-5401, 103 p.Serial Issue

Fundamentals of Computation TheoryCSUHAJ-VARJU, Erzsébet; ESIK, Zoltán.Theoretical computer science. 2010, Vol 411, Num 4-5, issn 0304-3975, 135 p.Conference Proceedings

Swarm Intelligence Theory: A Snapshot of the State of the ArtBONABEAU, Eric; CORNE, David; KNOWLES, Joshua et al.Theoretical computer science. 2010, Vol 411, Num 21, issn 0304-3975, 76 p.Serial Issue

Special issue on RefinementWING, Jeannette; COOKE, D. J.Formal aspects of computing. 2009, Vol 21, Num 1-2, issn 0934-5043, 223 p.Serial Issue

Theory and Applications of TilingJONOSKA, N; KARI, J.Theoretical computer science. 2009, Vol 410, Num 16, issn 0304-3975, 78 p.Serial Issue

Internet and Network EconomicsSPIRAKIS, P. G; MAVRONICOLAS, M; KONTOGIANNIS, S. C et al.Theoretical computer science. 2009, Vol 410, Num 17, issn 0304-3975, 67 p.Serial Issue

Formal Languages and Applications: A Collection of Paper in Honor of Sheng YuILIE, L; ROZENBERG, G; SALOMAA, A et al.Theoretical computer science. 2009, Vol 410, Num 24-25, issn 0304-3975, 155 p.Serial Issue

Descriptional Complexity of Formal SystemsCAMPEANU, C; PIGHIZZINI, G.Theoretical computer science. 2009, Vol 410, Num 35, issn 0304-3975, 118 p.Serial Issue

Computational Algebraic Geometry and ApplicationsBUSE, L; ELKADI, M; MOURRAIN, B et al.Theoretical computer science. 2008, Vol 392, Num 1-3, issn 0304-3975, 181 p.Conference Proceedings

Algorithmic Aspects of Wireless Sensor NetworksNIKOLETSEAS, Sotiris; ROLIM, Jose.Theoretical computer science. 2008, Vol 402, Num 1, issn 0304-3975, 82 p.Serial Issue

International Symposium on Leveraging Applications of Formal Methods (ISoLA 2004)MARGARIA, Tiziana; STEFFEN, Bernhard.Theoretical computer science. 2008, Vol 404, Num 3, issn 0304-3975, 125 p.Conference Proceedings

Algorithmic Learning TheoryLONG, P. M; STEPHAN, F.Theoretical computer science. 2008, Vol 405, Num 3, issn 0304-3975, 92 p.Conference Proceedings

Algorithmic learning theorySIMON, Hans Ulrich; TOMITA, Etsuji.Theoretical computer science. 2007, Vol 387, Num 1, issn 0304-3975, 91 p.Conference Proceedings

Complex networksKUMAR, Ravi; LATAPY, Matthieu.Theoretical computer science. 2006, Vol 355, Num 1, issn 0304-3975, 105 p.Serial Issue

Expressiveness in concurrencyBAETEN, Jos; CORRADINI, Flavio.Theoretical computer science. 2006, Vol 356, Num 3, issn 0304-3975, 233 p.Conference Proceedings

Algorithmic applications in managementMEGIDDO, Nimrod; XU, Yinfeng; ZHU, Binhai et al.Theoretical computer science. 2006, Vol 363, Num 3, issn 0304-3975, 56 p.Conference Proceedings

STACS 2006 (23rd annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006)Durand, Bruno; Thomas, Wolfgang.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-32301-5, 1Vol, XIX-714 p, isbn 3-540-32301-5Conference Proceedings

LATIN 2006 (theoretical informatics)Correa, José R; Hevia, Alejandro; Kiwi, Marcos et al.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-32755-X, 1Vol, XVI-814 p, isbn 3-540-32755-XConference Proceedings

On Promise Problems : A SurveyGOLDREICH, Oded.Theoretical computer science (essays in memory of Shimon Even). Lecture notes in computer science. 2006, pp 254-290, issn 0302-9743, isbn 3-540-32880-7, 1Vol, 37 p.Book Chapter

The power and weakness of randomness in computationWIGDERSON, Avi.Lecture notes in computer science. 2006, pp 28-29, issn 0302-9743, isbn 3-540-32755-X, 1Vol, 2 p.Conference Paper

Expressiveness in ConcurrencyCORRADINI, Flavio; NESTMANN, Uwe.Theoretical computer science. 2005, Vol 330, Num 3, issn 0304-3975, 234 p.Conference Proceedings