Home Advanced Search

Advanced Search - Page 1

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.)
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.)
Solid-State NMR IV Methods and Applications of Solid-State NMR
  • PDF
  • English
  • Year: 1994
  • Author: Andrew E. Bennett, Robert G. Griffin (auth.), Prof. Dr. Bernhard Blümich (eds.)
Relational and Algebraic Methods in Computer Science: 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Bernhard Möller (auth.), Harrie de Swart (eds.)
Relational and Algebraic Methods in Computer Science: 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Bernhard Möller (auth.), Harrie de Swart (eds.)
Relational and Algebraic Methods in Computer Science: 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Bernhard Möller (auth.), Harrie de Swart (eds.)
Mathematics of Program Construction: Third International Conference, MPC '95 Kloster Irsee, Germany, July 17–21, 1995 Proceedings
  • DJVU
  • English
  • Year: 1995
  • Author: Krzysztof R. Apt (auth.), Bernhard Möller (eds.)
Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report
  • DJVU
  • English
  • Year: 1993
  • Author: Bernhard Möller, Helmut A. Partsch, Stephen A. Schuman (auth.), Bernhard Möller, Helmut Partsch, Steve Schuman (eds.)
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.)
search