|
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
|
Tiziana MargariaBernhard Steffen |
Springer |
9783642340260 |
2012 |
|
|
Leveraging Applications of Formal Methods, Verification, and Validation
|
Tiziana MargariaBernhard Steffen |
Springer |
_ |
2010 |
|
|
Leveraging Applications of Formal Methods, Verification, and Validation
|
Tiziana MargariaBernhard Steffen |
Springer |
_ |
2010 |
|
|
Leveraging Constraints for Innovation - New Product Development Essentials from the PDMA
|
Sebastian Gurtner, Jelena Spanjol and Abbie Griffin |
Wiley |
9781119390299 |
2018 |
|
|
Leveraging the Semantics of Topic Maps
|
Lutz MaicherAlexander SigelLars Marius Garshol |
Springer |
_ |
2007 |
|
|
Lexical Semantics and Knowledge Representation
|
James PustejovskySabine Bergler |
Springer |
_ |
1992 |
|
|
Life as Its Own Designer
|
Anton Marko�Filip GrygarL�szl� HajnalKarel KleisnerZdenek Kratochv�lZdenek Neubauer |
Springer |
_ |
2009 |
|
|
Life System Modeling and Intelligent Computing
|
Kang LiLi JiaXin SunMinrui FeiGeorge W. Irwin |
Springer |
_ |
2010 |
|
|
Life System Modeling and Intelligent Computing
|
Kang LiMinrui FeiLi JiaGeorge W. Irwin |
Springer |
_ |
2010 |
|
|
Life System Modeling and Intelligent Computing
|
Kang LiMinrui FeiLi JiaGeorge W. Irwin |
Springer |
_ |
2010 |
|
|
Life System Modeling and Simulation
|
Kang LiXin LiGeorge William IrwinGusen He |
Springer |
_ |
2007 |
|
|
Lighting Engineering
|
R.H. Simons and A.R. Bean |
Elsevier |
9780750650519 |
2001 |
|
|
Limitations to Efficient Water Use in Crop Production
|
Howard M. Taylor, Wayne R. Jordan and Thomas R. Sinclair (ed.) |
ASA CSSA SSSA |
9780891182412 |
1983 |
|
|
Linear Circuit Design Handbook
|
Hank Zumbahlen and with the engineering staff of Analog Devices |
Elsevier |
9780750687034 |
2008 |
|
|
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
|
J. W. de BakkerW. -P. de RoeverG. Rozenberg |
Springer |
_ |
1989 |
|
|
Link Mining: Models, Algorithms, and Applications
|
Philip S. YuJiawei HanChristos Faloutsos |
Springer |
_ |
2010 |
|
|
Linking Genetic Resources and Geography: Emerging Strategies for Conserving and Using Crop Biodiversity
|
Stephanie L. Greene andLuigi Guarino (ed.) |
CSSA ASA |
9780891186069 |
1999 |
|
|
Linking Literature, Information, and Knowledge for Biology
|
Christian BlaschkeHagit Shatkay |
Springer |
_ |
2010 |
|
|
Lipid A in Cancer Therapy
|
Jean-Fran�ois Jeannin |
Springer |
_ |
2010 |
|
|
Lipid Signaling in Plants
|
Teun Munnik |
Springer |
_ |
2010 |
|
|
Lipids in Aquatic Ecosystems
|
Martin KainzMichael T. BrettMichael T. Arts |
Springer |
_ |
2009 |
|
|
Lipids in Photosynthesis
|
Hajime WadaNorio Murata |
Springer |
_ |
2009 |
|
|
List Decoding of Error-Correcting Codes
|
Venkatesan Guruswami |
Springer |
_ |
2005 |
|
|
Literature, Laboratory Techniques, and Common Starting Materials, Volume 1
|
Herrmann, W. A. |
Georg Thieme Verlag |
9783131841810 |
1996 |
New Arrival |
|
Live Data Structures in Logic Programs
|
Anne Mulkers |
Springer |
9783540476337 |
1993 |
|