Home Advanced Search

Advanced Search - Page 1

Relational and Algebraic Methods in Computer Science: 15th International Conference, RAMiCS 2015 Braga, Portugal, September 28 – October 1, 2015, Proceedings
  • PDF
  • English
  • Year: 2015
  • Author: Wolfram Kahl, Michael Winter, José N. Oliveira (eds.)
Relational Methods in Computer Science: 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16–21, 2001 Revised Papers
  • PDF
  • English
  • Year: 2002
  • Author: Wolfram Kahl (auth.), Harrie C. M. de Swart (eds.)
Relational and Algebraic Methods in Computer Science: 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28–May 1, 2014. Proceedings
  • PDF
  • English
  • Year: 2014
  • Author: Peter Höfner, Peter Jipsen, Wolfram Kahl, Martin Eric Müller (eds.)
The Handbook of Plant Metabolomics
  • PDF
  • English
  • Year: 2013
  • Author: Wolfram Weckwerth, Guenter Kahl
Advanced Functional Programming: Third International School, AFP’98, Braga, Portugal, September 12-19, 1998, Revised Lectures
  • PDF
  • English
  • Year: 1999
  • Author: Lex Augusteijn (auth.), S. Doaitse Swierstra, José N. Oliveira, Pedro R. Henriques (eds.)
Relational and Algebraic Methods in Computer Science: 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Han-Hing Dang, Bernhard Möller (auth.), Wolfram Kahl, Timothy G. Griffin (eds.)
Relational and Algebraic Methods in Computer Science: 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Han-Hing Dang, Bernhard Möller (auth.), Wolfram Kahl, Timothy G. Griffin (eds.)
"Mysterium trinitatis"?: Fallstudien zur Trintätslehre in der evangelischen Dogmatik des 20. Jahrhunderts
  • PDF
  • German
  • Year: 1997
  • Author: Michael Murrmann-Kahl
Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
  • PDF
  • English
  • Year: 2019
  • Author: Maurice H. ter Beek, Annabelle McIver, José N. Oliveira
Algoritmos Lógica para Desenvolvimento de Programação de Computadores
  • PDF
  • Portuguese
  • Year: 2016
  • Author: José Augusto N. G. Manzano, Jayr Figueiredo de Oliveira.
search