Home Advanced Search

Advanced Search - Page 1

Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Eric Allender (auth.), Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo, Luís Mendes Gomes (eds.)
Algebra, logic, set theory : Festschrift für Ulrich Felgner zum 65. Geburtstag
  • DJVU
  • English
  • Year: 2007
  • Author: Löwe, Benedikt (eds.)
Manual de Sobrevivência 1ªEd 2018
  • EPUB
  • Portuguese
  • Year: 2018
  • Author: Ferreira Gomes, Fernando
Sensor Systems and Software: Third International ICST Conference, S-Cube 2012, Lisbon, Portugal, June 4-5, 2012, Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Michel Ferreira, Ricardo Fernandes, Hugo Conceição, Pedro Gomes, Pedro M. d’Orey (auth.), Francisco Martins, Luís Lopes, Hervé Paulino (eds.)
Foundations of Software Technology and Theoretical Computer Science: 16th Conference Hyderabad, India, December 18–20, 1996 Proceedings
  • DJVU
  • English
  • Year: 1996
  • Author: Eric Allender (auth.), V. Chandru, V. Vinay (eds.)
Fundamentals of Computation Theory: 8th International Conference, FCT '91 Gosen, Germany, September 9–13, 1991 Proceedings
  • DJVU
  • English
  • Year: 1991
  • Author: Eric Allender, Vivek Gore (auth.), L. Budach (eds.)
Mathematical Theory and Computational Practice: 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Thomas Anberrée (auth.), Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle (eds.)
New Computational Paradigms: Changing Conceptions of What is Computable
  • PDF
  • English
  • Year: 2008
  • Author: Andrew Hodges (auth.), S. Barry Cooper, Benedikt Löwe, Andrea Sorbi (eds.)
Mathematical Theory and Computational Practice: 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Thomas Anberrée (auth.), Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle (eds.)
New Computational Paradigms: Changing Conceptions of What is Computable
  • PDF
  • English
  • Year: 2008
  • Author: Andrew Hodges (auth.), S. Barry Cooper, Benedikt Löwe, Andrea Sorbi (eds.)
search