|
|
|
Smart Sensing and Context [electronic resource] : 4th European Conference, EuroSSC 2009, Guildford, UK, September 16-18, 2009. Proceedings / edited by Payam Barnaghi, Klaus Moessner, Mirko Presser, Stefan Meissner.
by Barnaghi, Payam [editor.] | Moessner, Klaus [editor.] | Presser, Mirko [editor.] | Meissner, 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
|
|
|
|
KI 2017: Advances in Artificial Intelligence [electronic resource] : 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017, Proceedings.
by Kern-Isberner, Gabriele [editor.] | Fürnkranz, Johannes [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
|
|
|
|
Computer Safety, Reliability, and Security [electronic resource] : 30th International Conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011, Proceedings / edited by Francesco Flammini, Sandro Bologna, Valeria Vittorini.
by Flammini, Francesco [editor.] | Bologna, Sandro [editor.] | Vittorini, Valeria [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
|
|
|
|
Computer Aided Verification [electronic resource] : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings / edited by Natasha Sharygina, Helmut Veith.
by Sharygina, Natasha [editor.] | Veith, Helmut [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
|
|
|
|
Real-World Wireless Sensor Networks [electronic resource] : 4th International Workshop, REALWSN 2010, Colombo, Sri Lanka, December 16-17, 2010, Proceedings / edited by Pedro José Marron, Thiemo Voigt, Peter Corke, Luca Mottola.
by Marron, Pedro José [editor.] | Voigt, Thiemo [editor.] | Corke, Peter [editor.] | Mottola, Luca [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
|
|
|
|
Evolvable Systems: From Biology to Hardware [electronic resource] : 9th International Conference, ICES 2010, York, UK, September 6-8, 2010, Proceedings / edited by Gianluca Tempesti, Andy Tyrrell, Julian F. Miller.
by Tempesti, Gianluca [editor.] | Tyrrell, Andy [editor.] | Miller, Julian F [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
|
|
|
|
Information Processing in Computer-Assisted Interventions [electronic resource] : First International Conference, IPCAI 2010, Geneva, Switzerland, June 23, 2010, Proceedings / edited by Nassir Navab, Pierre Jannin.
by Navab, Nassir [editor.] | Jannin, Pierre [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
|
|
|
|
Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management: Health and Safety [electronic resource] : 8th International Conference, DHM 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II / edited by Vincent G. Duffy.
by Duffy, Vincent G [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
|
|
|
|
Applications of Evolutionary Computation [electronic resource] : 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part I / edited by Giovanni Squillero, Kevin Sim.
by Squillero, Giovanni [editor.] | Sim, Kevin [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 for Sensor Systems [electronic resource] : 6th International Workshop on Algorithms for Sensor Systems, Wireless Ad Hoc Networks, and Autonomous Mobile Entities, ALGOSENSORS 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers / edited by Christian Scheideler.
by Scheideler, Christian [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
|
|
|
|
Image and Signal Processing [electronic resource] : 5th International Conference, ICISP 2012, Agadir, Morocco, June 28-30, 2012. Proceedings / edited by Abderrahim Elmoataz, Driss Mammass, Olivier Lezoray, Fathallah Nouboud, Driss Aboutajdine.
by Elmoataz, Abderrahim [editor.] | Mammass, Driss [editor.] | Lezoray, Olivier [editor.] | Nouboud, Fathallah [editor.] | Aboutajdine, Driss [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
|
|
|
|
Formal Modeling and Analysis of Timed Systems [electronic resource] : 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings / edited by Eugene Asarin, Patricia Bouyer.
by Asarin, Eugene [editor.] | Bouyer, Patricia [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
|
|
|
|
Multicore Software Engineering, Performance and Tools [electronic resource] : International Conference, MSEPT 2012, Prague, Czech Republic, May 31--June 1, 2012, Proceedings / edited by Victor Pankratius, Michael Philippsen.
by Pankratius, Victor [editor.] | Philippsen, Michael [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
|
|
|
|
Formal Methods for Computational Systems Biology [electronic resource] : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 / edited by Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro.
by Bernardo, Marco [editor.] | Degano, Pierpaolo [editor.] | Zavattaro, Gianluigi [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
|
|
|
|
Principles of Distributed Systems [electronic resource] : 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers / edited by Teruo Higashino.
by Higashino, Teruo [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
|
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings / edited by Rachid Guerraoui, Franck Petit.
by Guerraoui, Rachid [editor.] | Petit, Franck [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
|
|
|
|
Persuasive Technology [electronic resource] : Third International Conference, PERSUASIVE 2008, Oulu, Finland, June 4-6, 2008, Proceedings / edited by Harri Oinas-Kukkonen, Per Hasle, Marja Harjumaa, Katarina Segerståhl, Peter Øhrstrøm.
by Oinas-Kukkonen, Harri [editor.] | Hasle, Per [editor.] | Harjumaa, Marja [editor.] | Segerståhl, Katarina [editor.] | Øhrstrøm, Peter [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
|
|
|
|
Coordination Models and Languages [electronic resource] : 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings / edited by Amy L. Murphy, Jan Vitek.
by Murphy, Amy L [editor.] | Vitek, Jan [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
|
|
|
|
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
|
|
|
|
Progress in Artificial Intelligence [electronic resource] : 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal, September 5-8, 2017, Proceedings / edited by Eugénio Oliveira, João Gama, Zita Vale, Henrique Lopes Cardoso.
by Oliveira, Eugénio [editor.] | Gama, João [editor.] | Vale, Zita [editor.] | Lopes Cardoso, Henrique [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
|
