- Standort
-
Hannover TIB
- Umfang
-
378MB, 01:02:06:21 (unknown)
- Sprache
-
Englisch
- Anmerkungen
-
Audiovisuelles Material
- Erschienen in
-
Kolloquium für Informatik, 2015 ; (Jan. 2015)
- Ereignis
-
Veröffentlichung
- (wer)
-
Eidgenössische Technische Hochschule Zürich (ETH Zürich)
- (wann)
-
2015-01-01
- Beteiligte Personen und Organisationen
-
Miller, Dale
Blanco, Roberto
Chihani, Zakaria
Heath, Quentin
Ilik, Danko
Libal, Tomer
Renaud, Fabien
Reis, Giselle
- DOI
-
10.5446/43673
- Letzte Aktualisierung
-
04.12.2024, 08:09 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- zweidimensionales bewegtes Bild
Beteiligte
- Miller, Dale
- Blanco, Roberto
- Chihani, Zakaria
- Heath, Quentin
- Ilik, Danko
- Libal, Tomer
- Renaud, Fabien
- Reis, Giselle
- Eidgenössische Technische Hochschule Zürich (ETH Zürich)
Entstanden
- 2015-01-01
Ähnliche Objekte (12)
The presentation of formal proofs
Formal verification of cryptographic security proofs
Automated methods for formal proofs in simple arithmetics and algebra
Proofs and Provability
Proofs and "Puzzles"
Proofs and "Puzzles"
Transformations of specifications and proofs to support an evolutionary formal software development
Constructing and communicating Europe
Communicating risk and safety
Designing and communicating experience
Communicating cultures
Communicating sustainability
The presentation of formal proofs
Formal verification of cryptographic security proofs
Automated methods for formal proofs in simple arithmetics and algebra
Proofs and Provability
Proofs and "Puzzles"
Proofs and "Puzzles"
Transformations of specifications and proofs to support an evolutionary formal software development
Constructing and communicating Europe
Communicating risk and safety
Designing and communicating experience
Communicating cultures
Communicating sustainability
The presentation of formal proofs
Formal verification of cryptographic security proofs
Automated methods for formal proofs in simple arithmetics and algebra
Proofs and Provability
Proofs and "Puzzles"
Proofs and "Puzzles"
Transformations of specifications and proofs to support an evolutionary formal software development
Constructing and communicating Europe
Communicating risk and safety
Designing and communicating experience
Communicating cultures