Rigorous State-Based Methods

EISBN:9783031637902
PISBN:9783031637896
出版社:Springer Nature
出版时间:2024
作者:Silvia Bonfanti,Angelo Gargantini,Michael Leuschel,Elvinia Riccobene,Patrizia Scandurra
主题词:Computers,Computer Science,Computers,Hardware,General,Computers,Business & Productivity Software,General,Computers,Artificial Intelligence,General,Computers,Programming,Compilers
学科:TP ( T 工业技术,TP 自动化技术、计算机技术 )
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Rigorous State-Based Methods

  • 作者:Uwe Glässer,Jose Creissac Campos,Dominique Méry,Philippe Palanque
  • EISBN:9783031331633
  • 出版社:Springer Nature
  • 出版时间:2023

Rigorous State-Based Methods

  • 作者:Alexander Raschke,Dominique Méry,Frank Houdek
  • EISBN:9783030480776
  • 出版社:Springer International Publishing
  • 出版时间:2020

Rigorous Methods in Particle Physics

  • 作者:Sorin Ciulli,Florian Scheck,Walter Thirring
  • EISBN:9783540471769
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1990

Rigorous Methods for Software Construction and Analysis

  • 作者:Jean-Raymond Abrial,Uwe Glässer
  • EISBN:9783642114472
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2009

Rigorous Methods in Particle Physics

  • 作者:Sorin Ciulli,Florian Scheck,Walter Thirring
  • EISBN:9783540471769
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1990

Event-Based State Estimation

  • 作者:Dawei Shi,Ling Shi,Tongwen Chen
  • EISBN:9783319266060
  • 出版社:Springer International Publishing
  • 出版时间:2016