che-chandler.de

Handlettering digital

Sehen Sie in diesem Buch, wie cool es ist, analoge Techniken direkt digital umzusetzen! Procre...

FM 2009: Formal Methods

th FM 2009, the 16 International Symposium on Formal Methods, marked the 10th an- versary of the ...

Critical Systems: Formal Methods and Automated Verification

This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal...

Refinement Techniques in Software Engineering

The Pernambuco School on Software Engineering (PSSE) 2004 was the ?rst in a series of events devo...

Theoretical Aspects of Computing - ICTAC 2006

The International Colloquium on Theoretical Aspects of Computing (ICTAC) held in 2006 in Tunis, T...

Testing Techniques in Software Engineering

The Pernambuco School on Software Engineering (PSSE) 2007 was the second in a series of events de...

Software Engineering for Robotics

The topics covered in this book range from modeling and programming languages and environments, v...

Temas de Direito Tributário - Volume 2

Ambulatório de Clínica Médica

O poder feminino: entre percursos e desafios

SoulCollage®️ em evolução

Burle Marx e o Recife