Search
Feedback
About
Help
News
| Listing 1 - 4 of 4 |
Sort by
|
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
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
ISBN: 0201142368 9780201142365 Year: 1989 Publisher: Upper Sadler River, NJ : Addison-Wesley,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computer science --- Mathematics. --- Computer science $$ x Mathematics --- sommen --- integer --- getaltheorie --- binomiaal --- asymptoten --- Nonnumerical algorithms and problems: complexity of proof procedures; computations on discrete structures; geometrical problems and computations; pattern matching --See also {?681.3*E2-5}; {681.3*G2}; {?681.3*H2-3} --- 681.3*F22 Nonnumerical algorithms and problems: complexity of proof procedures; computations on discrete structures; geometrical problems and computations; pattern matching --See also {?681.3*E2-5}; {681.3*G2}; {?681.3*H2-3} --- Mathematics --- informatica --- wiskunde --- #WBIB:dd.Lic.L.De Busschere --- 510.5 --- 519.6 --- 51 --- 681.3*F22 --- 519.6 Computational mathematics. Numerical analysis. Computer programming --- Computational mathematics. Numerical analysis. Computer programming --- Math --- Science --- 510.5 Algorithms. Computable functions --- Algorithms. Computable functions --- 51 Mathematics --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Numerical analysis --- Mathématiques --- Informatique --- 1961 --- -Mathematics --- Mathématiques --- Mathématiques. --- 51 Wiskunde. Mathematiek --- Wiskunde. Mathematiek --- Mathematics - 1961 --- -Electronic data processing - Mathematics --- Computer science x Mathematics --- Mathématiques.
| Listing 1 - 4 of 4 |
Sort by
|