Katalog der Deutschen Nationalbibliothek

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

61 - 70 von 86

	61	Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models Danos, Vincent. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2012
	62	On the equational consistency of order-theoretic models of the lambda-calculus Carraro, Alberto. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2012
	63	Filter Models: Non-idempotent Intersection Types, Orthogonality and Polymorphism Bernadet, Alexis. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2011
	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
	65	Evolving Multialgebras Unify All Usual Sequential Computation Models Grigorieff, Serge. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010
	66	Named Models in Coalgebraic Hybrid Logic Schröder, Lutz. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010
	67	About models of security protocols Comon-Lundh, Hubert. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2008
	68	Space Hierarchy Results for Randomized Models Kinne, Jeff. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2008
	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
	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

61 - 70 von 86

Alle Materialarten > Artikel (86)

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

Aktionen

Administration