K K Breitman; Ana Cavalcanti's Documents

K K Breitman; Ana Cavalcanti's Documents

Formal methods and software engineering : 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 ; proceedings

Formal methods and software engineering : 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 ; proceedings
Read more
Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December ... Programming and Software Engineering)

Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December ... Programming and Software Engineering)
Read more
FM 2009 : formal methods : second world congress, Eindhoven, the Netherlands, November 2-6, 2009 : proceedings

FM 2009 : formal methods : second world congress, Eindhoven, the Netherlands, November 2-6, 2009 : proceedings
Read more
Masters of Horror- Damned if You Don't- Self-Help Horror

Masters of Horror- Damned if You Don't- Self-Help Horror
Read more
Masters of Horror - Self-Help Horror

Masters of Horror - Self-Help Horror
Read more
Theoretical Aspects of Computing - ICTAC 2006, 3 conf

Theoretical Aspects of Computing - ICTAC 2006, 3 conf
Read more
Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December

Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December
Read more
Nanorobotics control design.A collective behavior approach for medicine

Nanorobotics control design.A collective behavior approach for medicine
Read more
The Domestic

The Domestic
Read more
The Hatfields and the McCoys

The Hatfields and the McCoys
Read more
A Hopeless Case

A Hopeless Case
Read more
Time in Science and Life: The greatest legacy of Albert Einstein

Time in Science and Life: The greatest legacy of Albert Einstein
Read more
Uses of Metals and Metallic Minerals

Uses of Metals and Metallic Minerals
Read more
The Revenge of Kali Ra

The Revenge of Kali Ra
Read more
World Tourism Today

World Tourism Today
Read more
Cold Smoked

Cold Smoked
Read more
Fats in Food Technology (Sheffield Food Technology)

Fats in Food Technology (Sheffield Food Technology)
Read more
Complex manifolds and deformation of complex structures

Complex manifolds and deformation of complex structures
Read more
Faking Literature

Faking Literature
Read more
Introducing English Grammar

Introducing English Grammar
Read more
Cold Smoked

Cold Smoked
Read more
Faking Literature

Faking Literature
Read more
Cold Smoked

Cold Smoked
Read more
Lectures on low-dimensional topology

Lectures on low-dimensional topology
Read more
Advances in Carpet manufacture

Advances in Carpet manufacture
Read more
Tourism and Travel Industry

Tourism and Travel Industry
Read more
The Hatfields and the McCoys

The Hatfields and the McCoys
Read more
Computer Mathematics - Proceedings of the 5th Asian Symposium, ASCM 2001 (Lecture Notes Series on Computing)

Computer Mathematics - Proceedings of the 5th Asian Symposium, ASCM 2001 (Lecture Notes Series on Computing)
Read more
Rime

Rime
Read more
Neutron physics

Neutron physics
Read more