1. |
Automata, languages and programming : 2nd colloquium, University of Saarbrücken, July 29-August 2, 1974. / edited by Jacques Loeckx.
|
1974 |
Libro |
68 C714-2 |
2. |
Matrix eigensystem routines : EISPACK guide / B. T. Smith ... [et al.]. — 2nd ed.
|
1976 |
Libro |
65 M433-2 |
3. |
Compiler construction : an advanced course / F. L. Bauer ... [et al.] ; edited by F. L. Bauer and J. Eickel. — 2nd ed.
|
1976 |
Libro |
68 C737 |
4. |
Complementary definitions of programming language semantics / James E. Donahue.
|
1976 |
Libro |
68 D674 |
5. |
Operating systems : an advanced course / M. J. Flynn ... [et al.] ; edited by R. Bayer, R. M. Graham, and G. Seegmüller.
|
1978 |
Libro |
68 Op61 |
6. |
The Vienna development method : the Meta-language / edited by D. Bjørner and C. B. Jones.
|
1978 |
Libro |
68 V662 |
7. |
Program construction : international summer school / F. L. Bauer ... [et al.] ; edited by F. L. Bauer and M. Broy.
|
1979 |
Libro |
68 P964 |
8. |
Towards a formal description of Ada / edited by D. Bjørner and O.N. Oest.
|
1980 |
Libro |
68 Ad191d |
9. |
The programming language Ada : reference manual : proposed standard document / United States Department of Defense.
|
1981 |
Libro |
68 Ad191 |
10. |
TAPSOFT : proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) : Berlin, March 25-29, 1985 / edited by Harmut Ehrig, Christiane Floyd, Maurice Nivat and James Thatcher.
|
1985 |
Libro |
68 In61-1985 |
11. |
Negation and control in PROLOG / Lee Naish.
|
1986 |
Libro |
68 N158 |
12. |
Advances in Petri nets 1991 / G. Rozenberg (ed.).
|
1991 |
Libro |
68 In61-1990 |
13. |
Theory and Applications of Satisfiability Testing [electronic resource] : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers / edited by Holger H. Hoos, David G. Mitchell.
|
2005 |
e-book |
SpringerLink, via BECYT |
14. |
Unconventional Programming Paradigms [electronic resource] : International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers / edited by Jean-Pierre Banâtre, Pascal Fradet, Jean-Louis Giavitto, Olivier Michel.
|
2005 |
e-book |
SpringerLink, via BECYT |
15. |
Abstraction, Reformulation and Approximation [electronic resource] : 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005. Proceedings / edited by Jean-Daniel Zucker, Lorenza Saitta.
|
2005 |
e-book |
SpringerLink, via BECYT |
16. |
Automated Deduction CADE-20 [electronic resource] : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005. Proceedings / edited by Robert Nieuwenhuis.
|
2005 |
e-book |
SpringerLink, via BECYT |
17. |
Computational Logic in Multi-Agent Systems [electronic resource] : 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers / edited by João Leite, Paolo Torroni.
|
2005 |
e-book |
SpringerLink, via BECYT |
18. |
Inductive Logic Programming [electronic resource] : 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005. Proceedings / edited by Stefan Kramer, Bernhard Pfahringer.
|
2005 |
e-book |
SpringerLink, via BECYT |
19. |
Case-Based Reasoning Research and Development [electronic resource] : 6th International Conference on Case-Based Reasoning, ICCBR 2005, Chicago, IL, USA, August 23-26, 2005. Proceedings / edited by Héctor Muñoz-Ávila, Francesco Ricci.
|
2005 |
e-book |
SpringerLink, via BECYT |
20. |
Fundamentals of Computation Theory [electronic resource] : 15th International Symposium, FCT 2005, Lübeck, Germany, August 17-20, 2005. Proceedings / edited by Maciej Likiewicz, Rüdiger Reischuk.
|
2005 |
e-book |
SpringerLink, via BECYT |