- Programming languages 83
- Artificial intelligence 81
- Inteligencia artificial 81
- Lenguajes de programación 78
- Mathematical logic 77
- Logics and meanings of programs 74
- Lógica matemática 73
- Software engineering 73
- Formal languages 68
- Lógica y significado de programas 68
- Lenguajes formales 62
- Ingeniería de software 60
- Analysis of algorithms and problem complexity 50
- Análisis numérico 48
- Análisis de algoritmos y problemas de complejidad 47
- Discrete mathematics 45
- Computer networks 43
- Mathematical logic-Computation 43
- FILOSOFIA DE LA CIENCIA 42
- Programming techniques 42
- Redes de computadoras 42
- Computation by abstract devices 41
- Lógica matemática-Computación 41
- Matemática discreta 40
- Deducción y prueba de teoremas 39
- Ecuaciones diferenciales parciales 39
- Database management 38
- Deduction and theorem proving 38
- Numerical analysis 38
- Computación mediante dispositivos abstractos 36
-
1761
Biological effects and dosimetry of nonionizing radiation : radio frequency and micro-wave energies /
Published 1983“…NATO Advanced Studies Institute. Series A, Life sciences ;…”
Book -
1762
Le probleme de physique du Baccalauréat : cl. de math. & de sc. exp.
Published 1962“…Collection des guides pratiques. Section des sciences physiques ;…”
Book -
1763
Physique : classes de premiére A'CMM' /
Published 1964“…Collection des guides pratiques. Section des sciences physiques ;…”
Book -
1764
Physique du baccalauréat : classes de mathématiques et de sciences expérimentales /
Published 1961“…Collection des guides pratiques. Section des sciences physiques ;…”
Book -
1765
Numerical methods for chemical engineers with MATLAB applications /
Published 1999“…Prentice Hall international series in the physical and chemical engineering sciences…”
Book -
1766
Algorithmic and quantitative real algebraic geometry : DIMACS Workshop, Algorithmic and Quantitative Aspects of Real Algebraic, Geometry in Mathematics and Computer Science, March...
Published 2003“…DIMACS series in discrete mathematics and theoretical computer science,…”
Conference Proceeding Book -
1767
Introduction to quantum control and dynamics /
Published 2008“…Chapman & Hall/CRC applied mathematics and nonlinear science series…”
Table of contents only
Book -
1768
Boolean algebra and its applications /
Published 1961“…Addison-Wesley series in the engineering sciences. Electrical and control systems…”
Book -
1769
Handbook of logic in computer science /
Published 1992“…Handbooks of logic in computer science and artificial intelligence and logic programming…”
Book -
1770
Systems of nonlinear partial differential equations /
Published 1983“…Series C, Mathematical and physical sciences ;…”
Conference Proceeding Book -
1771
Shape optimization and free boundaries /
Published 1992“…Series C, Mathematical and physical sciences ;…”
Book -
1772
Computational aspects of complex analysis /
Published 1983“…Series C, Mathematical and physical sciences ;…”
Book -
1773
Simulation modeling and analysis /
Published 1991“…McGraw-Hill series in industrial engineering and management science…”
Book -
1774
Polyhedral combinatorics /
Published 1990“…DIMACS series in discrete mathematics and theoretical computer science ;…”
Book -
1775
Distributed computing and cryptography : Proceedings of a DIMACS Workshop, October 4-6, 1989 /
Published 1991“…DIMACS series in discrete mathematics and theoretical computer science ;…”
Conference Proceeding Book -
1776
Geometrical methods for the theory of linear systems : proceedings of a NATO Advanced Study Institute and AMS Summer Seminar in Applied Mathematics, held at Harvard University, Cam...
Published 1980“…Series C, Mathematical and physical sciences ;…”
Conference Proceeding Book -
1777
Geometric methods in system theory /
Published 1973“…Series C, Mathematical and physical sciences ;…”
Conference Proceeding Book -
1778
Measurement theory : with applications to decisionmaking, utility and the social sciences /
Published 1979“…Section: Mathematics and the social sciences ;…”
Book -
1779
On-line algorithms : proceedings of a DIMACS workshop, February 11-13, 1991 /
Published 1992“…DIMACS series in discrete mathematics and theoretical computer science ;…”
Book -
1780
Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990 /
Published 1991“…DIMACS series in discrete mathematics and theoretical computer science,…”
Conference Proceeding Book