Home Advanced Search

Advanced Search - Page 1

Transformation-Based Reactive Systems Development: 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97 Palma, Mallorca, Spain, May 21–23, 1997 Proceedings
  • DJVU
  • English
  • Year: 1997
  • Author: Anthony Bonner (auth.), Miquel Bertran, Teodor Rus (eds.)
FME '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24–28, 1994 Proceedings
  • DJVU
  • English
  • Year: 1994
  • Author: R. J. R. Back, K. Sere (auth.), Maurice Naftalin, Tim Denvir, Miquel Bertran (eds.)
Algebraic Methodology and Software Technology (AMAST’93): Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands 21–25 June 1993
  • PDF
  • English
  • Year: 1994
  • Author: Maurice Nivat, Charles Rattray BSc, MSc, FIMA, FBCS, C.Eng., C.Math., Teodor Rus PhD (auth.), Maurice Nivat, Charles Rattray BSc, MSc, FIMA, FBCS, C.Eng., C.Math., Teodor Rus PhD, Giuseppe Scollo PhD (eds.)
The Art and Logic of Ramon Llull: A User's Guide (Studien Und Texte Zur Geistesgeschichte Des Mittelalters)
  • PDF
  • English
  • Year: 2007
  • Author: Anthony Bonner
Evolution and Development: Report of the Dahlem Workshop on Evolution and Development Berlin 1981, May 10–15
  • PDF
  • English
  • Year: 1982
  • Author: J. T. Bonner (auth.), J. T. Bonner (eds.)
Transactions and Change in Logic Databases: International Seminar on Logic Databases and the Meaning of Change Schloss Dagstuhl, Germany, September 23–27, 1996 and ILPS'97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, (DYNAMICS'97) Port Jefferson, NY, USA, October 17, 1997 Invited Surveys and Selected Papers
  • DJVU
  • English
  • Year: 1998
  • Author: Anthony J. Bonner, Michael Kifer (auth.), Burkhard Freitag, Hendrik Decker, Michael Kifer, Andrei Voronkov (eds.)
Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Alexandre Miquel (auth.), Luke Ong (eds.)
Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Alexandre Miquel (auth.), Luke Ong (eds.)
Formal Methods in Databases and Software Engineering: Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15–16 May 1992
  • PDF
  • English
  • Year: 1993
  • Author: Anthony J. Bonner, Michael Kifer (auth.), V. S. Alagar PhD, Laks V. S. Lakshmanan PhD, F. Sadri PhD (eds.)
Time Series Analysis and Applications to Geophysical Systems: Part I
  • PDF
  • English
  • Year: 1992
  • Author: Robert H. Shumway, Jessie L. Bonner, Delaine T. Reiter (auth.), David R. Brillinger, Enders Anthony Robinson, Frederic Paik Schoenberg (eds.)
search