Ionospheric Multi-Spacecraft Analysis Tools

EISBN:9783030267322
PISBN:9783030267315
出版社:Springer International Publishing
出版类型:Monograph
出版时间:2020
版次:1st ed. 2020
作者:Malcolm Wray Dunlop,Hermann Lühr
主题词:Physics,Space Sciences (including Extraterrestrial Physics,Space Exploration and Astronautics),Atmospheric Sciences,Astronomy,Observations and Techniques,Planetary Sciences
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Languages, Methodologies and Development Tools for Multi-Agent Systems

  • 作者:Mehdi Dastani,Amal Fallah Seghrouchni,João Leite,Paolo Torroni
  • EISBN:9783540850588
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2008

Languages, Methodologies, and Development Tools for Multi-Agent Systems

  • 作者:Mehdi Dastani,Amal Fallah Seghrouchni,Jomi Hübner,João Leite
  • EISBN:9783642227233
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2011

Tools and Algorithms for the Construction and Analysis of Systems

  • 作者:Parosh Aziz Abdulla,K. Rustan M. Leino
  • EISBN:9783642198359
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2011

Tools and Algorithms for the Construction and Analysis of Systems

  • 作者:C. R. Ramakrishnan,Jakob Rehof
  • EISBN:9783540788003
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2008

Tools and Algorithms for the Construction and Analysis of Systems

  • 作者:Kurt Jensen,Andreas Podelski
  • EISBN:9783540247302
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2004

Languages, Methodologies, and Development Tools for Multi-Agent Systems

  • 作者:Mehdi Dastani,Amal El Fallah Segrouchni,João Leite,Paolo Torroni
  • EISBN:9783642133381
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2010