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 Wegen Wartungsarbeiten ist vom 12. bis 14. Januar 2026 der Museumslesesaal, sowie vom 14. bis 16. Januar 2026 der Musiklesesaal geschlossen. // Due to maintenance work the museum reading room will be closed from 12 to 14 January 2026 and the music reading room from 14 to 16 January 2026.
 
 
 


Ergebnis der Suche nach: tit all "Models in Science"
im Bestand: Gesamter Bestand

61 - 70 von 86
<< < > >>


Online Ressourcen 61 Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models
Danos, Vincent. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2012 		Online Ressource
Online Ressourcen 62 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 63 Filter Models: Non-idempotent Intersection Types, Orthogonality and Polymorphism
Bernadet, Alexis. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2011 		Online Ressource
Online Ressourcen 64 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 65 Evolving Multialgebras Unify All Usual Sequential Computation Models
Grigorieff, Serge. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010 		Online Ressource
Online Ressourcen 66 Named Models in Coalgebraic Hybrid Logic
Schröder, Lutz. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010 		Online Ressource
Online Ressourcen 67 About models of security protocols
Comon-Lundh, Hubert. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2008 		Online Ressource
Online Ressourcen 68 Space Hierarchy Results for Randomized Models
Kinne, Jeff. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2008 		Online Ressource
Artikel 69 A ‘Divergence Problem’ of global explanatory models in-between science and humanities
Enthalten in Humanities and Social Sciences Communications Bd. 10, 26.10.2023, Nr. 1, date:12.2023: 1-6 		Online Ressource
Artikel 70 Advancing complexity science in healthcare research: the logic of logic models
Enthalten in BMC medical research methodology Bd. 19, 12.3.2019, Nr. 1, date:12.2019: 1-11 		Online Ressource


61 - 70 von 86
<< < > >>




Materialarten

Alle Materialarten > Artikel (86)

Standorte

Alle Standorte > Online (frei zugänglich) (86)

Aktionen

Aktionen


E-Mail-IconAdministration