Resultados de 1 a 10 de 21 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
|
|
Programming Languages and Systems: 22nd European Symposium on Programming, ESOP 2013, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, ProceedingsFelleisen, Matthias ; Gardner, PhilippaBerlin, Heidelberg: Springer Berlin / Heidelberg 2013Texto completo disponível |
| 2 |
Material Type: Livro
|
|
Aliasing in Object-Oriented Programming: Types, Analysis and VerificationClarke, David ; Wrigstad, Tobias ; Noble, James Clarke, David ; Noble, James ; Wrigstad, TobiasNetherlands: Springer Nature 2013Texto completo disponível |
| 3 |
Material Type: Livro
|
|
Transactions on Pattern Languages of Programming IIINoble, James ; Johnson, Ralph ; Zdun, Uwe ; Wallingford, Eugene Noble, James ; Johnson, Ralph ; Zdun, Uwe ; Wallingford, EugeneNetherlands: Springer Nature 2013Texto completo disponível |
| 4 |
Material Type: Livro
|
|
Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, ProceedingsVan Hung, Dang ; Ogawa, Mizuhito Van Hung, Dang ; Ogawa, MizuhitoNetherlands: Springer Nature 2013Texto completo disponível |
| 5 |
Material Type: Livro
|
|
Software Language Engineering: 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. ProceedingsErwig, Martin ; Paige, Richard F ; Van Wyk, Eric Van Wyk, Eric ; Erwig, Martin ; Paige, Richard FNetherlands: Springer Nature 2013Texto completo disponível |
| 6 |
Material Type: Livro
|
|
Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, ProceedingsJohnsen, Einar Broch ; Petre, Luigia Petre, Luigia ; Johnsen, Einar BrochNetherlands: Springer Nature 2013Texto completo disponível |
| 7 |
Material Type: Livro
|
|
Web Services and Formal Methods: 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Paperster Beek, Maurice H ; Lohmann, Niels ter Beek, Maurice H ; Lohmann, NielsNetherlands: Springer Nature 2013Texto completo disponível |
| 8 |
Material Type: Livro
|
|
Structured Object-Oriented Formal Language and Method: Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected PapersLiu, Shaoying Liu, ShaoyingNetherlands: Springer Nature 2013Texto completo disponível |
| 9 |
Material Type: Livro
|
|
Model-Based Methodologies for Pervasive and Embedded Software: 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012, Revised PapersMachado, Ricardo J ; Maciel, Rita Suzana ; Rubin, Julia ; Botterweck, GoetzBerlin, Heidelberg: Springer Berlin / Heidelberg 2013Texto completo disponível |
| 10 |
Material Type: Livro
|
|
Hardware and Software: Verification and Testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected PapersBiere, Armin ; Nahir, Amir ; Vos, Tanja E.J Nahir, Amir ; Biere, Armin ; Vos, TanjaNetherlands: Springer Nature 2013Texto completo disponível |
Resultados de 1 a 10 de 21 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
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
Assunto
- Software Engineering (20)
- Computer Software Engineering (19)
- Congresses (18)
- Softwarové Inženýrství (18)
- Informatika (18)
- Programming Languages (16)
- Programming Languages, Compilers, Interpreters (16)
- Electronic Data Processing (16)
- Compilers (16)
- Software (14)
- Programovací Jazyky (14)
- Kongress (14)
- Logic, Symbolic And Mathematical (13)
- Logics And Meanings Of Programs (13)
- Computer Logic (13)
- Logic Design (13)
- Computers (12)
- Computer Programming, Programs, Data (12)
-
Mais opções
Base de Dados/Biblioteca
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (20)
- Springer Books (20)
- SpringerLINK Lecture Notes in Computer Science (2015) (20)
- SpringerLINK Lecture Notes in Computer Science (19)
- Springer Nature - Springer Computer Science eBooks 2013 English International (18)
- SpringerLINK Lecture Notes in Computer Science (2013) (18)
- ACM Digital Library Complete (2)
- IngentaConnect Journals (1)
- Science Citation Index Expanded (Web of Science) (1)
- ScienceDirect Additional Titles (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 