Weiter zum Inhalt
Start Suche
Toggle navigation
Merkliste (
0
)
(Voll)
Sprache
English
Deutsch
Mein Konto
Abmeldung
Anmelden
Suchen
Erweiterte Suche
Suchverlauf
Suche im alten Katalog
Die von der HCU lizenzierten E-Medien sind aus lizenzrechtlichen Gründen nur im HCU-Netz frei nutzbar (
Tipps zum Zugriff für HCU-Angehörige
)
Bücher & mehr
Aufsätze
1
Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant
von: Chlipala, Adam
[2013], The MIT Press
Wird geladen...
2
Hangzhou Lectures on Eigenfunctions of the Laplacian
von: Sogge, Christopher D.
2014, Princeton University Press
Wird geladen...
3
Information Science
von: Luenberger, David G.
2012, Princeton University Press
Wird geladen...
4
Good science : the ethical choreography of stem cell research
von: Thompson, Charis
[2013], The MIT Press
Wird geladen...
Nicht das Richtige dabei?
Schreiben Sie uns!
Sortieren & Filtern
Sortieren nach
Relevanz
Neueste zuerst
Älteste zuerst
Autor*in
Titel
Einschränken auf E-Medien
Bestand HCU
Bibliothek
Standort (Printmedien)
Format
E-Book
4
Erscheinungsjahr
Von:
Bis:
Sprache
Englisch
4
Nicht das Richtige dabei?
Schreiben Sie uns!
Wird geladen...
