Kanály - NASA Formal Methods : :: Biblioteca ITESO

Podobné jednotky: NASA Formal Methods :

Rychlý náhled
NASA Formal Methods : Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings /
Rychlý náhled
NASA Formal Methods : 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014 : Proceedings /
Rychlý náhled
NASA Formal Methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings /
Rychlý náhled
NASA : Triumphs and Tragedies : 50 Years of Space Exploration : Satellite Repairs ; Challenger, Disaster and Investigation ; Nasa, The 25th Year /
Rychlý náhled
FM 2012: Formal Methods : 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings /
Rychlý náhled
Software Engineering and Formal Methods : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings /
Rychlý náhled
Integrated Formal Methods : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings /
Rychlý náhled
Formal Methods and Software Engineering : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings /
Rychlý náhled
Formal Methods: Foundations and Applications : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings /
Rychlý náhled
Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures /
Rychlý náhled
NASA : abriendo nuevas fronteras : los vuelos orbitales del sistema de transporte espacial /
Rychlý náhled
Integrated Formal Methods : 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings /
Rychlý náhled
Leveraging Applications of Formal Methods, Verification and Validation : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II /
Rychlý náhled
Leveraging Applications of Formal Methods, Verification and Validation : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I /
Rychlý náhled
NASA, 25 years : the greatest show in space /
Rychlý náhled
NASA : Triumphs and Tragedies : 50 Years of Space Exploration : Freedom 7 ; The Voyage of Friendship 7 ; The Four Days of Gemini 4 ; Gemini VIII, This Is Houston Flight ; Apolo 11, The Eagle Has Landed /
Rychlý náhled
Formal Methods for Industrial Critical Systems : 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings /
Rychlý náhled
Formal Methods and Software Engineering : 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014 : Proceedings /
Rychlý náhled
FM 2011: Formal Methods : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings /
Rychlý náhled
FM 2006: Formal Methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings /
Rychlý náhled
FM 2008: Formal Methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings /
Rychlý náhled
NASA, 25 Years : The Greatest Show in Space : The Four Days of Gemini 4 ; Gemini VIII, This Is Houston Flight /
Rychlý náhled
NASA : Triumphs and Tragedies : 50 Years of Space Exploration : Skylab, The First 40 Days ; Four Rooms, Earth View ; Opening New Frontiers ; We Deliver ; Launch and Retrieval of Satellites /
Rychlý náhled
Web Services and Formal Methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers /

Autor: Alwyn E. Goodloe, Suzette Person

Rychlý náhled
NASA Formal Methods : 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings /

© 2026 Catálogo Público de la Biblioteca V/F -- v.11.0