|
Formal Verification of Object-Oriented Software
|
Bernhard BeckertClaude March� |
Springer |
_ |
2011 |
|
|
Formalization of Programming Concepts
|
J. D�azI. Ramos |
Springer |
_ |
1981 |
|
|
Foundation of Software Technology and Theoretical Computer Science
|
P. S. Thiagarajan |
Springer |
_ |
1994 |
|
|
Foundation Vibration Analysis
|
John P. Wolf and Andrew J. Deeks |
Elsevier |
9780750661645 |
2004 |
|
|
Foundational and Practical Aspects of Resource Analysis
|
Marko van EekelenOlha Shkaravska |
Springer |
_ |
2010 |
|
|
Foundational and Practical Aspects of Resource Analysis
|
Ricardo Pe�aMarko van EekelenOlha Shkaravska |
Springer |
_ |
2012 |
|
|
Foundations and Applications of Multi-Agent Systems
|
Mark d�InvernoMichael LuckMichael FisherChris Preist |
Springer |
_ |
2002 |
|
|
Foundations and Applications of Security Analysis
|
Pierpaolo DeganoLuca Vigan� |
Springer |
_ |
2009 |
|
|
Foundations and Practice of Security
|
Joaquin Garcia-AlfaroPascal Lafourcade |
Springer |
9783642279010 |
2012 |
|
|
Foundations and Tools for Neural Modeling
|
Jos� MiraJuan V. S�nchez-Andr�s |
Springer |
_ |
1999 |
|
|
Foundations of Augmented Cognition
|
Dylan D. SchmorrowLeah M. Reeves |
Springer |
_ |
2007 |
|
|
Foundations of Augmented Cognition. Directing the Future of Adaptive Systems
|
Dylan D. SchmorrowCali M. Fidopiastis |
Springer |
_ |
2011 |
|
|
Foundations of Augmented Cognition. Neuroergonomics and Operational Neuroscience
|
Dylan D. SchmorrowIvy V. EstabrookeMarc Grootjen |
Springer |
_ |
2009 |
|
|
Foundations of Computation Theory
|
Marek Karpinski |
Springer |
_ |
1983 |
|
|
Foundations of Computer Science
|
Christian FreksaMatthias JantzenR�diger Valk |
Springer |
_ |
1997 |
|
|
Foundations of Computer Software. Future Trends and Techniques for Development
|
Christine ChoppyOleg Sokolsky |
Springer |
_ |
2010 |
|
|
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems
|
Radu CalinescuEthan Jackson |
Springer |
_ |
2011 |
|
|
Foundations of Data Organization and Algorithms
|
David B. Lomet |
Springer |
_ |
1993 |
|
|
Foundations of Data Organization and Algorithms
|
Witold LitwinHans-J�rg Schek |
Springer |
_ |
1989 |
|
|
Foundations of Equational Logic Programming
|
Steffen H�lldobler |
Springer |
_ |
1989 |
|
|
Foundations of Fuzzy Logic and Soft Computing
|
Patricia MelinOscar CastilloLuis T. AguilarJanusz KacprzykWitold Pedrycz |
Springer |
_ |
2007 |
|
|
Foundations of Genetic Algorithms
|
Christopher R. StephensMarc ToussaintDarrell WhitleyPeter F. Stadler |
Springer |
_ |
2007 |
|
|
Foundations of Genetic Algorithms
|
Alden H. WrightMichael D. VoseKenneth A. De JongLothar M. Schmitt |
Springer |
_ |
2005 |
|
|
Foundations of Health Informatics Engineering and Systems
|
Zhiming LiuAlan Wassyng |
Springer |
9783642323553 |
2012 |
|
|
Foundations of Inductive Logic Programming
|
Shan-Hwei Nienhuys-ChengRoland de Wolf |
Springer |
_ |
1997 |
|