Home Advanced Search

Advanced Search - Page 1

Algebraic and Logic Programming: International Workshop Gaussig, GDR, November 14–18, 1988 Proceedings

PDF
English
Year: 1988
Author: J. A. Bergstra (auth.), J. Grabowski, P. Lescanne, W. Wechler (eds.)

Mathematical Methods of Specification and Synthesis of Software Systems '85: Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22–26, 1985

DJVU
English
Year: 1986
Author: J. A. Bergstra, J. W. Klop (auth.), Wolfgang Bibel, Klaus P. Jantke (eds.)

Algebraic Methods II: Theory, Tools and Applications

DJVU
English
Year: 1991
Author: N. W. P. van Diepen, H. A. Partsch (auth.), J. A. Bergstra, L. M. G. Feijs (eds.)

Algebraic and Logic Programming: Proceedings of an International Workshop held in Gaussig (GDR), November 14–18, 1988

PDF
German
Year: 1989
Author: Jan Grabowski (editor); Pierre Lescanne (editor); Wolfgang Wechler (editor)

Rewriting Techniques and Applications: Bordeaux, France, May 25–27, 1987 Proceedings

DJVU
English
Year: 1987
Author: Michael J. O'Donnell (auth.), Pierre Lescanne (eds.)

Algebra of Communicating Processes: Proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, The Netherlands, 16–17 May 1994

PDF
English
Year: 1995
Author: J. A. Bergstra, J. W. Klop (auth.), A. Ponse PhD, C. Verhoef PhD, S. F. M. van Vlijmen Drs. (eds.)

Algebraic Specification (Acm Press Frontier Series)

DJVU
English
Year: 1989
Author: J. A. Bergstra, J. Heering

Advanced Modelling for CAD/CAM Systems

PDF
English
Year: 1991
Author: Hans Grabowski, Reiner Anderl, Michael J. Pratt (auth.), Hans Grabowski, Reiner Anderl, Michael J. Pratt (eds.)

Hydrogen Bonding—New Insights

PDF
English
Year: 2006
Author: R. Parthasarathi, V. Subramanian (auth.), Sławomir J. Grabowski (eds.)

Instruction Sequences for Computer Science

PDF
English
Year: 2012
Author: J A Bergstra; Cornelis A Middelburg