Showing 1 - 4 results of 4 for search 'Damm, Werner' Skip to content
Národní Technická knihovna VŠCHT ÚOCHB
Čeština
Log Out Institutional Login
Dear users, the library is open in restricted mode from December 18, 2020 until further notice. More information here.

Advanced Search
  1. Home
  2. Author
  3. Damm, Werner
Showing 1 - 4 results of 4 for search 'Damm, Werner', query time: 0.04s Refine Results
Cover Image

Die IO- und OI-Hierarchien als Interpretation von Schemata mit Rekursion auf höheren Typen

by Damm, Werner Published: 1980
Located: Loading...
Book Loading...
Saved in:
Cover Image

Computer Aided Verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings

Published: 2007
Located: Loading...
Get full text
eBook
Saved in:
Cover Image

Formal techniques in real-time and fault-tolerant systems : 7th international symposium, FTRTFT 2002, co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002 : procee...

Published: 2002
Located: Loading...
Book Loading...
Saved in:
Cover Image

Computer aided verification : 19th international conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : proceedings

Published: 2007
Located: Loading...
Get full text
Book
Saved in:
Search Tools: Get RSS Feed — Email this Search — Save Search

Related Subjects

softwarové inženýrství kvalita programu informatika matematická logika operační systémy pro řízení v reálném čase počítače umělá inteligence verifikace programu
  • Search Options
    • Search Tips
    • Browse the Catalog
    • Browse Alphabetically
  • Find More
    • New Items
    • Electronic Resources
    • TECH
  • Need Help?
    • Interlibrary Loan
    • Ask a Librarian
    • FAQs
  • In collaboration with
    • Book Cover Database
    • Knihovny.cz
    • Ask Your Library Portal

Technická 2710/6, 160 80 Praha 6 - Dejvice
info@techlib.cz, tel.: 232 002 535

Privacy Access & Privileges Copyright © 2006 - 2020

Loading...