- 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
-
1361
OOER'95 : object-oriented and entity-relationship modeling /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1362
Foundations of software technology and theoretical computer science /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1363
Cryptography and coding /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1364
Image analysis applications and computer graphics /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1365
Algorithms, concurrency and knowledge / 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995 : proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1366
Distributed algorithms / 8th international workshop, WDAG '94, Terschelling, the Netherlands, September 29-October 1, 1994 : proceedings
Published 1994“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1367
Higher order logic theorem proving and its applications : 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings /
Published 1994“…Lecture notes in computer science ;…”
Book -
1368
Studies of software design : ICSE '93 workshop, Baltimore, Maryland, USA, May 17-18, 1993 : selected papers /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1369
Graph drawing : Symposium on Graph Drawing, GD ’95, Passau, Germany, September 20-22, 1995 : proceedings /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1370
Cryptography : policy and algorithms : international conference, Brisbane, Queensland, Australia, July 3-5, 1995 : proceedings /
Published 1996“…Lecture notes in computer science ;…”
Book -
1371
Typed lambda calculi and applications /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1372
Theory and practice of parallel programming /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1373
Recent trends in data type specification /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1374
Extensions of the UNITY methodology : compositionality, fairness and probability in parallelism /
Published 1995“…Lecture notes in computer science ;…”
Book -
1375
An introduction to metal matrix composites /
Published 1995“…Cambridge solid state science series…”
Book -
1376
-
1377
Solitons and condensed matter physics : proceedings of the Symposium on Nonlinear (Soliton) Structure and Dynamics in Condensed Matter, Oxford, England, June 27-29, 1978 /
Published 1978“…Springer series in solid-state sciences ;…”
Conference Proceeding Book -
1378
Solitons : mathematical methods for physicists /
Published 1981“…Springer series in solid-state sciences ;…”
Book -
1379
-
1380
Mathematical principles of mechanics and electromagnetism /
Published 1979“…Mathematical concepts and methods in science and engineering ;…”
Book