10 Resultados para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, ProceedingsGibbons, Jeremy ; Nogueira, Pablo Gibbons, Jeremy ; Nogueira, PabloNetherlands: Springer Nature 2012Texto completo disponível |
| 2 |
Material Type: Livro
|
|
Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, the Netherlands, November 2-6, 2009, ProceedingsGibbons, Jeremy ; Nuno Oliveira, JoseBerlin, Heidelberg: Springer Berlin / Heidelberg 2009Sem texto completo |
| 3 |
Material Type: Livro
|
|
Generic and Indexed ProgrammingGibbons, Jeremy Gibbons, JeremyNetherlands: Springer Nature 2012Texto completo disponível |
| 4 |
Material Type: Livro
|
|
Datatype-Generic Programming: International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised LecturesBackhouse, Roland C ; Gibbons, Jeremy ; Hinze, RalfDordrecht: Springer 2007Sem texto completo |
| 5 |
Material Type: Ata de Congresso
|
|
Metadata-driven software for clinical trialsCrichton, Charles ; Davies, Jim ; Gibbons, Jeremy ; Harris, Steve ; Tsui, Andrew ; Brenton, James2009 ICSE Workshop on Software Engineering in Health Care, 2009, Vol.2009 (10), p.1-11Washington, DC, USA: IEEE Computer SocietyTexto completo disponível |
| 6 |
Material Type: Livro
|
|
Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected PapersWolff, Burkhard ; Gaudel, Marie-Claude ; Feliachi, Abderrahmane Gaudel, Marie-Claude ; Wolff, Burkhard ; Feliachi, AbderrahmaneNetherlands: Springer Nature 2013Texto completo disponível |
| 7 |
Material Type: Livro
|
|
Formal Methods: Foundations and Applications : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. ProceedingsGheyi, Rohit ; Naumann, David Naumann, David ; Gheyi, RohitNetherlands: Springer Nature 2012Texto completo disponível |
| 8 |
Material Type: Ata de Congresso
|
|
On the supervision and assessment of part-time postgraduate software engineering projectsSimpson, A. ; Martin, A. ; Gibbons, J. ; Davies, J. ; McKeever, S.25th International Conference on Software Engineering, 2003. Proceedings, 2003, p.628-633IEEETexto completo disponível |
| 9 |
Material Type: Livro
|
|
Mathematics of Program Construction: Second International Conference, Oxford, U.K., June 29 – July 3, 1992 ProceedingsBird, R. S ; Morgan, C. C ; Woodcock, J. C. P Woodcock, J. C. P. ; Morgan, C. C. ; Bird, R. S.Berlin, Heidelberg: Springer Berlin Heidelberg 1993Texto completo disponível |
| 10 |
Material Type: Livro
|
|
Mathematics of Program Construction: 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, ProceedingsUustalu, TarmoBerlin, Heidelberg: Springer Berlin / Heidelberg 2006Sem texto completo |
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
Assunto
- Congresses (8)
- Computer Software Engineering (8)
- Programming Languages (7)
- Programming Languages, Compilers, Interpreters (7)
- Computer Programming (7)
- Science (7)
- Logics And Meanings Of Programs (7)
- Informatics (7)
- Logic Design (7)
- Compilers (7)
- Mathematical Logic And Formal Languages (7)
- Computer Programs (6)
- Computers (6)
- Compilers And Interpreters (6)
- Algorithms (6)
- Computer Logic (6)
- Compiling Programs (6)
-
Mais opções
Data de Publicação
- Antes de2005 (2)
- 2005Até2006 (2)
- 2007Até2008 (2)
- 2009Até2013 (6)
- Após 2013 (1)
-
Mais opções
Base de Dados/Biblioteca
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (8)
- Springer Books (8)
- SpringerLINK Lecture Notes in Computer Science (2015) (8)
- Lecture Notes in Computer Science Archive (through to 1996) (5)
- Springer Nature - Springer Computer Science eBooks 2012 English International (3)
- SpringerLINK Lecture Notes in Computer Science (2012) (3)
- ACM Digital Library Complete (2)
- IEEE Electronic Library (IEL) Conference Proceedings (2)
- EBSCOhost Computers and Applied Sciences Complete (2)
- Springer Nature - Springer Computer Science eBooks 2013 English International (1)
- SpringerLINK Lecture Notes in Computer Science (2013) (1)
- SpringerLink Books Lecture Notes in Computer Science Archive (1)
- Springer Books Online Archive (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 