Search
Feedback
About UniCat 
Help
News
| Listing 1 - 10 of 23 | << page >> |
Sort by
|
Book
Year: 1984 Publisher: [Place of publication not identified] Association for Computing Machinery
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computation laboratories --- Data processing service centers --- Congresses --- Congresses.
ISBN: 3540136576 366211108X 3662111063 0387136576 9783540136576 9780387136578 Year: 1984 Publisher: Berlin : Veda (Vydavatel'stvo slovenskej akademie vied) = Editions de l'académie slovaque des sciences = Academia scientiarum slovaca = Publishing house of the Slovak academy of sciences = Slowakische Akademie der Wissenschaften,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
681.3 *C2 --- 681.3*B10 --- 681.3*F12 --- Computer communication networks: data communications; OSI; security and protection --- Computerwetenschap--?*B10 --- Modes of computation: alternation and nondeterminism; parallelism; probabilistic computation; relations among modes; relativized computation --- 681.3*F12 Modes of computation: alternation and nondeterminism; parallelism; probabilistic computation; relations among modes; relativized computation --- 681.3 *C2 Computer communication networks: data communications; OSI; security and protection --- Algorithmes --- Programmation des ordinateurs
Book
ISBN: 2225802661 9782225802669 Year: 1984 Publisher: Paris: Masson,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Formal languages --- Langages formels --- Théorie des automates --- 681.3*F1 --- 681.3*F4 --- Formalization (Linguistics) --- Language and languages --- Machine theory --- Computation by abstract devices --- Mathematical logic and formal languages (Theory of computation) --- 681.3*F4 Mathematical logic and formal languages (Theory of computation) --- 681.3*F1 Computation by abstract devices
Book
ISBN: 3540905731 0387905731 1461394570 1461394554 9783540905738 9780387905730 Year: 1984 Publisher: New York, N.Y.: Springer,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computer Science --- 681.3*F1 --- Computation by abstract devices --- 681.3*F1 Computation by abstract devices --- Computer science --- #TCPW P3.0 --- 681.3*F4 --- Informatics --- Science --- 681.3*F4 Mathematical logic and formal languages (Theory of computation) --- Mathematical logic and formal languages (Theory of computation) --- Informatique --- Langages formels --- Formal languages
Book
ISBN: 2040157239 9782040157234 Year: 1984 Publisher: Paris: Dunod,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Parallel processing (Electronic computers) --- Electronic data processing --- Parallélisme (Informatique) --- Traitement réparti --- Distributed processing. --- Distributed processing --- -Parallel processing (Electronic computers) --- 681.3*F12 --- High performance computing --- Multiprocessors --- Parallel programming (Computer science) --- Supercomputers --- ADP (Data processing) --- Automatic data processing --- Data processing --- EDP (Data processing) --- IDP (Data processing) --- Integrated data processing --- Computers --- Office practice --- Modes of computation: alternation and nondeterminism; parallelism; probabilistic computation; relations among modes; relativized computation --- Automation --- 681.3*F12 Modes of computation: alternation and nondeterminism; parallelism; probabilistic computation; relations among modes; relativized computation --- Distributed computer systems in electronic data processing --- Distributed computing --- Distributed processing in electronic data processing --- Computer networks --- Electronic data processing - Distributed processing --- Parallelism --- Concurrent Processes --- Distributed Algorithm --- synchronization --- Concurrency
Periodical
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Business management --- Economic relations. Trade --- Operations research --- Recherche opérationnelle --- Periodicals. --- Périodiques --- Recherche opérationnelle --- Business, Economy and Management --- Operations Research --- General and Others --- Number Theory --- Stochastic Computation --- Mathematical Sciences --- Business, Economy and Management. --- Stochastic Computation. --- Mathematical Sciences.
ISBN: 0123520924 0123520908 9780123520906 9780123520920 Year: 1984 Volume: no. 21 Publisher: London : Academic press,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
ISBN: 0486450260 Year: 1984 Publisher: Mineola Dover
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
A classic exposition of the branch of mathematical logic known as category theory, this text is suitable for advanced undergraduates and graduate students and accessible to both philosophically and mathematically oriented readers. Beginning with a survey of set theory and its role in mathematics, it proceeds to definitions and examples of categories and explains the use of arrows in the place of epsilon. Subsequent topics include topos logic, algebra of subobjects, instituionism and its logic, functors, set concepts and validity, and elementary truth. Explorations of categorial set theory, local truth, and adjointness and quantifiers conclude with a study of logical geometry. 1983 ed.
ISBN: 3540129200 0387129200 3540388052 Year: 1984 Volume: vol 166 Publisher: Berlin Heidelberg Tokyo Springer
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computer science --- 681.3*F1 --- 681.3*F2 --- 681.3*F3 --- 681.3*F4 --- Computation by abstract devices --- Analysis of algorithms and problem complexity--See also {681.3*B6}; {681.3*B7}; {681.3*F13} --- 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*F2 Analysis of algorithms and problem complexity--See also {681.3*B6}; {681.3*B7}; {681.3*F13} --- 681.3*F1 Computation by abstract devices --- Computer software. --- Computer science. --- Logic design. --- Algorithm Analysis and Problem Complexity. --- Mathematical Logic and Formal Languages. --- Logics and Meanings of Programs. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Software, Computer --- Computer systems
Book
ISBN: 2225801371 Year: 1984 Publisher: Paris : Masson,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Séries (Mathématiques) --- Langages formels. --- 512.5 --- 517.52 --- 681.3*F4 --- General algebra --- Series and sequences --- Mathematical logic and formal languages (Theory of computation) --- 681.3*F4 Mathematical logic and formal languages (Theory of computation) --- 517.52 Series and sequences --- 512.5 General algebra --- Séries (Mathématiques) --- Séries (mathématiques) --- Series --- Langages formels --- Formal languages --- Séries (mathématiques)
| Listing 1 - 10 of 23 | << page >> |
Sort by
|