Jump to main content

yr 〜
yr

Search results 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
Paper図書
Christian HerdeVieweg + Teubner2011
Other Libraries in Japan
  • Related MaterialVieweg + Teubner research
  • Periodical TitleVieweg + 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
Paper図書
Marko WolfVieweg + Teubner2009
Other Libraries in Japan
  • Related MaterialVieweg + Teubner research
  • Periodical TitleVieweg + Teubner research

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

Aufdecken mathematischer Begabung bei Kindern im 1. und 2. Schuljahr
Paper図書
Claudia Lack ; mit einem Geleitw. von Rudolf SträsserVieweg + Teubner2009
Other Libraries in Japan
  • Related MaterialVieweg + Teubner research Wissenschaft
  • Periodical TitleVieweg + Teubner research Wissenschaft

Vieweg + Teubner research

Vieweg + Teubner research
Paper図書
Vieweg + Teubner
Other Libraries in Japan

Reached to the end of result.

RSS