ICTCS 09Informatique théorique et applications (Imprimé). 2011, Vol 45, Num 1, issn 0988-3754, 181 p.Conference Proceedings

Algorithmic Learning Theory 5ALT 2009LUGOSI, Gábor; ZILLES, Sandra.Theoretical computer science. 2011, Vol 412, Num 19, issn 0304-3975, 100 p.Serial Issue

Selected Papers from the 7th International Conference on Computational Methods in Systems BiologyDEGANO, Pierpaolo.Theoretical computer science. 2011, Vol 412, Num 21, issn 0304-3975, 128 p.Serial Issue

Combinatorics on Words (WORDS 2009)CARPI, Arturo; DE FELICE, Clelia.Theoretical computer science. 2011, Vol 412, Num 27, issn 0304-3975, 126 p.Serial Issue

Algorithms and ComputationDU, Ding-Zhu; DONG, Yingfei; ZHANG, Zhao et al.Theoretical computer science. 2011, Vol 412, Num 32, issn 0304-3975, 155 p.Conference Proceedings

Stabilization, Safety, and Security of Distributed Systems (SSS 2009)DATTA, Ajoy K; PETIT, Franck; GUERRAOUI, Rachid et al.Theoretical computer science. 2011, Vol 412, Num 33, issn 0304-3975, 147 p.Conference Proceedings

Applicable Formal MethodsCAVALCANTI, Ana; DAMS, Dennis; GAUDEL, Marie-Claude et al.Formal aspects of computing. 2011, Vol 23, Num 6, issn 0934-5043, 125 p.Serial Issue

On the expressiveness of TPTL and MTLBOUYER, Patricia; CHEVALIER, Fabrice; MARKEY, Nicolas et al.Information and computation (Print). 2010, Vol 208, Num 2, pp 97-116, issn 0890-5401, 20 p.Article

Viewpoint Is Computer Science Truly Scientific?GENOVA, Gonzalo.Communications of the ACM. 2010, Vol 53, Num 7, pp 37-39, issn 0001-0782, 3 p.Article

RefinementBOITEN, Eerke; BUTLER, Michael; DERRICK, John et al.Formal aspects of computing. 2010, Vol 22, Num 1, issn 0934-5043, 82 p.Serial Issue

Structural Information and Communication Complexity (SIROCCO 2008)SHVARTSMAN, Alexander; FELBER, Pascal.Theoretical computer science. 2010, Vol 411, Num 14-15, issn 0304-3975, 127 p.Serial Issue

Implementation and Application of Automata (CIAA 2009)MANETH, Sebastian.Theoretical computer science. 2010, Vol 411, Num 38-39, issn 0304-3975, 126 p.Serial Issue

Aspects of Molecular Self-AssemblyJONOSKA, N; KARI, J.Theoretical computer science. 2009, Vol 410, Num 15, issn 0304-3975, 61 p.Serial Issue

Structural Information and Communication Complexity (SIROCCO 2007)PRENCIPE, G; ZAKS, S.Theoretical computer science. 2009, Vol 410, Num 14, issn 0304-3975, 110 p.Serial Issue

Algorithmic Learning TheoryHUTTER, M; SERVEDIO, R. A.Theoretical computer science. 2009, Vol 410, Num 19, issn 0304-3975, 168 p.Serial Issue

From Type Theory to Morphological ComplexityAMADIO, Roberto; CASTAGNA, Giuseppe; ASPERTI, Andrea et al.Information and computation (Print). 2009, Vol 207, Num 5, issn 0890-5401, 128 p.Serial Issue

Abstract Interpretation and Logic Programming: in Honor of professor Giorgio LeviFALASCHI, Moreno; GABBRIELLI, Maurizio; PALAMIDESSI, Catuscia et al.Theoretical computer science. 2009, Vol 410, Num 46, issn 0304-3975, 203 p.Serial Issue

[Verified software grand challenge : the Mondex case study]JONES, Cliff B; WOODCOCK, Jim C. P.Formal aspects of computing. 2008, Vol 20, Num 1, issn 0934-5043, 140 p.Serial Issue

Joint Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis (FCS-ARSPA '06)DEGANO, Pierpaolo; KÜSTERS, Ralf; VIGANO, Luca et al.Information and computation (Print). 2008, Vol 206, Num 2-4, issn 0890-5401, 361 p.Conference Proceedings

Forty Years of Inductive InferenceCASE, J; SHINOHARA, T; ZEUGMANN, T et al.Theoretical computer science. 2008, Vol 397, Num 1-3, issn 0304-3975, 247 p.Serial Issue

Calculi, types and applications: Essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi Della RoccaBERARDI, Stefano; DE'LIGUORO, Ugo.Theoretical computer science. 2008, Vol 398, Num 1-3, issn 0304-3975, 263 p.Serial Issue

Trustworthy Global ComputingMONTANARI, Ugo; SANNELLA, Donald.Theoretical computer science. 2008, Vol 402, Num 2-3, issn 0304-3975, 169 p.Serial Issue

Computational Structures for Modelling Space, Time and CausalityKOPPERMAN, Ralf; PANANGADEN, Prakash; SMYTH, Michael B et al.Theoretical computer science. 2008, Vol 405, Num 1-2, issn 0304-3975, 208 p.Conference Proceedings

Algorithmic Aspects of Global ComputingKAKLAMANIS, C.Theoretical computer science. 2008, Vol 406, Num 3, issn 0304-3975, 93 p.Serial Issue

Computational Methods in Systems BiologyCALDER, M; GILMORE, S.Theoretical computer science. 2008, Vol 408, Num 1, issn 0304-3975, 98 p.Conference Proceedings