Resultados de 1 a 10 de 11.359 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
- Revistas revisadas por pares (9.969)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
A Pipelined Multi-core MIPS Machine: Hardware Implementation and Correctness ProofKovalev, Mikhail ; Müller, Silvia M. ; Paul, Wolfgang J.Cham: Springer International PublishingTexto completo disponível |
| 2 |
Material Type: Livro
|
|
Programming Languages: 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, ProceedingsCastor, Fernando ; Liu, Yu David Liu, Yu David ; Castor, FernandoCham: Springer International Publishing AG 2016Texto completo disponível |
| 3 |
Material Type: Livro
|
|
Model-Based Systems Engineering with OPM and SysMLDori, DovNew York, NY: Springer Nature 2016Texto completo disponível |
| 4 |
Material Type: Livro
|
|
Transactions on Aspect-Oriented Software Development XIIErnst, Erik ; Tanter, Éric ; Chiba, Shigeru ; Hirschfeld, RobertBerlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 5 |
Material Type: Livro
|
|
NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, ProceedingsRayadurgam, Sanjai ; Tkachuk, Oksana Tkachuk, Oksana ; Rayadurgam, Sanjai ; Tkachuk, Oksana ; Rayadurgam, SanjaiCham: Springer Nature 2016Texto completo disponível |
| 6 |
Material Type: Livro
|
|
Search Based Software Engineering: 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, ProceedingsSarro, Federica ; Deb, Kalyanmoy Sarro, Federica ; Deb, Kalyanmoy ; Deb, Kalyanmoy ; Sarro, FedericaCham: Springer Nature 2016Texto completo disponível |
| 7 |
Material Type: Livro
|
|
Static Analysis: 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, ProceedingsRival, Xavier Rival, Xavier ; Rival, XavierBerlin, Heidelberg: Springer Nature 2016Texto completo disponível |
| 8 |
Material Type: Livro
|
|
Coordination Models and Languages: 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, ProceedingsLafuente, Alberto Lluch ; Proenca, Jose Lluch Lafuente, Alberto ; Proen'a, Jos' ; Lluch Lafuente, Alberto ; Proença, JoséNetherlands: Springer Nature 2016Texto completo disponível |
| 9 |
Material Type: Livro
|
|
Software Reuse: Bridging with Social-Awareness : 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, ProceedingsKapitsaki, Georgia M ; Almeida, Eduardo Santana de Santana de Almeida, Eduardo ; Kapitsaki, Georgia M ; Kapitsaki, Georgia M. ; Santana de Almeida, EduardoNetherlands: Springer Nature 2016Texto completo disponível |
| 10 |
Material Type: Livro
|
|
Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, ProceedingsKohlhase, Michael ; Johansson, Moa ; Miller, Bruce ; de Moura, Leonardo ; Tompa, Frank Miller, Bruce ; Kohlhase, Michael ; Johansson, Moa ; de Moura, Leonardo ; de Moura, Leonardo ; Tompa, Frank ; Miller, Bruce ; Johansson, Moa ; Kohlhase, MichaelCham: Springer Nature 2016Texto completo disponível |
Resultados de 1 a 10 de 11.359 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
- Revistas revisadas por pares (9.969)
Refinar Meus Resultados
Tipo de Recurso
- Artigos (9.139)
- Livros (1.656)
- Anais de Congresso (463)
- Reports (43)
- Resenhas (42)
- Book Chapters (6)
- magazinearticle (5)
- Dissertações (4)
- Recursos Textuais (1)
-
Mais opções
Assunto
- Computer Science (11.078)
- Compilers (10.527)
- Programming Languages (10.486)
- Interpreters (9.234)
- Technology (8.639)
- Science & Technology (8.632)
- Computer Science, Theory & Methods (5.743)
- Engineering (5.743)
- Processor Architectures (5.718)
- Computer Science, Hardware & Architecture (5.402)
- Engineering, Electrical & Electronic (5.401)
- Software Engineering/programming And Operating Systems (3.923)
- Software Engineering (3.096)
- Computer Science, Software Engineering (2.886)
- Programming Techniques (2.292)
- Algorithms (2.201)
- Programming Languages, Compilers, Interpreters (1.930)
- Software (1.605)
- Information Systems Applications (1.227)
- It In Business (1.091)
-
Mais opções
Data de Publicação
- Antes de1977 (31)
- 1977Até1987 (227)
- 1988Até1998 (590)
- 1999Até2010 (1.655)
- Após 2010 (9.340)
-
Mais opções
Base de Dados/Biblioteca
- SpringerLink (9.144)
- Springer Nature - Springer Journals All 2022 (9.083)
- Science Citation Index Expanded (Web of Science) (7.379)
- EBSCOhost Computers and Applied Sciences Complete (7.296)
- Academic Search Premier (EB_SDU_P3) (6.677)
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access (6.652)
- Springer Books (1.684)
- SpringerLink_回溯丛书_Lecture Notes in Computer Science Archive（NSTL购买） (1.553)
- SpringerLINK Lecture Notes in Computer Science (2015) (1.312)
- Springer Books Online Archive (1.122)
- Springer_OA刊 (1.081)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (1.067)
- SpringerLink Books Lecture Notes in Computer Science Archive (976)
- ACM Digital Library (199)
- SpringerLINK Lecture Notes in Computer Science (2014) (127)
- Springer Nature - Springer Computer Science eBooks 2012 English International (110)
- Springer Nature - Springer Computer Science eBooks 2013 English International (109)
- Springer Nature - Springer Computer Science eBooks 2015 English International (97)
- SpringerLINK Lecture Notes in Computer Science (2012) (93)
- Springer Nature - Springer Computer Science eBooks 2016 English International (87)
-
Mais opções
Idioma
Nome da Publicação
- The Journal Of Supercomputing (5.616)
- Empirical Software Engineering : An International Journal (1.361)
- Software And Systems Modeling (1.059)
- Software Quality Journal (608)
- Genetic Programming And Evolvable Machines (437)
- Software & Systems Modeling (138)
- Empirical Software Engineering (96)
- Journal Of Software Engineering Research And Development (61)
- Journal Of Supercomputing (50)
- Staf, Software Technologies: Applications And Foundations, 2016, Modelling Foundations And Applications, Ecmfa, European Conference On Modelling Foundations And Applications, 12, Icmt, International Conference On Theory And Practice Of Model Transformations, 2016, Bpmds, Workshop On Business Process Modeling, Development, And Support, 17 (14)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 