skip to main content
Idioma:
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Petri nets applications and relationships to other models concurrency : advances in petri nets 1986, part ii : proceedings of an advanced course bad honnef, 8.-19. september 1986
Petri nets applications and relationships to other models concurrency : advances in petri nets 1986, part ii : proceedings of an advanced course bad honnef, 8.-19. september 1986
Material Type:
Livro 		Adicionar ao Meu Espaço

Petri nets applications and relationships to other models concurrency : advances in petri nets 1986, part ii : proceedings of an advanced course bad honnef, 8.-19. september 1986

Wilfried Brauer; Wolfgang Reisig

Berlin Springer 1987

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

2
Formal and natural computing essays dedicated to Grzegorz Rozenberg
Formal and natural computing essays dedicated to Grzegorz Rozenberg
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal and natural computing essays dedicated to Grzegorz Rozenberg

Wilfried Brauer; Grzegorz Rozenberg

Berlin Springer New York c2002

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

3
3. [i.e. dritte] Jahrestagung Hamburg, 8.-10. Oktober 1973
3. [i.e. dritte] Jahrestagung Hamburg, 8.-10. Oktober 1973
Material Type:
Livro 		Adicionar ao Meu Espaço

3. [i.e. dritte] Jahrestagung Hamburg, 8.-10. Oktober 1973

Gesellschaft für Informatik Wilfried Brauer; Gesellschaft für Informatik

Berlin New York Springer-Verlag 1973

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

4
Automata, languages, and programming 12th colloquium, Nafplion, Greece, July 15-19, 1985
Automata, languages, and programming 12th colloquium, Nafplion, Greece, July 15-19, 1985
Material Type:
Livro 		Adicionar ao Meu Espaço

Automata, languages, and programming 12th colloquium, Nafplion, Greece, July 15-19, 1985

ICALP 85 (1985 Nauplion, Greece) Wilfried Brauer; European Association for Theoretical Computer Science; Ethnikon Metsovion Polytechneion; Universität Hamburg

Berlin New York Springer-Verlag c1985

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

5
Logic and algebra of specification proceedings
Logic and algebra of specification proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic and algebra of specification proceedings

Nato Advanced Institute on Logic and Algebra of Specification (1991 : Marktoberdorf, Dt) Friedrich Ludwig Bauer; Wilfried Brauer; Schwichtenberg, Helmut

Berlin Springer 1993

Localização: IME - Inst. Matemática e Estatística    (QA816.C B344a )(Acessar)

6
Foundations of computer science potential, theory, cognition
Foundations of computer science potential, theory, cognition
Material Type:
Livro 		Adicionar ao Meu Espaço

Foundations of computer science potential, theory, cognition

Wilfried Brauer; C Freksa; Matthias Jantzen 1948-; R Valk (Rüdiger)

Berlin Springer New York c1997

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

7
Kolmogorov Complexity and Computational Complexity
Kolmogorov Complexity and Computational Complexity
Kolmogorov Complexity and Computational Complexity
Material Type:
Livro 		Adicionar ao Meu Espaço

Kolmogorov Complexity and Computational Complexity

Wilfried Rozenberg Prof.Dr., Grzegorz Salomaa Prof.Dr., Arto Brauer Prof.Dr.

Springer Berlin Heidelberg 1992

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

8
Ki-95 advances in artificial intelligence : proceedings
Ki-95 advances in artificial intelligence : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Ki-95 advances in artificial intelligence : proceedings

German Workshop on Artificial Intelligence (19. 1995 Bielefeld) Ipke Wachsmuth; Claus-Rainer Rollinger

Berlin Springer 1995

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (1)

Data de Publicação 

De até
Refinar
  1. Antes de1985  (1)
  2. 1985Até1986  (1)
  3. 1987Até1991  (1)
  4. 1992Até1993  (2)
  5. Após 1993  (3)
  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.