Ihre Suche erzielte 15 Treffer.

Ergebnisse
	1.	Lectures on embedded systems School on Embedded Systems, Veldhoven, The Netherlands, November 25 - 29, 1996. European Educational Forum. Grzegorz Rozenberg; Frits Vaandrager (eds.) von Rozenberg, Grzegorz, 1942- [Hrsg.] Vaandrager, Frits [oth] European Educational Forum [oth] School on Embedded Systems 1 1996 Veldhoven [oth] Reihen: LNCS tutorial \| ; 149400 \| Lecture notes in computer science ; 1494 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin [u.a.] Springer 1998 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 1494. Vormerken Zum Korb hinzufügen (Entfernen)
	2.	Verification of a distributed summation algorithm F. W. Vaandrager von Vaandrager, Frits W [aut] Reihen: ; 199505 \| Centrum voor Wiskunde en Informatica Report CS / Centrum voor Wiskunde en Informatica, Department of Computer Science ; 199505 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Amsterdam Department of Algorithmics and Architecture, CWI 1995 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (2)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Amsterdam CWI CS-R9505, ... Vormerken Zum Korb hinzufügen (Entfernen)
	3.	The difference between splitting in n and n+1 R. J. Glabbeek; F. Vaandrager von Glabbeek, Rob J. van [aut] Vaandrager, Frits [aut] Reihen: ; 199553 \| Centrum voor Wiskunde en Informatica Report CS / Centrum voor Wiskunde en Informatica, Department of Computer Science ; 199553 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Amsterdam Department of Software Technology; CWI 1995 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) Amsterdam CWI CS-R9553. Vormerken Zum Korb hinzufügen (Entfernen)
	4.	A comparison of additivity axioms in timed transition systems A. S. A. Jeffrey; S. A: Schneider; F. W. Vaandrager von Jeffrey, Alan S. A [aut] Schneider, Steve A [aut] Vaandrager, Frits W [aut] Reihen: ; 199366 \| Centrum voor Wiskunde en Informatica Report CS / Centrum voor Wiskunde en Informatica, Department of Computer Science ; 199366 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Amsterdam CWI 1993 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) Amsterdam CWI CS-R9366. Vormerken Zum Korb hinzufügen (Entfernen)
	5.	A note on fairness in I/O automata J. M. T. Romijn; F. W. Vaandrager von Romijn, Judi M. T [aut] Vaandrager, Frits W [aut] Reihen: ; 199579 \| Centrum voor Wiskunde en Informatica Report CS / Centrum voor Wiskunde en Informatica, Department of Computer Science ; 199579 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Amsterdam Centrum voor Wiskunde en Informatica 1995 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) Amsterdam CWI CS-R9579. Vormerken Zum Korb hinzufügen (Entfernen)
	6.	Timing-based systems von Lynch, Nancy A [aut] Vaandrager, Frits W [aut] Reihen: Lynch, Nancy A. Forward and backward simulations ; Pt. 2 \| Centrum voor Wiskunde en Informatica Report CS / Centrum voor Wiskunde en Informatica, Department of Computer Science ; 199314 \| \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Amsterdam CWI 1993 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) Amsterdam CWI CS-R9314. Vormerken Zum Korb hinzufügen (Entfernen)
	7.	Untimed systems von Lynch, Nancy A [aut] Vaandrager, Frits W [aut] Reihen: Lynch, Nancy A. Forward and backward simulations ; Part 1 \| Centrum voor Wiskunde en Informatica Report CS / Centrum voor Wiskunde en Informatica, Department of Computer Science ; 199313 \| \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Amsterdam CWI 1993 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) Amsterdam CWI CS-R9313. Vormerken Zum Korb hinzufügen (Entfernen)
	8.	Verification of an audio control protocol Doeko Bosscher; Indra Polak; Frits Vaandrager von Bosscher, Doeko [aut] Polak, Indra [aut] Vaandrager, Frits [aut] Reihen: ; 199445 \| Centrum voor Wiskunde en Informatica Report CS / Centrum voor Wiskunde en Informatica, Department of Computer Science ; 199445 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Amsterdam Department of Software Technology, CWI 1994 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) Amsterdam CWI CS-R9445. Vormerken Zum Korb hinzufügen (Entfernen)
	9.	Modular specification of process algebras Rob J. van Glabbeek; Frits W. Vaandrager von Glabbeek, Rob J. van [aut] Vaandrager, Frits W [aut] Reihen: ; 90,51 \| Technische Universität München Institut für Informatik, Technische Universität München ; 90,51 \| Sonderforschungsbereich Methoden und Werkzeuge für die Nutzung Paralleler Rechnerarchitekturen SFB-Bericht / A ; 90,28 \| \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: München Inst. f. Informatik 1990 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) München UNI INF TUM-I9051. Vormerken Zum Korb hinzufügen (Entfernen)
	10.	Turning SOS rules into equations L. Aceto; B. Bloom; F. W. Vaandrager von Aceto, Luca [aut] Bloom, Bard [aut] Vaandrager, Frits W [aut] Reihen: ; 92,18 \| Centrum voor Wiskunde en Informatica Report CS / Centrum voor Wiskunde en Informatica, Department of Computer Science ; 92,18 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Amsterdam 1992 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) Amsterdam CWI CS-R9218. Vormerken Zum Korb hinzufügen (Entfernen)
	11.	Expressiveness results for process algebras F. W. Vaandrager von Vaandrager, Frits W [aut] Reihen: ; 199301 \| Centrum voor Wiskunde en Informatica Report CS / Centrum voor Wiskunde en Informatica, Department of Computer Science ; 199301 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Amsterdam CWI 1993 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) Amsterdam CWI CS-R9301. Vormerken Zum Korb hinzufügen (Entfernen)
	12.	Action transducers and timed automata N. A. Lynch; F. W. Vaandrager von Lynch, Nancy A [aut] Vaandrager, Frits W [aut] Reihen: ; 199460 \| Centrum voor Wiskunde en Informatica Report CS / Centrum voor Wiskunde en Informatica, Department of Computer Science ; 199460 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Amsterdam Department of Algorithmics and Architecture, CWI 1994 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) Amsterdam CWI CS-R9460. Vormerken Zum Korb hinzufügen (Entfernen)
	13.	Formal modeling and analysis of timed systems 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 ; proceedings Joel Ouaknine; Frits W. Vaandrager (eds.) von Ouaknine, Joel [Hrsg.] Vaandrager, Frits, 1962- [oth] FORMATS 7 2009 Budapest [oth] Reihen: ; 581300 \| Lecture notes in computer science ; 5813 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 12757145 Verlag: Berlin Heidelberg [u.a.] Springer 2009 Online-Ressourcen: 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 5813. Vormerken Zum Korb hinzufügen (Entfernen)
	14.	Hybrid systems computation and control ; Second International Workshop, HSCC '99, Berg en Dal, The Netherlands, March 29 - 31, 1999 ; proceedings Frits W. Vaandrager ... (eds.) von Vaandrager, Frits W [Hrsg.] HSCC 2 1999 Berg en Dal [oth] Reihen: ; 156900 \| Lecture notes in computer science ; 1569 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1999 Weitere Titel: HSCC '99 Online-Ressourcen: Verlagsangaben Zentralblatt MATH Inhaltstext Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (2)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 1569, ... Vormerken Zum Korb hinzufügen (Entfernen)
	15.	Forward and backward simulations N. A. Lynch, F. W. Vaandrager von Lynch, Nancy A [aut] Vaandrager, Frits W [aut] Reihen: Report CS / Centrum voor Wiskunde en Informatica, Stichting Mathematisch Centrum ; ... Materialtyp: Gesamtaufnahme Sprache: Englisch Verlag: Amsterdam CWI 1993 Verfügbarkeit: Keine Exemplare verfügbar. Zum Korb hinzufügen (Entfernen)

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha