- Artificial intelligence 73
- Inteligencia artificial 73
- Software engineering 62
- Logics and meanings of programs 58
- Lógica y significado de programas 55
- Programming languages 55
- Ingeniería de software 51
- Lenguajes de programación 51
- Analysis of algorithms and problem complexity 45
- Análisis de algoritmos y problemas de complejidad 43
- Mathematical logic 43
- Computer networks 40
- Formal languages 39
- Lógica matemática 39
- Redes de computadoras 39
- Computation by abstract devices 38
- Deducción y prueba de teoremas 38
- Deduction and theorem proving 37
- Discrete mathematics 37
- Database management 36
- Lenguajes formales 36
- Mathematical logic-Computation 36
- Computación mediante dispositivos abstractos 34
- Data encryption 34
- Lógica matemática-Computación 34
- Sistemas distribuidos 34
- Distributed systems 33
- Matemática discreta 33
- Programming techniques 33
- Administrative data processing 32
-
121
Software Product Lines : Going Beyond : 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010 : Proceedings /
Published 2010“…Lecture notes in computer science ;…”
Conference Proceeding Book -
122
CONCUR - 2007 : Concurrency Theory : 18th International Conference, CONCUR 2007 Lisbon, Portugal, September 3-8, 2007 : Proceedings /
Published 2007“…Lecture notes in computer science ;…”
Conference Proceeding eBook -
123
Computer Aided Verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : Proceedings /
Published 2007“…Lecture notes in computer science ;…”
Conference Proceeding Book -
124
Language engineering and rigorous software development : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008 ; revised tutorial lectures...
Published 2009“…Lecture notes in computer science,…”
Conference Proceeding Book -
125
Typed lambda calculi and applications : 9th International Conference, TICA 2009, Brasilia, Brazil, July 1-3, 2009 : proceedings /
Published 2009“…Lecture notes in computer science,…”
Conference Proceeding Book -
126
Logic, language, information and computation : 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012 : proceedings /
Published 2012“…Lecture notes in computer science ;…”
Book -
127
Symbolic and algebraic computation /
Published 1989“…Lecture notes in computer science ;…”
Conference Proceeding Book -
128
Typed lambda calculi and applications : 11th International Conference, TLCA 2013, Eindhoven, the Netherlands, June 26-28, 2013 : proceedings /
Published 2013“…Lecture notes in computer science ;…”
Book -
129
Parallel computing technologies : Proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
130
A concurrent Pascal compiler for minicomputers /
Published 1977“…Lecture notes in computer science ;…”
Book -
131
Mathematical foundations of computer science 1977 : Proceedings /
Published 1977“…Lecture notes in computer science ;…”
Conference Proceeding Book -
132
Word equations and related topics /
Published 1992“…Lecture notes in computer science ;…”
Conference Proceeding Book -
133
Conditional term rewriting systems /
Published 1993“…Lecture notes in computer science ;…”
Conference Proceeding Book -
134
Matrix eigensystem routines -EISPACK guide extension /
Published 1977“…Lecture notes in computer science ;…”
Book -
135
Advances in spatial databases /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
136
Graph grammars and their application to computer science /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
137
Fundamentals of computation theory : 0th international conference, FCT '95, Dresden, Germany, August 1995 : proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
138
Memory management : International workshop IWMM '95 Kinross, UK, September 1995 : proceeding /
Published 1995“…Lecture notes in computer science ;…”
Book -
139
Database and expert systems applications : 6th International Coonference, DEXA' 95 London, United Kingdom, September 1995 Proceeding /
Published 1995“…Lecture notes in computer science ;…”
Book -
140
Image analysis and processing : Proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book