Ihre Suche erzielte 19 Treffer.

Ergebnisse
	1.	Optimization of stochastic systems topics in discrete-time systems Masanao Aoki von Aoki, Masanao, 1931-2018 [aut] Reihen: ; 3200 \| Mathematics in science and engineering ; 32 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: New York [u.a.] Acad. Press 1967 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) AOK m 1967:1 1.Ex. Vormerken Zum Korb hinzufügen (Entfernen)
	2.	Stochastic behavior in classical and quantum Hamiltonian systems Volta Memorial Conference, Como, 1977 ed. by G. Casati ... von Casati, Giulio, 1942- [Hrsg.] Volta Memorial Conference 1977 Como [oth] Reihen: ; 9300 \| Lecture notes in physics ; 93 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1979 Online-Ressourcen: Cover Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNP 93. Vormerken Zum Korb hinzufügen (Entfernen)
	3.	Formal methods for real time and probabilistic systems 5th International AMAST Workshop, ARTS '99, Bamberg, Germany, May 26 - 28, 1999 ; proceedings Joost-Pieter Katoen (ed.) von Katoen, Joost-Pieter [Hrsg.] International AMAST Workshop 5 1999 Bamberg [oth] Reihen: ; 160100 \| Lecture notes in computer science ; 1601 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1999 Weitere Titel: AMAST Workshop ARTS '99 Online-Ressourcen: Cover Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 1601. Vormerken Zum Korb hinzufügen (Entfernen)
	4.	Complex stochastic systems [at the fourth Séminaire Européen de Statistique on "Complex Stochastic Systems", held at Eurandom, Eindhoven (The Netherlands), March 15 - 20, 1999] ed. by Ole E. Barndorff-Nielsen; David R. Cox and Claudia Klüppelberg von Barndorff-Nielsen, Ole E, 1935- [oth] Cox, David R, 1924-2022 [oth] Klüppelberg, Claudia, 1953- [oth] Séminaire Européen de Statistique on Complex Stochastic Systems 1999 Eindhoven [oth] Reihen: ; 8700 \| Monographs on statistics and applied probability ; 87 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Boca Raton, Fla. London [u.a.] Chapman & Hall/CRC 2001 Online-Ressourcen: Inhaltsverzeichnis Inhaltsverzeichnis Zentralblatt MATH Inhaltstext Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) BAR o 2001:1 1.Ex. Vormerken Zum Korb hinzufügen (Entfernen)
	5.	Process algebra and probabilistic methods performance modeling and verification ; joint international workshop ; proceedings PAPM PROBMIV 2001, Aachen, Germany, September 12 - 14, 2001. Luca de Alfaro ... von Alfaro, Luca de [oth] DeAlfaro, Luca, 1966- [Hrsg.] PAPM PROBMIV 1 2001 Aachen [oth] Reihen: ; 216500 \| Lecture notes in computer science ; 2165 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer-Verlag 2001 Weitere Titel: PAPM PROBMIV 2001 Online-Ressourcen: Cover Kapitel 1 Inhaltsverzeichnis Zentralblatt MATH Inhaltstext Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS LNAI 2165. Vormerken Zum Korb hinzufügen (Entfernen)
	6.	Process algebra and probabilistic methods performance modeling and verification ; second joint international workshop ; proceedings PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25 - 26, 2002. Holger Hermanns; Roberto Segala (ed.) von Hermanns, Holger [Hrsg.] PAPM PROBMIV 2 2002 Kopenhagen [oth] Reihen: ; 239900 \| Lecture notes in computer science ; 2399 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2002 Weitere Titel: PAPM-PROBMIV 2002 Online-Ressourcen: Inhaltsverzeichnis Kapitel 1 Cover Zentralblatt MATH Inhaltstext Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS LNAI 2399. Vormerken Zum Korb hinzufügen (Entfernen)
	7.	Interactive Markov chains and the quest for quantified quality Holger Hermanns von Hermanns, Holger, 1967- [aut] Reihen: ; 242800 \| Lecture notes in computer science ; 2428 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2002 Online-Ressourcen: Kapitel 1 Cover Inhaltsverzeichnis Zentralblatt MATH Inhaltstext Online-Zugang Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 2428. Vormerken Zum Korb hinzufügen (Entfernen)
	8.	Validation of stochastic systems a guide to current research Christel Baier ... (eds.) von Baier, Christel [Hrsg.] Seminar on Validation of Stochastic Systems 2002 Dagstuhl [oth] Reihen: Tutorial \| ; 292500 \| Lecture notes in computer science ; 2925 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 11015703 Verlag: Berlin Heidelberg [u.a.] Springer 2004 Online-Ressourcen: Cover Zentralblatt MATH Inhaltstext Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 2925. Vormerken Zum Korb hinzufügen (Entfernen)
	9.	Stochastic hybrid systems theory and safety critical applications Henk A. P. Blom ... (eds.) von Blom, Henk A. P [Hrsg.] Blom, Henk A [Hrsg.] Reihen: ; 33700 \| Lecture notes in control and information sciences ; 33700 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 11587392 Verlag: Berlin Heidelberg [u.a.] Springer 2006 Online-Ressourcen: Inhaltsverzeichnis Inhaltsverzeichnis Inhaltstext Verlagsangaben Cover Zentralblatt MATH Inhaltstext Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) BLO h 2006:1 1.Ex. Vormerken Zum Korb hinzufügen (Entfernen)
	10.	Automatische Verifikation stochastischer Systeme Joachim Meyer-Kayser von Meyer-Kayser, Joachim [aut] Reihen: ; 37,1 \| Friedrich-Alexander-Universität Erlangen-Nürnberg Arbeitsberichte des Instituts für Informatik, Friedrich-Alexander-Universität Erlangen Nürnberg ; 37,1 \| Materialtyp: Text; Format: Druck Sprache: Deutsch Verlag: Erlangen Univ. Erlangen-Nürnberg, Inst. für Informatik 2004 Hochschulschriftenvermerk: Zugl.: Erlangen, Nürnberg, Univ., Diss. Online-Ressourcen: Inhaltsverzeichnis Inhaltsverzeichnis Inhaltsverzeichnis Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Erlangen-Nürnberg UNI INF Arbeitsberichte Bd. 37/1. Vormerken Zum Korb hinzufügen (Entfernen)
	11.	Analytical and stochastic modelling techniques and applications 20th international conference, ASMTA 2013, Ghent, Belgium, July 8 - 10, 2013 ; proceedings Alexander Dudin ... (ed.) von Dudin, Alexander [Hrsg.] ASMTA 20 2013 Gent [oth] Reihen: ; 798400 \| Lecture notes in computer science ; 7984 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 86291481 Verlag: Berlin Heidelberg [u.a.] Springer 2013 Online-Ressourcen: Inhaltstext Cover Inhaltsverzeichnis Inhaltsverzeichnis Zentralblatt MATH Inhaltstext Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 7984. Vormerken Zum Korb hinzufügen (Entfernen)
	12.	Stochastic model checking rigorous dependability analysis using model checking techniques for stochastic systems ; international autumn school, ROCKS 2012, Vahrn, Italy, October 22 - 26, 2012 ; advanced lectures Anne Remke ... (ed.) von Remke, Anne, 1980- [Hrsg.] Stoelinga, Mariëlle [Hrsg.] ROCKS 2012 Vahrn [oth] Reihen: ; 8453 \| Lecture notes in computer science ; 8453 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 86387283 Verlag: Berlin Heidelberg [u.a.] Springer 2014 Online-Ressourcen: Inhaltsverzeichnis Inhaltsverzeichnis Inhaltstext Zentralblatt MATH Inhaltstext Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 8453. Vormerken Zum Korb hinzufügen (Entfernen)
	13.	Automated technology for verification and analysis 17th International symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019 : proceedings Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza (eds.) von ATVA 17. 2019 Taipeh [VerfasserIn] Chen, Yu-Fang [HerausgeberIn] Cheng, Chih-Hong [HerausgeberIn] Esparza, Javier, 1964- [HerausgeberIn] Reihen: LNCS sublibrary: SL2 - Programming and software engineering \| ; 11781 \| Lecture notes in computer science ; 11781 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Cham, Switzerland Springer [2019] Online-Ressourcen: Inhaltsverzeichnis Zentralblatt MATH Inhaltstext 1850-9999 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 11781. Vormerken Zum Korb hinzufügen (Entfernen)
	14.	Stochastische Signale und ihre Anwendung Gottfried Ehrenstrasser von Ehrenstrasser, Gottfried [aut] Reihen: Uni-Taschenbücher ; 377 \| Fachbuchreihe angewandte Elektronik für Fachhochschulen Materialtyp: Text; Format: Druck Sprache: Deutsch Verlag: Heidelberg Hüthig 1974 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) EHR g 1974:1 1.Ex. Vormerken Zum Korb hinzufügen (Entfernen)
	15.	Stochastische Systeme Markoffketten, stochastische Prozesse, Warteschlangen Wolf-Dieter Heller ... von Heller, Wolf-Dieter [Mitarb.] Reihen: de-Gruyter-Lehrbuch Auflage: 1. Aufl Materialtyp: Text; Format: Druck Sprache: Deutsch Verlag: Berlin [u.a.] de Gruyter 1978 Online-Ressourcen: Inhaltsverzeichnis Inhaltsverzeichnis Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (4)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) HEL w 1978:1 3.Ex, ... Vormerken Zum Korb hinzufügen (Entfernen)
	16.	Stochastic programming Peter Kall; Stein W. Wallace von Kall, Peter [aut] Wallace, Stein W, 1956- [aut] Reihen: Wiley interscience series in systems and optimization Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Chichester New York Wiley 1994 Online-Ressourcen: Inhaltsverzeichnis Inhaltsverzeichnis Zentralblatt MATH Inhaltstext Verlagsangaben Publisher description Table of Contents Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) KAL p 1994:1 1.Ex. Vormerken Zum Korb hinzufügen (Entfernen)
	17.	Stochastische Systeme Grundlagen Gerhard Wunsch; Helmut Schreiber von Wunsch, Gerhard [aut] Kalanag, 1903-1963 [aut] Auflage: 1. Aufl. Materialtyp: Text; Format: Druck Sprache: Deutsch Verlag: Berlin Verl. Technik 1984 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) WUN g 1984:1 1.Ex. Vormerken Zum Korb hinzufügen (Entfernen)
	18.	Comparison methods for stochastic models and risks Alfred Müller; Dietrich Stoyan von Müller, Alfred, 1966- [aut] Stoyan, Dietrich, 1940- [aut] Reihen: Wiley series in probability and statistics Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Chichester Wiley 2002 Online-Ressourcen: Inhaltsverzeichnis Inhaltsverzeichnis Klappentext Cover Zentralblatt MATH Inhaltstext Online-Zugang Online-Zugang Verfügbarkeit: Nicht verfügbar: Gebäude E2 4 (UdS FR MATHE ): restricted use (1). Zum Korb hinzufügen (Entfernen)
	19.	Stochastic models an algorithmic approach Henk C. Tijms von Tijms, Henk C, 1944- [aut] Reihen: Wiley series in probability and mathematical statistics Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Chichester [u.a.] Wiley 1994 Online-Ressourcen: Inhaltsverzeichnis Inhaltsverzeichnis Zentralblatt MATH Inhaltstext Table of contents Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) TIJ h 1994:1 1.Ex. Vormerken Zum Korb hinzufügen (Entfernen)

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha