- 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
-
1681
Differential equations, stability, oscillations, time lags /
Published 1966“…Mathematics in science and engineering. A series of monographs and textbooks ;…”
Book -
1682
Linear and quasilinear elliptic equations /
Published 1968“…Mathematics in science and engineering. A series of monographs and textbooks ;…”
Book -
1683
Introduction to metallurgical thermodynamics /
Published 1973“…McGraw-Hill series in materials science and engineering…”
Book -
1684
Nonholonomic motion planning /
Published 1993“…The Kluwer international series in engineering and computer science. Robotics…”
Book -
1685
Global changes in the perspective of the past : report of the Dahlem Workshop on Global Changes in the Perspective of the Past /
Published 1993“…Environmental sciences research report ;…”
Conference Proceeding Book -
1686
Différents types de savoirs et leur articulation /
Published 1995“…Travaux et thèses de didactique. Série Sciences…”
Book -
1687
Future trends in microelectronics : reflections on the road to nanotechnology /
Published 1996“…NATO ASI series. Series E, Applied sciences ;…”
Book -
1688
Nanoscale science and technology /
Published 1998“…NATO ASI series. Series E, Applied sciences ;…”
Book -
1689
Stability by Liapunov's direct method with applications /
Published 1964“…Mathematics in science and engineering. A series of monographs and textbooks ;…”
Book -
1690
Stability of motion /
Published 1966“…Mathematics in science and engineering. A series of monographs and textbooks ;…”
Book -
1691
Qualitative analysis of large scale dynamical systems /
Published 1977“…Mathematics in science and engineering. A series of monographs and textbooks ;…”
Book -
1692
Nonlinear autonomous oscillations : analytical theory /
Published 1967“…Mathematics in science and engineering. A series of monographs and textbooks ;…”
Book -
1693
Integral equations and stability of feedback systems /
Published 1973“…Mathematics in science and engineering. A series of monographs and textbooks ;…”
Book -
1694
Applications of functional analysis and operator theory /
Published 1980“…Mathematics in science and engineering. A series of monographs and textbooks ;…”
Book -
1695
Operator inequalities /
Published 1980“…Mathematics in science and engineering. A series of monographs and textbooks ;…”
Book -
1696
Optimization of distributed parameter structures /
Published 1981“…NATO ASI series. Series E, Applied sciences ;…”
Book -
1697
Optimization of stochastic systems : topics in discrete-time systems /
Published 1967“…Mathematics in science and engineering. A series of monographs and textbooks ;…”
Book -
1698
Computational methods in optimization : a unifield approach /
Published 1971“…Mathematics in science and engineering. A series of monographs and textbooks ;…”
Book -
1699
Optimal control systems /
Published 1965“…Mathematics in science and engineering. A series of monographs and textbooks ;…”
Book -
1700
Topics in optimization /
Published 1967“…Mathematics in science and engineering. A series of monographs and textbooks ;…”
Book