Katalog der Deutschen Nationalbibliothek

Expertensuche ?

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.

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

81 - 90 von 106

	81	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
	82	Evolving Multialgebras Unify All Usual Sequential Computation Models Grigorieff, Serge. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010
	83	Named Models in Coalgebraic Hybrid Logic Schröder, Lutz. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010
	84	Construction of process models from example runs Bergenthum, Robin. - Augsburg : Universität Augsburg, 2009
	85	About models of security protocols Comon-Lundh, Hubert. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2008
	86	Space Hierarchy Results for Randomized Models Kinne, Jeff. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2008
	87	The change of science teachers' personal knowledge about teaching models and modelling in the context of science education reform Henze, Ineke. - Mannheim, 2008
	88	Lattice models in materials science Hartmann, Markus, 2006
	89	Integrating models of personality and emotions into lifelike characters André, Elisabeth. - Augsburg : Universität Augsburg, 2000
	90	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