Ihre Suche erzielte 10 Treffer.

Ergebnisse
	1.	Foundations of software science and computation structures second international conference, FOSSACS '99 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, The Netherlands, March 22-28, 1999 ; proceedings Wolfgang Thomas, ed. von Thomas, Wolfgang [Hrsg.] FOSSACS 2 1999 Amsterdam [oth] ETAPS 2 1999 Amsterdam [oth] Reihen: ; 157800 \| Lecture notes in computer science ; 1578 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1999 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 1578. Vormerken Zum Korb hinzufügen (Entfernen)
	2.	STACS 2007 24th Annual Symposium on Theoretical Aspects of Computer Science Aachen, Germany, february 22 - 24, 2007; proceedings Wolfgang Thomas ... (eds.) von Thomas, Wolfgang [Hrsg.] Weil, Pascal [oth] STACS 24 2007 Aachen [oth] Reihen: ; 4393 \| Lecture notes in computer science ; 4393 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 12020942 Verlag: Berlin Heidelberg [u.a.] Springer 2007 Online-Ressourcen: Cover Zentralblatt MATH Inhaltstext Publisher description 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 4393. Vormerken Zum Korb hinzufügen (Entfernen)
	3.	Neue Aspekte in Rabins Theorie der Baumautomaten [Vortrag zum Fraenkel-Kolloquium, Kiel, 24./25.5.1991] Wolfgang Thomas von Thomas, Wolfgang [aut] Reihen: ; 9110 \| Christian-Albrechts-Universität zu Kiel Bericht / Institut für Informatik und Praktische Mathematik ; 9110 \| Materialtyp: Text; Format: Druck Sprache: Deutsch Verlag: Kiel Inst. für Informatik und Praktische Mathematik 1991 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) Kiel UNI INF MATH Nr. 9110. Vormerken Zum Korb hinzufügen (Entfernen)
	4.	On logics, tilings, and automata Wolfgang Thomas von Thomas, Wolfgang [aut] Reihen: ; 9108 \| Christian-Albrechts-Universität zu Kiel Bericht / Institut für Informatik und Praktische Mathematik ; 9108 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Kiel Inst. für Informatik und Praktische Mathematik 1991 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) Kiel UNI INF MATH Nr. 9108. Vormerken Zum Korb hinzufügen (Entfernen)
	5.	2. Theorietag Automaten und Formale Sprachen Universität Kiel, 2./3. Oktober 1992 Hrsg.: Wolfgang Thomas von Theorietag Automaten und Formale Sprachen 2 1992 Kiel [aut] Thomas, Wolfgang [Hrsg.] Reihen: ; 9220 \| Christian-Albrechts-Universität zu Kiel Bericht / Institut für Informatik und Praktische Mathematik ; 9220 \| Materialtyp: Text; Format: Druck Sprache: Deutsch, Englisch Verlag: Kiel Inst. für Informatik und Praktische Mathematik 1992 Weitere Titel: zweiter Zweiter Theorietag Automaten und Formale Sprachen Online-Ressourcen: 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) Kiel UNI INF MATH Nr. 9220. Vormerken Zum Korb hinzufügen (Entfernen)
	6.	Languages, automata, and logic Wolfgang Thomas von Thomas, Wolfgang [aut] Reihen: ; 9607 \| Christian-Albrechts-Universität zu Kiel Bericht / Institut für Informatik und Praktische Mathematik ; 9607 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Kiel Inst. für Informatik und Praktische Mathematik 1996 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) Kiel UNI INF MATH Nr. 9607. Vormerken Zum Korb hinzufügen (Entfernen)
	7.	Mathematical logic H.-D. Ebbinghaus; J. Flum; W. Thomas von Ebbinghaus, Heinz-Dieter, 1939- [aut] Flum, Jörg [aut] Thomas, Wolfgang [aut] Ebbinghaus, Heinz-Dieter, 1939-. Einführung in die mathematische Logik <engl.> Reihen: Undergraduate texts in mathematics Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: New York Heidelberg [u.a.] Springer 1984 Online-Ressourcen: 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) EBB h 1984:1 1.Ex. Vormerken Zum Korb hinzufügen (Entfernen)
	8.	Mathematical logic H.-D. Ebbinghaus; J. Flum; W. Thomas von Ebbinghaus, Heinz-Dieter, 1939- [aut] Flum, Jörg [aut] Thomas, Wolfgang [aut] Ferebee, Ann S [Übers.] Ebbinghaus, Heinz-Dieter, 1939-. Einführung in die mathematische Logik <engl.> Reihen: Undergraduate texts in mathematics Auflage: 2. Printing Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: New York Heidelberg [u.a.] Springer 1989 Online-Ressourcen: 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) EBB h 1989:2 1.Ex. Vormerken Zum Korb hinzufügen (Entfernen)
	9.	Mathematical logic H.-D. Ebbinghaus; J. Flum; W. Thomas von Ebbinghaus, Heinz-Dieter, 1939- [aut] Flum, Jörg [aut] Thomas, Wolfgang [aut] Ebbinghaus, Heinz-Dieter, 1939-. Einführung in die mathematische Logik <engl.> Reihen: Undergraduate texts in mathematics Auflage: 2. ed. Materialtyp: Text; Format: Druck Sprache: Englisch Originalsprache: Deutsch Verlag: New York Berlin Heidelberg Springer 1994 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) EBB h 1994:1 1.Ex. Vormerken Zum Korb hinzufügen (Entfernen)
	10.	Einführung in die mathematische Logik Heinz-Dieter Ebbinghaus; Jörg Flum; Wolfgang Thomas von Ebbinghaus, Heinz-Dieter, 1939- [aut] Flum, Jörg, 1944- [aut] Thomas, Wolfgang [aut] Reihen: Spektrum-Hochschultaschenbuch Auflage: 4. Aufl., korrigierter Nachdr Materialtyp: Text; Format: Druck Sprache: Deutsch Verlag: Heidelberg Berlin Spektrum, Akad. Verl. 1998 Online-Ressourcen: 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) EBB h 1998:1 1.Ex. Vormerken Zum Korb hinzufügen (Entfernen)

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha