skip to main content
Idioma:
Resultados 1 2 3 next page
Mostrar Somente
Refinado por: assunto: Ciência Da Computação remover assunto: Engenharia De Software remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Mathematical foundations of computer science proceedings
Mathematical foundations of computer science proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Mathematical foundations of computer science proceedings

Symposium on Mathematical Foundations of Computer Science (19. 1994 Kosice) Peter Ruzicka; Igor Privara; Branislav Rovan

Berlin Springer 1994

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.841 e.1 ) e outros locais(Acessar)

2
Object-oriented technology ECOOP'99 workshop reader : ECOOP'99 workshops, panels, and posters, Lisbon, Portugal, June 14-18, 1999 : proceedings
Object-oriented technology ECOOP'99 workshop reader : ECOOP'99 workshops, panels, and posters, Lisbon, Portugal, June 14-18, 1999 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Object-oriented technology ECOOP'99 workshop reader : ECOOP'99 workshops, panels, and posters, Lisbon, Portugal, June 14-18, 1999 : proceedings

ECOOP'99 Workshops (1999 Lisbon, Portugal) Ana M. D Moreira; Serge Demeyer

Goos, G., ed.; Hartmanis, J., ed.; Leeuwen, J. Van, ed Lecture notes in computer science Berlin : Springer-Verlag, c1985-

Berlin Springer New York c1999

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1743 e.1 ) e outros locais(Acessar)

3
Testing techniques in software engineering second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3 - 7, 2007 ; revised lectures
Testing techniques in software engineering second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3 - 7, 2007 ; revised lectures
Material Type:
Livro 		Adicionar ao Meu Espaço

Testing techniques in software engineering second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3 - 7, 2007 ; revised lectures

Paulo Borba; Ana Cavalcanti; Augusto Sampaio; Jim Woodcock; Pernambuco Summer School on Software Engineering 2007 Recife; PSSE (2 2007.12.03-07 Recife); Pernambuco Summer School on Software Engineering (2 2007.12.03-07 Recife)

Berlin u.a. Springer 2010

Acesso online. A biblioteca também possui exemplares impressos.

4
Proceedings...
Proceedings...
Material Type:
Livro 		Adicionar ao Meu Espaço

Proceedings...

INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE, SOFTWARE ENGINEERING, INFORMATION TECHNOLOGY, E-BUSINESS, AND APPLICATIONS, 2002, Foz do Iguazu, Brazil

Mount Pleasant, MI International Association for Computer and Information Science 2002

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-06 ACIS 2002 e.1 )(Acessar)

5
Principles and practice of constraint programming second International Workshop, PPCP'94, Rosario, Orcas Island, WA, USA, may 2-4, 1994 : proceedings
Principles and practice of constraint programming second International Workshop, PPCP'94, Rosario, Orcas Island, WA, USA, may 2-4, 1994 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Principles and practice of constraint programming second International Workshop, PPCP'94, Rosario, Orcas Island, WA, USA, may 2-4, 1994 : proceedings

Workshop on the Principles and Practice of Constraint Programming (2nd 1994 Rosario, Wash.) Alan Borning 1950- (Alan H.)

Berlin New York Springer-Verlag c1994

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.874 e.1 ) e outros locais(Acessar)

6
Models and Tools for Managing Development Processes
Models and Tools for Managing Development Processes
Models and Tools for Managing Development Processes
Material Type:
Livro 		Adicionar ao Meu Espaço

Models and Tools for Managing Development Processes

Bernhard Westfechtel Juris Hartmanis; Jan van Leeuwen

Springer Berlin Heidelberg 1999

Acesso online. A biblioteca também possui exemplares impressos.

7
Formal Foundations for Software Engineering Methods
Formal Foundations for Software Engineering Methods
Formal Foundations for Software Engineering Methods
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal Foundations for Software Engineering Methods

Heinrich Hussmann

Springer Berlin Heidelberg 1997

Acesso online. A biblioteca também possui exemplares impressos.

8
Computer aided verification 11th International Conference, CAV'99, Trento, Italy, july 6-10, 1999 ; proceedings
Computer aided verification 11th International Conference, CAV'99, Trento, Italy, july 6-10, 1999 ; proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer aided verification 11th International Conference, CAV'99, Trento, Italy, july 6-10, 1999 ; proceedings

International Conference on Computer-Aided Verification, CAV'99 (11th 1999 Trento, Italy) Nicolas Halbwachs; Doron Peled 1962-

Berlin Springer New York c1999

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1633 ) e outros locais(Acessar)

9
Concepts in user interfaces a reference model for command and response languages
Concepts in user interfaces a reference model for command and response languages
Material Type:
Livro 		Adicionar ao Meu Espaço

Concepts in user interfaces a reference model for command and response languages

David Beech 1933-; IFIP Working Group 2.7

Berlin New York Springer-Verlag c1986

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.234 ex.1 ) e outros locais(Acessar)

10
Contribuições ao ensino de teste de software com o modelo flipped classroom e um agente conversacional
Contribuições ao ensino de teste de software com o modelo flipped classroom e um agente conversacional
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Contribuições ao ensino de teste de software com o modelo flipped classroom e um agente conversacional

Paschoal, Leo Natan

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2019-03-20

Acesso online. A biblioteca também possui exemplares impressos.

Resultados 1 2 3 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (3)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (22)
  2. Produções Acadêmicas  (2)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1987  (3)
  2. 1987Até1995  (4)
  3. 1996Até1999  (10)
  4. 2000Até2009  (5)
  5. Após 2009  (2)
  6. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.