Søk: 'Formal Methods Applications and Technology'
-
Spatial Statistics and Geostatistics: Theory and Applications for Geographic Information Science and Technology
ISBN 9781446201749 , 2013 , Yongwan Chun, Daniel A Griffith
-
Ecology: Concepts and Applications: Concepts and Applications
ISBN 9780071317894 , 2012 , Manuel C Molles
-
Solar Cells: Operating Principles, Technology and System Applications
ISBN 9780858235809 , 1986 , Martin A. Green
-
Foundations of the Formal Sciences II: Applications of Mathematical Logic in Philosophy and Linguistics
ISBN 9781402011542 , 2003 , Benedikt Löwe, Wolfgang Malzkorn, Thoralf Räsch
-
Physics of Spin in Solids: Materials, Methods and Applications
ISBN 9781402022258 , 2004 , Samed Halilov
-
Physics of Spin in Solids: Materials, Methods and Applications
ISBN 9781402022265 , 2004 , Samed Halilov
-
Handbook of Applied Spatial Analysis: Software Tools, Methods and Applications
ISBN 9783642036460 , 2009 , Arthur Getis, Manfred M. Fischer
-
Case Study Research: Design and Methods
ISBN 9781452242569 , 2013 , Robert K. Yin
-
Applied Business Statistics Solutions Manual: Methods and Excel-Based Applications
ISBN 9780702177354 , 2008 , Trevor Wegner
-
From Genes to Genomes: Concepts and Applications of DNA Technology
ISBN 9780471497837 , 2002 , Jeremy W. Dale, Malcolm Von Schantz
-
Chemical vapor deposition for microelectronics: principles, technology, and applications
ISBN 9780815511366 , 1987 , Arthur Sherman
-
Java Methods for Financial Engineering: Applications in Finance and Investment
ISBN 9781852338329 , 2007 , Philip Barker
-
Discrete-Time Markov Chains: Two-Time-Scale Methods and Applications
ISBN 9780387219486 , 2004 , Qing Zhang, George Yin
-
Manufacturing Engineering and Technology
ISBN 9789810694067 , 2013
-
Formal logic: its scope and limits
ISBN 9780070323575 , 1991 , Richard C. Jeffrey
-
Applications of Group-Theoretical Methods in Hydrodynamics
ISBN 9780792352150 , 1998 , V.K. Andreev, O. V. Kaptsov,m.fl.
-
Causal Analysis in Population Studies: Concepts, Methods, Applications
ISBN 9781402099663 , 2009 , Henriette Engelhardt, Hans-Peter Kohler,m.fl.
-
Fluid Mechanics: Fundamentals and Applications
ISBN 9781259011221 , 2013 , Yunus A. Cengel, John M. Cimbala
-
A Course in Formal Languages, Automata and Groups
ISBN 9781848009394 , 2009 , Ian M. Chiswell, Sheldon Axler, Vincenzo Capasso,m.fl.
-
Advances in Econometrics: Bayesian Computational Methods & Applications
ISBN 9781559389730 , 1996 , Thomas B. Fomby, R. Carter Hill,m.fl.
-
Nanoelectronics and Information Technology
ISBN 9783527409273 , 2012 , Rainer Waser
-
Modernity and Technology
ISBN 9780262633109 , 2004 , Thomas J. Misa, Philip Brey, Andrew Feenberg
-
Calculus and Its Applications
ISBN 9780321485434 , 2008
-
Stochastic methods and their applications to communications: stochastic differential equations approach
ISBN 9780470847411 , 2004 , Vladimir Lyandres, Valeri Kontorovitch,m.fl.
-
An introduction to formal specification and Z
ISBN 9780132422079 , 1996 , Ben Potter, Jane Sinclair, David Till
-
Culture and Technology
ISBN 9780333929292 , 2002 , Andrew Murphie, John Potts
-
Formal Semantics and Pragmatics for Natural Language Querying
ISBN 9780521602747 , 2004 , James Clifford, C. J. Van Rijsbergen, S. Abramsky,m.fl.
-
Complex Variables and Applications
ISBN 9781259072772 , 2014 , James Ward Brown, Ruel Vance Churchill
-
Formal logic - a guided tour
ISBN 9788274771888 , 2004 , Herman Ruge Jervell
-
Fluid Mechanics: Fundamentals and Applications
ISBN 9780071284219 , 2009 , Yunus A. Cengel, John M. Cimbala