skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Applications of Process Algebra
Applications of Process Algebra
Material Type:
Livro 		Adicionar ao Meu Espaço

Applications of Process Algebra

J. C. M. Baeten

Cambridge Cambridge University Press 1990

Acesso online

2
CONCUR'90 theories of concurrency unification and extension
CONCUR'90 theories of concurrency unification and extension
Material Type:
Livro 		Adicionar ao Meu Espaço

CONCUR'90 theories of concurrency unification and extension

CONCUR'90 1990 Amsterdam J. C. M Baeten; J. W Klop

Goos, G., ed; Hartmanis, J., ed; Leeuwen, J. van, ed Lecture notes in Computer Science Berlin, Springer-Verlag, c1985-

Berlin Springer-Verlag 1990

Localização: IFSC - Inst. Física de São Carlos    (P621.38195 L471 v.458 )(Acessar)

3
Theories of concurrency unification and extension
Theories of concurrency unification and extension
Material Type:
Livro 		Adicionar ao Meu Espaço

Theories of concurrency unification and extension

International Conference on Concurrency Theory 1,Amsterdam, 1990 J C M Baeten

Berlin Springer 1990

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

4
CONCUR '90 Theories of Concurrency: Unification and Extension
CONCUR '90 Theories of Concurrency: Unification and Extension
Material Type:
Livro 		Adicionar ao Meu Espaço

CONCUR '90 Theories of Concurrency: Unification and Extension

Baeten J. C. M Baeten; J. W Klop; Centrum voor Wiskunde en Informatica (Amsterdam, Netherlands)

Springer Berlin Heidelberg 1990

Acesso online

5
Automata, languages and programming 30th international colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30-July 4, 2003 : proceedings / Jos C.M. Baeten ... [et al.] (Eds.)
Automata, languages and programming 30th international colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30-July 4, 2003 : proceedings / Jos C.M. Baeten ... [et al.] (Eds.)
Material Type:
Livro 		Adicionar ao Meu Espaço

Automata, languages and programming 30th international colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30-July 4, 2003 : proceedings / Jos C.M. Baeten ... [et al.] (Eds.)

International Colloquium on Automata, Languages, and Programming (30th 2003 Eindhoven, Netherlands) J. C. M Baeten

Berlin Springer New York c2003

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

6
Process Algebra
Process Algebra
Material Type:
Livro 		Adicionar ao Meu Espaço

Process Algebra

J. C. M. Weijland, W. P. Baeten, J. C. M. Abramsky, S. Aczel, P. H. Baeten J. C. M Baeten; W. P Weijland; S Abramsky; P. H Aczel

Cambridge Cambridge University Press 1990

Acesso online

7
CONCUR'99 concurrency theory
CONCUR'99 concurrency theory
Material Type:
Livro 		Adicionar ao Meu Espaço

CONCUR'99 concurrency theory

International Conference on Concurrency Theory, CONCUR'99, 10 1999 Eindhoven Jos C. M Baeten; Sjouke Mauw

Goos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-

Berlin Springer-Verlag c1999

Localização: IFSC - Inst. Física de São Carlos    (P621.38195 L471 v.1664 )(Acessar)

8
CONCUR '99 concurrency theory : 10th International Conference, Eindhoven, the Netherlands, August 24-27, 1999 : proceedings
CONCUR '99 concurrency theory : 10th International Conference, Eindhoven, the Netherlands, August 24-27, 1999 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

CONCUR '99 concurrency theory : 10th International Conference, Eindhoven, the Netherlands, August 24-27, 1999 : proceedings

International Conference on Concurrency Theory (10th 1999 Eindhoven, Netherlands) J. C. M Baeten; Sjouke Mauw

Berlin Springer New York c1999

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

9
CONCUR’99 Concurrency Theory
CONCUR’99 Concurrency Theory
Material Type:
Livro 		Adicionar ao Meu Espaço

CONCUR’99 Concurrency Theory

International Conference on Concurrency Theory J. C. M Baeten; S Mauw; Juris Hartmanis; Sjouke Mauw; Jan van Leeuwen

Springer Berlin Heidelberg 1999

Acesso online

10
Process algebra: equational theories of communicating processes
Process algebra: equational theories of communicating processes
Material Type:
Livro 		Adicionar ao Meu Espaço

Process algebra: equational theories of communicating processes

J. C. M. Baeten T Basten; Thomas Geertruida Henricus Basten; Michel Adriaan Reniers M. A. Reniers; M. A Reniers T. Basten

Cambridge University Press 2010

Acesso online

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (1.085)
  2. Anais de Congresso  (174)
  3. Book Chapters  (165)
  4. Livros  (44)
  5. Reports  (22)
  6. Recursos Textuais  (13)
  7. Web Resources  (8)
  8. Conjunto de Dados  (2)
  9. Imagens  (2)
  10. Videos  (1)
  11. magazinearticle  (1)
  12. Resenhas  (1)
  13. Verbetes  (1)
  14. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1983  (22)
  2. 1983Até1992  (106)
  3. 1993Até2002  (169)
  4. 2003Até2013  (674)
  5. Após 2013  (526)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (1.430)
  2. Japonês  (87)
  3. Francês  (76)
  4. Holandês  (9)
  5. Alemão  (5)
  6. Norueguês  (2)
  7. Russo  (1)
  8. Catalão  (1)
  9. Português  (1)
  10. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.