Home Advanced Search

Advanced Search - Page 1

Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi
  • PDF
  • English
  • Year: 2014
  • Author: Shusaku Iida, José Meseguer, Kazuhiro Ogata (eds.)
Head-Related Transfer Function and Acoustic Virtual Reality
  • PDF
  • English
  • Year: 2019
  • Author: Kazuhiro Iida
Formal Methods and Software Engineering: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
  • PDF
  • English
  • Year: 2016
  • Author: Kazuhiro Ogata, Mark Lawford, Shaoying Liu (eds.)
Rewriting Techniques and Applications: 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000. Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: José Meseguer (auth.), Leo Bachmair (eds.)
Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Rajeev Alur (auth.), José Meseguer, Grigore Roşu (eds.)
ECOOP 2002 — Object-Oriented Programming: 16th European Conference Málaga, Spain, June 10–14, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: José Meseguer, Carolyn Talcott (auth.), Boris Magnusson (eds.)
Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
  • PDF
  • English
  • Year: 2008
  • Author: Rocco De Nicola, Pierpaolo Degano, José Meseguer (auth.), Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.)
Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
  • PDF
  • English
  • Year: 2008
  • Author: Rocco De Nicola, Pierpaolo Degano, José Meseguer (auth.), Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.)
Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
  • PDF
  • English
  • Year: 2008
  • Author: Rocco De Nicola, Pierpaolo Degano, José Meseguer (auth.), Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.)
Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: José Meseguer (auth.), Farhad Arbab, Peter Csaba Ölveczky (eds.)
search