|
|
|
Theory and Applications of Satisfiability Testing - SAT 2017 [electronic resource] : 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings / edited by Serge Gaspers, Toby Walsh.
by Gaspers, Serge [editor.] | Walsh, Toby [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Knowledge Discovery and Data Mining, Part I [electronic resource] : 16th Pacific-Asia Conference, PAKDD 2012, Kuala Lumpur, Malaysia, May 29-June1, 2012, Proceedings, Part I / edited by Pang-Ning Tan, Sanjay Chawla, Chin Kuan Ho, James Bailey.
by Tan, Pang-Ning [editor.] | Chawla, Sanjay [editor.] | Ho, Chin Kuan [editor.] | Bailey, James [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Engineering Secure Software and Systems [electronic resource] : 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015, Proceedings / edited by Frank Piessens, Juan Caballero, Nataliia Bielova.
by Piessens, Frank [editor.] | Caballero, Juan [editor.] | Bielova, Nataliia [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Genetic Programming [electronic resource] : 13th European Conference, EuroGP 2010, Istanbul, Turkey, April 7-9, 2010, Proceedings / edited by Anna Isabel Esparcia-Alcazar, Aniko Ekart, Sara Silva, Stephen Dignum, A. Sima Uyar.
by Esparcia-Alcazar, Anna Isabel [editor.] | Ekart, Aniko [editor.] | Silva, Sara [editor.] | Dignum, Stephen [editor.] | Uyar, A. Sima [editor.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
|
The Semantic Web: ESWC 2018 Satellite Events [electronic resource] : ESWC 2018 Satellite Events, Heraklion, Crete, Greece, June 3-7, 2018, Revised Selected Papers / edited by Aldo Gangemi, Anna Lisa Gentile, Andrea Giovanni Nuzzolese, Sebastian Rudolph, Maria Maleshkova, Heiko Paulheim, Jeff Z Pan, Mehwish Alam.
by Gangemi, Aldo [editor.] | Gentile, Anna Lisa [editor.] | Nuzzolese, Andrea Giovanni [editor.] | Rudolph, Sebastian [editor.] | Maleshkova, Maria [editor.] | Paulheim, Heiko [editor.] | Pan, Jeff Z [editor.] | Alam, Mehwish [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Intelligent Computer Mathematics [electronic resource] : 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings / edited by Florian Rabe, William M. Farmer, Grant O. Passmore, Abdou Youssef.
by Rabe, Florian [editor.] | Farmer, William M [editor.] | Passmore, Grant O [editor.] | Youssef, Abdou [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Human-Computer Interaction. Interaction in Context [electronic resource] : 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II / edited by Masaaki Kurosu.
by Kurosu, Masaaki [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Component-Based Software Engineering [electronic resource] : 9th International Symposium, CBSE 2006, Västeras, Sweden, June 29 - July 1, 2006, Proceedings / edited by Ian Gorton, George T. Heinemann, Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Clemens Szyperski, Kurt Wallnau.
by Gorton, Ian [editor.] | Heinemann, George T [editor.] | Crnkovic, Ivica [editor.] | Schmidt, Heinz W [editor.] | Stafford, Judith A [editor.] | Szyperski, Clemens [editor.] | Wallnau, Kurt [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
|
Database Systems for Advanced Applications [electronic resource] : 18th International Conference, DASFAA 2013, Wuhan, China, April 22-25, 2013. Proceedings, Part I / edited by Weiyi Meng, Ling Feng, Stéphane Bressan, Werner Winiwarter, Wei Song.
by Meng, Weiyi [editor.] | Feng, Ling [editor.] | Bressan, Stéphane [editor.] | Winiwarter, Werner [editor.] | Song, Wei [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Computational Logistics [electronic resource] : 9th International Conference, ICCL 2018, Vietri sul Mare, Italy, October 1-3, 2018, Proceedings / edited by Raffaele Cerulli, Andrea Raiconi, Stefan Voß.
by Cerulli, Raffaele [editor.] | Raiconi, Andrea [editor.] | Voß, Stefan [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
KI 2018: Advances in Artificial Intelligence [electronic resource] : 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings / edited by Frank Trollmann, Anni-Yasmin Turhan.
by Trollmann, Frank [editor.] | Turhan, Anni-Yasmin [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Machine Learning in Medical Imaging [electronic resource] : 9th International Workshop, MLMI 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Proceedings / edited by Yinghuan Shi, Heung-Il Suk, Mingxia Liu.
by Shi, Yinghuan [editor.] | Suk, Heung-Il [editor.] | Liu, Mingxia [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Medical Image Computing and Computer Assisted Intervention - MICCAI 2018 [electronic resource] : 21st International Conference, Granada, Spain, September 16-20, 2018, Proceedings, Part I / edited by Alejandro F. Frangi, Julia A. Schnabel, Christos Davatzikos, Carlos Alberola-López, Gabor Fichtinger.
by Frangi, Alejandro F [editor.] | Schnabel, Julia A [editor.] | Davatzikos, Christos [editor.] | Alberola-López, Carlos [editor.] | Fichtinger, Gabor [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Developments in Language Theory [electronic resource] : 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings / edited by Mizuho Hoshi, Shinnosuke Seki.
by Hoshi, Mizuho [editor.] | Seki, Shinnosuke [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Inductive Logic Programming [electronic resource] : 28th International Conference, ILP 2018, Ferrara, Italy, September 2-4, 2018, Proceedings / edited by Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese.
by Riguzzi, Fabrizio [editor.] | Bellodi, Elena [editor.] | Zese, Riccardo [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Natural Language Processing and Chinese Computing [electronic resource] : 7th CCF International Conference, NLPCC 2018, Hohhot, China, August 26-30, 2018, Proceedings, Part II / edited by Min Zhang, Vincent Ng, Dongyan Zhao, Sujian Li, Hongying Zan.
by Zhang, Min [editor.] | Ng, Vincent [editor.] | Zhao, Dongyan [editor.] | Li, Sujian [editor.] | Zan, Hongying [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Machine Learning and Knowledge Discovery in Databases [electronic resource] : European Conference, ECML PKDD 2018, Dublin, Ireland, September 10-14, 2018, Proceedings, Part I / edited by Michele Berlingerio, Francesco Bonchi, Thomas Gärtner, Neil Hurley, Georgiana Ifrim.
by Berlingerio, Michele [editor.] | Bonchi, Francesco [editor.] | Gärtner, Thomas [editor.] | Hurley, Neil [editor.] | Ifrim, Georgiana [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Software Technologies: Applications and Foundations [electronic resource] : STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers / edited by Manuel Mazzara, Iulian Ober, Gwen Salaün.
by Mazzara, Manuel [editor.] | Ober, Iulian [editor.] | Salaün, Gwen [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Knowledge Engineering and Knowledge Management [electronic resource] : 21st International Conference, EKAW 2018, Nancy, France, November 12-16, 2018, Proceedings / edited by Catherine Faron Zucker, Chiara Ghidini, Amedeo Napoli, Yannick Toussaint.
by Faron Zucker, Catherine [editor.] | Ghidini, Chiara [editor.] | Napoli, Amedeo [editor.] | Toussaint, Yannick [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
PRIMA 2018: Principles and Practice of Multi-Agent Systems [electronic resource] : 21st International Conference, Tokyo, Japan, October 29-November 2, 2018, Proceedings / edited by Tim Miller, Nir Oren, Yuko Sakurai, Itsuki Noda, Bastin Tony Roy Savarimuthu, Tran Cao Son.
by Miller, Tim [editor.] | Oren, Nir [editor.] | Sakurai, Yuko [editor.] | Noda, Itsuki [editor.] | Savarimuthu, Bastin Tony Roy [editor.] | Cao Son, Tran [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
