Home Advanced Search

Advanced Search - Page 1

Logic-Based Program Synthesis and Transformation: 9th International Workshop, LOPSTR’99, Venice, Italy, September 22-24, 1999 Selected Papers

PDF
English
Year: 2000
Author: Donald Sannella (auth.), Annalisa Bossi (eds.)

Programming Languages and Systems — ESOP '94: 5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings

DJVU
English
Year: 1994
Author: Martín Abadi, Luca Cardelli (auth.), Donald Sannella (eds.)

Programming Languages and Systems — ESOP '94: 5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings

PDF
English
Year: 1994
Author: Martín Abadi, Luca Cardelli (auth.), Donald Sannella (eds.)

Mathematical Foundations of Computer Science 2002: 27th International Symposium, MFCS 2002 Warsaw, Poland, August 26–30, 2002 Proceedings

PDF
English
Year: 2002
Author: Michel Bidoit, Donald Sannella, Andrzej Tarlecki (auth.), Krzysztof Diks, Wojciech Rytter (eds.)

Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings

PDF
English
Year: 2004
Author: Robert Harper (auth.), Josep Díaz, Juhani Karhumäki, Arto Lepistö, Donald Sannella (eds.)

Foundations of Algebraic Specification and Formal Software Development

PDF
English
Year: 2012
Author: Donald Sannella, Andrzej Tarlecki

Foundations of Algebraic Specification and Formal Software Development

PDF
English
Year: 2012
Author: Donald Sannella, Andrzej Tarlecki

Romanticism in Science: Science in Europe, 1790–1840

PDF
English
Year: 1994
Author: Gerhard H. Müller (auth.), Stefano Poggi, Maurizio Bossi (eds.)

Appunti di calcolo della probabilità

PDF
Italian
Author: Bossi

Mid-sized Manufacturing Companies: The New Driver of Italian Competitiveness

PDF
English
Year: 2013
Author: Annalisa Tunisini, Riccardo Resciniti (auth.), Fulvio Coltorti, Riccardo Resciniti, Annalisa Tunisini, Riccardo Varaldo (eds.)