Ähnliche Schlagwörter innerhalb Ihrer Suche.
Treffer 1 - 20 von 51 für Suche '"Progress in computer science and applied logic"', Suchdauer: 9,21s Treffer weiter einschränken
  1. 1
    Temporal type theory a topos-theoretic approach to systems and behavior

    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

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Mathematical Logic foundations for information science

    Mathematical Logic foundations for information science von Li, Wei 1943-

    Veröffentlicht 2010
    “… Progress in computer science and applied logic …”
    DE-634
    DE-M347
    DE-473
    DE-703
    DE-20
    DE-706
    DE-739
    Volltext
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  3. 3
    A graph theoretic approach to enterprise network dynamics

    A graph theoretic approach to enterprise network dynamics

    Veröffentlicht 2007
    “… Progress in computer science and applied logic …”
    DE-634
    DE-M347
    DE-473
    DE-706
    DE-739
    DE-355
    Volltext
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Coding, cryptography and combinatorics

    Coding, cryptography and combinatorics

    Veröffentlicht 2004
    “… Progress in computer science and applied logic …”
    Inhaltsverzeichnis
    Buch

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Cryptographic applications of analytic number theory complexity lower bounds and pseudorandomness

    Cryptographic applications of analytic number theory complexity lower bounds and pseudorandomness von Šparlinskij, Igor E. 1956-

    Veröffentlicht 2003
    “… Progress in computer science and applied logic …”
    Inhaltsverzeichnis
    Buch

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Automata theory and its applications

    Automata theory and its applications von Khoussainov, Bakhadyr 1961-, Nerode, Anil 1932-

    Veröffentlicht 2001
    “… Progress in computer science and applied logic …”
    Inhaltsverzeichnis
    Buch

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Interpolating cubic splines

    Interpolating cubic splines von Knott, Gary D.

    Veröffentlicht 2000
    “… Progress in computer science and applied logic …”
    Inhaltsverzeichnis
    Buch

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Bounded queries in recursion theory

    Bounded queries in recursion theory von Gasarch, William I., Martin, Georgia A.

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

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Feasible mathematics II [... workshop Feasible Mathematics II, which took place at Cornell from May 28 - 30, 1992, ...]

    Feasible mathematics II [... workshop Feasible Mathematics II, which took place at Cornell from May 28 - 30, 1992, ...]

    Veröffentlicht 1995
    “… Progress in computer science and applied logic …”
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Feasible Mathematics II

    Feasible Mathematics II

    Veröffentlicht 1995
    “… Progress in Computer Science and Applied Logic …”
    Volltext
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Mathematics for the analysis of algorithms

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

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

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Mathematics for the analysis of algorithms

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

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

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Mathematics for the analysis of algorithms

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

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

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Mathematical logic foundations for information science

    Mathematical logic foundations for information science von Li, Wei 1943-

    Veröffentlicht 2014
    “… Progress in computer science and applied logic …”
    DE-634
    DE-861
    DE-91
    DE-384
    DE-19
    DE-703
    DE-20
    DE-739
    Volltext
    Inhaltsverzeichnis
    Abstract
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  15. 15
    A graph theoretic approach to enterprise network dynamics

    A graph theoretic approach to enterprise network dynamics

    Veröffentlicht 2007
    “… Progress in computer science and applied logic …”
    Volltext
    lizenzfrei
    Buch

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Cryptography and computational number theory

    Cryptography and computational number theory

    Veröffentlicht 2001
    “… Progress in computer science and applied logic …”
    Inhaltsverzeichnis
    Buch

    Zu den Favoriten
    Gespeichert in:
  17. 17
    An Introduction to Quantum Computing Algorithms

    An Introduction to Quantum Computing Algorithms von Pittenger, Arthur O.

    Veröffentlicht 2000
    “… Progress in Computer Science and Applied Logic …”
    Volltext
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  18. 18
    An introduction to quantum computing algorithms

    An introduction to quantum computing algorithms von Pittenger, Arthur O.

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

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Number theoretic methods in cryptography complexity lower bounds

    Number theoretic methods in cryptography complexity lower bounds von Šparlinskij, Igor E. 1956-

    Veröffentlicht 1999
    “… Progress in computer science and applied logic …”
    Inhaltsverzeichnis
    Buch

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Symbolic rewriting techniques

    Symbolic rewriting techniques

    Veröffentlicht 1998
    “… Progress in computer science and applied logic …”
    Inhaltsverzeichnis
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: