UP - logo

Rezultati iskanja

Osnovno iskanje    Ukazno iskanje   

Trenutno NISTE avtorizirani za dostop do e-virov UPUK. Za polni dostop se PRIJAVITE.

3 4 5 6 7
zadetkov: 193
41.
Celotno besedilo

PDF
42.
Celotno besedilo
43.
Celotno besedilo

PDF
44.
Celotno besedilo

PDF
45.
  • Automata and Computability Automata and Computability
    Kozen, Dexter C 1997, 1997.
    eBook

    This textbook provides undergraduate students with an introduction to the basic theoretical models of computability. Students who have already some experience with elementary discrete mathematics ...
Celotno besedilo
46.
Celotno besedilo

PDF
47.
  • First-Order Logic and Autom... First-Order Logic and Automated Theorem Proving
    Fitting, Melvin c1996.
    eBook

    There are many kinds of books on formal logic. Some have philosophers as their intended audience, some mathematicians, some computer scien­ tists. Although there is a common core to all such books, ...
Celotno besedilo
48.
  • Refinement Calculus Refinement Calculus
    Back, Ralph-Johan; Wright, Joakim 1998, 1998.
    eBook

    Much current research in computer science is concerned with two questions: is a program correct? And how can we improve a correct program preserving correctness? This latter question is known as the ...
Celotno besedilo
49.
  • Vive la Diff\'erence: Paxos vs. Viewstamped Replication vs. Zab
    Van Renesse, Robbert; Schiper, Nicolas; Schneider, Fred B arXiv (Cornell University), 09/2013
    Journal Article
    Odprti dostop

    Paxos, Viewstamped Replication, and Zab are replication protocols that ensure high-availability in asynchronous environments with crash failures. Various claims have been made about similarities and ...
Celotno besedilo
50.
Celotno besedilo

PDF
3 4 5 6 7
zadetkov: 193

Nalaganje filtrov