Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
B 2007 formal specification and development in B : 7th International Conference of B Users, Besan con, France, January 17-19, 2007 : proceedingsInternational B Conference (7th 2007 Besan con, France) Jacques Julliand; Olga KouchnarenkoOhioLINK electronic book center (OCoLC)180989150 ; SpringerLink (OCoLC)43927870Berlin Springer New York c2006Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Livro
|
Discovery science 9th international conference, DS 2006, Barcelona, Spain, October 7-10 2006 ; proceedingsInternational 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)43927870Berlin Springer New York c2006Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Livro
|
Declarative agent languages and technologies IV 4th international workshop, DALT 2006, Hakodate, Japan, May 8, 2006 selected, revised and invited papersInternational Workshop on Declarative Agent Languages and Technologies (4th 2006 Hakodate-shi, Japan) Matteo Baldoni 1968; Ulle EndrissOhioLINK electronic book center (OCoLC)180989150 ; SpringerLink (OCoLC)43927870Berlin Springer 2006Acesso online. A biblioteca também possui exemplares impressos. |
|
4 |
Material Type: Livro
|
Database and XML technologies 4th International XML Database Symposium, XSym 2006, Seoul, Korea September 10-11, 2006 : proceedingsInternational XML Database Symposium (4th 2006 Seoul, Korea) Zohra Bellahsene 1954-; Ela Hunt; Rainer Unland; Jeffrey Xu Yu; Sihem Amer-YahiaOhioLINK electronic book center (OCoLC)180989150 ; SpringerLink (OCoLC)43927870Berlin Springer New York c2006Acesso online. A biblioteca também possui exemplares impressos. |
|
5 |
Material Type: Livro
|
Database theory ICDT 2007 : 11th international conference, Barcelona, Spain, January 10-12, 2007 : proceedingsInternational Conference on Database Theory (11th 2007 Barcelona, Spain) Thomas Schwentick; Dan SuciuOhioLINK electronic book center (OCoLC)180989150 ; SpringerLink (OCoLC)43927870Berlin Springer New York c2006Acesso online. A biblioteca também possui exemplares impressos. |
|
6 |
Material Type: Livro
|
Cryptology and network security 5th international conference, CANS 2006 Suzhou, China, December 2006 proceedingsInternational Conference on Cryptology and Network Security (5th 2006 Suzhou, Jiangsu Sheng, China) David Pointcheval; Yi Mu 1955; Kefei Chen 1959OhioLINK electronic book center (OCoLC)180989150 ; SpringerLink (OCoLC)43927870Berlin Springer New York London c2006Acesso online. A biblioteca também possui exemplares impressos. |
|
7 |
Material Type: Livro
|
Business process management workshops BPM 2006 International Workshops, BPD, BPI, ENEI, GPWW, DPM semantics4ws, Vienna, Austria, September 4-7, 2006 ; proceedingsBPM 2006 (2006 Vienna, Austria) J Eder (Johann) 1958; Schahram DustdarOhioLINK electronic book center (OCoLC)180989150 ; SpringerLink (OCoLC)43927870Berlin Springer 2006Acesso online. A biblioteca também possui exemplares impressos. |
|
8 |
Material Type: Livro
|
Conceptual modeling ER 2006 : 25th International Conference on Conceptual Modeling, Tucson AZ, USA, November 6-9, 2006 : proceedingsInternational Conference on Conceptual Modeling (25th 2006 Tucson, Ariz.) David W Embley; A Oliv e 1946-; Sudha Ram 1959OhioLINK electronic book center (OCoLC)180989150 ; SpringerLink (OCoLC)43927870Berlin Springer New York c2006Acesso online. A biblioteca também possui exemplares impressos. |