Corina S. Pasareanu's Documents

Corina S. Pasareanu's Documents

Model checking software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009; proceedings

Model checking software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009; proceedings
Read more
Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings (Lecture Notes in Computer Science Theoretical Computer Science and General Issues)

Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings (Lecture Notes in Computer Science Theoretical Computer Science and General Issues)
Read more
Sturmsegel

Sturmsegel
Read more
Non-commutative Multiple-Valued Logic Algebras

Non-commutative Multiple-Valued Logic Algebras
Read more
Fortgeschrittene CSS-Techniken (Inkl. Debugging und Performance-Optimierung), 2. Auflage

Fortgeschrittene CSS-Techniken (Inkl. Debugging und Performance-Optimierung), 2. Auflage
Read more
Introduction à l'analyse fonctionnelle

Introduction à l'analyse fonctionnelle
Read more
Algebra and Coalgebra in Computer Science - Calco 2011

Algebra and Coalgebra in Computer Science - Calco 2011
Read more
The Role of Wnt Signalling in the Development of Somites and Neural Crest (Advances in Anatomy, Embryology and Cell Biology)

The Role of Wnt Signalling in the Development of Somites and Neural Crest (Advances in Anatomy, Embryology and Cell Biology)
Read more
Théorie des probabilités : problèmes et solutions

Théorie des probabilités : problèmes et solutions
Read more
The Role of Wnt Signalling in the Development of Somites and Neural Crest (Advances in Anatomy, Embryology and Cell Biology)

The Role of Wnt Signalling in the Development of Somites and Neural Crest (Advances in Anatomy, Embryology and Cell Biology)
Read more
Signori, Il Gioco И Fatto

Signori, Il Gioco И Fatto
Read more
Plant Virology Protocols

Plant Virology Protocols
Read more
Sequestro Di Persona

Sequestro Di Persona
Read more
Signori, Il Gioco И Fatto

Signori, Il Gioco И Fatto
Read more
The Kidnap Murder Case

The Kidnap Murder Case
Read more
The Philo Vance Omnibus 2: The Dragon Murder Case, The Casino Murder Case, The Garden Murder Case, The Kidnap Murder Case, The Gracie Allen Murder Case, The Winter Murder Case, Twenty Rules for Writing Detective Stories

The Philo Vance Omnibus 2: The Dragon Murder Case, The Casino Murder Case, The Garden Murder Case, The Kidnap Murder Case, The Gracie Allen Murder Case, The Winter Murder Case, Twenty Rules for Writing Detective Stories
Read more
L'Enigma Dell'Alfiere

L'Enigma Dell'Alfiere
Read more
The Philo Vance Omnibus 1: The Benson Murder Case, The Canary Murder Case, The Greene Murder Case, The Bishop Murder Case, The Scarab Murder Case, The Kennel Murder Case

The Philo Vance Omnibus 1: The Benson Murder Case, The Canary Murder Case, The Greene Murder Case, The Bishop Murder Case, The Scarab Murder Case, The Kennel Murder Case
Read more
La Fine Dei Greene

La Fine Dei Greene
Read more
Probability Theory

Probability Theory
Read more
Large Deviations and Applications

Large Deviations and Applications
Read more
Tropical Forest Insect Pests: Ecology, Impact, and Management

Tropical Forest Insect Pests: Ecology, Impact, and Management
Read more
La Fine Dei Greene

La Fine Dei Greene
Read more
The Christ Conspiracy: The Greatest Story Ever Sold

The Christ Conspiracy: The Greatest Story Ever Sold
Read more
Signori, Il Gioco И Fatto

Signori, Il Gioco И Fatto
Read more
The Garden Murder Case

The Garden Murder Case
Read more
Lectures on Diffusion Problems and Partial Differential Equations

Lectures on Diffusion Problems and Partial Differential Equations
Read more
The Gracie Allen Murder Case

The Gracie Allen Murder Case
Read more
2-nerves for bicategories

2-nerves for bicategories
Read more
Quantum Statistical Theory of Superconductivity

Quantum Statistical Theory of Superconductivity
Read more