|
ACM Symposium on Theory of Computing (30º : 1998 : Dallas, Texas) |
1. |
Proceedings of the thirtieth annual ACM Symposium on Theory of Computing : Dallas, Texas, May 23-26, 1998 / sponsored by the ACM Special Interest Group for Algorithms and Computation Theory.
|
1998 |
Libro |
68 Ac184-30 |
|
Azevedo, Francisco. |
2. |
Recent Advances in Constraints [electronic resource] : 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers / edited by Francisco Azevedo, Pedro Barahona, François Fages, Francesca Rossi.
|
2007 |
e-book |
SpringerLink, via BECYT |
|
Baader, Franz. |
3. |
Term Rewriting and Applications [electronic resource] : 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings / edited by Franz Baader.
|
2007 |
e-book |
SpringerLink, via BECYT |
|
Colloque sur les équations aux dérivées partielles (2º : 1954 : Bruselas) |
4. |
Second Colloque sur les équations aux dérivées partielles : tenu à Bruxelles, du 24 au 26 mai 1954 / Centre Belge de Recherches Mathématiques.
|
1955 |
Libro |
00B25 C714-2 |
|
Coloquio Latinoamericano de Álgebra (15th : 2003 : Cocoyoc, Mexico) |
5. |
Algebraic structures and their representations : XV Coloquio Latinoamericano de Algebra, Cocoyoc, Morelos, México, July 20-26, 2003 / José A. de la Peña, Ernesto Vallejo, Natig Atakishiyev, editors.
|
2005 |
Libro |
16 C719-15 |
|
Conference on Approximation Theory (1972 : Posen) |
6. |
Approximation theory : proceedings of the conference jointly organized by the Mathematical Institute of the Polish Academy of Sciences and the Institute of Mathematics of the Adam Mickiewicz University, held in Poznan, 22-26 August, 1972 / edited by Zbigniew Ciesielski and Julian Musielak.
|
1975 |
Libro |
41 C748-1972 |
|
Encontro Luso-Brasileiro de História da Matemática (2º : 1997 : Águas de São Pedro, São Paulo, Brasil) |
7. |
II Encontro Luso-Brasileiro de História da Matemática & II Seminário Nacional de História da Matemática : tema: A contribuição de matemáticos portugueses para o desenvolvimento da matemática no Brasil : Águas de São Pedro, 23 a 26 de março de 1997, São Paulo, Brasil : Anais - Actas / [editor, Sergio Nobre].
|
1997 |
Libro |
01 En56-2 |
|
Etalle, Sandro. |
8. |
Logic Based Program Synthesis and Transformation [electronic resource] : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 28, 2004, Revised Selected Papers / edited by Sandro Etalle.
|
2005 |
e-book |
SpringerLink, via BECYT |
|
Hagiya, Masami. |
9. |
Functional and Logic Programming [electronic resource] : 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings / edited by Masami Hagiya, Philip Wadler.
|
2006 |
e-book |
SpringerLink, via BECYT |
|
Ibarra, Oscar H. |
10. |
Developments in Language Theory [electronic resource] : 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006. Proceedings / edited by Oscar H. Ibarra, Zhe Dang.
|
2006 |
e-book |
SpringerLink, via BECYT |
|
IEEE Conference on Computational Complexity (23rd : 2008 : College Park, Maryland) |
11. |
Proceedings : Twenty-Third Annual IEEE Conference on Computational Complexity, CCC 2008, 23-26 June 2008, College Park, Maryland / sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM SIGACT and EATCS.
|
2008 |
|
68 Ie22-23 |
|
International Conference on Representations of Algebras (7th : 1994 : Cocoyoc, Mexico) |
12. |
Representation theory of algebras : Seventh International Conference on Representations of Algebras, August 22-26, 1994, Cocoyoc, Mexico / Raymundo Bautista, Roberto Martínez-Villa, José Antonio de la Peña, editors.
|
1996 |
Libro |
16 ICRA-7 |
|
International Congress of Philosophy (11º : 1953 : Bruselas) |
13. |
Proceedings of the XIth International Congress of Philosophy : Brussels, August 20-26, 1953.
|
1953 |
Libro |
03 In61 1953 |
|
Jones, Cliff B. |
14. |
Theoretical Aspects of Computing ICTAC 2007 [electronic resource] : 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings / edited by Cliff B. Jones, Zhiming Liu, Jim Woodcock.
|
2007 |
e-book |
SpringerLink, via BECYT |
|
Kim, Myung-Soo. |
15. |
Geometric Modeling and Processing - GMP 2006 [electronic resource] : 4th International Conference, Pittsburgh, PA, USA, July 26-28, 2006. Proceedings / edited by Myung-Soo Kim, Kenji Shimada.
|
2006 |
e-book |
SpringerLink, via BECYT |
|
Krishnamurthi, Shriram. |
16. |
Compiler Construction [electronic resource] : 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings / edited by Shriram Krishnamurthi, Martin Odersky.
|
2007 |
e-book |
SpringerLink, via BECYT |
|
MacCaull, Wendy. |
17. |
Relational Methods in Computer Science [electronic resource] : 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers / edited by Wendy MacCaull, Michael Winter, Ivo Düntsch.
|
2006 |
e-book |
SpringerLink, via BECYT |
|
Muñoz-Ávila, Héctor. |
18. |
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 |
|
Rocca, Simona Ronchi. |
19. |
Typed Lambda Calculi and Applications [electronic resource] : 8th International Conference,TLCA 2007, Paris, France,June 26-28, 2007. Proceedings / edited by Simona Ronchi Rocca.
|
2007 |
e-book |
SpringerLink, via BECYT |
|
Symposium on Mathematical Theory of Automata (1962 : New York) |
20. |
Proceedings of the Symposium on Mathematical Theory of Automata : New York, N.Y., April 24, 25, 26, 1962.
|
1963 |
Libro |
94 Sy989-1962 |