Resultados de 1 a 10 de 614 para Busca Geral
- Recursos Online (68)
- Revistas revisadas por pares (1)
- Disponível na Biblioteca (573)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
A Knowledge-Based Approach to Program UnderstandingAbd-El-Hafiz Victor R BasiliSpringer US 1995Acesso online. A biblioteca também possui exemplares impressos. |
| 2 |
Material Type: Livro
|
|
Formal methods for industrial applications specifying and programming the steam boiler controlJean-Raymond Abrial; E Borger; Langmaack, HBerlin Springer 1996Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1165 CD-ROM ) e outros locais(Acessar) |
| 3 |
Material Type: Livro
|
|
Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on High-Level Debugging Pacific Grove, California, March 20-23, l983ACM SIGSOFT/SIGPLAN Software Engineering Symposium on High-Level Debugging (1983 Pacific Grove, Calif.) Mark Scott Johnson; ACM Sigsoft; ACM Special Interest Group in Programming LanguagesNew York Association for Computing Machinery 1983Localização: EPBC - Esc. Politécnica-Bib Central (004.41 Ac64p ) e outros locais(Acessar) |
| 4 |
Material Type: Livro
|
|
Security and privacy in digital rights management ACM CCS-8 workshop DRM 2001, Philadelphia, PA, USA, November 5, 2001 : revised papersACM Workshop on Security and Privacy in Digital Rights Management (2001 Philadelphia, Pa.) Tomas Sander; ACM Conference on Computer and Communications Security (8th 2001 Philadelphia, Pa.)Berlin Springer New York 2002Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2320 ) e outros locais(Acessar) |
| 5 |
Material Type: Livro
|
|
Services and visualization towards user-friendly design : ACoS'98, VISUAL'98, AIN'97 selected papersACoS'98 (1998 University of Lisbon) Tiziana Margaria; VISUAL'98 (1998 University of Lisbon); AIN'97 (1997 University of Bologna at Cesena)Berlin Springer New York 1998Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1385 ) e outros locais(Acessar) |
| 6 |
Material Type: Livro
|
|
Reliable software technologies Ada-Europe 2001 : 6th Ada-Europe International Conference on Reliable Software Technologies, Leuven, Belgium, May 14-18, 2001 : proceedingsAda-Europe International Conference (6th 2001 Louvain, Belgium) Dirk Craeynest 1957-; Alfred Strohmeier 1946-Berlin Springer New York 2001Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2043 ) e outros locais(Acessar) |
| 7 |
Material Type: Livro
|
|
Reliable software technologies--Ada-Europe 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998 : proceedingsAda-Europe International Conference on Reliable Software Technologies (1998 Uppsala, Sweden) Lars Asplund 1949-GOOS, G, ED; HARTMANIS, J, ED; LEEUWEN, J VAN, ED LECTURE NOTES IN COMPUTER SCIENCE BERLIN, SPRINGER-VERLAG, c1985-Berlin Springer New York c1998Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1411 ) e outros locais(Acessar) |
| 8 |
Material Type: Livro
|
|
Reliable software technologies - Ada-Europe '99 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999 : proceedingsAda-Europe International Conference on Reliable Software Technologies (4. 1999 Santander, Spain) Juan A De la Puente 1949-; Michael González-Harbour 960-Berlin Springer New York c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1622 )(Acessar) |
| 9 |
Material Type: Livro
|
|
Reliable software technologies, Ada-Europe 2000 5th Ada-Europe International Conference, Potsdam, Germany, June 26-30, 2000 : proceedingsAda-Europe International Conference on Reliable Software Technologies (5th 2000 Potsdam, Germany) H. B Keller (Hubert B); Erhard PlöderederBerlin Springer New York c2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1845 )(Acessar) |
| 10 |
Material Type: Livro
|
|
Reliable software technologies-ADA-Europe 2002 7th Ada-Europe International Conference on reliable Software Technologies, Vienna, Austria, June 2002 : proceedingsAda-Europe International Conference on Reliable Software Technologies (7th 2002 Vienna, Austria) Johann Blieberger; Alfred Strohmeier 1946-Berlin Springer New York 2002Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2361 ) e outros locais(Acessar) |
Resultados de 1 a 10 de 614 para Busca Geral
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
- Recursos Online (68)
- Revistas revisadas por pares (1)
- Disponível na Biblioteca (573)
Refinar Meus Resultados
Tipo de Recurso
- Livros (496)
- Artigos (108)
- Produções Acadêmicas (7)
- Anais de Congresso (2)
- Dissertações (2)
-
Mais opções
Assunto
- Software Engineering (108)
- Computer Software (91)
- Sistemas De Informação (84)
- Engenharia De Programas (57)
- Metodologia E Técnicas De Computação (49)
- Engenharia De Software–Congressos (37)
- Linguagem De Programação (33)
- Computer Science (32)
- Object-Oriented Programming (Computer Science) (31)
- Inteligência Artificial (30)
- Teoria Da Computação (25)
- Ciência Da Computação (24)
- Especificação De Sistemas E Programas (24)
- Redes De Computadores (23)
- Electronic Digital Computers (19)
- Computer Programming (19)
- Intelligent Agents (Computer Software) (18)
- Computers (18)
- Técnicas De Programação (Congressos) (17)
- World Wide Web (17)
- Especificação De Sistemas E Programas (Congressos) (16)
- Expert Systems (Computer Science) (16)
- Software (15)
- Programming Languages (Electronic Computers) (15)
- Electronic Data Processing (15)
- Computer Programs (12)
- Ingeniería De Software (11)
- Application Software (11)
- Software Engineering/programming And Operating Systems (9)
- Softwareentwicklung (8)
- Génie Logiciel (8)
- Engineering (7)
- Computer Software Engineering (7)
- Software Development & Engineering (6)
- Information Systems (6)
- Development (6)
- Desarrollo (5)
- Electronic Digital Computers (1)
-
Mais opções
Autor/Criador
- Simão, A (31)
- Maldonado, J (20)
- Fortes, R (16)
- Nakagawa, E (13)
- Delamaro, M (10)
- Souza, S (10)
- Petrenko, A (10)
- Souza, P (7)
- Conference on Software Engineering Education (7)
- Sommerville, I (7)
- Conference on Advanced Information Systems Engineering (6)
- Masiero, P (6)
- European Software Engineering Conference (6)
- Woodcock, J (5)
- Santana, M (5)
- Booch, G (5)
- Broy, M (5)
- International Conference on Software Engineering and Knowledge Engineering (5)
- Vincenzi, A (5)
- Oliveira, L (5)
-
Mais opções
Data de Publicação
- Antes de1980 (26)
- 1980Até1989 (70)
- 1990Até1999 (234)
- 2000Até2010 (247)
- Após 2010 (93)
-
Mais opções
Biblioteca
- ICMC - Inst. Ciên. Mat. Computação (481)
- IME - Inst. Matemática e Estatística (289)
- IFSC - Inst. Física de São Carlos (126)
- EPBC - Esc. Politécnica-Bib Central (34)
- EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (15)
- EACH - Esc. Artes, Ciências e Humanidades (9)
- FEA - Fac. Econ. Adm. Contab. e Atuária (5)
- FFCLRP - Fac. Fil. Ciên. Let. de R. Preto (5)
- FEARP - Fac. Econ. Adm. Cont. de R. Preto (4)
- PUSPSC - Prefeitura do Campus USP de São Carlos (3)
- FCFRP - Fac. Ciên. Farm. Ribeirão Preto (2)
- EPECP - Esc. Politécnica-Bib Eng Civil e Prod (1)
- EERP - Esc. Enfermagem Ribeirão Preto (1)
- IP - Instituto de Psicologia (1)
- IO - Instituto Oceanográfico (1)
- ECA - Escola de Comunicações e Artes (1)
- FE - Faculdade de Educação (1)
- IF - Instituto de Física (1)
- IAG - Inst. Ast. Geo. Ciên. Atmosféricas (1)
- EESC - Esc. Engenharia de São Carlos (1)
-
Mais opções
Base de Dados/Biblioteca
- Springer Books (18)
- Springer Books Online Archive (15)
- SpringerLink Books Lecture Notes in Computer Science Archive (14)
- SpringerLINK Lecture Notes in Computer Science Archive (Through 1996) (14)
- PUCRS Institutional Repository (3)
- Wiley Online Library All Obooks (2)
- ACM Digital Library Complete (2)
- Gale eBooks (1)
- EZB Free E-Journals (1)
- IEEE Electronic Library (IEL) Conference Proceedings (1)
- ROAD: Directory of Open Access Scholarly Resources (1)
- Springer Nature - Springer Computer Science eBooks 2014 English International (1)
- eBook - All Access Books [EBAAB] (1)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (1)
- Springer Nature - Springer Computer Science eBooks 2016 English International (1)
- Springer Open Access Journals (1)
- Springer Nature - Springer Computer Science eBooks 2013 English International (1)
- ScienceDirect eBooks (1)
- DOAJ Directory of Open Access Journals (1)
- AccessEngineering (1)
-
Mais opções
Idioma
- Inglês (602)
- Português (12)
- Francês (3)
- Sueco (1)
- Italiano (1)
- Japonês (1)
- Alemão (1)
- Espanhol (1)
- Indeterminado (1)
-
Mais opções
Nome da Publicação
- Lecture Notes in Computer Science (32)
- Proceedings (24)
- Science of Computer Programming (9)
- Lecture Notes in Computer Sciences (7)
- Journal of Universal Computer Science (4)
- Lecture Notes in Computer Science (LNCS) (4)
- Communications in Computer and Information Science (4)
- The Computer Journal: Section A: Computer Science Theory, Methods and Tools (3)
- Procedia computer science (3)
- ACM Sigcse Bulletin (2)
- Electronic Proceedings in Theoretical Computer Science (2)
- Computer Science Review (2)
- Computer Languages, Systems & Structures (2)
- International Journal of Foundations of Computer Science (2)
- Eletronic Notes in Theoretical Computer Science (2)
- Revista de Italianística (2)
- INFOCOMP: Journal of Computer Science (2)
- Estilos da Clinica (1)
- S1678-91992012000200001-en.pdf (1)
- Comunicação & Educação (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 