Theory of Computation; Mathematical Logic and Form

Teoria degli Automi Finiti

2013 · ITALIAN · PDF

View details →

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

2009 · ENGLISH · PDF

View details →

Applications of Membrane Computing

2006 · ENGLISH · PDF

View details →

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

2009 · ENGLISH · PDF

View details →

Proofs and Algorithms: An Introduction to Logic and Computability

2011 · ENGLISH · PDF

View details →

Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday

2008 · ENGLISH · PDF

View details →

Proofs and algorithms: An introduction to logic and computability

2011 · ENGLISH · PDF

View details →

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

2009 · ENGLISH · PDF

View details →

Proofs and Algorithms: An Introduction to Logic and Computability

2011 · ENGLISH · PDF

View details →

Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday

2008 · ENGLISH · PDF

View details →