Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Electronic Voting: First International Joint Conference, E-Vote-ID 2016, Bregenz, Austria, October 18-21, 2016, ProceedingsKrimmer, Robert ; Volkamer, Melanie ; Barrat, Jordi ; Benaloh, Josh ; Goodman, Nicole ; Ryan, Peter Y. A ; Teague, Vanessa Volkamer, Melanie ; Barrat, Jordi ; Krimmer, Robert ; Benaloh, Josh ; Krimmer, Robert ; Goodman, Nicole ; Ryan, Peter Y. A. ; Benaloh, Josh ; Teague, Vanessa ; Volkamer, Melanie ; Barrat, Jordi ; Krimmer, Robert ; Ryan, Peter Y.A ; Teague, Vanessa ; Barrat, Jordi ; Benaloh, Josh ; Goodman, Nicole ; Volkamer, MelanieCham: Springer Nature 2017Sem texto completo |
|
2 |
Material Type: Livro
|
AIIA 2001: Advances in Artificial Intelligence: 7th Congress of the Italian Association for Artificial Intelligence Bari, Italy, September 25–28, 2001 ProceedingsEsposito, Floriana Esposito, FlorianaBerlin, Heidelberg: Springer Berlin Heidelberg 2001Texto completo disponível |
|
3 |
Material Type: Livro
|
Advances in Artificial Intelligence. PRICAI 2000 Workshop Reader: FourWorkshops held at PRICAI 2000 Melbourne,Australia,August 28 - September 1, 2000 Revised PapersKowalczyk, Ryszard ; Loke, Seng Wai ; Reed, Nancy E ; Williams, Graham J Williams, Graham J. ; Loke, Seng Wai ; Kowalczyk, Ryszard ; Reed, Nancy E.Berlin, Heidelberg: Springer Berlin Heidelberg 2001Texto completo disponível |
|
4 |
Material Type: Livro
|
PRICAI 2002: Trends in Artificial Intelligence: 7th Pacific Rim International Conference on Artificial Intelligence Tokyo, Japan, August 18–22, 2002 ProceedingsIshizuka, Mitsuru ; Sattar, Abdul Sattar, Abdul ; Ishizuka, MitsuruBerlin, Heidelberg: Springer Berlin Heidelberg 2002Texto completo disponível |
|
5 |
Material Type: Livro
|
KI 2003: Advances in Artificial Intelligence: 26th Annual German Conference on AI, KI 2003, Hamburg, Germany, September 15-18, 2003. ProceedingsGünter, Andreas ; Kruse, Rudolf ; Neumann, Bernd Günter, Andreas ; Kruse, Rudolf ; Neumann, BerndBerlin, Heidelberg: Springer Berlin Heidelberg 2003Texto completo disponível |
|
6 |
Material Type: Livro
|
Recent Advances in AI Planning: 4th European Conference on Planning, ECP'97 Toulouse, France, September 24–26, 1997 ProceedingsSteel, Sam ; Alami, Rachid Steel, Sam ; Alami, RachidBerlin, Heidelberg: Springer Berlin Heidelberg 1997Texto completo disponível |
|
7 |
Material Type: Livro
|
Computer Algebra: EUROCAM '82, European Computer Algebra Conference Marseille, France 5–7 April 1982Calmet, Jacques Calmet, JacquesBerlin, Heidelberg: Springer Berlin Heidelberg 1982Texto completo disponível |
|
8 |
Material Type: Livro
|
Requirements Targeting Software and Systems Engineering: International Workshop RTSE '97, Bernried, Germany, October 12-14 1997Broy, Manfred ; Rumpe, Bernhard Rumpe, Bernhard ; Broy, ManfredBerlin, Heidelberg: Springer Berlin / Heidelberg 1998Texto completo disponível |
|
9 |
Material Type: Livro
|
Middleware 2010: ACM/IFIP/USENIX 11th International Middleware Conference, Bangalore, India, November 29 - December 3, 2010. ProceedingsGupta, Indranil ; Mascolo, Cecilia Mascolo, Cecilia ; Gupta, Indranil ; Mascolo, Cecilia ; Gupta, IndranilBerlin, Heidelberg: Springer Nature 2010Sem texto completo |
|
10 |
Material Type: Livro
|
Hybrid Systems: Computation and Control: Second International Workshop, HSCC’99 Berg en Dal, The Netherlands, March 29–31, 1999 ProceedingsVaandrager, Frits W ; Schuppen, Jan H. van Vaandrager, Frits W. ; van Schuppen, Jan H.Berlin, Heidelberg: Springer Berlin Heidelberg 1999Texto completo disponível |