Search
Feedback
About
Help
News
| Listing 1 - 10 of 11 | << page >> |
Sort by
|
ISBN: 0132175223 Year: 1990 Publisher: New York London Singapore Horwood
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
ISBN: 0387133720 Year: 1984 Publisher: Berlin New York Springer
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
ISBN: 0060472081 Year: 1987 Volume: vol *3 Publisher: New York, NY : Harper & Row,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computational complexity. --- Machine theory. --- Electronic data processing - Mathematics. --- Informatique --- Data processing. --- Computer science --- Algorithmes
Book
ISBN: 0471800759 Year: 1985 Publisher: New York Wiley
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
ISBN: 089871219X 9780898712193 Year: 1988 Publisher: Philadelphia : SIAM,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Electronic data processing --- Mathematics --- Mathématiques --- Congresses. --- Congrès --- Congresses --- Mathématiques --- Congrès --- Electronic data processing - Mathematics - Congresses --- Mathematics - Congresses
ISBN: 0444876472 9780444876478 9780080872131 0080872131 1281788201 9786611788209 Year: 1985 Volume: 24 102 Publisher: Amsterdam ; New York : New York, N.Y. : North-Holland ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
This volume contains nine selected papers presented at the Borgholm conference. They were chosen on the basis of their immediate relevance to the most fundamental aspects of the theory of computation and the newest developments in this area.These papers, which have been extended and refereed, fall into eight categories: 1. Constructive Mathematics in Models of Computation and Programming; 2. Abstract Calculi and Denotational Semantics; 3. Theory of Machines, Computations and Languages; 4. Nondeterminism, Concurrency and Distributed Computing; 5. Abstract Algebras, Logics and Combinator
Book
ISBN: 0201155850 9780201155853 Year: 1990 Publisher: Reading (Mass.) : Addison-Wesley,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Mathematics. --- Computer science --- -Informatics --- -Combinatorics. Graph theory --- Mathematics --- 519.1 --- Math --- Science --- 519.1 Combinatorics. Graph theory --- Combinatorics. Graph theory --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Computer. Automation --- Electronic data processing - Mathematics. --- Computer science - Mathematics.
Book
ISBN: 0716713055 9780716713050 Year: 1982 Publisher: San Francisco (Calif.) Freeman
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computer. Automation --- Discrete mathematics --- Mathematics --- Mathematical models --- Computer science --- Mathématiques --- Modèles mathématiques --- Informatique --- Electronic data processing --- 1961 --- -Mathematics --- 519.85 --- -Mathematical models --- 681.3*F0 --- Math --- Science --- Models, Mathematical --- Simulation methods --- Informatics --- Mathematical programming --- Computerwetenschap--?*F0 --- 519.85 Mathematical programming --- Computer mathematics --- Mathematics - 1961 --- Electronic data processing - Mathematics
ISBN: 0306307073 1468420038 1468420011 9780306307072 Year: 1972 Publisher: New York, NY : Plenum Press,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Numerical analysis --- Computer. Automation --- Electronic digital computers --- Electronic data processing --- Programming --- Congresses --- numerical analysis --- congresses --- Mathematics --- Computational complexity --- -#TCPW P3.0 --- 681.3*F2 --- Complexity, Computational --- Machine theory --- Analysis of algorithms and problem complexity--See also {681.3*B6}; {681.3*B7}; {681.3*F13} --- Congresses. --- 681.3*F2 Analysis of algorithms and problem complexity--See also {681.3*B6}; {681.3*B7}; {681.3*F13} --- #TCPW P3.0 --- Analyse numérique --- Langages de programmation --- Electronic digital computers - Programming - Congresses --- Electronic data processing - numerical analysis - congresses --- Electronic data processing - Mathematics - Congresses
ISBN: 0131204866 9780131204867 Year: 1990 Publisher: Englewood Cliffs, NJ : Prentice-Hall,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computer science --- Ordered algebraic structures --- Categories (Mathematics) --- Catégories (Mathématiques) --- Informatique --- Mathematics --- Mathématiques --- Electronic data processing --- 512.55 --- 512.58 --- -ADP (Data processing) --- Automatic data processing --- Data processing --- EDP (Data processing) --- IDP (Data processing) --- Integrated data processing --- Computers --- Office practice --- Category theory (Mathematics) --- Algebra, Homological --- Algebra, Universal --- Group theory --- Logic, Symbolic and mathematical --- Topology --- Functor theory --- Rings and modules --- Categories. Category theory --- Automation --- Mathematics. --- -Rings and modules --- Categories (Mathematics). --- 512.58 Categories. Category theory --- 512.55 Rings and modules --- -Category theory (Mathematics) --- ADP (Data processing) --- Catégories (Mathématiques) --- Mathématiques --- Catégories (mathématiques) --- Electronic data processing - Mathematics --- -Mathematics
| Listing 1 - 10 of 11 | << page >> |
Sort by
|