Resultados 1 - 10 de 615 para Búsqueda General
- Recursos en línea (68)
- Revistas arbitradas (2)
- Disponible (575)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Libro
|
|
A Knowledge-Based Approach to Program UnderstandingAbd-El-Hafiz Victor R BasiliSpringer US 1995Acceso en línea. La biblioteca tiene también copias físicas. |
| 2 |
Material Type: Libro
|
|
Formal methods for industrial applications specifying and programming the steam boiler controlJean-Raymond Abrial; E Borger; Langmaack, HBerlin Springer 1996Disponible en ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1165 CD-ROM ) y otras localizaciones(Obténgalo) |
| 3 |
Material Type: Libro
|
|
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 1983Disponible en EPBC - Esc. Politécnica-Bib Central (004.41 Ac64p ) y otras localizaciones(Obténgalo) |
| 4 |
Material Type: Libro
|
|
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 2002Disponible en ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2320 ) y otras localizaciones(Obténgalo) |
| 5 |
Material Type: Libro
|
|
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 1998Disponible en ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1385 ) y otras localizaciones(Obténgalo) |
| 6 |
Material Type: Libro
|
|
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 2001Disponible en ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2043 ) y otras localizaciones(Obténgalo) |
| 7 |
Material Type: Libro
|
|
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 c1998Disponible en ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1411 ) y otras localizaciones(Obténgalo) |
| 8 |
Material Type: Libro
|
|
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 c1999Disponible en ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1622 )(Obténgalo) |
| 9 |
Material Type: Libro
|
|
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 c2000Disponible en ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1845 )(Obténgalo) |
| 10 |
Material Type: Libro
|
|
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 2002Disponible en ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2361 ) y otras localizaciones(Obténgalo) |
Resultados 1 - 10 de 615 para Búsqueda General
Personalizar los resultados
Refine Search Results
Ampliar mis resultados
Mostrar solo
- Recursos en línea (68)
- Revistas arbitradas (2)
- Disponible (575)
Refinar mis resultados
Tipo de Recurso
- Libros (496)
- Artículos (110)
- Producciones Académicas (7)
- Tesis (2)
- Actas de Congreso (1)
-
Más opciones
Materia
- Software Engineering (108)
- Computer Software (93)
- 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)
- Computer Programming (20)
- Electronic Digital Computers (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)
- Electronic Data Processing (16)
- Object-Oriented Methods (Computer Science) (15)
- Software (15)
- Computer Programs (12)
- Ingeniería De Software (11)
- Application Software (11)
- Engineering (10)
- Software Engineering/programming And Operating Systems (9)
- Softwareentwicklung (8)
- Génie Logiciel (8)
- Logiciels (7)
- Development (7)
- Computer Software Engineering (7)
- Software Development & Engineering (6)
- Desarrollo (5)
- Electronic Digital Computers (2)
-
Más opciones
Creador
- 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)
- Santana, M (5)
- Booch, G (5)
- Broy, M (5)
- International Conference of the Chilean Computer Science Society (5)
- International Conference on Software Engineering and Knowledge Engineering (5)
- Vincenzi, A (5)
- Oliveira, L (5)
-
Más opciones
Fecha de Publicación
- Antes de1980 (26)
- 1980Hasta1989 (71)
- 1990Hasta1999 (235)
- 2000Hasta2010 (247)
- Después de 2010 (94)
-
Más opciones
Biblioteca
- ICMC - Inst. Ciên. Mat. Computação (483)
- 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)
-
Más opciones
Base de Datos/Biblioteca
- Springer Books (18)
- Springer Books Online Archive (15)
- SpringerLink Books Lecture Notes in Computer Science Archive (14)
- Springer Nature – Springer Lecture Notes in Computer Science Archive eBooks 1973-1996 (14)
- PUCRS Institutional Repository (3)
- ROAD: Directory of Open Access Scholarly Resources (2)
- Wiley Online Library All Obooks (2)
- EZB Electronic Journals Library (2)
- DOAJ Directory of Open Access Journals (2)
- Gale eBooks (1)
- IEEE Electronic Library (IEL) Conference Proceedings (1)
- Springer Nature OA Free Journals (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 Nature - Springer Computer Science eBooks 2013 English International (1)
- ScienceDirect eBooks (1)
- ACM Digital Library Complete (1)
- AccessEngineering (1)
-
Más opciones
Idioma
- Inglés (602)
- Portugués (13)
- Francés (2)
- Sueco (1)
- Italiano (1)
- Japonés (1)
- Alemán (1)
- Español (1)
- Sin definir (1)
-
Más opciones
Título revista
- Lecture Notes in Computer Science (32)
- Proceedings (25)
- 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)
- Revista Ibero-Americana De Estudos Em Educação (1)
- Letras clássicas (1)
- Cadernos de Psicologia Social do Trabalho (1)
-
Más opciones
Página de Inicio
RSS
Feed
Pol��ticas
Hable con Nosotros-
Realización:
Logos de Redes Sociales: 