Search
Feedback
About UniCat 
Help
News
| Listing 1 - 7 of 7 |
Sort by
|
ISBN: 089871219X 9780898712193 Year: 1988 Publisher: Philadelphia: Society for industrial and applied mathematics,
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: 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: Plenum,
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: New York (N.Y.): 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 --- Catégories (mathématiques)
ISBN: 0201142368 9780201142365 Year: 1990 Publisher: Reading (Mass.) : 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 - 7 of 7 |
Sort by
|