Campusbibliothek

Ihre Suche erzielte 14 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
1.
Coloured Petri nets 2 Basic concepts, analysis methods and practical use Kurt Jensen von Reihen: Monographs in theoretical computer science
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg Springer 1997
Weitere Titel:
  • basic concepts analysis methods practical use
Online-Ressourcen:
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) JEN k 1997:1 1.Ex.
Vormerken Zum Korb hinzufügen
2.
Information and randomness an algorithmic perspective Cristian Calude von Reihen: Monographs in theoretical computer science
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1994
Online-Ressourcen:
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) CAL c 1994:1 1.Ex, ...
Vormerken Zum Korb hinzufügen
3.
The logic of partial information Areski Nait Abdallah von Reihen: Monographs in theoretical computer science
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1995
Online-Ressourcen:
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) NAI a 1995:1 1.Ex, ...
Vormerken Zum Korb hinzufügen
4.
Syntax-directed semantics formal models based on tree transducers Zoltán Fülöp; Heiko Vogler von Reihen: Monographs in theoretical computer science
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1998
Weitere Titel:
  • syntax directed
Online-Ressourcen:
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) FÜL z 1998:1 1.Ex.
Vormerken Zum Korb hinzufügen
5.
Finiteness and regularity in semigroups and formal languages Aldo DeLuca; Stefano Varricchio von Reihen: Monographs in theoretical computer science : an EATCS series
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1999
Online-Ressourcen:
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) LUC a 1999:1 1.Ex.
Vormerken Zum Korb hinzufügen
6.
Petri net algebra Eike Best; Raymond Devillers; Maciej Koutny von Reihen: Monographs in theoretical computer science
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2001
Online-Ressourcen:
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) BESt e 2001:1 1.Ex.
Vormerken Zum Korb hinzufügen
7.
Process algebra with timing J. C. M. Baeten; C. A. Middelburg von Reihen: Monographs in theoretical computer science an EATCS series
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2002
Online-Ressourcen:
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) BAE j 2002:1 1.Ex. Nicht verfügbar: Gebäude E1 5 (MPI-SWS SB): restricted use (1).
Vormerken Zum Korb hinzufügen
8.
Fundamentals of algebraic graph transformation H. Ehrig ... von Reihen: Monographs in theoretical computer science an EATCS series
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 11573258
Verlag: Berlin Heidelberg [u.a.] Springer 2006
Online-Ressourcen:
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 h 2006:1 1.Ex.
Vormerken Zum Korb hinzufügen
9.
Theoretical aspects of local search Wil Michiels; Emile Aarts; Jan Korst von Reihen: Monographs in theoretical computer science an EATCS series
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 11736738
Verlag: Berlin Heidelberg [u.a.] Springer 2007
Online-Ressourcen:
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) MICh w 2007:1 1.Ex. Nicht verfügbar: Gebäude E1 4 (MPI-INF): restricted use (1).
Vormerken Zum Korb hinzufügen
10.
Duration calculus a formal approach to real-time systems Zhou Chaochen, Michael R. Hansen von Reihen: Monographs in theoretical computer science | an EATCS series
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg New York Springer [2004]Copyright-Datum: © 2004
Online-Ressourcen:
Verfügbarkeit: Nicht verfügbar: Gebäude E1 5 (MPI-SWS SB): restricted use (1).
Zum Korb hinzufügen
11.
Theoretical aspects of distributed computing in sensor networks Sotiris Nikoletseas; José D. P. Rolim, eds. von Reihen: Monographs in theoretical computer science
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 12767458
Verlag: Berlin Heidelberg Springer 2011
Online-Ressourcen:
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) NIK s 2011:1 1.Ex.
Vormerken Zum Korb hinzufügen
12.
Modeling time in computing Carlo A. Furia ... von Reihen: Monographs in theoretical computer science
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 86144458
Verlag: Berlin Heidelberg [u.a.] Springer 2012
Online-Ressourcen:
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) FUR c 2012:1 1.Ex.
Vormerken Zum Korb hinzufügen
13.
Coloured Petri nets basic concepts, analysis methods and practical use Kurt Jensen von Reihen: EATCS monographs on theoretical computer science | Monographs in theoretical computer science
Materialtyp: Gesamtaufnahme Gesamtaufnahme
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 19XX-
Verfügbarkeit: Keine Exemplare verfügbar.
Zum Korb hinzufügen
14.
Patterns in permutations and words Sergey Kitaev von Reihen: Monographs in theoretical computer science : an EATCS series
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 80027826
Verlag: Berlin Heidelberg Springer 2011
Online-Ressourcen:
Verfügbarkeit: Nicht verfügbar: Gebäude E1 4 (MPI-INF): restricted use (1).
Zum Korb hinzufügen
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha