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
Computer Science Logic : 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers [electronic resource]
1st ed. 1997, 1997
    Datensatz exportieren als...
  • BibTeX
Graph Reduction : Proceedings of a Workshop Santa Fe, New Mexico, USA, September 29 - October 1, 1986 [electronic resource]
1st ed. 1987, 1987
    Datensatz exportieren als...
  • BibTeX
Fundamentals of Computation Theory : International Conference FCT '87 Kazan, USSR, June 22-26, 1987. Proceedings [electronic resource]
1st ed. 1987, 1987
    Datensatz exportieren als...
  • BibTeX
Specifying Message Passing and Time-Critical Systems with Temporal Logic [electronic resource]
1st ed. 1992, 1992
    Datensatz exportieren als...
  • BibTeX
Parallelism, Learning, Evolution : Workshop on Evolutionary Models and Strategies, Neubiberg, Germany, March 10-11, 1989. Workshop on Parallel Processing: Logic, Organization, and Technology - WOPPLOT 89, Wildbad Kreuth, Germany, July 24-28, 1989. Proceedings [electronic resource]
1st ed. 1991, 1991
    Datensatz exportieren als...
  • BibTeX
Fundamentals of Computation Theory : 9th International Conference, FCT '93, Szeged, Hungary, August 23-27, 1993. Proceedings [electronic resource]
1st ed. 1993, 1993
    Datensatz exportieren als...
  • BibTeX
Temporal Logic : First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings [electronic resource]
1st ed. 1994, 1994
    Datensatz exportieren als...
  • BibTeX
Logic, Language and Computation : Festschrift in Honor of Satoru Takasu [electronic resource]
1st ed. 1994, 1994
    Datensatz exportieren als...
  • BibTeX
Automata Implementation : First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29 - 31, 1996, Revised Papers [electronic resource]
1st ed. 1997, 1997
    Datensatz exportieren als...
  • BibTeX
Computer Aided Verification : 3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings [electronic resource]
1st ed. 1992, 1992
1 – 10 von 10
Suche als RSS-Feed
Aktive Filter
Autor / AutorinDongol, Brijesh
SpracheTürkisch
SystemstelleAUQ
SchlagwortComputer communication systems
SchlagwortComputers
SchlagwortMathematical Logic and Formal Languages
Suchergebnisse filtern
Filter anzeigen