Introduction To The Tools Of Scientific Computing
By: Einar Smith
Date: Jun 14, 2024 Edition: 1st EditionISBN: 3030608107, 978-3030608101
Reliable Software Technologies Ada Europe 2013...
By: Hubert B. Keller ,Erhard Plodereder ,Peter Dencker ,Herbert Klenk
Date: Jun 14, 2024 Edition: 2013 EditionISBN: 3642386008, 978-3642386008
Virtual Augmented And Mixed Reality Design And...
By: Jessie Y. C. Chen ,Gino Fragomeni
Date: Jun 14, 2024 Edition: 1st EditionISBN: 3031059387, 978-3031059384
Reachability Problems 7th International Workshop...
By: Parosh Aziz Abdulla ,Igor Potapov
Date: Jun 14, 2024 Edition: 2013 EditionISBN: 3642410359, 978-3642410352
Fme 93 Industrial Strength Formal Methods First...
By: James C.P. Woodcock ,Peter G. Larsen
Date: Jun 14, 2024 Edition: 1993rd EditionISBN: 3540566627, 978-3540566625
Verification Model Checking And Abstract...
By: Isil Dillig ,Jens Palsberg
Date: Jun 14, 2024 Edition: 1st EditionISBN: 3319737201, 978-3319737201
An Introductory Guide To Silvar Lisco And Hilo...
By: Barry G. Blundell ,C. N. Daskalakis ,N. A. E. Heyes ,T. P. Hopkins
Date: Jun 14, 2024 Edition: 1st EditionISBN: 0333448480, 978-0333448489
Integrated Formal Methods 10th International...
By: Einar Broch Johnsen ,Luigia Petre
Date: Jun 14, 2024 Edition: 2013 EditionISBN: 3642386121, 978-3642386121
Computer Simulation Of Street Traffic Nbs...
By: Martin C Stark
Date: Jun 14, 2024 Edition: 1st EditionISBN: 1014414555, 978-1014414557
Formal Methods And Software Development...
By: Hartmut Ehrig ,Christiane Floyd ,Maurice Nivat ,James Thatcher
Date: Jun 14, 2024 Edition: 1985 EditionISBN: 3540151990, 978-3540151999
Readings On Cognitive Ergonomics Mind And...
By: G.c. Van Der Veer
Date: Jun 14, 2024 Edition: 1st EditionISBN: 0387133941, 978-0387133942
Computer Science Logic 15th International...
By: Laurent Fribourg
Date: Jun 14, 2024 Edition: 2001st EditionISBN: 3540425543, 978-3540425540
Understanding And Managing Cybercrime
By: Iii Mcquade, Samuel C.
Date: Jun 14, 2024 Edition: 1st EditionISBN: 020543973X, 978-0205439737
Overcoming Body Focused Repetitive Behaviors A...
By: Charles S. Mansueto PhD ,Sherrie Mansfield Vavrichek LCSW-C ,Ruth Goldfinger Golomb LCPC ,Jennifer Raikes
Date: Jun 14, 2024 Edition: 1st EditionISBN: 1684033640
Model Checking Software 19th International Spin...
By: Alastair Donaldson ,David Parker
Date: Jun 14, 2024 Edition: 2012 EditionISBN: 3642317588, 978-3642317583
The Perfect Pass American Genius And The...
By: S. C. Gwynne
Date: Jun 14, 2024 Edition: 1st EditionISBN: 1501116207, 978-1501116209
Computer Vision Accv 2014 Workshops Singapore...
By: C.V. Jawahar ,Shiguang Shan
Date: Jun 14, 2024 Edition: 2015 EditionISBN: 3319166271, 978-3319166278
Static Analysis 19th International Symposium Sas...
By: Antoine Mine ,David Schmidt
Date: Jun 14, 2024 Edition: 2012 EditionISBN: 3642331246, 978-3642331244
Ignite Your Soul A Guided Reflection On...
By: C. G. Lewis
Date: Jun 14, 2024 Edition: 1st EditionISBN: 979-8989169405
Computer Vision Accv 2014 Workshops Singapore...
By: C.V. Jawahar ,Shiguang Shan
Date: Jun 14, 2024 Edition: 2015 EditionISBN: 3319166301, 978-3319166308
Rewriting Logic And Its Applications 9th...
By: Francisco Duran
Date: Jun 14, 2024 Edition: 2012 EditionISBN: 3642340040, 978-3642340048
Go For The Code Book C
By: Nancy Hall
Date: Jun 14, 2024 Edition: 2nd EditionISBN: 0838878210, 978-0838878217
Computer Vision Accv 2014 Workshops Singapore...
By: C. V. Jawahar ,Shiguang Shan
Date: Jun 14, 2024 Edition: 2015 EditionISBN: 3319166336, 978-3319166339
Fundamentals Of Algebraic Specification 1...
By: Hartmut Ehrig ,Bernd Mahr
Date: Jun 14, 2024 Edition: 1st EditionISBN: 3642699642, 978-3642699641
Early Christian Fathers
By: Cyril Richardson
Date: Jun 14, 2024 Edition: 1st EditionISBN: 0684829517, 978-0684829517
Introduction To Computer Appreciation And...
By: Willie C. J.
Date: Jun 14, 2024 Edition: 1st EditionISBN: 1654066710, 978-1654066710
Model Checking Software 18th International Spin...
By: Alex Groce ,Madanlal Musuvathi
Date: Jun 14, 2024 Edition: 2011 EditionISBN: 3642223052, 978-3642223051
Death Of A Travelling Man
By: M. C. Beaton
Date: Jun 14, 2024 Edition: 1st EditionISBN: 0446573515, 978-0446573511
Operating Systems Proceedings Of An International...
By: E. Gelenbe ,C. Kaiser
Date: Jun 14, 2024 Edition: 1st EditionISBN: 354006849X, 978-3540068495
Nasa Formal Methods International Symposium Nfm...
By: Alwyn Goodloe ,Suzette Person
Date: Jun 14, 2024 Edition: 2012 EditionISBN: 3642288901, 978-3642288906
