Suggested Topics within your search.
Suggested Topics within your search.
- 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
-
201
Applied algebra, algebraic algorithms and eror-correcting codes : 12th international symposium, AAECC-12, Toulouse, France, June 23-27, 1997 : proceedings /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
202
-
203
Mobile agents : first international workshop... /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
204
Deductive and object-oriented databases /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
205
Combinatorial pattern matching /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
206
SOFSEM'96 : theory and practice of informatics : 23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23-30, 1996 : proceedings /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
207
-
208
Automata, languages and programming /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
209
Compiler construction : 7th International Conference, CC '98, held as part of the European Joint Conferences on the Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, Ma...
Published 1998“…Lecture notes in computer science ;…”
Conference Proceeding Book -
210
Advances in cryptology - ASIACRYPT 1996 /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
211
Electronic commerce : current research issues and applications /
Published 1996“…Lecture notes in computer science ;…”
Book -
212
Software configuration management : ICSE SCM-4 and SCM-5 workshops : Selected papers /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
213
Mathematics of program construction : third international conference, MPC ’95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
214
Algorithms and computation /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
215
Advanced functional programming /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
216
Fast software encryption : Proceedings... /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
217
Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem /
Published 1996“…Lecture notes in computer science ;…”
Book -
218
Digital libraries : research and technology advances : ADL '95 forum, McLean, Virginia, USA, May 1995 : selected papers /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
219
Logics for concurrency : structure versus automata /
Published 1996“…Lecture notes in computer science ;…”
Book -
220
Input/Output intensive massively parallel computing : language support, automatic parallelization, advanced optimization, and runtime systems.
Published 1997“…Lecture notes in computer science ;…”
Book