Limit Search Results
Author
SpringerLink (Online service)
(58)
Apduhan, Bernady O. editor.
(4)
Gervasi, Osvaldo. editor.
(4)
Misra, Sanjay. editor.
(4)
Murgante, Beniamino. editor.
(4)
Language
Publication Date
-
Subject
Computer science.
(46)
Artificial intelligence.
(17)
Computer Communication Networks.
(13)
Computer software.
(10)
Logic design.
(10)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
58 Results Found Subscribe to search results
0000000000DEFAULT
Print
1. 
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:
2. 
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:
3. 
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:
4. 
Cover image for Human-Computer Interaction – INTERACT 2007 11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14, 2007, Proceedings, Part I
Human-Computer Interaction – INTERACT 2007 11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14, 2007, Proceedings, Part I
Author 
Baranauskas, Cécilia. editor. Palanque, Philippe. editor. Abascal, Julio. editor. Barbosa, Simone Diniz Junqueira. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74796-3
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Human-Computer Interaction – INTERACT 2007 11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14, 2007, Proceedings, Part II
Human-Computer Interaction – INTERACT 2007 11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14, 2007, Proceedings, Part II
Author 
Baranauskas, Cécilia. editor. Palanque, Philippe. editor. Abascal, Julio. editor. Barbosa, Simone Diniz Junqueira. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74800-7
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Graph Transformations Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings
Graph Transformations Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings
Author 
Corradini, Andrea. editor. Ehrig, Hartmut. editor. Montanari, Ugo. editor. Ribeiro, Leila. editor. Rozenberg, Grzegorz. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11841883
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Refinement Techniques in Software Engineering First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 Revised Lectures
Refinement Techniques in Software Engineering First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 Revised Lectures
Author 
Cavalcanti, Ana. editor. Sampaio, Augusto. editor. Woodcock, Jim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11889229
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Dependable Computing Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005. Proceedings
Dependable Computing Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005. Proceedings
Author 
Maziero, Carlos Alberto. editor. Gabriel Silva, João. editor. Andrade, Aline Maria Santos. editor. Assis Silva, Flávio Morais. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11572329
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for From Specification to Embedded Systems Application
From Specification to Embedded Systems Application
Author 
Rettberg, Achim. editor. Zanella, Mauro C. editor. Rammig, Franz J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11523277
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement
The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement
Author 
Foster, Simon. editor. (orcid)0000-0002-9889-9514 Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-67114-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action