Jump to main content

yr 〜
yr

Search results 4

Understanding and changing the world : from information to knowledge and intelligence hbk :

Understanding and changing the world : from information to knowledge and intelligence hbk :
Paper図書
Joseph SifakisSpringerc2022
Other Libraries in Japan
  • Author HeadingSifakis, Joseph

Embedded systems design : The ARTIST Roadmap for Research and Development

Embedded systems design : The ARTIST Roadmap for Research and Development
Paper図書
Bruno Bouyssounouse, Joseph Sifakis (eds.)Springerc2005
Other Libraries in Japan
  • Author HeadingBouyssounouse, Bruno Sifakis, Joseph

Embedded software : Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002 : proceedings

Embedded software : Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002 : proceedings
Paper図書
Alberto Sangiovanni-Vincentelli, Joseph Sifakis (eds.)Springerc2002
Other Libraries in Japan
  • Author HeadingEMSOFT Sangiovanni-Vincentelli, Alberto Sifakis, Joseph

Automatic verification methods for finite state systems : International Workshop, Grenoble, France, June 12-14, 1989, proceedings : gw pbk : gw : us

Automatic verification methods for finite state systems : International Workshop, Grenoble, France, June 12-14, 1989, proceedings : gw pbk : gw : us
Paper図書
J. Sifakis (ed.)Springer-Verlagc1990
Other Libraries in Japan
  • Author HeadingSifakis, Joseph

Reached to the end of result.

RSS