Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Large-scale scientific computing 6th international conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007 : revised papersLSSC 2007 (2007 Sozopol, Bulgaria) Ivan Lirkov 1963; Svetozar Margenov; Jerzy Wa sniewski 1931Berlin Springer New York c2008Localização: IME - Inst. Matemática e Estatística (S L471c v.4818 )(Acessar) |
|
2 |
Material Type: Livro
|
Large-scale scientific computing 5th international conference, LSSC 2005, Sozopol, Bulgaria, June 6-10 2005 : revised papersLSSC 2005 (2005 Sozopol, Bulgaria) Ivan Lirkov 1963; Svetozar Margenov; Jerzy Wa sniewski 1931Berlin Springer New York c2006Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.3743 ) e outros locais(Acessar) |
|
3 |
Material Type: Livro
|
Field and Service Robotics: Results of the 8th International ConferenceYoshida, Kazuya ; Tadokoro, Satoshi Yoshida, Kazuya ; Tadokoro, Satoshi ; Tadokoro, Satoshi ; Yoshida, KazuyaBerlin, Heidelberg: Springer Nature 2013Sem texto completo |
|
4 |
Material Type: Livro
|
Computational Approaches to Analogical Reasoning: Current TrendsPrade, Henri ; Richard, Gilles Prade, Henri ; Richard, Gilles ; Prade, Henri ; Richard, GillesNetherlands: Springer Nature 2014Sem texto completo |
|
5 |
Material Type: Livro
|
Testbeds and Research Infrastructures, Development of Networks and Communities: 6th International ICST Conference, TridentCom 2010, Berlin, Germany, May 18-20, 2010, Revised Selected PapersMagedanz, Thomas ; Gavras, Athanasius ; Nguyen, Huu Thanh ; Chase, Jeffrey SBerlin, Heidelberg: Springer Berlin / Heidelberg 2010Texto completo disponível |
|
6 |
Material Type: Livro
|
Engineering Psychology and Cognitive Ergonomics: 8th International Conference, EPCE 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. ProceedingsHarris, Donald ; Kanade, Takeo ; Kittler, JosefBerlin/Heidelberg: Springer 2009Sem texto completo |
|
7 |
Material Type: Livro
|
Practical Applications of Intelligent Systems: Proceedings of the Eighth International Conference on Intelligent Systems and Knowledge Engineering, Shenzhen, China, Nov 2013 (ISKE 2013)Wen, Zhenkun ; Li, Tianrui Li, Tianrui ; Wen, ZhenkunBerlin, Heidelberg: Springer Berlin / Heidelberg 2014Sem texto completo |
|
8 |
Material Type: Livro
|
Computer Science Logic: 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 ProceedingsBörger, Egon ; Kleine Büning, Hans ; Richter, Michael M ; Schönfeld, Wolfgang Börger, Egon ; Kleine Büning, Hans ; Richter, Michael M. ; Schönfeld, WolfgangBerlin, Heidelberg: Springer Berlin Heidelberg 1991Texto completo disponível |
|
9 |
Material Type: Livro
|
Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008 : ProceedingsHutchison, David ; Kanade, Takeo ; Kittler, JosefBerlin/Heidelberg: Springer Berlin / Heidelberg 2008Sem texto completo |
|
10 |
Material Type: Livro
|
Foundations and Applications of Intelligent Systems: Proceedings of the Seventh International Conference on Intelligent Systems and Knowledge Engineering, Beijing, China, Dec 2012 (ISKE 2012)Sun, Fuchun ; Li, Tianrui ; Li, Hongbo Li, Tianrui ; Sun, Fuchun ; Li, HongboBerlin, Heidelberg: Springer Berlin / Heidelberg 2013Texto completo disponível |