skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Computer Science remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Histories of Computing
Histories of Computing
Histories of Computing
Material Type:
Livro 		Adicionar ao Meu Espaço

Histories of Computing

MICHAEL SEAN MAHONEY Thomas Haigh

Harvard University Press 2011

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

2
Baltic computer science selected papers
Baltic computer science selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Baltic computer science selected papers

Barzdin§, ëIìA. M. (ëIìAn Martynovich); D Bjørner 1937- (Dines)

Berlin New York Springer-Verlag c1991

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

3
STACS 2000 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 17-19, 2000 : proceedings
STACS 2000 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 17-19, 2000 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

STACS 2000 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 17-19, 2000 : proceedings

Symposium on Theoretical Aspects of Computer Science (17th 2000 Lille, France) Horst Reichel; Sophie Tison

Berlin Springer New York c2000

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

4
Applications of graph transformations with industrial relevance international workshop, AGTIVE'99, Kerkrade, The Netherlands, September 1-3, 1999 : proceedings
Applications of graph transformations with industrial relevance international workshop, AGTIVE'99, Kerkrade, The Netherlands, September 1-3, 1999 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Applications of graph transformations with industrial relevance international workshop, AGTIVE'99, Kerkrade, The Netherlands, September 1-3, 1999 : proceedings

AGTIVE'99 (1999 Kerkrade, Netherlands) Manfred Nagl 1944-; Andreas Schürr; Manfred Münch 1971-

GOOS, G, ED; HARTMANIS, J, ED; LEEUWEN, J VAN, ED LECTURE NOTES IN COMPUTER SCIENCE BERLIN, SPRINGER-VERLAG, c1985-

Berlin New York Springer c2000

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

5
Frontiers of combining systems 4th international workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002 : proceedings
Frontiers of combining systems 4th international workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Frontiers of combining systems 4th international workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002 : proceedings

FroCoS 2002 (2002 Santa Margherita Ligure, Italy) Alessandro Armando

Berlin Springer New York 2002

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

6
Advances in computing science--ASIAN 2002 Internet computing and modeling, grid computing, peer-to-peer computing, and cluster computing : 7th Asian Computing Science Conference, Hanoi, Vietnam, December 4-6, 2002 : proceedings
Advances in computing science--ASIAN 2002 Internet computing and modeling, grid computing, peer-to-peer computing, and cluster computing : 7th Asian Computing Science Conference, Hanoi, Vietnam, December 4-6, 2002 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Advances in computing science--ASIAN 2002 Internet computing and modeling, grid computing, peer-to-peer computing, and cluster computing : 7th Asian Computing Science Conference, Hanoi, Vietnam, December 4-6, 2002 : proceedings

Asian Computing Science Conference (7th 2002 Hanoi, Vietnam) A Jean-Marie 1943- (Alain)

New York Springer 2002

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

7
Introduction to discrete mathematics for software engineering
Introduction to discrete mathematics for software engineering
Material Type:
Livro 		Adicionar ao Meu Espaço

Introduction to discrete mathematics for software engineering

Tim Denvir 1939-

Basingstoke Macmillan Education 1986

Localização: IME - Inst. Matemática e Estatística    (QA830 D416i )(Acessar)

8
Software engineering mathematics formal methods demystified
Software engineering mathematics formal methods demystified
Material Type:
Livro 		Adicionar ao Meu Espaço

Software engineering mathematics formal methods demystified

Jim Woodcock Martin Loomes

London Pitman 1988

Localização: EPBC - Esc. Politécnica-Bib Central    (004.41 W853s ) e outros locais(Acessar)

9
Recent trends in algebraic development techniques 14th international workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers
Recent trends in algebraic development techniques 14th international workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Recent trends in algebraic development techniques 14th international workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers

WADT '99 (1999 Château de Bonas, France) Didier Bert; C Choppy (Christine); Peter Mosses

Berlin New York Springer c2000

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

10
Algebraic and coalgebraic methods in the mathematics of program construction international summer school and workshop Oxford, UK, April 10-14, 2000, revised lectures
Algebraic and coalgebraic methods in the mathematics of program construction international summer school and workshop Oxford, UK, April 10-14, 2000, revised lectures
Material Type:
Livro 		Adicionar ao Meu Espaço

Algebraic and coalgebraic methods in the mathematics of program construction international summer school and workshop Oxford, UK, April 10-14, 2000, revised lectures

School on Algebraic and Co-algebraic Methods in the Mathematics of Program Construction (2000 University of Oxford) Roland C Backhouse 1948-; Roy L Crole; Jeremy Gibbons 1966-

Berlin Springer New York c2002

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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (22)
  2. Disponível na Biblioteca (15)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (38)
  2. Anais de Congresso  (2)
  3. Artigos  (1)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1995  (6)
  2. 1995Até2000  (18)
  3. 2001Até2005  (15)
  4. 2006Até2016  (14)
  5. Após 2016  (4)
  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.