Resultados de 1 a 10 de 609 para Busca Geral
Mostrar Somente
- Recursos Online (608)
- Revistas revisadas por pares (172)
- Disponível na Biblioteca (1)
Refinado por:
assunto:
Programming
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Structure and Interpretation of Computer ProgramsAbelson, Harold ; Sussman, Gerald JayCambridge: The MIT Press 1996Texto completo disponível |
| 2 |
Material Type: Livro
|
|
Automata, Languages and Programming: 21st International Colloquium, ICALP 94 Jerusalem, Israel, July 11–14, 1994 ProceedingsAbiteboul, Serge ; Shamir, Eli Abiteboul, Serge ; Shamir, EliBerlin, Heidelberg: Springer Berlin Heidelberg 1994Texto completo disponível |
| 3 |
Material Type: Livro
|
|
Computer Mathematics for ProgrammersAbney, Darrell H ; Rubin, Laurence ; Sibrel, Donald WSan Diego: Elsevier Science & Technology 1985Texto completo disponível |
| 4 |
Material Type: Livro
|
|
The Beauty of Functional Code: Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st BirthdayAchten, Peter ; Koopman, Pieter Achten, Peter ; Koopman, PieterNetherlands: Springer Nature 2013Texto completo disponível |
| 5 |
Material Type: Livro
|
|
Tests and Proofs: 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, ProceedingsAichernig, Bernhard K ; Furia, Carlo A Furia, Carlo A ; Aichernig, Bernhard KCham: Springer Nature 2016Texto completo disponível |
| 6 |
Material Type: Livro
|
|
|
| 7 |
Material Type: Livro
|
|
The Design of Well-Structured and Correct ProgramsAlagic, Suad ; Arbib, Michael ANew York, NY: Springer 1978Texto completo disponível |
| 8 |
Material Type: Livro
|
|
Shared Memory Application Programming: Concepts and Strategies in Multicore Application ProgrammingAlessandrini, VictorSan Diego: Elsevier Science 2015Texto completo disponível |
| 9 |
Material Type: Livro
|
|
Reasoning with Logic ProgrammingAlferes, José Júlio ; Moniz Pereira, Luís Alferes, José Júlio ; Moniz Pereira, LuísBerlin, Heidelberg: Springer Berlin Heidelberg 1996Texto completo disponível |
| 10 |
Material Type: Livro
|
|
Probability, Statistics, and Queueing Theory: With Computer Science ApplicationsAllen, Arnold O ; Rheinboldt, WernerSan Diego: Elsevier Science & Technology 1978Texto completo disponível |
Resultados de 1 a 10 de 609 para Busca Geral
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
- Recursos Online (608)
- Revistas revisadas por pares (172)
- Disponível na Biblioteca (1)
Assunto
- Computer Programming (582)
- Computers (554)
- Electronic Digital Computers (550)
- Electronic Data Processing (544)
- Electronic Computer Programming (536)
- Computer Science (508)
- Programming Techniques (415)
- Coding Theory (332)
- Software Engineering (311)
- Congresses (300)
- Programming Languages (298)
- Computer Software Engineering (250)
- Programming Languages, Compilers, Interpreters (246)
- Compilers (203)
- Computer Programming Languages (197)
- Computer Languages (197)
- Computer Program Languages (197)
- Machine Language (197)
- Electronic Brains (192)
- Engenharia De Software (1)
- Processamento De Dados (1)
- Programming (Electronic Computers) (1)
- Man-Machine Systems (1)
- Processamento De Dados (1)
- Man-Machine Systems (1)
- Engenharia De Software (1)
-
Mais opções
Autor/Criador
Data de Publicação
- Antes de1979 (16)
- 1979Até1988 (92)
- 1989Até1998 (113)
- 1999Até2009 (229)
- Após 2009 (388)
-
Mais opções
Biblioteca
Base de Dados/Biblioteca
- Springer Books (505)
- Springer Nature – Springer Lecture Notes in Computer Science Archive eBooks 1973-1996 (385)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (368)
- SpringerLINK Lecture Notes in Computer Science (2015) (366)
- Springer Books Online Archive (281)
- SpringerLink Books Lecture Notes in Computer Science Archive (257)
- SpringerLINK Lecture Notes in Computer Science (2014) (66)
- Springer Nature - Springer Computer Science eBooks 2015 English International (50)
- Springer Nature - Springer Computer Science eBooks 2013 English International (48)
- Springer Nature - Springer Computer Science eBooks 2014 English International (39)
- Springer Nature - Springer Computer Science eBooks 2016 English International (39)
- Gale eBooks (38)
- SpringerLINK Lecture Notes in Computer Science (2013) (36)
- eBook - All Access Books [EBAAB] (35)
- ScienceDirect eBooks (35)
- SpringerLINK Lecture Notes in Computer Science (2016) (32)
- DOAB: Directory of Open Access Books (24)
- OAPEN (16)
- Springer Nature - Springer Computer Science eBooks 2012 English International (14)
- SpringerLink Fully Open Access Books (12)
-
Mais opções
Idioma
- Alemão (4)
- Francês (2)
- Japonês (2)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 