Resultados de 1 a 10 de 429 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
- Recursos Online (327)
- Revistas revisadas por pares (121)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, ProceedingsPodelski, AndreasCham: Springer International Publishing 2018Sem texto completo |
| 2 |
Material Type: Livro
|
|
Product-Focused Software Process Improvement: 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28–30, 2018, ProceedingsKüpper, Steffen ; Schneider, Kurt ; Ciolkowski, Marcus ; Tell, Paolo ; Hebig, Regina ; Amasaki, Sousuke ; Kuhrmann, Marco ; Pfahl, Dietmar ; Klünder, JilCham: Springer International PublishingSem texto completo |
| 3 |
Material Type: Livro
|
|
Trends in Functional Programming: 21st International Symposium, TFP 2020, Krakow, Poland, February 13–14, 2020, Revised Selected PapersByrski, Aleksander ; Hughes, JohnCham: Springer International PublishingSem texto completo |
| 4 |
Material Type: Livro
|
|
Runtime Verification: 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, ProceedingsLahiri, Shuvendu ; Reger, GilesCham: Springer International PublishingSem texto completo |
| 5 |
Material Type: Livro
|
|
Testing Software and Systems: 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, ProceedingsYevtushenko, Nina ; Cavalli, Ana Rosa ; Yenigun, Husnu Yevtushenko, Nina ; Yenigün, Hüsnü ; Cavalli, Ana RosaCham: Springer International Publishing 2017Sem texto completo |
| 6 |
Material Type: Livro
|
|
Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, ProceedingsFalcone, Yliès ; Sánchez, César S'nchez, C'sar ; Falcone, Yli's ; Sánchez, César ; Falcone, YlièsCham: Springer Nature 2016Texto completo disponível |
| 7 |
Material Type: Livro
|
|
Software Technologies: 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24–26, 2017, Revised Selected PapersCabello, Enrique ; Maciaszek, Leszek A. ; van Sinderen, Marten ; Cardoso, JorgeCham: Springer International PublishingSem texto completo |
| 8 |
Material Type: Livro
|
|
Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, ProceedingsLeucker, Martin ; Colombo, ChristianCham: Springer International PublishingSem texto completo |
| 9 |
Material Type: Livro
|
|
Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, ProceedingsAyala-Rincón, Mauricio ; Muñoz, César A.Cham: Springer International PublishingSem texto completo |
| 10 |
Material Type: Livro
|
|
Advanced Parallel Processing Technologies: 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, ProceedingsHeras, Dora ; Lin, Haixiang ; Wu, Junjie ; Bougé, Luc ; Dou, Yong ; Sun, GuangyuCham: Springer International Publishing 2017Sem texto completo |
Resultados de 1 a 10 de 429 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
- Recursos Online (327)
- Revistas revisadas por pares (121)
Refinar Meus Resultados
Tipo de Recurso
- Anais de Congresso (220)
- Artigos (122)
- Livros (79)
- magazinearticle (7)
- Standards (1)
-
Mais opções
Assunto
- Computer Science (235)
- Technology (208)
- Science & Technology (206)
- Engineering (131)
- Programming Languages (123)
- Engineering, Electrical & Electronic (110)
- Computers (108)
- Computer Languages (102)
- Software (89)
- Software Engineering (82)
- Computer Science, Hardware & Architecture (69)
- Computer Architecture (69)
- Computer Science, Software Engineering (67)
- Computer Programming (63)
- Software Development (61)
- Application Software (54)
- Computer Science, Theory & Methods (49)
- Unified Modeling Language (48)
-
Mais opções
Data de Publicação
- Antes de1985 (16)
- 1985Até1994 (36)
- 1995Até2004 (61)
- 2005Até2015 (212)
- Após 2015 (133)
-
Mais opções
Base de Dados/Biblioteca
- IEEE Electronic Library (IEL) Conference Proceedings (183)
- Science Citation Index Expanded (Web of Science) (91)
- IEEE Electronic Library (IEL) Journals (90)
- Springer Books (60)
- SpringerLINK Lecture Notes in Computer Science (2015) (50)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (50)
- Lecture Notes in Computer Science Archive (through to 1996) (46)
- ACM Digital Library (46)
- ANTE: Abstracts in New Technology & Engineering (45)
- EBSCOhost Computers and Applied Sciences Complete (30)
- Aerospace Database (20)
- Springer Nature - Springer Computer Science eBooks 2016 English International (19)
- SpringerLINK Lecture Notes in Computer Science (2016) (18)
- Springer Nature - Springer Computer Science eBooks 2015 English International (16)
- SpringerLINK Lecture Notes in Computer Science (2014) (16)
- Materials Research Database (14)
- ROAD: Directory of Open Access Scholarly Resources (12)
- Free E-Journal (出版社公開部分のみ） (12)
- METADEX (11)
- Engineered Materials Abstracts (10)
-
Mais opções
Idioma
- Inglês (426)
- Chinês (5)
- Japonês (5)
- Português (2)
-
Mais opções
Nome da Publicação
- Ieee Software (10)
- Computer (10)
- Ieee Transactions On Software Engineering (8)
- Ieee Transactions On Education (7)
- Ieee Transactions On Nuclear Science (7)
- Arxiv.Org (5)
- Computer; (5)
- Computing In Science & Engineering (5)
- Ieee Transactions On Computers (4)
- Applied Mechanics And Materials (4)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 