|
|
|
Reliable Software Technologies - Ada-Europe 2013 [electronic resource] : 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings / edited by Hubert B. Keller, Erhard Pl�odereder, Peter Dencker, Herbert Klenk.
by Keller, Hubert B [editor.] | Pl�odereder, Erhard [editor.] | Dencker, Peter [editor.] | Klenk, Herbert [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Formal Aspects of Component Software [electronic resource] : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers / edited by Corina S. Păsăreanu, Gwen Sala�un.
by Păsăreanu, Corina S [editor.] | Sala�un, Gwen [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Foundations of Augmented Cognition [electronic resource] : 7th International Conference, AC 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013. Proceedings / edited by Dylan D. Schmorrow, Cali M. Fidopiastis.
by Schmorrow, Dylan D [editor.] | Fidopiastis, Cali M [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Cognitive Agents for Virtual Environments [electronic resource] : First International Workshop, CAVE 2012, Held at AAMAS 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers / edited by Frank Dignum, Cyril Brom, Koen Hindriks, Martin Beer, Deborah Richards.
by Dignum, Frank [editor.] | Brom, Cyril [editor.] | Hindriks, Koen [editor.] | Beer, Martin [editor.] | Richards, Deborah [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
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). Source: Springer eBooksMaterial 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
|
|
|
|
Agents and Artificial Intelligence [electronic resource] : 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers / edited by B�eatrice Duval, Jaap van den Herik, Stephane Loiseau, Joaquim Filipe.
by Duval, B�eatrice [editor.] | van den Herik, Jaap [editor.] | Loiseau, Stephane [editor.] | Filipe, Joaquim [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Scalable Uncertainty Management [electronic resource] : 7th International Conference, SUM 2013, Washington, DC, USA, September 16-18, 2013. Proceedings / edited by Weiru Liu, V. S. Subrahmanian, Jef Wijsen.
by Liu, Weiru [editor.] | Subrahmanian, V. S [editor.] | Wijsen, Jef [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Computer Vision - ECCV 2014 [electronic resource] : 13th European Conference, Zurich, Switzerland, September 6-12, 2014, Proceedings, Part II / edited by David Fleet, Tomas Pajdla, Bernt Schiele, Tinne Tuytelaars.
by Fleet, David [editor.] | Pajdla, Tomas [editor.] | Schiele, Bernt [editor.] | Tuytelaars, Tinne [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Towards Autonomous Robotic Systems [electronic resource] : 17th Annual Conference, TAROS 2016, Sheffield, UK, June 26--July 1, 2016, Proceedings / edited by Lyuba Alboul, Dana Damian, Jonathan M. Aitken.
by Alboul, Lyuba [editor.] | Damian, Dana [editor.] | Aitken, Jonathan M [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Natural Language Understanding and Intelligent Applications [electronic resource] : 5th CCF Conference on Natural Language Processing and Chinese Computing, NLPCC 2016, and 24th International Conference on Computer Processing of Oriental Languages, ICCPOL 2016, Kunming, China, December 2-6, 2016, Proceedings / edited by Chin-Yew Lin, Nianwen Xue, Dongyan Zhao, Xuanjing Huang, Yansong Feng.
by Lin, Chin-Yew [editor.] | Xue, Nianwen [editor.] | Zhao, Dongyan [editor.] | Huang, Xuanjing [editor.] | Feng, Yansong [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Information Security Practice and Experience [electronic resource] : 9th International Conference, ISPEC 2013, Lanzhou, China, May 12-14, 2013. Proceedings / edited by Robert H. Deng, Tao Feng.
by Deng, Robert H [editor.] | Feng, Tao [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Algorithmic Probability and Friends. Bayesian Prediction and Artificial Intelligence [electronic resource] : Papers from the Ray Solomonoff 85th Memorial Conference, Melbourne, VIC, Australia, November 30 - December 2, 2011 / edited by David L. Dowe.
by Dowe, David L [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Public-Key Cryptography - PKC 2013 [electronic resource] : 16th International Conference on Practice and Theory in Public-Key Cryptography, Nara, Japan, February 26 - March 1, 2013. Proceedings / edited by Kaoru Kurosawa, Goichiro Hanaoka.
by Kurosawa, Kaoru [editor.] | Hanaoka, Goichiro [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Chinese Lexical Semantics [electronic resource] : 13th Workshop, CLSW 2012, Wuhan, China, July 6-8, 2012, Revised Selected Papers / edited by Donghong Ji, Guozheng Xiao.
by Ji, Donghong [editor.] | Xiao, Guozheng [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 13th European Conference, ECSQARU 2015, Compi�egne, France, July 15-17, 2015. Proceedings / edited by S�ebastien Destercke, Thierry Denoeux.
by Destercke, S�ebastien [editor.] | Denoeux, Thierry [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Coordination Models and Languages [electronic resource] : 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings / edited by Rocco De Nicola, Christine Julien.
by Nicola, Rocco De [editor.] | Julien, Christine [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings / edited by Ken McMillan, Aart Middeldorp, Andrei Voronkov.
by McMillan, Ken [editor.] | Middeldorp, Aart [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Technology and Practice of Passwords [electronic resource] : 9th International Conference, PASSWORDS 2015, Cambridge, UK, December 7-9, 2015, Proceedings / edited by Frank Stajano, Stig F. Mj�lsnes, Graeme Jenkinson, Per Thorsheim.
by Stajano, Frank [editor.] | Mj�lsnes, Stig F [editor.] | Jenkinson, Graeme [editor.] | Thorsheim, Per [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer eBooksMaterial 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
|
|
|
|
Cellular Automata [electronic resource] : 11th International Conference on Cellular Automata for Research and Industry, ACRI 2014, Krakow, Poland, September 22-25, 2014. Proceedings / edited by Jaros�aw Wąs, Georgios Ch. Sirakoulis, Stefania Bandini.
by Wąs, Jaros�aw [editor.] | Sirakoulis, Georgios Ch [editor.] | Bandini, Stefania [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Languages and Compilers for Parallel Computing [electronic resource] : 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers / edited by Xipeng Shen, Frank Mueller, James Tuck.
by Shen, Xipeng [editor.] | Mueller, Frank [editor.] | Tuck, James [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer eBooksMaterial 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
|
