Home Advanced Search

Advanced Search - Page 1

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.)
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.)
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.)
Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi
  • PDF
  • English
  • Year: 2014
  • Author: Shusaku Iida, José Meseguer, Kazuhiro Ogata (eds.)
Confocal Raman Microscopy
  • PDF
  • English
  • Year: 2011
  • Author: Olaf Hollricher, Wolfram Ibach (auth.), Thomas Dieing, Olaf Hollricher, Jan Toporski (eds.)
Implementation and Application of Functional Languages: 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers
  • PDF
  • English
  • Year: 2008
  • Author: Steffen Mazanek, Mark Minas (auth.), Olaf Chitil, Zoltán Horváth, Viktória Zsók (eds.)
Stellar Rotation: Proceedings of the IAU Colloquium held at the Ohio State University, Columbus, O., U.S.A., September 8–11, 1969
  • PDF
  • English
  • Year: 1970
  • Author: Arne Slettebak (auth.), Arne Slettebak (eds.)
ERP Value: Signifikante Vorteile mit ERP-Systemen
  • PDF
  • German
  • Year: 2008
  • Author: Olaf Jacob (auth.), Olaf Jacob (eds.)
Verkehrsdynamik und -simulation: Daten, Modelle und Anwendungen der Verkehrsflussdynamik
  • PDF
  • German
  • Year: 2010
  • Author: Martin Treiber, Arne Kesting (auth.)
search