|
|
|
Descriptional Complexity of Formal Systems [electronic resource] : 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings / edited by Cezar Câmpeanu, Florin Manea, Jeffrey Shallit.
by Câmpeanu, Cezar [editor.] | Manea, Florin [editor.] | Shallit, Jeffrey [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Foundations of Augmented Cognition: Neuroergonomics and Operational Neuroscience [electronic resource] : 10th International Conference, AC 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings, Part I / edited by Dylan D. Schmorrow, Cali M. Fidopiastis.
by Schmorrow, Dylan D [editor.] | Fidopiastis, Cali M [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Swarm Intelligence [electronic resource] : 8th International Conference, ICSI 2017, Fukuoka, Japan, July 27 - August 1, 2017, Proceedings, Part I / edited by Ying Tan, Hideyuki Takagi, Yuhui Shi.
by Tan, Ying [editor.] | Takagi, Hideyuki [editor.] | Shi, Yuhui [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
|
|
|
|
Algorithms and Architectures for Parallel Processing [electronic resource] : 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part III / edited by Guojun Wang, Albert Zomaya, Gregorio Martinez, Kenli Li.
by Wang, Guojun [editor.] | Zomaya, Albert [editor.] | Martinez, Gregorio [editor.] | Li, Kenli [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
|
|
|
|
Parallel Problem Solving from Nature - PPSN XIV [electronic resource] : 14th International Conference, Edinburgh, UK, September 17-21, 2016, Proceedings / edited by Julia Handl, Emma Hart, Peter R. Lewis, Manuel López-Ibáñez, Gabriela Ochoa, Ben Paechter.
by Handl, Julia [editor.] | Hart, Emma [editor.] | Lewis, Peter R [editor.] | López-Ibáñez, Manuel [editor.] | Ochoa, Gabriela [editor.] | Paechter, Ben [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Web and Internet Economics [electronic resource] : 10th International Conference, WINE 2014, Beijing, China, December 14-17, 2014, Proceedings / edited by Tie-Yan Liu, Qi Qi, Yinyu Ye.
by Liu, Tie-Yan [editor.] | Qi, Qi [editor.] | Ye, Yinyu [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
|
|
|
|
Algorithms for Computational Biology [electronic resource] : Second International Conference, AlCoB 2015, Mexico City, Mexico, August 4-5, 2015, Proceedings / edited by Adrian-Horia Dediu, Francisco Hernández-Quiroz, Carlos Martín-Vide, David A. Rosenblueth.
by Dediu, Adrian-Horia [editor.] | Hernández-Quiroz, Francisco [editor.] | Martín-Vide, Carlos [editor.] | Rosenblueth, David A [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
|
|
|
|
Theory and Applications of Satisfiability Testing - SAT 2016 [electronic resource] : 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings / edited by Nadia Creignou, Daniel Le Berre.
by Creignou, Nadia [editor.] | Le Berre, Daniel [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
The Semantic Web [electronic resource] : 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28 - June 1, 2017, Proceedings, Part I / edited by Eva Blomqvist, Diana Maynard, Aldo Gangemi, Rinke Hoekstra, Pascal Hitzler, Olaf Hartig.
by Blomqvist, Eva [editor.] | Maynard, Diana [editor.] | Gangemi, Aldo [editor.] | Hoekstra, Rinke [editor.] | Hitzler, Pascal [editor.] | Hartig, Olaf [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
|
|
|
|
Agents and Artificial Intelligence [electronic resource] : 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers / edited by Béatrice Duval, Jaap van den Herik, Stephane Loiseau, Joaquim Filipe.
by Duval, Béatrice [editor.] | van den Herik, Jaap [editor.] | Loiseau, Stephane [editor.] | Filipe, Joaquim [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
|
|
|
|
Computer Vision - ACCV 2016 [electronic resource] : 13th Asian Conference on Computer Vision, Taipei, Taiwan, November 20-24, 2016, Revised Selected Papers, Part V / edited by Shang-Hong Lai, Vincent Lepetit, Ko Nishino, Yoichi Sato.
by Lai, Shang-Hong [editor.] | Lepetit, Vincent [editor.] | Nishino, Ko [editor.] | Sato, Yoichi [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
|
|
|
|
Human Language Technology. Challenges for Computer Science and Linguistics [electronic resource] : 6th Language and Technology Conference, LTC 2013, Poznań, Poland, December 7-9, 2013. Revised Selected Papers / edited by Zygmunt Vetulani, Hans Uszkoreit, Marek Kubis.
by Vetulani, Zygmunt [editor.] | Uszkoreit, Hans [editor.] | Kubis, Marek [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Performance Evaluation and Benchmarking. Traditional - Big Data - Internet of Things [electronic resource] : 8th TPC Technology Conference, TPCTC 2016, New Delhi, India, September 5-9, 2016, Revised Selected Papers / edited by Raghunath Nambiar, Meikel Poess.
by Nambiar, Raghunath [editor.] | Poess, Meikel [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
|
|
|
|
Mining Intelligence and Knowledge Exploration [electronic resource] : Third International Conference, MIKE 2015, Hyderabad, India, December 9-11, 2015, Proceedings / edited by Rajendra Prasath, Anil Kumar Vuppala, T. Kathirvalavakumar.
by Prasath, Rajendra [editor.] | Vuppala, Anil Kumar [editor.] | Kathirvalavakumar, T [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
|
|
|
|
Programming Languages [electronic resource] : 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings / edited by Alberto Pardo, S. Doaitse Swierstra.
by Pardo, Alberto [editor.] | Swierstra, S. Doaitse [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
|
|
|
|
Foundations of Intelligent Systems [electronic resource] : 22nd International Symposium, ISMIS 2015, Lyon, France, October 21-23, 2015, Proceedings / edited by Floriana Esposito, Olivier Pivert, Mohand-Said Hacid, Zbigniew W. Rás, Stefano Ferilli.
by Esposito, Floriana [editor.] | Pivert, Olivier [editor.] | Hacid, Mohand-Said [editor.] | Rás, Zbigniew W [editor.] | Ferilli, Stefano [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
|
|
|
|
Algorithmic Aspects of Cloud Computing [electronic resource] : First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers / edited by Ioannis Karydis, Spyros Sioutas, Peter Triantafillou, Dimitrios Tsoumakos.
by Karydis, Ioannis [editor.] | Sioutas, Spyros [editor.] | Triantafillou, Peter [editor.] | Tsoumakos, Dimitrios [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Combinatorics on Words [electronic resource] : 11th International Conference, WORDS 2017, Montréal, QC, Canada, September 11-15, 2017, Proceedings / edited by Srečko Brlek, Francesco Dolce, Christophe Reutenauer, Élise Vandomme.
by Brlek, Srečko [editor.] | Dolce, Francesco [editor.] | Reutenauer, Christophe [editor.] | Vandomme, Élise [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
|
|
|
|
Cellular Automata and Discrete Complex Systems [electronic resource] : 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings / edited by Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Antonio E. Porreca.
by Dennunzio, Alberto [editor.] | Formenti, Enrico [editor.] | Manzoni, Luca [editor.] | Porreca, Antonio 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
|
|
|
|
Chinese Lexical Semantics [electronic resource] : 15th Workshop, CLSW 2014, Macao, China, June 9--12, 2014, Revised Selected Papers / edited by Xinchun Su, Tingting He.
by Su, Xinchun [editor.] | He, Tingting [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
|
