Search
Feedback
About UniCat 
Help
News
| Listing 1 - 10 of 13 | << page >> |
Sort by
|
ISBN: 0387976647 1461269504 1461209315 9780387976648 Year: 1992 Publisher: New York (N.Y.): Springer
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Electronic digital computers --- Logic, Symbolic and mathematical --- Programmation des ordinateurs --- Logique symbolique et mathématique --- Programming --- Computer programming --- Logic, symbolic and mathematical --- 681.3*D41 --- 681.3*H24 --- Computers --- Electronic computer programming --- Electronic data processing --- Programming (Electronic computers) --- Coding theory --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Process management: concurrency; deadlocks; multiprocessing/multiprogramming;mutual exclusion; scheduling; synchronization (Operating systems) --- Systems: concurrency; distributed systems; query processing; transaction processing (Database management) --- 681.3*H24 Systems: concurrency; distributed systems; query processing; transaction processing (Database management) --- 681.3*D41 Process management: concurrency; deadlocks; multiprocessing/multiprogramming;mutual exclusion; scheduling; synchronization (Operating systems) --- Computer programming. --- Logique symbolique et mathématique --- Concurrency --- Temporal Logic --- Formal methods --- Reactive Systems
ISBN: 0387944591 9780387944593 Year: 1995 Publisher: New York (N.Y.) : Springer,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computer software --- Parallel processing (Electronic computers) --- Logiciels --- Parallélisme (Informatique) --- Verification --- Vérification --- Verification. --- Parallel processing (Electronic computers). --- Parallélisme (Informatique) --- Vérification --- Computer software - Verification --- Computer software - verification
ISBN: 3540976647 Year: 1992 Publisher: New York Berlin London Springer
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
Year: 1988 Publisher: Stanford (Calif.): Stanford University. Department of computer science
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
Year: 1986 Publisher: Rehovot Weizmann institute of science. Department of applied mathematics
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
ISBN: 3540518037 3540468110 Year: 1989 Volume: vol 398 Publisher: Berlin : Springer-Verlag,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computer science --- Mathematical logic --- 681.3*D24 --- 681.3*F1 --- 681.3*F3 --- 681.3*F4 --- Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- Computation by abstract devices --- Logics and meanings of programs (Theory of computation) --- Mathematical logic and formal languages (Theory of computation) --- 681.3*F4 Mathematical logic and formal languages (Theory of computation) --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- 681.3*F1 Computation by abstract devices --- 681.3*D24 Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- Computer science. --- Logic design. --- Computer software. --- Software engineering. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Algorithm Analysis and Problem Complexity. --- Software Engineering. --- Computer software engineering --- Engineering --- Software, Computer --- Computer systems --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science
Digital
ISBN: 9783642114861 9783642114878 9783642114854 Year: 2010 Publisher: Berlin, Heidelberg Springer
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
This book contains thoroughly refereed and revised papers from the 7th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2009, held in Akademgorodok, Novosibirsk, Russia, in June 2009. The 26 revised full papers and 4 revised short papers presented were carefully reviewed and selected from 67 submissions. The volume also contains 5 invited papers covering a range of hot topics in system informatics. The papers address all current aspects of theoretical computer science, programming methodology, and new information technologies, which are among the most important contributions of system informatics.
Logic --- Computer science --- Programming --- Computer architecture. Operating systems --- Computer. Automation --- computers --- computerbesturingssystemen --- programmeren (informatica) --- programmeertalen --- software engineering
Book
Year: 1984 Publisher: Rehovot Weizmann institute of science. Department of applied mathematics
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
| Listing 1 - 10 of 13 | << page >> |
Sort by
|