|
Flexible Query Answering Systems
|
Troels AndreasenRonald R. YagerHenrik BulskovHenning ChristiansenHenrik Legind Larsen |
Springer |
_ |
2009 |
|
|
Flexible Query Answering Systems
|
Henning ChristiansenGuy De Tr�Adnan YaziciSlawomir ZadroznyTroels AndreasenHenrik Legind Larsen |
Springer |
_ |
2011 |
|
|
Flexible Query Answering Systems
|
Troels AndreasenHenning ChristiansenHenrik Legind Larsen |
Springer |
_ |
1998 |
|
|
Flow Induced Vibrations
|
Shigehiko Kaneko, Tomomichi Nakamura, Fumio Inada and Minoru Kato (ed.) |
Elsevier |
9780080449548 |
2008 |
|
|
Flowering Plants
|
Armen Takhtajan |
Springer |
_ |
2009 |
|
|
Fluid Mechanics
|
Fox Alan T. Pritchard P. J.; Mitchell J W. |
John Wiley & Sons |
9789388991735 |
2015 |
|
|
Fluid mechanics
|
Piyush K. Kundu J.M. Gasiorek |
Elsevier |
9780123814005 |
2010 |
|
|
Fluid Mechanics: Fundamentals And Applications (Sie)
|
Mehmet Kanoglu |
McGraw Hill |
9789353166229 |
|
|
|
Fluorinated Ionomers
|
Walther Grot |
Elsevier |
9780815515418 |
2008 |
|
|
FM 2005: Formal Methods
|
John FitzgeraldIan J. HayesAndrzej Tarlecki |
Springer |
_ |
2005 |
|
|
FM 2006: Formal Methods
|
Jayadev MisraTobias NipkowEmil Sekerinski |
Springer |
_ |
2006 |
|
|
FM 2008: Formal Methods
|
Jorge CuellarTom MaibaumKaisa Sere |
Springer |
_ |
2008 |
|
|
FM 2009: Formal Methods
|
Ana CavalcantiDennis R. Dams |
Springer |
_ |
2009 |
|
|
FM 2011: Formal Methods
|
Michael ButlerWolfram Schulte |
Springer |
_ |
2011 |
|
|
FM 2012: Formal Methods
|
Dimitra GiannakopoulouDominique M�ry |
Springer |
_ |
2012 |
|
|
FM8501: A Verified Microprocessor
|
Warren A. Hunt Jr. |
Springer |
_ |
1994 |
|
|
FME '93: Industrial-Strength Formal Methods
|
James C. P. WoodcockPeter G. Larsen |
Springer |
_ |
1993 |
|
|
FME '94: Industrial Benefit of Formal Methods
|
Maurice NaftalinTim DenvirMiquel Bertran |
Springer |
_ |
1994 |
|
|
FME '97: Industrial Applications and Strengthened Foundations of Formal Methods
|
John FitzgeraldCliff B. JonesPeter Lucas |
Springer |
_ |
1997 |
|
|
FME 2001: Formal Methods for Increasing Software Productivity
|
Jos� Nuno OliveiraPamela Zave |
Springer |
_ |
2001 |
|
|
FME 2002:Formal Methods�Getting IT Right
|
Lars-Henrik ErikssonPeter Alexander Lindsay |
Springer |
_ |
2002 |
|
|
FME 2003: Formal Methods
|
Keijiro ArakiStefania GnesiDino Mandrioli |
Springer |
_ |
2003 |
|
|
FME'96: Industrial Benefit and Advances in Formal Methods
|
Marie-Claude GaudelJames Woodcock |
Springer |
_ |
1996 |
|
|
FM�99 � Formal Methods
|
Jeannette M. WingJim WoodcockJim Davies |
Springer |
_ |
1999 |
|
|
FM�99 � Formal Methods
|
Jeannette M. WingJim WoodcockJim Davies |
Springer |
_ |
1999 |
|