Treffer 1 - 20 von 78 für Suche '"Progress in computer science"', Suchdauer: 2,76s Treffer weiter einschränken
  1. 1

    Temporal type theory a topos-theoretic approach to systems and behavior von Schultz, Patrick, Spivak, David I. 1978-

    Veröffentlicht 2019
    “… Progress in computer science and applied logic …”

    Volltext
    Elektronisch E-Book
  2. 2

    Real-time control of walking von Donner, Marc D.

    Veröffentlicht 1987
    “… Progress in computer science …”
    Buch
  3. 3
  4. 4
  5. 5
  6. 6

    Mathematics for the analysis of algorithms von Greene, Daniel H., Knuth, Donald Ervin 1938-

    Veröffentlicht 1982
    “… Progress in computer science …”
    Buch
  7. 7

    Mathematics for the analysis of algorithms von Greene, Daniel H., Knuth, Donald Ervin 1938-

    Veröffentlicht 1981
    “… Progress in computer science. …”
    Buch
  8. 8

    Real-time control of walking von Donner, Marc D.

    Veröffentlicht 1987
    “… Progress in computer science …”
    Buch
  9. 9

    Real-time control of walking von Donner, Marc D.

    Veröffentlicht 1986
    “… Progress in computer science …”
    Buch
  10. 10

    Notes on introductory combinatorics von Pólya, George 1887-1985, Tarjan, Robert E., Woods, Donald R. 1954-

    Veröffentlicht 1983
    “… Progress in computer science …”
    Buch
  11. 11
  12. 12
  13. 13
  14. 14
  15. 15

    Mathematics for the analysis of algorithms von Greene, Daniel H., Knuth, Donald Ervin 1938-

    Veröffentlicht 1981
    “… Progress in computer science. …”
    Buch
  16. 16

    Logic for computer scientists von Schöning, Uwe 1955-

    Veröffentlicht 1989
    “… Progress in computer science …”
    Buch
  17. 17

    Real-time control of walking von Donner, Marc D.

    Veröffentlicht 1987
    “… Progress in computer science …”
    Buch
  18. 18

    Lecture notes on bucket algorithms von Devroye, Luc

    Veröffentlicht 1986
    “… Progress in computer science …”
    Buch
  19. 19

    The evolution of programs von Dershowitz, Nachum 1951-

    Veröffentlicht 1983
    “… Progress in computer science …”
    Buch
  20. 20