skip to main content
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Refinado por: Biblioteca: IME - Inst. Matemática e Estatística remover Nome da Publicação: SpringerLink remover nível superior: Disponível na Biblioteca remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
B 2007 formal specification and development in B : 7th International Conference of B Users, Besan con, France, January 17-19, 2007 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

B 2007 formal specification and development in B : 7th International Conference of B Users, Besan con, France, January 17-19, 2007 : proceedings

International B Conference (7th 2007 Besan con, France) Jacques Julliand; Olga Kouchnarenko

OhioLINK electronic book center (OCoLC)180989150 ; SpringerLink (OCoLC)43927870

Berlin Springer New York c2006

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

2
Business process management workshops BPM 2006 International Workshops, BPD, BPI, ENEI, GPWW, DPM semantics4ws, Vienna, Austria, September 4-7, 2006 ; proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Business process management workshops BPM 2006 International Workshops, BPD, BPI, ENEI, GPWW, DPM semantics4ws, Vienna, Austria, September 4-7, 2006 ; proceedings

BPM 2006 (2006 Vienna, Austria) J Eder (Johann) 1958; Schahram Dustdar

OhioLINK electronic book center (OCoLC)180989150 ; SpringerLink (OCoLC)43927870

Berlin Springer 2006

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

3
Conceptual modeling ER 2006 : 25th International Conference on Conceptual Modeling, Tucson AZ, USA, November 6-9, 2006 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Conceptual modeling ER 2006 : 25th International Conference on Conceptual Modeling, Tucson AZ, USA, November 6-9, 2006 : proceedings

International Conference on Conceptual Modeling (25th 2006 Tucson, Ariz.) David W Embley; A Oliv e 1946-; Sudha Ram 1959

OhioLINK electronic book center (OCoLC)180989150 ; SpringerLink (OCoLC)43927870

Berlin Springer New York c2006

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

4
Cryptology and network security 5th international conference, CANS 2006 Suzhou, China, December 2006 proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Cryptology and network security 5th international conference, CANS 2006 Suzhou, China, December 2006 proceedings

International Conference on Cryptology and Network Security (5th 2006 Suzhou, Jiangsu Sheng, China) David Pointcheval; Yi Mu 1955; Kefei Chen 1959

OhioLINK electronic book center (OCoLC)180989150 ; SpringerLink (OCoLC)43927870

Berlin Springer New York London c2006

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

5
Database and XML technologies 4th International XML Database Symposium, XSym 2006, Seoul, Korea September 10-11, 2006 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Database and XML technologies 4th International XML Database Symposium, XSym 2006, Seoul, Korea September 10-11, 2006 : proceedings

International XML Database Symposium (4th 2006 Seoul, Korea) Zohra Bellahsene 1954-; Ela Hunt; Rainer Unland; Jeffrey Xu Yu; Sihem Amer-Yahia

OhioLINK electronic book center (OCoLC)180989150 ; SpringerLink (OCoLC)43927870

Berlin Springer New York c2006

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

6
Database theory ICDT 2007 : 11th international conference, Barcelona, Spain, January 10-12, 2007 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Database theory ICDT 2007 : 11th international conference, Barcelona, Spain, January 10-12, 2007 : proceedings

International Conference on Database Theory (11th 2007 Barcelona, Spain) Thomas Schwentick; Dan Suciu

OhioLINK electronic book center (OCoLC)180989150 ; SpringerLink (OCoLC)43927870

Berlin Springer New York c2006

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

7
Declarative agent languages and technologies IV 4th international workshop, DALT 2006, Hakodate, Japan, May 8, 2006 selected, revised and invited papers
Material Type:
Livro
Adicionar ao Meu Espaço

Declarative agent languages and technologies IV 4th international workshop, DALT 2006, Hakodate, Japan, May 8, 2006 selected, revised and invited papers

International Workshop on Declarative Agent Languages and Technologies (4th 2006 Hakodate-shi, Japan) Matteo Baldoni 1968; Ulle Endriss

OhioLINK electronic book center (OCoLC)180989150 ; SpringerLink (OCoLC)43927870

Berlin Springer 2006

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

8
Discovery science 9th international conference, DS 2006, Barcelona, Spain, October 7-10 2006 ; proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Discovery science 9th international conference, DS 2006, Barcelona, Spain, October 7-10 2006 ; proceedings

International Conference on Discovery Science (9th 2006 Barcelona, Spain) Ljup co Todorovski 1969; Nada Lavra c; K. P Jantke (Klaus P.)

OhioLINK electronic book center (OCoLC)180989150 ; SpringerLink (OCoLC)43927870

Berlin Springer New York c2006

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Buscando em bases de dados remotas. Favor aguardar.