ana cavalcanti
Towards Autonomous Robotic Systems
TaschenbuchSofort lieferbarThis LNAI 16045 volume constitutes the proceedings of the 26th Annual Conference on Towards Auton...
Theoretical Aspects of Computing - ICTAC 2006
TaschenbuchPrint on DemandThe International Colloquium on Theoretical Aspects of Computing (ICTAC) held in 2006 in Tunis, T...
FM 2009: Formal Methods
TaschenbuchPrint on Demandth FM 2009, the 16 International Symposium on Formal Methods, marked the 10th an- versary of the ...
Formal Methods and Software Engineering
TaschenbuchPrint on DemandFormal methods for development of computer systems have been extensively studied over the years. ...
Critical Systems: Formal Methods and Automated Verification
TaschenbuchPrint on DemandThis book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal...
Software Engineering for Robotics
BuchPrint on DemandThe topics covered in this book range from modeling and programming languages and environments, v...
Software Engineering for Robotics
TaschenbuchPrint on DemandThe topics covered in this book range from modeling and programming languages and environments, v...
Organ Transplantation and Native Peoples
TaschenbuchPrint on DemandThis book presents important concepts from medical and socio-cultural anthropology to health prof...
Funktionelle Eigenschaften von gekeimtem Sorghumkornmehl
TaschenbuchPrint on DemandSorghum (Sorghum bicolor (L.) Moench) ist ein Gras, das in der zentralen Region des afrikanischen...
Fundamental Approaches to Software Engineering
TaschenbuchPrint on DemandThis open access book constitutes the proceedings of the 27th International Conference on Fundame...
The Practice of Formal Methods
TaschenbuchPrint on DemandThis Festschrift, dedicated to Cliff Jones, contains papers written by many of his closest collab...
The Practice of Formal Methods
TaschenbuchPrint on DemandThis Festschrift, dedicated to Cliff Jones, contains papers written by many of his closest collab...
- 1
- 2