|
|
|
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 V. Hindriks, Martin Beer, Deborah Richards.
by Dignum, Frank [editor.] | Brom, Cyril [editor.] | Hindriks, Koen V [editor.] | Beer, Martin [editor.] | Richards, Deborah [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
|
|
|
|
Entertainment Computing - ICEC 2012 [electronic resource] : 11th International Conference, ICEC 2012, Bremen, Germany, September 26-29, 2012, Proceedings / edited by Marc Herrlich, Rainer Malaka, Maic Masuch.
by Herrlich, Marc [editor.] | Malaka, Rainer [editor.] | Masuch, Maic [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Language, Life, Limits [electronic resource] : 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014, Proceedings / edited by Arnold Beckmann, Ersébet Csuhaj-Varjú, Klaus Meer.
by Beckmann, Arnold [editor.] | Csuhaj-Varjú, Ersébet [editor.] | Meer, Klaus [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
|
|
|
|
Software Technologies for Embedded and Ubiquitous Systems [electronic resource] : 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, October 1-3, 2008, Revised Papers / edited by Tony Givargis, Stefano Russo.
by Givargis, Tony [editor.] | Russo, Stefano [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
|
|
|
|
Efficient Algorithms [electronic resource] : Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday / edited by Susanne Albers, Helmut Alt, Stefan Näher.
by Albers, Susanne [editor.] | Alt, Helmut [editor.] | Näher, Stefan [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
|
|
|
|
Electronic Government [electronic resource] : 12th IFIP WG 8.5 International Conference, EGOV 2013, Koblenz, Germany, September 16-19, 2013, Proceedings / edited by Maria A. Wimmer, Marijn Janssen, Hans Jochen Scholl.
by Wimmer, Maria A [editor.] | Janssen, Marijn [editor.] | Scholl, Hans Jochen [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
|
|
|
|
Quantum Interaction [electronic resource] : 7th International Conference, QI 2013, Leicester, UK, July 25-27, 2013. Selected Papers / edited by Harald Atmanspacher, Emmanuel Haven, Kirsty Kitto, Derek Raine.
by Atmanspacher, Harald [editor.] | Haven, Emmanuel [editor.] | Kitto, Kirsty [editor.] | Raine, Derek [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Recent Trends in Algebraic Development Techniques [electronic resource] : 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers / edited by Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu.
by Codescu, Mihai [editor.] | Diaconescu, Răzvan [editor.] | Țuțu, Ionuț [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
|
|
|
|
Security Protocols [electronic resource] : 14th International Workshop, Cambridge, UK, March 27-29, 2006, Revised Selected Papers / edited by Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe.
by Christianson, Bruce [editor.] | Crispo, Bruno [editor.] | Malcolm, James A [editor.] | Roe, Michael [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
|
|
|
|
Advances in Web-Based Learning - ICWL 2010 [electronic resource] : 9th International Conference, Shanghai, China, December 8-10, 2010, Proceedings / edited by Xiangfeng Luo, Marc Spaniol, Lizhe Wang, Qing Li, Wolfgang Nejdl, Wu Zhang.
by Luo, Xiangfeng [editor.] | Spaniol, Marc [editor.] | Wang, Lizhe [editor.] | Li, Qing [editor.] | Nejdl, Wolfgang [editor.] | Zhang, Wu [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
|
|
|
|
Mathematical Methods in Computer Science [electronic resource] : Essays in Memory of Thomas Beth / edited by Jacques Calmet, Willi Geiselmann, Jörn Müller-Quade.
by Calmet, Jacques [editor.] | Geiselmann, Willi [editor.] | Müller-Quade, Jörn [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
|
|
|
|
Ubiquitous Intelligence and Computing [electronic resource] : 8th International Conference, UIC 2011, Banff, Canada, September 2-4, 2011, Proceedings / edited by Ching-Hsien Hsu, Laurence T. Yang, Jianhua Ma, Chunsheng Zhu.
by Hsu, Ching-Hsien [editor.] | Yang, Laurence T [editor.] | Ma, Jianhua [editor.] | Zhu, Chunsheng [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
|
|
|
|
Foundations of Information and Knowledge Systems [electronic resource] : 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012, Proceedings / edited by Thomas Lukasiewicz, Attila Sali.
by Lukasiewicz, Thomas [editor.] | Sali, Attila [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Electronic Goverment [electronic resource] : 6th International Conference, EGOV 2007, Regensburg, Germany, September 3-7, 2007, Proceedings / edited by Maria A. Wimmer, Jochen Scholl, Anke Grönlund.
by Wimmer, Maria A [editor.] | Scholl, Jochen [editor.] | Grönlund, Anke [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
|
|
|
|
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
|
|
|
|
Security Protocols XVII [electronic resource] : 17th International Workshop, Cambridge, UK, April 1-3, 2009. Revised Selected Papers / edited by Bruce Christianson, James A. Malcolm, Vashek Matyáš, Michael Roe.
by Christianson, Bruce [editor.] | Malcolm, James A [editor.] | Matyáš, Vashek [editor.] | Roe, Michael [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
|
|
|
|
Reversible Computation [electronic resource] : 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings / edited by Simon Devitt, Ivan Lanese.
by Devitt, Simon [editor.] | Lanese, Ivan [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
|
|
|
|
Wired/Wireless Internet Communications [electronic resource] : 5th International Conference, WWIC 2007, Coimbra, Portugal, May 23-25, 2007, Proceedings / edited by Fernando Boavida, Edmundo Monteiro, Saverio Mascolo, Yevgeni Koucheryavy.
by Boavida, Fernando [editor.] | Monteiro, Edmundo [editor.] | Mascolo, Saverio [editor.] | Koucheryavy, Yevgeni [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
|
|
|
|
Mathematical Theory and Computational Practice [electronic resource] : 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009, Proceedings / edited by Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle.
by Ambos-Spies, Klaus [editor.] | Löwe, Benedikt [editor.] | Merkle, Wolfgang [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
|
|
|
|
Transactions on Computational Science XXIV [electronic resource] : Special Issue on Reversible Computing / edited by Marina L. Gavrilova, C.J. Kenneth Tan, Himanshu Thapliyal, Nagarajan Ranganathan.
by Gavrilova, Marina L [editor.] | Tan, C.J. Kenneth [editor.] | Thapliyal, Himanshu [editor.] | Ranganathan, Nagarajan [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
