- 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
-
1
-
2
Tendances nouvelles de l'enseignement integre des sciences /
Published 1981“…Sciences integrees…”
Book -
3
Molecular and genetic aspects of nitrate assimilation /
Published 1989“…Oxford science publications.…”
Book -
4
Categorisation et cognition : de la perception au discours /
Published 1997“…Sciences du langage…”
Book -
5
-
6
Interfacial phenomena : equilibrium and dynamic effects /
Published 2008“…Surfactant science series ;…”
Publisher description
Book -
7
Pharmaceutical stress testing : predicting drug degradation /
Published 2011“…Drugs and the pharmaceutical sciences ;…”
Book -
8
Advances in artificial intelligence : 13th Brazilian Symposium on Artificial Intelligence, SBIA '96, Curitiba, Brazil, October 23-25, 1996 : proceedings /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
9
Time structures : formal description and algorithmic representation /
Published 1996“…Lecture notes in computer science ;…”
Book -
10
Les effets de commerce escompte et recouvrement changes et monnaires : précis théorique et practique /
Published 1919“…Etudes de science financiere…”
Book -
11
Progress in artificial intelligence : Proceedings / Carlos Pinto-Ferreira, Nuno J. Mamede.
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
12
Advances in case-based reasoning : 2nd european workshop EWCBR'94 Chantilly, France, November 7-10, 1994 Selected papers /
Published 1995“…Lecture notes in computer science…”
Conference Proceeding Book -
13
Topics in artificial intelligence : 4th Conference of the Italian Association for Artificial Intelligence, AI*IA '95, Florence, Italy, October 11-13, 1995 : proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
14
Progress in evolutionary computation : AI'93 and AI'94 Workshops on Evolutionary Computation, Melbourne, Victoria, Australia, November 16, 1993, Armidale, NSW, Australia, November...
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
15
Algorithmic learning theory : Proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
16
Case-based reasoning : research and development : first international conference, ICCBR-95, Sesimbra, Portugal, October 23-26, 1995 : proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
17
Conceptual structures: Applications, implementation and theory : proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
18
Advances in artificial intelligence : 12th Brazilian Symposium on Artificial Intelligence, SBIA '95, Campinas, Brazil, October 10-12, 1995 : proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
19
KI-95 : Advances in artificial intelligence : 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11-13, 1995 : proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
20
Algorithmic learning for knowledge-based systems : GOSLER final report /
Published 1995“…Lecture notes in computer science ;…”
Book