Limit Search Results
Author
SpringerLink (Online service)
(78)
Apduhan, Bernady O. editor.
(4)
Cavalcanti, Ana. editor.
(4)
Gervasi, Osvaldo. editor.
(4)
Misra, Sanjay. editor.
(4)
Language
Publication Date
-
Subject
Software engineering.
(35)
Artificial intelligence.
(32)
Computer software.
(30)
Computer Communication Networks.
(19)
Data mining.
(18)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
78 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Formal Methods: Foundations and Applications 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers
Formal Methods: Foundations and Applications 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers
Author 
Oliveira, Marcel Vinícius Medeiros. editor. Woodcock, Jim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10452-7
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Independent Component Analysis and Signal Separation 8th International Conference, ICA 2009, Paraty, Brazil, March 15-18, 2009. Proceedings
Independent Component Analysis and Signal Separation 8th International Conference, ICA 2009, Paraty, Brazil, March 15-18, 2009. Proceedings
Author 
Adali, Tülay. editor. Jutten, Christian. editor. Romano, João Marcos Travassos. editor. Barros, Allan Kardec. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00599-2
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Rewriting Techniques and Applications 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings
Rewriting Techniques and Applications 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings
Author 
Treinen, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02348-4
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Typed Lambda Calculi and Applications 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings
Typed Lambda Calculi and Applications 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings
Author 
Curien, Pierre-Louis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02273-9
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Advances in Bioinformatics and Computational Biology 4th Brazilian Symposium on Bioinformatics, BSB 2009, Porto Alegre, Brazil, July 29-31, 2009. Proceedings
Advances in Bioinformatics and Computational Biology 4th Brazilian Symposium on Bioinformatics, BSB 2009, Porto Alegre, Brazil, July 29-31, 2009. Proceedings
Author 
Guimarães, Katia S. editor. Panchenko, Anna. editor. Przytycka, Teresa M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03223-3
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Advances in Conceptual Modeling - Challenging Perspectives ER 2009 Workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS, Gramado, Brazil, November 9-12, 2009. Proceedings
Advances in Conceptual Modeling - Challenging Perspectives ER 2009 Workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS, Gramado, Brazil, November 9-12, 2009. Proceedings
Author 
Heuser, Carlos Alberto. editor. Pernul, Günther. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04947-7
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Formal Methods and Software Engineering 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings
Formal Methods and Software Engineering 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings
Author 
Breitman, Karin. editor. Cavalcanti, Ana. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10373-5
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Graphics Recognition. Recent Advances and New Opportunities 7th International Workshop, GREC 2007, Curitiba, Brazil, September 20-21, 2007. Selected Papers
Graphics Recognition. Recent Advances and New Opportunities 7th International Workshop, GREC 2007, Curitiba, Brazil, September 20-21, 2007. Selected Papers
Author 
Liu, Wenyin. editor. Lladós, Josep. editor. Ogier, Jean-Marc. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88188-9
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Advances in Artificial Intelligence - SBIA 2008 19th Brazilian Symposium on Artificial Intelligence Savador, Brazil, October 26-30, 2008. Proceedings
Advances in Artificial Intelligence - SBIA 2008 19th Brazilian Symposium on Artificial Intelligence Savador, Brazil, October 26-30, 2008. Proceedings
Author 
Zaverucha, Gerson. editor. Costa, Augusto Loureiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88190-2
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for LATIN 2008: Theoretical Informatics 8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008. Proceedings
LATIN 2008: Theoretical Informatics 8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008. Proceedings
Author 
Laber, Eduardo Sany. editor. Bornstein, Claudson. editor. Nogueira, Loana Tito. editor. Faria, Luerbio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78773-0
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Advances in Bioinformatics and Computational Biology Third Brazilian Symposium on Bioinformatics, BSB 2008, Santo André, Brazil, August 28-30, 2008. Proceedings
Advances in Bioinformatics and Computational Biology Third Brazilian Symposium on Bioinformatics, BSB 2008, Santo André, Brazil, August 28-30, 2008. Proceedings
Author 
Bazzan, Ana L. C. editor. Craven, Mark. editor. Martins, Natália F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85557-6
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers
High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers
Author 
Daydé, Michel. editor. Palma, José M. L. M. editor. Coutinho, Álvaro L. G. A. editor. Pacitti, Esther. editor. Lopes, João Correia. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71351-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action