Home Advanced Search

Advanced Search - Page 1

Coalgebraic Methods in Computer Science: 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Samson Abramsky, Jonathan Zvesper (auth.), Dirk Pattinson, Lutz Schröder (eds.)
Coalgebraic Methods in Computer Science: 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Samson Abramsky, Jonathan Zvesper (auth.), Dirk Pattinson, Lutz Schröder (eds.)
Automata, Languages and Programming: 10th Colloquium Barcelona, Spain, July 18–22, 1983
  • DJVU
  • English-French
  • Year: 1983
  • Author: Samson Abramsky (auth.), Josep Diaz (eds.)
Foundations of Computation Theory: Proceedings of the 1983 International FCT-Conference Borgholm, Sweden, August 21–27, 1983
  • DJVU
  • English
  • Year: 1983
  • Author: Samson Abramsky (auth.), Marek Karpinski (eds.)
Trees in Algebra and Programming — CAAP '96: 21st International Colloquium Linköping, Sweden, April 22–24, 1996 Proceedings
  • PDF
  • English
  • Year: 1996
  • Author: Samson Abramsky (auth.), Hélène Kirchner (eds.)
Trees in Algebra and Programming — CAAP '96: 21st International Colloquium Linköping, Sweden, April 22–24, 1996 Proceedings
  • DJVU
  • English
  • Year: 1996
  • Author: Samson Abramsky (auth.), Hélène Kirchner (eds.)
Automata, Languages and Programming: 10th Colloquium Barcelona, Spain, July 18–22, 1983
  • PDF
  • English-French
  • Year: 1983
  • Author: Samson Abramsky (auth.), Josep Diaz (eds.)
Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Samson Abramsky (auth.), Chris Hankin, Igor Siveroni (eds.)
CONCUR '96: Concurrency Theory: 7th International Conference Pisa, Italy, August 26–29, 1996 Proceedings
  • DJVU
  • English
  • Year: 1996
  • Author: Samson Abramsky (auth.), Ugo Montanari, Vladimiro Sassone (eds.)
Petri Nets and Other Models of Concurrency – ICATPN 2007: 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Samson Abramsky (auth.), Jetty Kleijn, Alex Yakovlev (eds.)
search