Symbolic and Numerical AlgorithmsKOTSIREAS, Ilias S; MOURRAIN, Bernard; PAN, Victor Y et al.Theoretical computer science. 2011, Vol 412, Num 16, issn 0304-3975, 103 p.Serial Issue

3rd International Conference on Langage and Automata Theory and Applications (LATA 2009)MARTIN-VIDE, Carlos; TRUTHE, Bianca.Information and computation (Print). 2011, Vol 209, Num 3, issn 0890-5401, 382 p.Conference Proceedings

Logical and Semantic Frameworks with Applications (LSFA 2008 and 2009)AYALA-RINCON, Mauricio; PIMENTEL, Elaine; KAMAREDDINE, Fairouz et al.Theoretical computer science. 2011, Vol 412, Num 37, issn 0304-3975, 118 p.Serial Issue

Security and Cryptography FoundationsYUNG, Moti.Theoretical computer science. 2010, Vol 411, Num 10, issn 0304-3975, 78 p.Conference Proceedings

Mathematical Foundations of Programming Semantics (MFPS 2006)MISLOVE, Michael.Theoretical computer science. 2010, Vol 411, Num 19, issn 0304-3975, 98 p.Conference Proceedings

19th International Conference on Concurency Theory (CONCUR 2008)VAN BREUGEL, Franck; CHECHIK, Marsha.Information and computation (Print). 2010, Vol 208, Num 10, issn 0890-5401, 154 p.Serial Issue

Distributed Computing TechniquesBONSANGUE, M; JOHNSEN, E. B; MURPHY, A et al.Theoretical computer science. 2009, Vol 410, Num 2-3, issn 0304-3975, 170 p.Serial Issue

Structural Operational Semantics (SOS)VAN GLABEEK, Rob; MOSSES, Peter D.Information and computation (Print). 2009, Vol 207, Num 2, issn 0890-5401, 287 p.Serial Issue

Concurrency and Real-Time for Eiffel-like LanguagesPAIGE, Richard F; BROOKE, Phillip J; JIN SONG DONG et al.Formal aspects of computing. 2009, Vol 21, Num 4, issn 0934-5043, 89 p.Conference Proceedings

Graphs, Games and ComputationMAVRONICOLAS, M.Theoretical computer science. 2009, Vol 410, Num 36, issn 0304-3975, 134 p.Serial Issue

Implementation and Application of Automata (CIAA 2007)HOLUB, Jan.Theoretical computer science. 2009, Vol 410, Num 37, issn 0304-3975, 138 p.Serial Issue

13th Workshop on Logic, Language, Information and Computation (WoLLIC 2006)MINTS, Grigori; DE PAIVA, Valéria; DE QUEIROZ, Ruy et al.Information and computation (Print). 2009, Vol 207, Num 10, issn 0890-5401, 126 p.Conference Proceedings

[Extended papers from the 2nd International Workshop on Formal Methods for Interactive Systems (FMIS 2007), Lancaster, UK, September 2007]CERONE, Antonio; CURZON, Paul; DUCE, David et al.Formal aspects of computing. 2009, Vol 21, Num 6, issn 0934-5043, 132 p.Serial Issue

From Gödel to Einstein: Computability between Logic and PhysicsBECKMANN, A; BEGGS, E; LÖWE, B et al.Theoretical computer science. 2008, Vol 394, Num 3, issn 0304-3975, 89 p.Conference Proceedings

1st International Conference on Language and Automata Theory and Applications (LATA 2007)LOOS, Remco; MARTIN-VIDE, Carlos.Information and computation (Print). 2008, Vol 206, Num 9-10, issn 0890-5401, 245 p.Conference Proceedings

Excursions in Algorithms: A Collection of Papers in Honor of Franco P. PreparataAMATO, N. M; LEE, D.-T; PIETRACAPRINA, A et al.Theoretical computer science. 2008, Vol 408, Num 2-3, issn 0304-3975, 168 p.Serial Issue

Developments in language theoryIBARRA, Oscar H.Theoretical computer science. 2007, Vol 376, Num 1-2, issn 0304-3975, 138 p.Conference Proceedings

Automata, languages and programming (ICALP 2005)ITALIANO, Giuseppe F; PALAMIDESSI, Catuscia.Theoretical computer science. 2007, Vol 380, Num 1-2, issn 0304-3975, 220 p.Conference Proceedings

Combinatorics on wordsBRLEK, Srečko; REUTENAUER, Christophe.Theoretical computer science. 2007, Vol 380, Num 3, issn 0304-3975, 195 p.Conference Proceedings

Parameterized and exact computationDOWNEY, Rod; LANGSTON, Mike; NIERDERMEIER, Rolf et al.Theoretical computer science. 2006, Vol 351, Num 3, issn 0304-3975, 167 p.Conference Proceedings

Logic, language, information and computationDE QUEIROZ, Ruy; KOZEN, Dexter.Theoretical computer science. 2006, Vol 355, Num 2, issn 0304-3975, 158 p.Serial Issue

Approximation and Online AlgorithmsJANSEN, Klaus; SOLIS-OBA, Roberto.Theoretical computer science. 2006, Vol 361, Num 2-3, issn 0304-3975, 228 p.Serial Issue

Combining logical systemsARMANDO, Alessandro; RINGINSSEN, Christophe.Information and computation (Print). 2006, Vol 204, Num 10, issn 0890-5401, 186 p.Serial Issue

Combinatorial pattern matchingSAHINALP, Suleyman Cenk; DOGRUSOZ, Ugur; MUTHUKRISHNAN, S et al.Theoretical computer science. 2006, Vol 368, Num 3, issn 0304-3975, 54 p.Serial Issue

Unifying theories of programming (First international symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006)Dunne, Steve; Stoddart, Bill.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-34750-X, 1Vol, VIII-256 p, isbn 3-540-34750-XConference Proceedings