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
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
    Datensatz exportieren als...
  • BibTeX
Mathematisch-strukturelle Grundlagen der Informatik : mit 71 Tabellen
Springer-Lehrbuch
2. Aufl, 2001
Signatur: TVD2115(2)
    Datensatz exportieren als...
  • BibTeX
Special issue on Applications of graph transformations
Science of computer programming : 44,2 (Alle Bände)
2002
Signatur: 64s19
    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
Specification and semantics : 08.07. - 12.07.96 (9628)
Dagstuhl-Seminar-Report : 151 (Alle Bände)
1996
Signatur: TUF1092-151
    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
    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
Kategorien und Automaten
De-Gruyter-Lehrbuch
1972
Signatur: TCK1875
    Datensatz exportieren als...
  • BibTeX
Kategorien und Automate
De Gruyter Lehrbuch
Reprint 2018, [2018]
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Fundamentals of algebraic specification. 1. Equations and initial semantics
Fundamentals of algebraic specification (Alle Bände), EATCS monographs on theoretical computer science : 6 (Alle Bände)
1985
Signatur: TZC1712-1
    Datensatz exportieren als...
  • BibTeX
Kategorien und Automaten
De-Gruyter-Lehrbuch
1972
Signatur: TCX1139
    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
Fundamentals of algebraic specification
EATCS monographs on theoretical computer science : ...
1985-
Signatur: TZC1712
Open Access
    Datensatz exportieren als...
  • BibTeX
Graph Transformations in Computer Science : International Workshop Dagstuhl Castle, Germany, January 4–8, 1993 Proceedings [Elektronische Ressource]
1994
Volltextzugriff (PDF)
Open Access
    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
Fundamentals of Algebraic Graph Transformation [Elektronische Ressource]
Monographs in Theoretical Computer Science. An EATCS Series
2006
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Graph-Grammars and Their Application to Computer Science : 2nd International Workshop Haus Ohrbeck, Germany, October 4–8, 1982 [Elektronische Ressource]
1983
Volltextzugriff (PDF)
Open Access
    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)
Open Access
    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
Petri Net Technology for Communication-Based Systems : Advances in Petri Nets [Elektronische Ressource]
2003
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Formal and Natural Computing : Essays Dedicated to Grzegorz Rozenberg [Elektronische Ressource]
2002
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Graph Transformations : 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings [Elektronische Ressource]
Lecture Notes in Computer Science : 6372
2010
Volltextzugriff (PDF)
Open Access
    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
Unifying Petri Nets : Advances in Petri Nets [Elektronische Ressource]
2001
Volltextzugriff (PDF)
Open Access
    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)
1 – 25 von 36
Suche als RSS-Feed
Aktive Filter
SchlagwortComputer science—Mathematics
SchlagwortDiscrete mathematics
Suchergebnisse filtern
Filter anzeigen