Zum Inhalt springen

Engell, Sebastian [HerausgeberIn]; Frehse, Goran [HerausgeberIn]; Schnieder, Eckehard [HerausgeberIn]

Modelling, analysis, and design of hybrid systems

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2002

Erschienen in: Lecture notes in control and information sciences ; 27900
Beeby, J. L. [HerausgeberIn] ; NATO Division of Scientific Affairs, Advanced Research Workshop on Condensed Systems of Low Dimensionality 1990 Marmaris

Condensed systems of low dimensionality : [proceedings of a NATO Advanced Research Workshop on Condensed Systems of Low Dimensionality, held April 23 - 27, 1990, in Marmaris, Turkey]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

New York, NY [u.a.]: Plenum Press, 1991

Erschienen in: NATO: NATO ASI series / B ; 253
Rüngeler, Matthias [VerfasserIn] ; Rheinisch-Westfälische Technische Hochschule Aachen, Verlag Mainz

Hybrid digital-analog transmission systems : design and evaluation - [1. Auflage]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Aachen: Wissenschaftsverlag Mainz, [2015]

Erschienen in: Aachener Beiträge zu digitalen Nachrichtensystemen ; 40
Baños, Alfonso [HerausgeberIn] ; Nonlinear Control Network Pedagogical School 2 2000 Murcia

Advances in the control of nonlinear systems : [lectures of the 2nd NCN Pedagogical School ... held in Murcia, September 2000]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

London; Berlin; Heidelberg [u.a.]: Springer, 2001

Erschienen in: Lecture notes in control and information sciences ; 26400
Sui, Wenquan [VerfasserIn]

Time-domain computer analysis of nonlinear hybrid systems

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Boca Raton, Fla. [u.a.]: CRC Press, 2002
Thorner, Jeremy [HerausgeberIn]

Applications of chimeric genes and hybrid proteins

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

San Diego [u.a.]: Academic Pr., 2000

Erschienen in: Methods in enzymology ; .
Clare, Jeffrey J. [HerausgeberIn]; Trezise, Derek J. [Sonstige Person, Familie und Körperschaft]

Expression and analysis of recombinant ion channels : from structural studies to pharmacological screening

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Weinheim: Wiley-VCH-Verl., 2006
Yay, Mehmet [VerfasserIn]

Elektromobilität : theoretische Grundlagen, Herausforderungen sowie Chancen und Risiken der Elektromobilität, diskutiert an den Umsetzungsmöglichkeiten in die Praxis - [2., durchges. Aufl.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Frankfurt am Main [u.a.]: Lang, 2012
Schuchardt, Holger [VerfasserIn] ; Altendorfer, Otto [Sonstige Person, Familie und Körperschaft]; Neumayer, Philipp N. [Sonstige Person, Familie und Körperschaft]

WebTV im Profifußball : eine Analyse am Beispiel von "DynamoTV" der SG Dynamo Dresden e.V. = WebTV in professional football : an analysis of the channel "DynamoTV" by football club "SG Dynamo Dresden e.V."

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

2014

Sächsische Bibliografie
Boukas, El-Kébir [VerfasserIn]

Stochastic switching systems : analysis and design

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Boston, Mass. [u.a.]: Birkhäuser, 2006

Erschienen in: Control engineering
Platzer, André [VerfasserIn]

Logical analysis of hybrid systems : proving theorems for complex dynamics

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg: Springer, 2010
Melin, Patricia [HerausgeberIn] ; International Fuzzy Systems Association

Analysis and design of intelligent systems using soft computing techniques

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg; New York: Springer, 2007

Erschienen in: Advances in soft computing ; 4100
Fahrenberg, Uli [HerausgeberIn]; Tripakis, Stavros [Sonstige Person, Familie und Körperschaft] ; FORMATS 9 2011, °Alborg Alborg

Formal modeling and analysis of timed systems : 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2011

Erschienen in: Lecture notes in computer science ; 6919
Cha, Sungdeok [HerausgeberIn]; Choi, Jin-Young [Sonstige Person, Familie und Körperschaft]; Kim, Moonzoo [Sonstige Person, Familie und Körperschaft]; Lee, Insup [Sonstige Person, Familie und Körperschaft]; Viswanathan, Mahesh [Sonstige Person, Familie und Körperschaft] ; ATVA 6 2008 Seoul

Automated technology for verification and analysis : 6th international symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2008

Erschienen in: Lecture notes in computer science ; 5311
Liu, Zhiming [HerausgeberIn]; Ravn, Anders P. [Sonstige Person, Familie und Körperschaft] ; ATVA 7 2009 Macau

Automated technology for verification and analysis : 7th international symposium, ATVA 2009, Macao, China, October 14-16, 2009 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2009

Erschienen in: Lecture notes in computer science ; 5799
Namjoshi, Kedar S. [HerausgeberIn]; Yoneda, Tomohiro [Sonstige Person, Familie und Körperschaft]; Higashino, Teruo [Sonstige Person, Familie und Körperschaft]; Okamura, Yoshio [Sonstige Person, Familie und Körperschaft] ; ATVA 5 2007 Tokio

Automated technology for verification and analysis : 5th international symposium, ATVA 2007, Tokyo, Japan, October 22-25, 2007 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2007

Erschienen in: Lecture notes in computer science ; 4762
Graf, Susanne [HerausgeberIn]; Zhang, Wenhui [Sonstige Person, Familie und Körperschaft] ; ATVA 4 2006 Peking

Automated technology for verification and analysis : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2006

Erschienen in: Lecture notes in computer science ; 4218
Peled, Doron A. [Sonstige Person, Familie und Körperschaft]; Peled, Doron [HerausgeberIn] ; ATVA 3 2005 Taipeh

Automated technology for verification and analysis : third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2005

Erschienen in: Lecture notes in computer science ; 3707
Everling, Oliver [HerausgeberIn]

Certified rating analyst - [1. Aufl.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

München; Wien: Oldenbourg, 2008
Ouaknine, Joel [HerausgeberIn]; Vaandrager, Frits [Sonstige Person, Familie und Körperschaft] ; FORMATS 7 2009 Budapest

Formal modeling and analysis of timed systems : 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2009

Erschienen in: Lecture notes in computer science ; 5813

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr