|
|
|
Theoretical Aspects of Computing - ICTAC 2017 [electronic resource] : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings / edited by Dang Van Hung, Deepak Kapur.
by Hung, Dang Van [editor.] | Kapur, Deepak [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
|
|
|
|
Multi-Agent Based Simulation XVII [electronic resource] : International Workshop, MABS 2016, Singapore, Singapore, May 10, 2016, Revised Selected Papers / edited by Luis Gustavo Nardin, Luis Antunes.
by Nardin, Luis Gustavo [editor.] | Antunes, Luis [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
|
|
|
|
Similarity Search and Applications [electronic resource] : 10th International Conference, SISAP 2017, Munich, Germany, October 4-6, 2017, Proceedings / edited by Christian Beecks, Felix Borutta, Peer Kröger, Thomas Seidl.
by Beecks, Christian [editor.] | Borutta, Felix [editor.] | Kröger, Peer [editor.] | Seidl, Thomas [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
|
|
|
|
Network and Parallel Computing [electronic resource] : 14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017, Proceedings / edited by Xuanhua Shi, Hong An, Chao Wang, Mahmut Kandemir, Hai Jin.
by Shi, Xuanhua [editor.] | An, Hong [editor.] | Wang, Chao [editor.] | Kandemir, Mahmut [editor.] | Jin, Hai [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
|
|
|
|
Automated Technology for Verification and Analysis [electronic resource] : 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings / edited by Deepak D'Souza, K. Narayan Kumar.
by D'Souza, Deepak [editor.] | Narayan Kumar, K [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
|
|
|
|
SDL 2017: Model-Driven Engineering for Future Internet [electronic resource] : 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings / edited by Tibor Csöndes, Gábor Kovács, György Réthy.
by Csöndes, Tibor [editor.] | Kovács, Gábor [editor.] | Réthy, György [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
|
|
|
|
Conceptual Modeling [electronic resource] : 36th International Conference, ER 2017, Valencia, Spain, November 6-9, 2017, Proceedings / edited by Heinrich C. Mayr, Giancarlo Guizzardi, Hui Ma, Oscar Pastor.
by Mayr, Heinrich C [editor.] | Guizzardi, Giancarlo [editor.] | Ma, Hui [editor.] | Pastor, Oscar [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
|
|
|
|
Model Checking and Artificial Intelligence [electronic resource] : 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers / edited by Ron van der Meyden, Jan-Georg Smaus.
by van der Meyden, Ron [editor.] | Smaus, Jan-Georg [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
Organized Adaption in Multi-Agent Systems [electronic resource] : First International Workshop, OAMAS 2008, Estoril, Portugal, May 13, 2008. Revised and Invited Papers / edited by George Vouros, Alexander Artikis, Kostas Stathis, Jeremy Pitt.
by Vouros, George [editor.] | Artikis, Alexander [editor.] | Stathis, Kostas [editor.] | Pitt, Jeremy [editor.] | SpringerLink (Online service). Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available
|
|
|
|
Selected Areas in Cryptography - SAC 2017 [electronic resource] : 24th International Conference, Ottawa, ON, Canada, August 16-18, 2017, Revised Selected Papers / edited by Carlisle Adams, Jan Camenisch.
by Adams, Carlisle [editor.] | Camenisch, Jan [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
|
|
|
|
Membrane Computing [electronic resource] : 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers / edited by Marian Gheorghe, Grzegorz Rozenberg, Arto Salomaa, Claudio Zandron.
by Gheorghe, Marian [editor.] | Rozenberg, Grzegorz [editor.] | Salomaa, Arto [editor.] | Zandron, Claudio [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
|
|
|
|
Mathematical Aspects of Computer and Information Sciences [electronic resource] : 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings / edited by Johannes Blömer, Ilias S. Kotsireas, Temur Kutsia, Dimitris E. Simos.
by Blömer, Johannes [editor.] | Kotsireas, Ilias S [editor.] | Kutsia, Temur [editor.] | Simos, Dimitris E [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
|
|
|
|
Web Information Systems Engineering -- WISE 2014 [electronic resource] : 15th International Conference, Thessaloniki, Greece, October 12-14, 2014, Proceedings, Part II / edited by Boualem Benatallah, Azer Bestavros, Yannis Manolopoulos, Athena Vakali, Yanchun Zhang.
by Benatallah, Boualem [editor.] | Bestavros, Azer [editor.] | Manolopoulos, Yannis [editor.] | Vakali, Athena [editor.] | Zhang, Yanchun [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Functional and Constraint Logic Programming [electronic resource] : 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers / edited by Santiago Escobar.
by Escobar, Santiago [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
|
|
|
|
Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs [electronic resource] : 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers / edited by Barbara Paech, Craig Martell.
by Paech, Barbara [editor.] | Martell, Craig [editor.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
|
Model and Data Engineering [electronic resource] : 7th International Conference, MEDI 2017, Barcelona, Spain, October 4-6, 2017, Proceedings / edited by Yassine Ouhammou, Mirjana Ivanovic, Alberto Abelló, Ladjel Bellatreche.
by Ouhammou, Yassine [editor.] | Ivanovic, Mirjana [editor.] | Abelló, Alberto [editor.] | Bellatreche, Ladjel [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
|
|
|
|
Multi-Agent Systems and Applications V [electronic resource] : 5th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2007, Leipzig, Germany, September 25-27, 2007, Proceedings / edited by Hans-Dieter Burkhard, Gabriela Lindemann, Rineke Verbrugge, Laszlo Varga.
by Burkhard, Hans-Dieter [editor.] | Lindemann, Gabriela [editor.] | Verbrugge, Rineke [editor.] | Varga, Laszlo [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
|
Passive and Active Measurement [electronic resource] : 12th International Conference, PAM 2011, Atlanta, GA, USA, March 20-22, 2011, Proceedings / edited by Neil Spring, George F. Riley.
by Spring, Neil [editor.] | Riley, George F [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
Declarative Agent Languages and Technologies IV [electronic resource] : 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers / edited by Matteo Baldoni, Ulle Endriss.
by Baldoni, Matteo [editor.] | Endriss, Ulle [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
|
|
|
|
Behavior Modeling -- Foundations and Applications [electronic resource] : International Workshops, BM-FA 2009-2014, Revised Selected Papers / edited by Ella Roubtsova, Ashley McNeile, Ekkart Kindler, Christian Gerth.
by Roubtsova, Ella [editor.] | McNeile, Ashley [editor.] | Kindler, Ekkart [editor.] | Gerth, Christian [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
|
