Home Advanced Search

Advanced Search - Page 1

Functional and Logic Programming: 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Brigitte Pientka (auth.), Matthias Blume, Naoki Kobayashi, Germán Vidal (eds.)
Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday
  • PDF
  • English
  • Year: 2010
  • Author: Brigitte Pientka (auth.), Simon Siegler, Nathan Wasser (eds.)
Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday
  • PDF
  • English
  • Year: 2010
  • Author: Brigitte Pientka (auth.), Simon Siegler, Nathan Wasser (eds.)
Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: John P. Gallagher (auth.), Germán Vidal (eds.)
Logic-Based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
  • PDF
  • English
  • Year: 2010
  • Author: Germán Vidal (auth.), Danny De Schreye (eds.)
Programming Languages and Systems: 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny (auth.), Naoki Kobayashi (eds.)
Static Analysis: 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Roberto Giacobazzi, Isabella Mastroeni (auth.), María Alpuente, Germán Vidal (eds.)
Automata, Languages, and Programming: 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II
  • PDF
  • English
  • Year: 2015
  • Author: Magnús M. Halldórsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmann (eds.)
Empirische Regionalforschung heute: Festschrift für
  • PDF
  • German
  • Year: 2011
  • Author: Prof. Dr. Thomas Döring, Dr. Lorenz Blume, Dr. Matthias Türck (auth.), Christian Dreger, Reinhold Kosfeld, Matthias Türck (eds.)
What Mathematics Can Do for You: Essays and Tips from Japanese Industry Leaders
  • PDF
  • English
  • Year: 2013
  • Author: Fujio Cho, Toshiyuki Kobayashi (auth.), Yoshikazu Giga, Toshiyuki Kobayashi (eds.)
search