- 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
-
1041
Fundamentals of computation theory : 0th international conference, FCT '95, Dresden, Germany, August 1995 : proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1042
Memory management : International workshop IWMM '95 Kinross, UK, September 1995 : proceeding /
Published 1995“…Lecture notes in computer science ;…”
Book -
1043
Database and expert systems applications : 6th International Coonference, DEXA' 95 London, United Kingdom, September 1995 Proceeding /
Published 1995“…Lecture notes in computer science ;…”
Book -
1044
Image analysis and processing : Proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1045
Distributed algorithms : 9th international workshop, WDAG '95, Le-Mont-Saint-Michel, France, September 13-15, 1995 : proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1046
Information systems and data management : Proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1047
Euro-Par '95 Parallel processing : Proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1048
Computer analysis of images and patterns : Proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1049
Bringing telecommunication services to the people - IS&N '95 : Proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1050
Rules in database systems : Proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1051
Computing and combinatorics : first annual international conference, COCOON'95, Xi'an, China, August 1995 : Proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1052
ECOOP '95, object-oriented programming : 9th European Conference, Aarhus, Denmark, August 7-11, 1995 : proceedings / /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1053
Object representation in computer vision : Proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1054
Principles and practice of constraint programming - CP'95 : first international conference, CP '95, Cassis, France, September 19-22, 1995 : proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1055
Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1056
Types for proofs and programs : International workshop TYPES '94 Bastad, Sweden, June 6-10, 1994 Selected papers /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1057
CONCUR - 1995 : Concurrency theory : Proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1058
Advances in cryptology - EUROCRYPT '94 /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1059
Field-Programmable logic and applications /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1060
Higher order logic theorem proving and its applications : 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings /
Published 1995“…Lecture notes in computer science ;…”
Book