Katalog der Deutschen Nationalbibliothek

Ergebnis der Suche nach: dcs=511*
im Bestand: Gesamter Bestand

131 - 140 von 719

	131	Towards an arithmetic for partial computable functionals Karádais, Basil A.. - München : Universitätsbibliothek der Ludwig-Maximilians-Universität, 2013
	132	Towards an arithmetic for partial computable functionals Karádais, Basil A., 2013
	133	Towards more useful description logics of time, change and context Gutiérrez Basulto, Víctor Didier, 2013
	134	Towards More Useful Description Logics of Time, Change and Context Gutiérrez Basulto, Víctor Didier. - Bremen : Staats- und Universitätsbibliothek Bremen, 2013
	135	Ageing notions in the analysis of stochastic Petri nets Alexin, Johann, 2012
	136	Algebraic methods for computing the reliability of networks Simon, Frank, [2012]
	137	Algebraic Methods for Computing the Reliability of Networks Simon, Frank. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2012
	138	Algebraic uncertainty theory Zimmermann, Jörg, 2012
	139	Algorithmen für das stochastische Steinerbaumproblem auf serien-parallelen Graphen Bökler, Fritz. - Dortmund : TU, Algorithm Engineering, 2012
	140	Analysis of methods for extraction of programs from non-constructive proofs Trifonov, Trifon. - München : Universitätsbibliothek der Ludwig-Maximilians-Universität, 2012