Katalog der Deutschen Nationalbibliothek

Neuigkeiten Der Multimedia-Zeitschriftenlesesaal und der Kartenlesesaal in Leipzig sind vom 30.10. bis 03.11. geschlossen. // The multimedia/periodical reading room and the map reading room in Leipzig are closed from 30.10 to 03.11.
 
Neuigkeiten Leipzig: Freitag, 31. Oktober 2025: Die Deutsche Nationalbibliothek in Leipzig ist geschlossen. Die Ausstellungen des Deutschen Buch- und Schriftmuseums sind von 10 bis 18 Uhr geöffnet. // Friday, 31 October 2025: The German National Library in Leipzig will be closed. The exhibitions of the German Museum of Books and Writing will open from 10:00 to 18:00.
 
 
 


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

61 - 70 von 84
<< < > >>


Online Ressourcen 61 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 62 Filter Models: Non-idempotent Intersection Types, Orthogonality and Polymorphism
Bernadet, Alexis. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2011 		Online Ressource
Online Ressourcen 63 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 64 Evolving Multialgebras Unify All Usual Sequential Computation Models
Grigorieff, Serge. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010 		Online Ressource
Online Ressourcen 65 Named Models in Coalgebraic Hybrid Logic
Schröder, Lutz. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010 		Online Ressource
Online Ressourcen 66 About models of security protocols
Comon-Lundh, Hubert. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2008 		Online Ressource
Online Ressourcen 67 Space Hierarchy Results for Randomized Models
Kinne, Jeff. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2008 		Online Ressource
Artikel 68 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 69 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
Artikel 70 AI-assisted discovery of quantitative and formal models in social science
Enthalten in Humanities and Social Sciences Communications Bd. 12, 31.1.2025, Nr. 1, date:12.2025: 1-12 		Online Ressource


61 - 70 von 84
<< < > >>




Materialarten

Alle Materialarten > Artikel (84)

Standorte

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

Aktionen

Aktionen


E-Mail-IconAdministration