Automated Deduction – CADE-21
All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation ...
اقرأ المزيد
Automated Deduction – CADE-21
All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation ...
اقرأ المزيد
Computational and Statistical Approaches to Genomics
Computational and Statistical Approaches to Genomics, 2nd Edition, aims to help researchers deal with current genomic challenges. ...
اقرأ المزيد
Datatype-Generic Programming
A leitmotif in the evolution of programming paradigms has been the level and extent of parametrisation that is facilitated ...
اقرأ المزيد
Datatype-Generic Programming
A leitmotif in the evolution of programming paradigms has been the level and extent of parametrisation that is facilitated ...
اقرأ المزيد
Foundations of Software Science and Computational Structures : 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings
The fve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less ...
اقرأ المزيد
Implementing Distributed Systems with Java and CORBA
This book provides graduate students and practitioners with knowledge of the CORBA standard and practical experience of implementing ...
اقرأ المزيد
Introduction to Computational Biology
Molecular biology has changed dramatically over the past two decades. Until the early 1990s genes were studied one at a time ...
اقرأ المزيد
Multiple Testing Procedures and Applications to Genomics
This book establishes the theoretical foundations of a general methodology for multiple hypothesis testing and discusses ...
اقرأ المزيد
Neuroimmune Pharmacology
This exciting new textbook, Neuroimmune Pharmacology, reflects the history and vision of the Society on NeuroImmune Pharmacology ...
اقرأ المزيد
Programming Languages and Systems (vol. # 3924)
This volume contains the proceedings of the ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory ...
اقرأ المزيد
Programming Languages and Systems : 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
This book presented together with the abstract of one invited talk and two tool presentations were carefully reviewed and ...
اقرأ المزيد
Techniques virales avancées
This book deals with advanced techniques of computer virology from a double perspective: the analysis of antiviral defense ...
اقرأ المزيد
The Genetics of Male Infertility
This volume gives special attention to the significant technological advances in the treatment of male infertility, including ...
اقرأ المزيد
Types for Proofs and Programs : International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers
The topic of this book was formal reasoning and computer programming based on type theory. Great importance was attached ...
اقرأ المزيد
