本文に飛ぶ

年 〜
年

検索結果 4 件

Efficient solving of large arithmetic constraint systems with complex Boolean structure : proof engines for the analysis of hybrid discrete-continuous systems 1. ed

Efficient solving of large arithmetic constraint systems with complex Boolean structure : proof engines for the analysis of hybrid discrete-continuous systems 1. ed
紙図書
Christian HerdeVieweg + Teubner2011
全国の図書館
  • 関連情報Vieweg + Teubner research
  • 掲載誌Vieweg + Teubner research

Security engineering for vehicular IT systems : improving the trustworthiness and dependability of automotive IT applications 1. ed

Security engineering for vehicular IT systems : improving the trustworthiness and dependability of automotive IT applications 1. ed
紙図書
Marko WolfVieweg + Teubner2009
全国の図書館
  • 関連情報Vieweg + Teubner research
  • 掲載誌Vieweg + Teubner research

Aufdecken mathematischer Begabung bei Kindern im 1. und 2. Schuljahr

Aufdecken mathematischer Begabung bei Kindern im 1. und 2. Schuljahr
紙図書
Claudia Lack ; mit einem Geleitw. von Rudolf SträsserVieweg + Teubner2009
全国の図書館
  • 関連情報Vieweg + Teubner research Wissenschaft
  • 掲載誌Vieweg + Teubner research Wissenschaft

Vieweg + Teubner research

Vieweg + Teubner research
紙図書
Vieweg + Teubner
全国の図書館

検索結果は以上です。

RSS