Home Advanced Search

Advanced Search - Page 1

Control Flow Semantics

DJVU
English
Year: 1996
Author: Jaco de Bakker, Erik de Vink

Automata, Languages and Programming: Seventh Colloquium Noordwijkerhout, the Netherlands July 14–18, 1980

PDF
English
Year: 1980
Author: W. Ainhirn (auth.), Jaco de Bakker, Jan van Leeuwen (eds.)

Automata, Languages and Programming: Seventh Colloquium Noordwijkerhout, the Netherlands July 14–18, 1980

DJVU
English
Year: 1980
Author: W. Ainhirn (auth.), Jaco de Bakker, Jan van Leeuwen (eds.)

Formal Methods

PDF
English
Year: 2018
Author: Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink

Transactions on Computational Systems Biology XIV: Special Issue on Computational Models for Cell Processes

PDF
English
Year: 2012
Author: Oana Andrei, Muffy Calder (auth.), Corrado Priami, Ion Petre, Erik de Vink (eds.)

Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

PDF
English
Year: 2013
Author: Boris Köpf, Andrey Rybalchenko (auth.), Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky (eds.)

Transactions on computational systems biology XIII

PDF
English
Year: 2011
Author: Antti Häkkinen, Fred G. Biddle (auth.), Corrado Priami, Ralph-Johan Back, Ion Petre, Erik de Vink (eds.)

Transactions on Computational Systems Biology XIII

PDF
English
Year: 2011
Author: Antti Häkkinen, Fred G. Biddle (auth.), Corrado Priami, Ralph-Johan Back, Ion Petre, Erik de Vink (eds.)

Validation of Stochastic Systems: A Guide to Current Research

PDF
English
Year: 2004
Author: Ana Sokolova, Erik P. de Vink (auth.), Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle (eds.)

Computational Modeling Methods for Neuroscientists

PDF
English
Year: 2009
Author: Erik de De Schutter