Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Distributed Computing: 18th International Conference, DISC 2004, Amsterdam, The Netherlands, October 4-7, 2004. ProceedingsGuerraoui, Rachid Guerraoui, RachidBerlin, Heidelberg: Springer Berlin Heidelberg 2004Texto completo disponível |
|
2 |
Material Type: Livro
|
Algorithmic Learning Theory: 4th International Workshop, ALT '93 Tokyo, Japan, November 8–10, 1993 ProceedingsJantke, Klaus P ; Kobayashi, Shigenobu ; Tomita, Etsuji ; Yokomori, Takashi Tomita, Etsuji ; Kobayashi, Shigenobu ; Yokomori, Takashi ; Jantke, Klaus P.Berlin, Heidelberg: Springer Berlin Heidelberg 1993Texto completo disponível |
|
3 |
Material Type: Livro
|
Ant Colony Optimization and Swarm Intelligence: 4th International Workshop, ANTS 2004, Brussels, Belgium, September 5-8, 2004. ProceedingsDorigo, Marco ; Birattari, Mauro ; Blum, Christian ; Gambardella, Luca Maria ; Mondada, Francesco ; Stützle, Thomas Gambardella, Luca Maria ; Blum, Christian ; Dorigo, Marco ; Birattari, Mauro ; Stützle, Thomas ; Mondada, FrancescoBerlin, Heidelberg: Springer Berlin Heidelberg 2004Texto completo disponível |
|
4 |
Material Type: Livro
|
CONCUR ’94: Concurrency Theory: 5th International Conference, Uppsala, Sweden, August 22–25, 1994, ProceedingsJonsson, Bengt ; Parrow, Joachim Parrow, Joachim ; Jonsson, BengtBerlin, Heidelberg: Springer Berlin Heidelberg 1994Texto completo disponível |
|
5 |
Material Type: Livro
|
Learning Theory: 17th Annual Conference on Learning Theory, COLT 2004, Banff, Canada, July 1-4, 2004, ProceedingsShawe-Taylor, John ; Singer, Yoram Shawe-Taylor, John ; Singer, YoramBerlin, Heidelberg: Springer Berlin / Heidelberg 2004Texto completo disponível |
|
6 |
Material Type: Livro
|
Recent Advances in Parallel Virtual Machine and Message Passing Interface: 11th European PVM/MPI Users' Group Meeting, Budapest, Hungary, September 19-22, 2004, ProceedingsKranzlmüller, Dieter ; Kacsuk, Péter ; Dongarra, Jack Dongarra, Jack ; Kranzlmüller, Dieter ; Kacsuk, PéterBerlin, Heidelberg: Springer Berlin / Heidelberg 2004Texto completo disponível |
|
7 |
Material Type: Livro
|
Independent Component Analysis and Blind Signal Separation: Fifth International Conference, ICA 2004, Granada, Spain, September 22-24, 2004, ProceedingsPuntonet, Carlos G ; Prieto, Alberto Puntonet, Carlos G. ; Prieto, AlbertoBerlin, Heidelberg: Springer Berlin / Heidelberg 2004Texto completo disponível |
|
8 |
Material Type: Livro
|
Current Topics in Artificial Intelligence: 10th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2003, and 5th Conference on Technology Transfer, TTIA 2003, San Sebastian, Spain, November 12-14, 2003. Revised Selected PapersConejo, Ricardo ; Urretavizcaya, Maite ; Pérez-de-la-Cruz, José-Luis Conejo, Ricardo ; Pérez-de-la-Cruz, José-Luis ; Urretavizcaya, MaiteBerlin, Heidelberg: Springer Berlin / Heidelberg 2004Texto completo disponível |
|
9 |
Material Type: Livro
|
Mathematical Foundations of Computer Science 2004: 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004, ProceedingsFiala, Jirí ; Koubek, Václav ; Kratochvíl, Jan Kratochvíl, Jan ; Fiala, Jiří ; Koubek, VáclavBerlin, Heidelberg: Springer Berlin / Heidelberg 2004Texto completo disponível |
|
10 |
Material Type: Artigo
|
Probabilistic checking of proofs: a new characterization of NPArora, Sanjeev ; Safra, ShmuelJournal of the ACM, 1998-01, Vol.45 (1), p.70-122 [Periódico revisado por pares]New York: Association for Computing MachineryTexto completo disponível |