This LNAI 16045 volume constitutes the proceedings of the 26th Annual Conference on Towards Auton...
The International Colloquium on Theoretical Aspects of Computing (ICTAC) held in 2006 in Tunis, T...
th FM 2009, the 16 International Symposium on Formal Methods, marked the 10th an- versary of the ...
Formal methods for development of computer systems have been extensively studied over the years. ...
This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal...
The topics covered in this book range from modeling and programming languages and environments, v...
The topics covered in this book range from modeling and programming languages and environments, v...
This book presents important concepts from medical and socio-cultural anthropology to health prof...
Sorghum (Sorghum bicolor (L.) Moench) ist ein Gras, das in der zentralen Region des afrikanischen...
This open access book constitutes the proceedings of the 27th International Conference on Fundame...
This Festschrift, dedicated to Cliff Jones, contains papers written by many of his closest collab...
This Festschrift, dedicated to Cliff Jones, contains papers written by many of his closest collab...