| |
| ACM Symposium on Theory of Computing (35º : 2003 : San Diego, California, USA) |
|
1. |
Proceedings of the thirty-fifth annual ACM Symposium on the Theory of Computing : San Diego, USA, June 9-11, 2003 / sponsored by SIGACT The ACM Special Interest Group for Algorithms and Computation Theory.
|
2003 |
Libro |
68
Ac184-35 |
| |
| ACM Symposium on Theory of Computing (39º : 2007 : San Diego, California, USA) |
|
2. |
Proceedings of the 39th annual ACM Symposium on the Theory of Computing : San Diego, California, USA, June 11-13, 2007 / Sponsored by SIGACT [The ACM Special Interest Group for Algorithms and Computation Theory] organized by the Computer Technology Institute.
|
2007 |
Libro |
68
Ac184-39 |
| |
| Akiyama, Jin. |
|
3. |
Discrete and Computational Geometry [electronic resource] : Japanese Conference, JCDCG 2004, Tokyo, Japan, October 8-11, 2004, Revised Selected Papers / edited by Jin Akiyama, Mikio Kano, Xuehou Tan.
|
2005 |
e-book |
SpringerLink, via BECYT |
| |
| Alferes, Jóse Júlio. |
|
4. |
Principles and Practice of Semantic Web Reasoning [electronic resource] : 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers / edited by Jóse Júlio Alferes, James Bailey, Wolfgang May, Uta Schwertel.
|
2006 |
e-book |
SpringerLink, via BECYT |
| |
| Apolloni, Bruno. |
|
5. |
Neural Nets [electronic resource] : 16th Italian Workshop on Neural Nets, WIRN 2005, and International Workshop on Natural and Artificial Immune Systems, NAIS 2005, Vietri sul Mare, Italy, June 8-11, 2005, Revised Selected Papers / edited by Bruno Apolloni, Maria Marinaro, Giuseppe Nicosia, Roberto Tagliaferri.
|
2006 |
e-book |
SpringerLink, via BECYT |
| |
| Bajar, Victoria R. |
|
6. |
Introducción al sistema operativo RSX-11M para DIGITAL PDP-11 / Victoria R. Bajar.
|
1980 |
Libro |
68
B165 |
| |
| Boise Extravaganza in Set Theory Conference (1st : 1992 : Boise State University) |
|
7. |
Set theory : annual Boise Extravaganza in Set Theory (BEST) Conference, March 13-15, 1992, April 10-11, 1993, March 25-27, 1994, Boise State University, Boise, Idaho / Tomek Bartoszynski, Marion Scheepers, editors.
|
1996 |
Libro |
03
B682 |
| |
| Dale, Robert. |
|
8. |
Natural Language Processing IJCNLP 2005 [electronic resource] : Second International Joint Conference, Jeju Island, Korea, October 11-13, 2005. Proceedings / edited by Robert Dale, Kam-Fai Wong, Jian Su, Oi Yee Kwong.
|
2005 |
e-book |
SpringerLink, via BECYT |
| |
| Duparc, Jacques. |
|
9. |
Computer Science Logic [electronic resource] : 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings / edited by Jacques Duparc, Thomas A. Henzinger.
|
2007 |
e-book |
SpringerLink, via BECYT |
| |
| Eckhouse, Richard H., 1940- |
|
10. |
Minicomputer systems : organization, programming, and applications (PDP-11) / Richard H. Eckhouse, Jr. [and] L. Robert Morris. — 2nd ed.
|
1979 |
Libro |
68
Ec19 |
| |
| European Meeting of Statisticians, Grenoble, 1976. |
|
11. |
Recent developments in statistics : proceedings of the European Meeting of Statisticians, Grenoble, 6-11 September, 1976 / edited by J. R. Barra ... [et al.].
|
1977 |
Libro |
62
Eu89-1976 |
| |
| Fages, François. |
|
12. |
Principles and Practice of Semantic Web Reasoning [electronic resource] : Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005 Proceedings / edited by François Fages, Sylvain Soliman.
|
2005 |
e-book |
SpringerLink, via BECYT |
| |
| Gesú, Vito. |
|
13. |
Fuzzy Logic and Applications [electronic resource] : 5th International Workshop, WILF 2003, Naples, Italy, October 9-11, 2003. Revised Selected Papers / edited by Vito Gesú, Francesco Masulli, Alfredo Petrosino.
|
2006 |
e-book |
SpringerLink, via BECYT |
| |
| Guzmán, Miguel de, 1936-2004. |
|
14. |
Problemas de ecuaciones diferenciales ordinarias / M. de Guzmán, I. Peral, M. Walias. — 1ª ed.
|
1978 |
Libro |
34
G993p |
| |
| International Colloquium on Mathematical Logic and Foundations of Set Theory (1968 : Jerusalem) |
|
15. |
Mathematical logic and foundations of set theory : proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968 / edited by Yehoshua Bar-Hillel.
|
1970 |
Libro |
|
| |
| International Congress of Mathematicians (1994 : Zurich, Suiza) |
|
16. |
Proceedings of the International Congress of Mathematicians : August 3-11, 1994, Zürich, Switzerland / [editor, S. D. Chatterji].
|
1995 |
Libro |
00B25
ICM-1994 |
| |
| International Congress of Philosophy (11º : 1953 : Bruselas) |
|
17. |
Proceedings of the XIth International Congress of Philosophy : Brussels, August 20-26, 1953.
|
1953 |
Libro |
03
In61 1953 |
| |
| Jain, Sanjay. |
|
18. |
Algorithmic Learning Theory [electronic resource] : 16th International Conference, ALT 2005, Singapore, October 8-11, 2005. Proceedings / edited by Sanjay Jain, Hans Ulrich Simon, Etsuji Tomita.
|
2005 |
e-book |
SpringerLink, via BECYT |
| |
| John von Neumann Symposium on Quantization and Nonlinear Wave Equations (1994 : Massachusetts Institute of Technology) |
|
19. |
Quantization, nonlinear partial differential equations, and operator algebra : 1994 John von Neumann Symposium on Quantization and Nonlinear Wave Equations, June 7-11, 1994, Massachusetts Institute of Technology, Cambridge, Massachusetts / William Arveson, Thomas Branson, Irving Segal, editors.
|
1996 |
Libro |
Hemeroteca |
| |
| Logic Colloquium (11º : 1966 : Hannover, Alemania) |
|
20. |
Contributions to mathematical logic : proceedings of the Logic Colloquium, Hannover 1966 / edited by H. Arnold Schmidt, K. Schütte, H.-J. Thiele.
|
1968 |
Libro |
03
L832c-11 |
