Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
Formal and Natural Computing : Essays Dedicated to Grzegorz Rozenberg [Elektronische Ressource]
2002
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Graph-Grammars and Their Application to Computer Science and Biology : International Workshop Bad Honnef, October 30 – November 3, 1978 [Elektronische Ressource]
1979
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Mathematisch-strukturelle Grundlagen der Informatik
Springer-Lehrbuch
2nd ed. 2001, 2001
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Mathematisch-strukturelle Grundlagen der Informatik
Springer-Lehrbuch
1st ed. 1999, 1999
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Graph Transformation : First International Conference, ICGT 2002 Barcelona, Spain, October 7–12, 2002 Proceedings [Elektronische Ressource]
2002
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Graph Transformations : Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings [Elektronische Ressource]
2006
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Graph Grammars and Their Application to Computer Science : 5th International Workshop Williamsburg, VA, USA, November 13–18, 1994 Selected Papers [Elektronische Ressource]
1996
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Integration of Software Specification Techniques for Applications in Engineering : Priority Program SoftSpez of the German Research Foundation (DFG), Final Report [Elektronische Ressource]
2004
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Mathematisch-strukturelle Grundlagen der Informatik : mit 71 Tabellen
Springer-Lehrbuch
2. Aufl, 2001
Signatur: TVD2115(2)
    Datensatz exportieren als...
  • BibTeX
Unifying Petri Nets : Advances in Petri Nets [Elektronische Ressource]
2001
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Graph Transformations : 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings [Elektronische Ressource]
2008
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Kategorien und Automaten
De-Gruyter-Lehrbuch
1972
Signatur: TCK1875
    Datensatz exportieren als...
  • BibTeX
Semi-formal and formal specification techniques for software systems : 12.07.1998 - 17.07.1998 (98281)
Dagstuhl-Seminar-Report : 218 (Alle Bände)
1998
Signatur: TUF1092-218
    Datensatz exportieren als...
  • BibTeX
Kategorien und Automaten
De-Gruyter-Lehrbuch
1972
Signatur: TCX1139
    Datensatz exportieren als...
  • BibTeX
Recent Trends in Data Type Specification : 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop Caldes de Malavella, Spain, October 26–30, 1992 Selected Papers [Elektronische Ressource]
1994
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Mathematical Foundations of Software Development : Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25–29, 1985 Volume 1: Colloquium on Trees in Algebra and Programming (CAAP' 85) [Elektronische Ressource]
1985
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Graph transformations in computer science : 09.09. - 13.09.96 (9637)
Dagstuhl-Seminar-Report : 155 (Alle Bände)
1996
Signatur: TUF1092-155
    Datensatz exportieren als...
  • BibTeX
Fundamentals of algebraic specification. 2. Module specifications and constraints
Fundamentals of algebraic specification (Alle Bände), EATCS monographs on theoretical computer science : 21 (Alle Bände)
1990
Signatur: TZC1712-2
    Datensatz exportieren als...
  • BibTeX
Graph Grammars and Their Application to Computer Science : 4th International Workshop Bremen, Germany, March 5–9, 1990 Proceedings [Elektronische Ressource]
1991
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Graph-Grammars and Their Application to Computer Science : 3rd International Workshop Warrenton, Virginia, USA, December 2–6, 1986 [Elektronische Ressource]
1987
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Formal Methods and Software Development : Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25–29, 1985 [Elektronische Ressource]
1985
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Graph Transformations in Computer Science : International Workshop Dagstuhl Castle, Germany, January 4–8, 1993 Proceedings [Elektronische Ressource]
1994
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Petri Net Technology for Communication-Based Systems : Advances in Petri Nets [Elektronische Ressource]
2003
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Universal theory of automata : a categorical approach ; with numerous figures and examples
Teubner-Studienbücher: Informatik
1974
Signatur: TVH1389
    Datensatz exportieren als...
  • BibTeX
Specification and semantics : 24.05. - 28.05.93 (9321)
Dagstuhl-Seminar-Report : 64 (Alle Bände)
1994
Signatur: TUF1092-64
1 – 25 von 38
Suche als RSS-Feed
Aktive Filter
SchlagwortDiscrete mathematics
Suchergebnisse filtern
Filter anzeigen