馆藏书目查询系统 - 上海图书馆

1

Cover is for reference only

PRIMA 2017: Principles and Practice of Multi-Agent Systems : 20th International Conference, Nice, France, October 30 November 3, 2017, Proceedings /

Corporate Authors: SpringerLink Online service
Group Author: An, Bo; Bazzan, Ana; Leite, Jo o; Villata, Serena; van der Torre, Leendert
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.

eBook

2

Cover is for reference only

Agents and Artificial Intelligence : 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papers /

Corporate Authors: SpringerLink Online service
Group Author: van den Herik, Jaap; Filipe, Joaquim
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.

eBook

3

Cover is for reference only

Numerical Software Verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers /

Corporate Authors: SpringerLink Online service
Group Author: Bogomolov, Sergiy; Martel, Matthieu; Prabhakar, Pavithra
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.

eBook

4

Cover is for reference only

Conceptual Modeling : 36th International Conference, ER 2017, Valencia, Spain, November 6 9, 2017, Proceedings /

Corporate Authors: SpringerLink Online service
Group Author: Mayr, Heinrich C; Guizzardi, Giancarlo; Ma, Hui; Pastor, Oscar
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.

eBook

5

Cover is for reference only

Artificial General Intelligence : 10th International Conference, AGI 2017, Melbourne, VIC, Australia, August 15-18, 2017, Proceedings /

Corporate Authors: SpringerLink Online service
Group Author: Everitt, Tom; Goertzel, Ben; Potapov, Alexey
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.

eBook

6

Cover is for reference only

Multi-Agent Systems and Agreement Technologies : 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Selected Papers /

Corporate Authors: SpringerLink Online service
Group Author: Criado Pacheco, Natalia; Carrascosa, Carlos; Osman, Nardine; Inglada, Vicente Julian
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.

eBook

7

Cover is for reference only

Knowledge Engineering and Semantic Web : 8th International Conference, KESW 2017, Szczecin, Poland, November 8-10, 2017, Proceedings /

Corporate Authors: SpringerLink Online service
Group Author: R ewski, Przemys aw; Lange, Christoph
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.

eBook

8

Cover is for reference only

Theory and Applications of Models of Computation : 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings /

Corporate Authors: SpringerLink Online service
Group Author: Gopal, T,V; J ger, Gerhard; Steila, Silvia
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.

eBook

9

Cover is for reference only

Logic, Language, Information, and Computation : 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings /

Corporate Authors: SpringerLink Online service
Group Author: Kennedy, Juliette; Queiroz, Ruy J. G. B. de
Published: Springer Berlin Heidelberg : Imprint: Springer,
Publication Dates: 2017.

eBook

10

Cover is for reference only

Hardware and Software: Verification and Testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings /

Corporate Authors: SpringerLink Online service
Group Author: Strichman, Ofer; Tzoref-Brill, Rachel
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.

eBook

11

Cover is for reference only

Theoretical Aspects of Computing ICTAC 2017 : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings /

Corporate Authors: SpringerLink Online service
Group Author: Hung, Dang Van; Kapur, Deepak
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.

eBook

12

Cover is for reference only

Trends in Artificial Intelligence: PRICAI 2016 Workshops : PeHealth 2016, I3A 2016, AIED 2016, AI4T 2016, IWEC 2016, and RSAI 2016, Phuket, Thailand, August 22-23, 2016, Revised Selected Papers /

Corporate Authors: SpringerLink Online service
Group Author: Numao, Masayuki
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.

eBook

13

Cover is for reference only

Unveiling Dynamics and Complexity : 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings /

Corporate Authors: SpringerLink Online service
Group Author: Kari, Jarkko; Manea, Florin; Petre, Ion
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.

eBook

14

Cover is for reference only

AI*IA 2017 Advances in Artificial Intelligence : XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings /

Corporate Authors: SpringerLink Online service
Group Author: Esposito, Floriana; Basili, Roberto; Ferilli, Stefano; Lisi, Francesca A
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.

eBook

15

Cover is for reference only

Inductive Logic Programming : 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers /

Corporate Authors: SpringerLink Online service
Group Author: Cussens, James; Russo, Alessandra
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.

eBook

16

Cover is for reference only

Language, Data, and Knowledge : First International Conference, LDK 2017, Galway, Ireland, June 19-20, 2017, Proceedings /

Corporate Authors: SpringerLink Online service
Group Author: Gracia, Jorge
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.

eBook

17

Cover is for reference only

Interoperability and Open-Source Solutions for the Internet of Things : Second International Workshop, InterOSS-IoT 2016, Held in Conjunction with IoT 2016, Stuttgart, Germany, November 7, 2016, Invited Papers /

Corporate Authors: SpringerLink Online service
Group Author: Podnar Žarko, Ivana; Broering, Arne; Soursos, Sergios; Serrano, Martin
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.

eBook

18

Cover is for reference only

Automated Reasoning with Analytic Tableaux and Related Methods : 26th International Conference, TABLEAUX 2017, Bras lia, Brazil, September 25 28, 2017, Proceedings /

Corporate Authors: SpringerLink Online service
Group Author: Schmidt, Renate A; Nalon, Cl udia
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.

eBook

19

Cover is for reference only

Automated Deduction CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6 11, 2017, Proceedings /

Corporate Authors: SpringerLink Online service
Group Author: de Moura, Leonardo
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.

eBook

20

Cover is for reference only

Reasoning Web. Semantic Interoperability on the Web : 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures /

Corporate Authors: SpringerLink Online service
Group Author: Ianni, Giovambattista
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.

eBook

Narrow Search