|
|
|
Integrated Formal Methods [electronic resource] : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings / edited by Nadia Polikarpova, Steve Schneider.
by Polikarpova, Nadia [editor.] | Schneider, Steve [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
|
|
|
|
Computational Science and Its Applications -- ICCSA 2013 [electronic resource] : 13th International Conference, ICCSA 2013, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part IV / edited by Beniamino Murgante, Sanjay Misra, Maurizio Carlini, Carmelo Maria Torre, Hong-Quang Nguyen, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi.
by Murgante, Beniamino [editor.] | Misra, Sanjay [editor.] | Carlini, Maurizio [editor.] | Torre, Carmelo Maria [editor.] | Nguyen, Hong-Quang [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | Gervasi, Osvaldo [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
|
|
|
|
Computational Social Networks [electronic resource] : 5th International Conference, CSoNet 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings / edited by Hien T. Nguyen, Vaclav Snasel.
by Nguyen, Hien T [editor.] | Snasel, Vaclav [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
|
|
|
|
Semantic Multimedia [electronic resource] : First International Conference on Semantic and Digital Media Technologies, SAMT 2006, Athens, Greece, December 6-8, 2006, Proceedings / edited by Yannis Avrithis, Yiannis Kompatsiaris, Steffen Staab, Noel O'Connor.
by Avrithis, Yannis [editor.] | Kompatsiaris, Yiannis [editor.] | Staab, Steffen [editor.] | O'Connor, Noel [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
|
|
|
|
Intelligent Agents and Multi-Agent Systems [electronic resource] : 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008, Proceedings / edited by Bui The Duy, Tuong Vinh Ho, Quang Thuy Ha.
by The Duy, Bui [editor.] | Ho, Tuong Vinh [editor.] | Ha, Quang Thuy [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
|
|
|
|
IP Operations and Management [electronic resource] : 7th IEEE International Workshop, IPOM 2007 San José, USA, October 31 - November 2, 2007 Proceedings / edited by Deep Medhi, José Marcos Nogueira, Tom Pfeifer, Shyhtsun Felix Wu.
by Medhi, Deep [editor.] | Nogueira, José Marcos [editor.] | Pfeifer, Tom [editor.] | Wu, Shyhtsun Felix [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
|
|
|
|
Web Services and Formal Methods [electronic resource] : 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007, Proceedings / edited by Marlon Dumas, Reiko Heckel.
by Dumas, Marlon [editor.] | Heckel, Reiko [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
|
|
|
|
Structural Information and Communication Complexity [electronic resource] : 22nd International Colloquium, SIROCCO 2015, Montserrat, Spain, July 14-16, 2015. Post-Proceedings / edited by Christian Scheideler.
by Scheideler, Christian [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
|
|
|
|
Methods, Models and Tools for Fault Tolerance [electronic resource] / edited by Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna.
by Butler, Michael [editor.] | Jones, Cliff B [editor.] | Romanovsky, Alexander [editor.] | Troubitsyna, Elena [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
|
|
|
|
Semantic Web Services and Web Process Composition [electronic resource] : First International Workshop, SWSWPC 2004, San Diego, CA, USA, July 6, 2004, Revised Selected Papers / edited by Jorge Cardoso, Amit Sheth.
by Cardoso, Jorge [editor.] | Sheth, Amit [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
|
|
|
|
Trust and Trustworthy Computing [electronic resource] : 5th International Conference, TRUST 2012, Vienna, Austria, June 13-15, 2012, Proceedings / edited by Stefan Katzenbeisser, Edgar Weippl, L. Jean Camp, Melanie Volkamer, Mike Reiter, Xinwen Zhang.
by Katzenbeisser, Stefan [editor.] | Weippl, Edgar [editor.] | Camp, L. Jean [editor.] | Volkamer, Melanie [editor.] | Reiter, Mike [editor.] | Zhang, Xinwen [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
|
|
|
|
Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation [electronic resource] : 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers / edited by Rene van Leuken, Gilles Sicard.
by van Leuken, Rene [editor.] | Sicard, Gilles [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
|
|
|
|
Information Security Practice and Experience [electronic resource] : Third International Conference, ISPEC 2007, Hong Kong, China, May 7-9, 2007, Proceedings / edited by Ed Dawson, Duncan S. Wong.
by Dawson, Ed [editor.] | Wong, Duncan S [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
|
|
|
|
Task Models and Diagrams for User Interface Design [electronic resource] : 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers / edited by David England, Philippe Palanque, Jean Vanderdonckt, Peter Wild.
by England, David [editor.] | Palanque, Philippe [editor.] | Vanderdonckt, Jean [editor.] | Wild, Peter [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
|
|
|
|
Scalable Uncertainty Management [electronic resource] : 9th International Conference, SUM 2015, Québec City, QC, Canada, September 16-18, 2015. Proceedings / edited by Christoph Beierle, Alex Dekhtyar.
by Beierle, Christoph [editor.] | Dekhtyar, Alex [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
|
|
|
|
Job Scheduling Strategies for Parallel Processing [electronic resource] : 18th International Workshop, JSSPP 2014, Phoenix, AZ, USA, May 23, 2014. Revised Selected Papers / edited by Walfredo Cirne, Narayan Desai.
by Cirne, Walfredo [editor.] | Desai, Narayan [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
|
|
|
|
High Performance Computing [electronic resource] : 30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 12-16, 2015, Proceedings / edited by Julian M. Kunkel, Thomas Ludwig.
by Kunkel, Julian M [editor.] | Ludwig, Thomas [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
|
|
|
|
Analysis of Social Media and Ubiquitous Data [electronic resource] : International Workshops MSM 2010, Toronto, Canada, June 13, 2010, and MUSE 2010, Barcelona, Spain, September 20, 2010, Revised Selected Papers / edited by Martin Atzmueller, Andreas Hotho, Markus Strohmaier, Alvin Chin.
by Atzmueller, Martin [editor.] | Hotho, Andreas [editor.] | Strohmaier, Markus [editor.] | Chin, Alvin [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
|
|
|
|
High Performance Computing and Communications [electronic resource] : First International Conference, HPCC 2005, Sorrento, Italy, September, 21-23, 2005, Proceedings / edited by Jack Dongarra, Laurence T. Yang, Omer F. Rana, Beniamino Di Martino.
by Dongarra, Jack [editor.] | Yang, Laurence T [editor.] | Rana, Omer F [editor.] | Di Martino, Beniamino [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
|
