Kontakt
A-Z
Träger / Förderer
Datenschutz
Impressum
Hilfe
Mein Konto
English
Katalog
Einfache Suche
Erweiterte Suche
Browsen (DDC)
Suchverlauf
Meine Auswahl
Hilfe
Datenshop
Mein Konto
Ablieferung von Netzpublikationen
Informationsvermittlung
Über die Deutsche
Nationalbibliothek
Katalog der Deutschen Nationalbibliothek
Gesamter Bestand
Musikarchiv
Exilsammlungen
Buchmuseum
Suchformular zurücksetzen
Expertensuche
?
Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00
Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online!
→ Zur Betaversion des neuen DNB-Katalogs
24. Dezember 2025 bis 1. Januar 2026: Die Deutsche Nationalbibliothek bleibt an beiden Standorten geschlossen. Bestellte Medien werden am 2. Januar 2026 bereitgestellt. // 24 December 2025 to 1 January 2026: The German National Library will be closed at both locations. Ordered media will be made available on 2 January 2026.
Ergebnis der Suche nach:
tit all "Models in Science"
im Bestand: Gesamter Bestand
91 - 100 von 166
Datum (neuestes zuerst)
Datum (ältestes zuerst)
Titel (A-Z)
Titel (Z-A)
Name (A-Z)
Name (Z-A)
Interne ID-Nr. aufsteigend
Interne ID-Nr. absteigend
91
On the equational consistency of order-theoretic models of the lambda-calculus
Carraro, Alberto. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2012
92
Filter Models: Non-idempotent Intersection Types, Orthogonality and Polymorphism
Bernadet, Alexis. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2011
93
How to prove security of communication protocols? A discussion on the soundness of formal models w.r.t. computational ones.
Comon-Lundh, Hubert. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2011
94
Evolving Multialgebras Unify All Usual Sequential Computation Models
Grigorieff, Serge. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010
95
Named Models in Coalgebraic Hybrid Logic
Schröder, Lutz. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010
96
Transposition of EU-directives in the Austrian “Bundesländer” – Adoption of Political Science Implementation Models to the level of the Austrian states –
Enthalten in Vienna online journal on international constitutional law Bd. 4, 2010, Nr. 2: 203-216. 14 S.
97
About models of security protocols
Comon-Lundh, Hubert. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2008
98
Space Hierarchy Results for Randomized Models
Kinne, Jeff. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2008
99
Goldberg, S.: Probability in Social Science. Seven Expository Units Illustrating the Use of Probability Methods and Models, with Exercises, and Bibliographies to Guide Further Reading in the Social Science and Mathematics Literature. Birkhäuser, Boston, Basel, Stuttgart 1983, VII, 119 S., sFr. 26.‐
Enthalten in Biometrical journal Bd. 26, 2007, Nr. 6: 664-664. 1 S.
100
Models in Chemical Science. An Introduction of General Chemistry. Von G. S. Hammond, J. Osteryoung, Th. H. Crawford und H. B. Gray. W. A. Benjamin, Inc., New York 1971. 1. Aufl., XIII, 422 S., zahlr. Abb., geb. ca. DM 38.—.
Enthalten in Angewandte Chemie Bd. 85, 2006, Nr. 6: 269-269. 1 S.
91 - 100 von 166
Alle Materialarten
>
Artikel (166)
Alle Standorte
>
Leipzig (166)
Aktionen
In meine Auswahl übernehmen
Druckansicht
Versenden
News-Feed
Administration