Treffer 1 - 5 von 5 für Suche 'Kapur, Deepak', Suchdauer: 0,58s Treffer weiter einschränken
  1. 1
    Towards a theory for abstract data types

    Towards a theory for abstract data types von Kapur, Deepak

    Veröffentlicht 1980
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Derived pairs, overlap closures, and rewrite dominoes new tools for analyzing term rewriting systems

    Derived pairs, overlap closures, and rewrite dominoes new tools for analyzing term rewriting systems von Guttag, John V., Kapur, Deepak, Musser, David R.

    Veröffentlicht 1982
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Theoretical aspects of computing - ICTAC 2017 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017 : proceedings

    Theoretical aspects of computing - ICTAC 2017 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017 : proceedings

    Veröffentlicht 2017
    Weitere Verfasser:

    Volltext
    Elektronisch Tagungsbericht E-Book

    Zu den Favoriten
    Gespeichert in:
  4. 4
    DNA computing and molecular programming 23rd international conference, DNA 23, Austin, TX, USA, September 24–28, 2017 : proceedings

    DNA computing and molecular programming 23rd international conference, DNA 23, Austin, TX, USA, September 24–28, 2017 : proceedings

    Veröffentlicht 2017
    Weitere Verfasser:
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Theoretical aspects of computing – ICTAC 2017 14th international colloquium, Hanoi, Vietnam, October 23-27, 2017 : proceedings

    Theoretical aspects of computing – ICTAC 2017 14th international colloquium, Hanoi, Vietnam, October 23-27, 2017 : proceedings

    Veröffentlicht 2017
    Weitere Verfasser:
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: