- 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
-
1581
Introduction to the theory of complexity /
Published 1994“…Prentice-Hall international series in computer science…”
Book -
1582
The logic of partial information /
Published 1995“…Monographs in theoretical computer science…”
Book -
1583
Nonlinear ordinary differential equations /
Published 1979“…Oxford applied mathematics and computing science series…”
Book -
1584
Linear system theory : the state space approach /
Published 1963“…McGraw-Hill series in systems science…”
Book -
1585
Modern control systems theory /
Published 1965“…University of California engineering and sciences extension series…”
Book -
1586
L'enseignement des mathématiques dans les pays de l'OECE : monographies.
Published 1950“…Pour un enseignement rénové des sciences…”
Book -
1587
A classical mind : essays in honour of C. A. R. Hoare /
Published 1994“…Prentice-Hall international series in computer science…”
Book -
1588
Real-time systems : specification, verification and analysis /
Published 1996“…Prentice-Hall international series in computer science…”
Book -
1589
Elementary numerical computing with MATHEMATICA /
Published 1993“…McGraw-Hill computer science series…”
Book -
1590
Finite transition systems : semantics of communicating systems /
Published 1994“…Prentice-Hall international series in computer science…”
Book -
1591
Sources of information on atomic energy /
Published 1966“…International series of monographs in library and information science ;…”
Book -
1592
Parallel computing : theory and practice /
Published 1994“…McGraw-Hill series in computer science…”
Book -
1593
Introduction a la theorie d'Einstein : exposé philosophique élémentaire /
Published 1922“…Bilbiotheque des sciences modernes et sociales…”
Book -
1594
A history of magic and experimental science /
Published 1964“…History of science society publications. New Series ;…”
Book -
1595
Wisconsin's waters : a confluence of perspectives /
Published 2003“…Transactions of the Wisconsin Academy of Sciences, Arts, and Letters,…”
Book -
1596
-
1597
Figures de la mort : perspectives critiques /
Published 2008“…Essais en sciences humaines. Réflexions philosophiques.…”
Book -
1598
Leo Strauss, foi et raison /
Published 2007“…Essais en sciences humaines. Réflexions philosophiques.…”
Book -
1599
Auto-Donation : entretiens et conférences /
Published 2004“…Essais en sciences humaines. Reflexions philosophiques.…”
Book -
1600