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.)
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.)
Fundamentals of Computation Theory: 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: José Meseguer, Grigore Roşu (auth.), Olaf Owe, Martin Steffen, Jan Arne Telle (eds.)
Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures
  • PDF
  • English
  • Year: 2009
  • Author: Santiago Escobar, Catherine Meadows, José Meseguer (auth.), Alessandro Aldini, Gilles Barthe, Roberto Gorrieri (eds.)
Software engineering with OBJ: algebraic specification in action
  • DJVU
  • English
  • Year: 2000
  • Author: Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi (auth.), Joseph Goguen, Grant Malcolm (eds.)
Advances in Knowledge Acquisition and Management: Pacific Rim Knowledge Acquisition Workshop, PKAW 2006, Guilin, China, August 7-8, 2006, Revised Selected Papers
  • PDF
  • English
  • Year: 2006
  • Author: Pedro José Vivancos-Vicente, Jesualdo Tomás Fernández-Breis, Rodrigo Martínez-Béjar (auth.), Achim Hoffmann, Byeong-ho Kang, Debbie Richards, Shusaku Tsumoto (eds.)
Sistemas de control en tiempo discreto
  • PDF
  • Spanish, English
  • Year: 1996
  • Author: Ogata, Katsuhiko; Aranda Pérez, José Guillermo
Nihongo fun and easy complete Beginning Japanese conversations
  • PDF
  • English
  • Year: 2009
  • Author: ogata
search