skip to main content
Idioma:
Resultados 1 2 3 next page
Refinado por: assunto: Linguagem De Programação remover assunto: Software Engineering remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Principles and Practice of Constraint Programming - CP 2002: 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings
Principles and Practice of Constraint Programming - CP 2002: 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Principles and Practice of Constraint Programming - CP 2002: 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings

Hentenryck, Pascal Van Van Hentenryck, Pascal

Berlin, Heidelberg: Springer Berlin / Heidelberg 2002

Texto completo disponível

Citações Citado por
2
FST TCS 2000 foundations of software technology and theoretical computer science : 20th conference, New Delhi, India, December 13-15, 2000 : proceedings
FST TCS 2000 foundations of software technology and theoretical computer science : 20th conference, New Delhi, India, December 13-15, 2000 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

FST TCS 2000 foundations of software technology and theoretical computer science : 20th conference, New Delhi, India, December 13-15, 2000 : proceedings

Conference on Foundations of Software Technology and Theoretical Computer Science (20th 2000 New Delhi, India) Sanjiv Kapoor 1959-; Sanjiva Prasad

Berlin Springer 2000

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

3
UML≫ 2002 — The Unified Modeling Language: Model Engineering, Concepts, and Tools 5th International Conference Dresden, Germany, September 30 – October 4, 2002 Proceedings
UML≫ 2002 — The Unified Modeling Language: Model Engineering, Concepts, and Tools 5th International Conference Dresden, Germany, September 30 – October 4, 2002 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

UML≫ 2002 — The Unified Modeling Language: Model Engineering, Concepts, and Tools 5th International Conference Dresden, Germany, September 30 – October 4, 2002 Proceedings

Jézéquel, Jean-Marc ; Hussmann, Heinrich ; Cook, Stephen Cook, Stephen ; Hussmann, Heinrich ; Jézéquel, Jean-Marc

Berlin, Heidelberg: Springer Berlin Heidelberg 2002

Texto completo disponível

Citações Citado por
4
Languages, compilers, and run-time systems for scalable computers 4th international workshop, LCR '98, Pittsburgh, PA, USA, May 28-30, 1998 : selected papers
Languages, compilers, and run-time systems for scalable computers 4th international workshop, LCR '98, Pittsburgh, PA, USA, May 28-30, 1998 : selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Languages, compilers, and run-time systems for scalable computers 4th international workshop, LCR '98, Pittsburgh, PA, USA, May 28-30, 1998 : selected papers

Workshop on Languages, Compilers and Run-Time Systems for Scalable Computers (4th 1998 Pittsburgh, Pa.) David O'Hallaron 1955-

Berlin Springer New York c1998

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

5
Fundamental approaches to software engineering Second International Conference, FASE'99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings
Fundamental approaches to software engineering Second International Conference, FASE'99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Fundamental approaches to software engineering Second International Conference, FASE'99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings

FASE '99 (1999 Amsterdam, Netherlands) Jean Pierre Finance; ETAPS'99 (1999 Amsterdam, Netherlands)

Berlin Springer-Verlag New York c1999

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

6
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002 Co-sponsored by IFIP WG 2.2 Oldenburg, Germany, September 9–12, 2002 Proceedings
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002 Co-sponsored by IFIP WG 2.2 Oldenburg, Germany, September 9–12, 2002 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002 Co-sponsored by IFIP WG 2.2 Oldenburg, Germany, September 9–12, 2002 Proceedings

Damm, Werner ; Olderog, Ernst -Rüdiger Damm, Werner ; Olderog, Ernst -Rüdiger

Berlin, Heidelberg: Springer Berlin Heidelberg 2002

Texto completo disponível

Citações Citado por
7
Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings
Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings

Degano, Pierpaolo Degano, Pierpaolo

Berlin, Heidelberg: Springer Berlin / Heidelberg 2003

Texto completo disponível

Citações Citado por
8
Types for Proofs and Programs: International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers
Types for Proofs and Programs: International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Types for Proofs and Programs: International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers

Geuvers, Herman ; Wiedijk, Freek Geuvers, Herman ; Wiedijk, Freek

Berlin, Heidelberg: Springer Berlin Heidelberg 2003

Texto completo disponível

Citações Citado por
9
Programming in Modula-2
Programming in Modula-2
Material Type:
Livro 		Adicionar ao Meu Espaço

Programming in Modula-2

Wirth, Niklaus

Berlin, Heidelberg: Springer Berlin / Heidelberg 1982

Texto completo disponível

Citações Citado por
10
Cooperative Interfaces to Information Systems
Cooperative Interfaces to Information Systems
Material Type:
Livro 		Adicionar ao Meu Espaço

Cooperative Interfaces to Information Systems

Bolc, Leonard ; Jarke, Matthias Jarke, Matthias ; Bolc, Leonard

Berlin, Heidelberg: Springer Berlin / Heidelberg 1986

Texto completo disponível

Citações Citado por
Resultados 1 2 3 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

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

Buscando em bases de dados remotas. Favor aguardar.