Sortiert nach
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...
    Datensatz exportieren als...
  • BibTeX
Algebraische Spezifikation abstrakter Datentypen : eine Einführung in die Theorie ; mit Beispielen und Übungen
Leitfäden und Monographien der Informatik
1989
Signatur: TWV2096
    Datensatz exportieren als...
  • BibTeX
Specification and correct implementation of non-sequential systems combining abstract data types and Petri nets
GMD-Bericht : 176 (Alle Bände)
1989
Signatur: TUF1018-176
    Datensatz exportieren als...
  • BibTeX
Bibliography on abstract data types
Informatik-Fachberichte : 68 (Alle Bände)
1983
Signatur: TWV1723
    Datensatz exportieren als...
  • BibTeX
Algebraic development techniques
Theoretical computer science : 173,2 (Alle Bände)
1997
Signatur: 64t1
    Datensatz exportieren als...
  • BibTeX
Data structures and algorithms in Java
Worldwide series in computer science
1998
Signatur: TWP9234
    Datensatz exportieren als...
  • BibTeX
Spezifikation mathematischer Rechenstrukturen und Typenpolymorphismen in der Computeralgebra
1993
Signatur: D8590
    Datensatz exportieren als...
  • BibTeX
Logic : a foundation for computer science
International computer science series
1991
Signatur: TVA2178
    Datensatz exportieren als...
  • BibTeX
Algebraic Methodology and Software Technology : 7th International Conference, AMAST’98 Amazonia, Brazil, January 4–8, 1999 Proceedings [Elektronische Ressource]
1999
    Datensatz exportieren als...
  • BibTeX
Modelling Distributed Systems [Elektronische Ressource]
Texts in Theoretical Computer Science An EATCS Series
2007
1 – 9 von 9
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen