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
Coordination models and languages 5th international conference, COORDINATION 2002, York, UK, April 8-11, 2002 : proceedings
Coordination models and languages 5th international conference, COORDINATION 2002, York, UK, April 8-11, 2002 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Coordination models and languages 5th international conference, COORDINATION 2002, York, UK, April 8-11, 2002 : proceedings

Coordination 2002 (2002 York, England) F Arbab (Farhad); Carolyn L Talcott

Berlin Springer New York c2002

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

2
International Symposium on Fundamentals of Software Engineering international symposium, FSEN 2007, Tehran, Iran April 17-19, 2007 : proceedings
International Symposium on Fundamentals of Software Engineering international symposium, FSEN 2007, Tehran, Iran April 17-19, 2007 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

International Symposium on Fundamentals of Software Engineering international symposium, FSEN 2007, Tehran, Iran April 17-19, 2007 : proceedings

International Symposium on Fundamentals of Software Engineering (2nd 2007 Tehran, Iran) F Arbab (Farhad); Marjan Sirjani

Berlin Springer New York c2007

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

3
Coordination Models and Languages
Coordination Models and Languages
Material Type:
Livro 		Adicionar ao Meu Espaço

Coordination Models and Languages

COORDINATION 2002 Farhad Arbab; Carolyn L Talcott; Carolyn Talcott

Springer Berlin Heidelberg 2002

Acesso online

4
Intelligent CAD, III selected and reviewed papers and reports from the IFIP TC/WG5.2 Third International Workshop on Computer Aided Design, Osaka, Japan, 26-29 September 1989
Intelligent CAD, III selected and reviewed papers and reports from the IFIP TC/WG5.2 Third International Workshop on Computer Aided Design, Osaka, Japan, 26-29 September 1989
Material Type:
Livro 		Adicionar ao Meu Espaço

Intelligent CAD, III selected and reviewed papers and reports from the IFIP TC/WG5.2 Third International Workshop on Computer Aided Design, Osaka, Japan, 26-29 September 1989

IFIP TC5/WG5.2 International Workshop on Computer Aided Design (3rd 1989 Osaka, Japan) H Yoshikawa 1933- (Hiroyuki); F Arbab (Farhad); T Tomiyama 1957- (Tetsuo)

Amsterdam New York North-Holland New York, N.Y., U.S.A. Distributors for the U.S. and Canada, Elsevier Science Pub. Co. 1991

Item não circula. Consulte sua biblioteca.(Acessar)

5
Fundamentals of Software Engineering
Fundamentals of Software Engineering
Material Type:
Livro 		Adicionar ao Meu Espaço

Fundamentals of Software Engineering

Farhad Sirjani, Marjan Arbab Marjan Sirjani

Springer Berlin Heidelberg 2013

Acesso online

6
Reo: a channel-based coordination model for component composition
Reo: a channel-based coordination model for component composition
Material Type:
Artigo 		Adicionar ao Meu Espaço

Reo: a channel-based coordination model for component composition

ARBAB, FARHAD

Mathematical structures in computer science, 2004-06, Vol.14 (3), p.329-366 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

Citações Citado por
7
A Compositional Framework for Preference-Aware Agents
A Compositional Framework for Preference-Aware Agents
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Compositional Framework for Preference-Aware Agents

Kappé, Tobias ; Arbab, Farhad ; Talcott, Carolyn

Electronic proceedings in theoretical computer science, 2016-12, Vol.232 (Proc. V2CPS-16), p.21-35

Open Publishing Association

Texto completo disponível

Citações Citado por
8
Data optimizations for constraint automata
Data optimizations for constraint automata
Material Type:
Artigo 		Adicionar ao Meu Espaço

Data optimizations for constraint automata

Jongmans, Sung-Shik T. Q. ; Arbab, Farhad

Logical methods in computer science, 2016-01, Vol.12, Issue 3 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
9
Toward Sequentializing Overparallelized Protocol Code
Toward Sequentializing Overparallelized Protocol Code
Material Type:
Artigo 		Adicionar ao Meu Espaço

Toward Sequentializing Overparallelized Protocol Code

Jongmans, Sung-Shik T.Q. ; Arbab, Farhad

Electronic proceedings in theoretical computer science, 2014-10, Vol.166 (Proc. ICE 2014), p.38-44

Open Publishing Association

Texto completo disponível

Citações Citado por
10
Modularizing and Specifying Protocols among Threads
Modularizing and Specifying Protocols among Threads
Material Type:
Artigo 		Adicionar ao Meu Espaço

Modularizing and Specifying Protocols among Threads

Jongmans, Sung-Shik T.Q. ; Arbab, Farhad

Electronic proceedings in theoretical computer science, 2013-02, Vol.109 (Proc. PLACES 2012), p.34-45

Open Publishing Association

Texto completo disponível

Citações Citado por
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  (176)
  2. Book Chapters  (123)
  3. Anais de Congresso  (66)
  4. Livros  (20)
  5. Newsletter Articles  (2)
  6. Dissertações  (2)
  7. Reports  (1)
  8. magazinearticle  (1)
  9. Web Resources  (1)
  10. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1992  (18)
  2. 1992Até2002  (73)
  3. 2003Até2009  (86)
  4. 2010Até2017  (167)
  5. Após 2017  (48)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (390)
  2. Japonês  (7)
  3. Português  (2)
  4. Alemão  (1)
  5. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.