|
|
|
Descriptional Complexity of Formal Systems [electronic resource] : 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings / edited by Giovanni Pighizzini, Cezar Câmpeanu.
by Pighizzini, Giovanni [editor.] | Câmpeanu, Cezar [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
|
|
|
|
Model Checking Software [electronic resource] : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings / edited by Klaus Havelund, Rupak Majumdar, Jens Palsberg.
by Havelund, Klaus [editor.] | Majumdar, Rupak [editor.] | Palsberg, Jens [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
|
|
|
|
Cooperative Design, Visualization, and Engineering [electronic resource] : Second International Conference, CDVE 2005, Palma de Mallorca, Spain, September 18-21, 2005, Proceedings / edited by Yuhua Luo.
by Luo, Yuhua [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
|
|
|
|
Cryptographic Hardware and Embedded Systems -- CHES 2015 [electronic resource] : 17th International Workshop, Saint-Malo, France, September 13-16, 2015, Proceedings / edited by Tim Güneysu, Helena Handschuh.
by Güneysu, Tim [editor.] | Handschuh, Helena [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Design, User Experience, and Usability: User Experience Design for Diverse Interaction Platforms and Environments [electronic resource] : Third International Conference, DUXU 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part II / edited by Aaron Marcus.
by Marcus, Aaron [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
|
|
|
|
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012, Proceedings / edited by Andréa W. Richa, Christian Scheideler.
by Richa, Andréa W [editor.] | Scheideler, Christian [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
|
|
|
|
Hardware and Software: Verification and Testing [electronic resource] : Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings / edited by Karen Yorav.
by Yorav, Karen [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
|
|
|
|
Theorem Proving in Higher Order Logics [electronic resource] : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings / edited by Klaus Schneider, Jens Brandt.
by Schneider, Klaus [editor.] | Brandt, Jens [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
|
|
|
|
Perspectives of Systems Informatics [electronic resource] : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers.
by Pnueli, Amir [editor.] | Voronkov, Andrei [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
|
|
|
|
Scaling up Learning for Sustained Impact [electronic resource] : 8th European Conference on Technology Enhanced Learning, EC-TEL 2013, Paphos, Cyprus, September 17-21, 2013, Proceedings / edited by Davinia Hernández-Leo, Tobias Ley, Ralf Klamma, Andreas Harrer.
by Hernández-Leo, Davinia [editor.] | Ley, Tobias [editor.] | Klamma, Ralf [editor.] | Harrer, Andreas [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
|
|
|
|
Logic Programming and Nonmonotonic Reasoning [electronic resource] : 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings / edited by Chitta Baral, Gianluigi Greco, Nicola Leone, Giorgio Terracina.
by Baral, Chitta [editor.] | Greco, Gianluigi [editor.] | Leone, Nicola [editor.] | Terracina, Giorgio [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
|
|
|
|
Reflections on the Teaching of Programming [electronic resource] : Methods and Implementations / edited by Jens Bennedsen, Michael E. Caspersen, Michael Kölling.
by Bennedsen, Jens [editor.] | Caspersen, Michael E [editor.] | Kölling, Michael [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
|
|
|
|
Agent Computing and Multi-Agent Systems [electronic resource] : 10th Pacific Rim International Conference on Multi-Agent Systems, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007, Revised Papers / edited by Aditya Ghose, Guido Governatori, Ramakoti Sadananda.
by Ghose, Aditya [editor.] | Governatori, Guido [editor.] | Sadananda, Ramakoti [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
|
|
|
|
Cooperative Design, Visualization, and Engineering [electronic resource] : 8th International Conference, CDVE 2011, Hong Kong, China, September 11-14, 2011, Proceedings / edited by Yuhua Luo.
by Luo, Yuhua [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
|
|
|
|
Graphical Models for Security [electronic resource] : Third International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016, Revised Selected Papers / edited by Barbara Kordy, Mathias Ekstedt, Dong Seong Kim.
by Kordy, Barbara [editor.] | Ekstedt, Mathias [editor.] | Kim, Dong Seong [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
|
|
|
|
Hybrid Artificial Intelligent Systems [electronic resource] : 7th International Conference, HAIS 2012, Salamanca, Spain, March 28-30th, 2012, Proceedings, Part I / edited by Emilio S. Corchado Rodriguez, Vaclav Snasel, Ajit Abraham, Michal Wozniak, Manuel Grana, Sung-Bae Cho.
by Corchado Rodriguez, Emilio S [editor.] | Snasel, Vaclav [editor.] | Abraham, Ajit [editor.] | Wozniak, Michal [editor.] | Grana, Manuel [editor.] | Cho, Sung-Bae [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
|
|
|
|
Internet of Things, Smart Spaces, and Next Generation Networking [electronic resource] : 12th International Conference, NEW2AN 2012, and 5th Conference, ruSMART 2012, St. Petersburg, Russia, August 27-29, 2012, Proceedings / edited by Sergey Andreev, Sergey Balandin, Yevgeni Koucheryavy.
by Andreev, Sergey [editor.] | Balandin, Sergey [editor.] | Koucheryavy, Yevgeni [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
|
|
|
|
Advances in Artificial Intelligence [electronic resource] : 14th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2011, La Laguna, Spain, November 7-11, 2011. Proceedings / edited by Jose A. Lozano, José A. Gámez, José A. Moreno-Pérez.
by Lozano, Jose A [editor.] | Gámez, José A [editor.] | Moreno-Pérez, José A [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
|
|
|
|
Outdoor and Large-Scale Real-World Scene Analysis [electronic resource] : 15th International Workshop on Theoretical Foundations of Computer Vision, Dagstuhl Castle, Germany, June 26 - July 1, 2011. Revised Selected Papers / edited by Frank Dellaert, Jan-Michael Frahm, Marc Pollefeys, Laura Leal-Taixé, Bodo Rosenhahn.
by Dellaert, Frank [editor.] | Frahm, Jan-Michael [editor.] | Pollefeys, Marc [editor.] | Leal-Taixé, Laura [editor.] | Rosenhahn, Bodo [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
|
|
|
|
Design, User Experience, and Usability. Theory, Methods, Tools and Practice [electronic resource] : First International Conference, DUXU 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part II / edited by Aaron Marcus.
by Marcus, Aaron [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
|
