|
|
|
Frontiers in Algorithmics and Algorithmic Aspects in Information and Management [electronic resource] : Third Joint International Conference, FAW-AAIM 2013, Dalian,China, June 26-28, 2013, Proceedings / edited by Michael Fellows, Xuehou Tan, Binhai Zhu.
by Fellows, Michael [editor.] | Tan, Xuehou [editor.] | Zhu, Binhai [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
|
|
|
|
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
|
|
|
|
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
|
|
|
|
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
|
|
|
|
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
|
|
|
|
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
|
|
|
|
Progress in Artificial Intelligence and Pattern Recognition [electronic resource] : 6th International Workshop, IWAIPR 2018, Havana, Cuba, September 24-26, 2018, Proceedings / edited by Yanio Hernández Heredia, Vladimir Milián Núñez, José Ruiz Shulcloper.
by Hernández Heredia, Yanio [editor.] | Milián Núñez, Vladimir [editor.] | Ruiz Shulcloper, José [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
|
|
|
|
Theory and Applications of Models of Computation [electronic resource] : 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings / edited by T.V. Gopal, Junzo Watada.
by Gopal, T.V [editor.] | Watada, Junzo [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
|
|
|
|
Automated Technology for Verification and Analysis [electronic resource] : 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings / edited by Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza.
by Chen, Yu-Fang [editor.] | Cheng, Chih-Hong [editor.] | Esparza, Javier [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
|
|
|
|
Discovery Science [electronic resource] : 22nd International Conference, DS 2019, Split, Croatia, October 28-30, 2019, Proceedings / edited by Petra Kralj Novak, Tomislav Šmuc, Sašo Džeroski.
by Kralj Novak, Petra [editor.] | Šmuc, Tomislav [editor.] | Džeroski, Sašo [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
|
|
|
|
Fundamentals of Computation Theory [electronic resource] : 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019, Proceedings / edited by Leszek Antoni Gąsieniec, Jesper Jansson, Christos Levcopoulos.
by Gąsieniec, Leszek Antoni [editor.] | Jansson, Jesper [editor.] | Levcopoulos, Christos [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
|
|
|
|
Structural Information and Communication Complexity [electronic resource] : 26th International Colloquium, SIROCCO 2019, L'Aquila, Italy, July 1-4, 2019, Proceedings / edited by Keren Censor-Hillel, Michele Flammini.
by Censor-Hillel, Keren [editor.] | Flammini, Michele [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
|
|
|
|
Artificial Intelligence in Medicine [electronic resource] : 17th Conference on Artificial Intelligence in Medicine, AIME 2019, Poznan, Poland, June 26-29, 2019, Proceedings / edited by David Riaño, Szymon Wilk, Annette ten Teije.
by Riaño, David [editor.] | Wilk, Szymon [editor.] | ten Teije, Annette [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
|
|
|
|
Treewidth, Kernels, and Algorithms [electronic resource] : Essays Dedicated to Hans L. Bodlaender on the Occasion of His 60th Birthday / edited by Fedor V. Fomin, Stefan Kratsch, Erik Jan van Leeuwen.
by Fomin, Fedor V [editor.] | Kratsch, Stefan [editor.] | van Leeuwen, Erik Jan [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Dynamic Logic. New Trends and Applications [electronic resource] : Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings / edited by Luís Soares Barbosa, Alexandru Baltag.
by Soares Barbosa, Luís [editor.] | Baltag, Alexandru [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
