This book constitutes the refereed proceedings of the 10th International Conference on Foundations of Software Science and ...
WeiterlesenETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
WeiterlesenThis book constitutes the refereed proceedings of the 9th International Conference on Foundations of Software Science and ...
WeiterlesenThe fve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less ...
WeiterlesenThis volume sets out to present a coherent and comprehensive account of the concepts that underlie different approaches devised ...
WeiterlesenThis book constitutes the refereed proceedings of the Second International Frontiers of Algorithmics Workshop, FAW 2008, ...
WeiterlesenFrontiers in Computing Technologies for Manufacturing Applications presents an overview of the state-of-the-art intelligent ...
WeiterlesenThis book presents pedagogical contributions on selected topics relating Number Theory, Theoretical Physics and Geometry. ...
WeiterlesenThis book presents pedagogical contributions on selected topics relating Number Theory, Theoretical Physics and Geometry. ...
WeiterlesenThe present book collects most of the courses and seminars delivered at the meetingentitled"FrontiersinNumberTheory, PhysicsandGeometry", ...
WeiterlesenThe basic theory of matter on the nanoscale is quantum mechanics and the application of quantum mechanics to the study of ...
WeiterlesenWith the dramatic increase in speed and capacity of modern computers, computational approaches are becoming of crucial importance ...
WeiterlesenThe Sixth International Symposium "Frontiers of Fundamental and Computational Physics", Udine, Italy, 26-29 September 2004, ...
WeiterlesenContains lecture notes on four topics at the forefront of research in computational mathematics. This book presents a self-contained ...
WeiterlesenThis book constitutes the refereed proceedings of the 4th International Conference on Fun with Algorithms, FUN 2007, held ...
WeiterlesenThis book comprehensively covers the fundamentals of clinical data science, focusing on data collection, modelling and clinical ...
WeiterlesenThis book constitutes the refereed proceedings of the 16th International Symposium Fundamentals of Computation Theory. The ...
WeiterlesenThis book constitutes the refereed proceedings of the 15th International Symposium Fundamentals of Computation Theory, FCT ...
WeiterlesenMore than ever before, research and development in genomics and proteomics depends on the analysis and interpretation of ...
WeiterlesenThis book and its sister volume, LNAI 3613 and 3614, constitute the proce- ings of the Second International Conference on ...
Weiterlesen