Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Deontic logic and artificial normative systems 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006 : proceedingsInternational Workshop on Deontic Logic in Computer Science (8th 2006 Utrecht, Netherlands) Lou Goble; John-Jules Ch MeyerBerlin Springer-Verlag New York c2006Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.4048 ) e outros locais(Acessar) |
2 |
Material Type: Livro
|
![]() |
From computer literacy to informatics fundamentals International Conference on Informatics in Secondary Schools--Evolution and Perspectives, ISSEP 2005, Klagenfurt, Austria, March 30 - April 1, 2005 : proceedingsInternational Conference on Informatics in Secondary Schools, Evolution and Perspectives (2005 Klagenfurt, Austria) Roland MittermeirBerlin Springer New York 2005Acesso online. A biblioteca também possui exemplares impressos. |
3 |
Material Type: Livro
|
![]() |
Frontiers of combining systems 5th international workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005 : proceedingsFroCoS 2005 (2005 Vienna, Austria) Bernhard GramlichBerlin Springer New York 2005Acesso online. A biblioteca também possui exemplares impressos. |
4 |
Material Type: Livro
|
![]() |
Advances in computer science--ASIAN 2004 higher-level decision making : 9th Asian Computing Science Conference : dedicated to Jean-Louis Lassez on the occasion of his 5th cycle birthday, Chiang Mai, Thailand, December 8-10, 2004 : proceedingsAsian Computing Science Conference (9th 2004 Chiang Mai, Thailand) Michael Maher 1959-; Jean-Louis LassezBerlin Springer-Verlag New York c2004Acesso online. A biblioteca também possui exemplares impressos. |
5 |
Material Type: Livro
|
![]() |
Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007 : ProceedingsHutchison, David ; Kanade, Takeo ; Kittler, JosefBerlin/Heidelberg: Springer Berlin / Heidelberg 2007Sem texto completo |
6 |
Material Type: Livro
|
![]() |
Theory and Applications of Relational Structures As Knowledge Instruments II: International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised PapersSwart, Harrie de ; Orlowska, Ewa ; Schmidt, Gunther ; Roubens, MarcBerlin, Heidelberg: Springer Berlin / Heidelberg 2006Sem texto completo |
7 |
Material Type: Livro
|
![]() |
Visual Saliency Computation: A Machine Learning PerspectiveLi, Jia ; Gao, Wen Li, Jia ; Gao, WenNetherlands: Springer Nature 2014Texto completo disponível |