Your search returned 8707 results. Subscribe to this search

|
Database Systems for Advanced Applications [electronic resource] : 22nd International Conference, DASFAA 2017, Suzhou, China, March 27-30, 2017, Proceedings, Part I / edited by Selçuk Candan, Lei Chen, Torben Bach Pedersen, Lijun Chang, Wen Hua.

by Candan, Selçuk [editor.] | Chen, Lei [editor.] | Pedersen, Torben Bach [editor.] | Chang, Lijun [editor.] | Hua, Wen [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available

AI 2004: Advances in Artificial Intelligence [electronic resource] : 17th Australian Joint Conference on Artificial Intelligence, Cairns, Australia, December 4-6, 2004, Proceedings / edited by Geoffrey Webb, Xinghuo Yu.

by Webb, Geoffrey [editor.] | Yu, Xinghuo [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available

On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE [electronic resource] : OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings, Part II / edited by Zahir Tari.

by Tari, Zahir [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available

Methods and Tools of Parallel Programming Multicomputers [electronic resource] : Second Russia-Taiwan Symposium, MTPP 2010, Vladivostok, Russia, May 16-19, 2010, Revised Selected Papers / edited by Ching-Hsien Hsu, Victor Malyshkin.

by Hsu, Ching-Hsien [editor.] | Malyshkin, Victor [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available

Digital Human Modeling [electronic resource] : First International Conference, ICDHM 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings / edited by Vincent D. Duffy.

by Duffy, Vincent D [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available

Combinatorics on Words [electronic resource] : 9th International Conference, WORDS 2013, Turku, Finland, September 16-20, 2013, Proceedings / edited by Juhani Karhumäki, Arto Lepistö, Luca Zamboni.

by Karhumäki, Juhani [editor.] | Lepistö, Arto [editor.] | Zamboni, Luca [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available

Advances in Artificial Intelligence - IBERAMIA 2010 [electronic resource] : 12th Ibero-American Conference on AI, Bahía Blanca, Argentina, November 1-5, 2010, Proceedings / edited by Angel Kuri-Morales, Guillermo R. Simari.

by Kuri-Morales, Angel [editor.] | Simari, Guillermo R [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available

Business Process Management [electronic resource] : 10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012, Proceedings / edited by Alistair Barros, Avigdor Gal, Ekkart Kindler.

by Barros, Alistair [editor.] | Gal, Avigdor [editor.] | Kindler, Ekkart [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available

Model Checking Software [electronic resource] : 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings / edited by Dragan Bosnacki, Stefan Edelkamp.

by Bosnacki, Dragan [editor.] | Edelkamp, Stefan [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available

Programming Multi-Agent Systems [electronic resource] : 7th International Workshop, ProMAS 2009, Budapest, Hungary, May10-15, 2009.Revised Selected Papers / edited by Lars Braubach, Jean-Pierre Briot, John Thangarajah.

by Braubach, Lars [editor.] | Briot, Jean-Pierre [editor.] | Thangarajah, John [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available

Architecting Critical Systems [electronic resource] : First International Symposium, Prague, Czech Republic, June 23-25, 2010 / edited by Holger Giese.

by Giese, Holger [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available

Model Checking Software [electronic resource] : 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings / edited by Bernd Fischer, Jaco Geldenhuys.

by Fischer, Bernd [editor.] | Geldenhuys, Jaco [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Frontiers of High Performance Computing and Networking - ISPA 2007 Workshops [electronic resource] : ISPA 2007 International Workshops, SSDSN, UPWN, WISH, SGC, ParDMCom, HiPCoMB, and IST-AWSN, Niagara Falls, Canada, August, 28-September 1, 2007, Proceedings / edited by Parimala Thulasiraman, Xubin He, Tony Li Xu, Mieso Denko, Ruppa K. Thulasiram, Laurence T. Yang.

by Thulasiraman, Parimala [editor.] | He, Xubin [editor.] | Xu, Tony Li [editor.] | Denko, Mieso [editor.] | Thulasiram, Ruppa K [editor.] | Yang, Laurence T [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available

Emerging Technologies for Education [electronic resource] : First International Symposium, SETE 2016, Held in Conjunction with ICWL 2016, Rome, Italy, October 26-29, 2016, Revised Selected Papers / edited by Ting-Ting Wu, Rosella Gennari, Yueh-Min Huang, Haoran Xie, Yiwei Cao.

by Wu, Ting-Ting [editor.] | Gennari, Rosella [editor.] | Huang, Yueh-Min [editor.] | Xie, Haoran [editor.] | Cao, Yiwei [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available

Automated Technology for Verification and Analysis [electronic resource] : 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings / edited by Ahmed Bouajjani, Wei-Ngan Chin.

by Bouajjani, Ahmed [editor.] | Chin, Wei-Ngan [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available

Advances in Data Mining [electronic resource] : Applications in Medicine, Web Mining, Marketing, Image and Signal Mining, 6th Industrial Conference on Data Mining, ICDM 2006, Leipzig, Germany, July 14-15, 2006, Proceedings / edited by Petra Perner.

by Perner, Petra [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available

Formal Concept Analysis [electronic resource] : 4th International Conference, ICFCA 2006, Dresden, Germany, Feburary 13-17, 2006, Proceedings / edited by Rokia Missaoui, Jürg Schmid.

by Missaoui, Rokia [editor.] | Schmid, Jürg [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available

Detection of Intrusions and Malware, and Vulnerability Assessment [electronic resource] : 14th International Conference, DIMVA 2017, Bonn, Germany, July 6-7, 2017, Proceedings / edited by Michalis Polychronakis, Michael Meier.

by Polychronakis, Michalis [editor.] | Meier, Michael [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available

Big Data Analytics and Knowledge Discovery [electronic resource] : 19th International Conference, DaWaK 2017, Lyon, France, August 28-31, 2017, Proceedings / edited by Ladjel Bellatreche, Sharma Chakravarthy.

by Bellatreche, Ladjel [editor.] | Chakravarthy, Sharma [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available

Image and Graphics [electronic resource] : 8th International Conference, ICIG 2015, Tianjin, China, August 13-16, 2015, Proceedings, Part II / edited by Yu-Jin Zhang.

by Zhang, Yu-Jin [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available