Katalog der Deutschen Nationalbibliothek

Neuigkeiten 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
 
Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten 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
<< < > >>


Online Ressourcen 91 On the equational consistency of order-theoretic models of the lambda-calculus
Carraro, Alberto. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2012
Online Ressource
Online Ressourcen 92 Filter Models: Non-idempotent Intersection Types, Orthogonality and Polymorphism
Bernadet, Alexis. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2011
Online Ressource
Online Ressourcen 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
Online Ressource
Online Ressourcen 94 Evolving Multialgebras Unify All Usual Sequential Computation Models
Grigorieff, Serge. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010
Online Ressource
Online Ressourcen 95 Named Models in Coalgebraic Hybrid Logic
Schröder, Lutz. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010
Online Ressource
Artikel 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.
Online Ressource
Online Ressourcen 97 About models of security protocols
Comon-Lundh, Hubert. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2008
Online Ressource
Online Ressourcen 98 Space Hierarchy Results for Randomized Models
Kinne, Jeff. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2008
Online Ressource
Artikel 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.
Online Ressource
Artikel 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.
Online Ressource


91 - 100 von 166
<< < > >>


E-Mail-IconAdministration