|
|
|
NASA Formal Methods [electronic resource] : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings / edited by Guillaume Brat, Neha Rungta, Arnaud Venet.
by Brat, Guillaume [editor.] | Rungta, Neha [editor.] | Venet, Arnaud [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
|
|
|
|
Provenance and Annotation of Data and Processes [electronic resource] : Second International Provenance and Annotation Workshop, IPAW 2008, Salt Lake City, UT, USA, June 17-18, 2008 / edited by Juliana Freire, David Koop.
by Freire, Juliana [editor.] | Koop, David [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
|
|
|
|
Dependable Networks and Services [electronic resource] : 6th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2012, Luxembourg, Luxembourg, June 4-8, 2012, Proceedings / edited by Ramin Sadre, Jiri Novotny, Pavel Celeda, Martin Waldburger, Burkhard Stiller.
by Sadre, Ramin [editor.] | Novotny, Jiri [editor.] | Celeda, Pavel [editor.] | Waldburger, Martin [editor.] | Stiller, Burkhard [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
|
|
|
|
Network and Parallel Computing [electronic resource] : 11th IFIP WG 10.3 International Conference, NPC 2014, Ilan, Taiwan, September 18-20, 2014, Proceedings / edited by Ching-Hsien Hsu, Xuanhua Shi, Valentina Salapura.
by Hsu, Ching-Hsien [editor.] | Shi, Xuanhua [editor.] | Salapura, Valentina [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
|
|
|
|
Information Security Practice and Experience [electronic resource] : Second International Conference, ISPEC 2006, Hangzhou, China, April 11-14, 2006, Proceedings / edited by Kefei Chen, Robert Deng, Xuejia Lai, Jianying Zhou.
by Chen, Kefei [editor.] | Deng, Robert [editor.] | Lai, Xuejia [editor.] | Zhou, Jianying [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
|
|
|
|
Wired/Wireless Internet Communication [electronic resource] : 11th International Conference, WWIC 2013, St. Petersburg, Russia, June 5-7, 2013. Proceedings / edited by Vassilis Tsaoussidis, Andreas J. Kassler, Yevgeni Koucheryavy, Abdelhamid Mellouk.
by Tsaoussidis, Vassilis [editor.] | Kassler, Andreas J [editor.] | Koucheryavy, Yevgeni [editor.] | Mellouk, Abdelhamid [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
|
|
|
|
Theory and Applications of Satisfiability Testing - SAT 2008 [electronic resource] : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings / edited by Hans Kleine Büning, Xishun Zhao.
by Kleine Büning, Hans [editor.] | Zhao, Xishun [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
|
|
|
|
Ambient Networks [electronic resource] : 16th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2005, Barcelona, Spain, October 24-26, 2005, Proceedings / edited by Schönwälder Jürgen, Joan Serrat.
by Jürgen, Schönwälder [editor.] | Serrat, Joan [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] : 20th International Symposium, SSS 2018, Tokyo, Japan, November 4-7, 2018, Proceedings / edited by Taisuke Izumi, Petr Kuznetsov.
by Izumi, Taisuke [editor.] | Kuznetsov, Petr [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Image Analysis and Recognition [electronic resource] : 15th International Conference, ICIAR 2018, Póvoa de Varzim, Portugal, June 27-29, 2018, Proceedings / edited by Aurélio Campilho, Fakhri Karray, Bart ter Haar Romeny.
by Campilho, Aurélio [editor.] | Karray, Fakhri [editor.] | ter Haar Romeny, Bart [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Network and Parallel Computing [electronic resource] : 16th IFIP WG 10.3 International Conference, NPC 2019, Hohhot, China, August 23-24, 2019, Proceedings / edited by Xiaoxin Tang, Quan Chen, Pradip Bose, Weiming Zheng, Jean-Luc Gaudiot.
by Tang, Xiaoxin [editor.] | Chen, Quan [editor.] | Bose, Pradip [editor.] | Zheng, Weiming [editor.] | Gaudiot, Jean-Luc [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Job Scheduling Strategies for Parallel Processing [electronic resource] : 14th International Workshop, JSSPP 2009, Rome, Italy, May 29, 2009, Revised Papers / edited by Eitan Frachtenberg, Uwe Schwiegelshohn.
by Frachtenberg, Eitan [editor.] | Schwiegelshohn, Uwe [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
|
|
|
|
Applications of Evolutionary Computation [electronic resource] : EvoApplications 2010: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoMUSART, and EvoTRANSLOG, Istanbul, Turkey, April 7-9, 2010, Proceedings, Part II / edited by Cecilia Di Chio, Anthony Brabazon, Marc Ebner, Muddassar Farooq, Andreas Fink, Jörn Grahl, Gary Greenfield, Penousal Machado, Michael O'Neill, Ernesto Tarantino, Neil Urquhart.
by Di Chio, Cecilia [editor.] | Brabazon, Anthony [editor.] | Ebner, Marc [editor.] | Farooq, Muddassar [editor.] | Fink, Andreas [editor.] | Grahl, Jörn [editor.] | Greenfield, Gary [editor.] | Machado, Penousal [editor.] | O'Neill, Michael [editor.] | Tarantino, Ernesto [editor.] | Urquhart, Neil [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
|
|
|
|
Power-Aware Computer Systems [electronic resource] : 4th International Workshop, PACS 2004, Portland, OR, USA, December 5, 2004, Revised Selected Papers / edited by Babak Falsafi, T.N. Vijaykumar.
by Falsafi, Babak [editor.] | Vijaykumar, T.N [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
|
|
|
|
Euro-Par 2017: Parallel Processing Workshops [electronic resource] : Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers / edited by Dora B. Heras, Luc Bougé, Gabriele Mencagli, Emmanuel Jeannot, Rizos Sakellariou, Rosa M. Badia, Jorge G. Barbosa, Laura Ricci, Stephen L. Scott, Stefan Lankes, Josef Weidendorfer.
by Heras, Dora B [editor.] | Bougé, Luc [editor.] | Mencagli, Gabriele [editor.] | Jeannot, Emmanuel [editor.] | Sakellariou, Rizos [editor.] | Badia, Rosa M [editor.] | Barbosa, Jorge G [editor.] | Ricci, Laura [editor.] | Scott, Stephen L [editor.] | Lankes, Stefan [editor.] | Weidendorfer, Josef [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Integration of Constraint Programming, Artificial Intelligence, and Operations Research [electronic resource] : 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26-29, 2018, Proceedings / edited by Willem-Jan van Hoeve.
by van Hoeve, Willem-Jan [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Euro-Par 2021: Parallel Processing Workshops [electronic resource] : Euro-Par 2021 International Workshops, Lisbon, Portugal, August 30-31, 2021, Revised Selected Papers / edited by Ricardo Chaves, Dora B. Heras, Aleksandar Ilic, Didem Unat, Rosa M. Badia, Andrea Bracciali, Patrick Diehl, Anshu Dubey, Oh Sangyoon, Stephen L. Scott, Laura Ricci.
by Chaves, Ricardo [editor.] | B. Heras, Dora [editor.] | Ilic, Aleksandar [editor.] | Unat, Didem [editor.] | Badia, Rosa M [editor.] | Bracciali, Andrea [editor.] | Diehl, Patrick [editor.] | Dubey, Anshu [editor.] | Sangyoon, Oh [editor.] | L. Scott, Stephen [editor.] | Ricci, Laura [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Principles of Distributed Systems [electronic resource] : 11th International Conference, OPODIS 2007, Guadeloupe, French West Indies, December 17-20, 2007, Proceedings / edited by Eduardo Tovar, Philippas Tsigas, Hacène Fouchal.
by Tovar, Eduardo [editor.] | Tsigas, Philippas [editor.] | Fouchal, Hacène [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
|
|
|
|
Job Scheduling Strategies for Parallel Processing [electronic resource] : 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers / edited by Walfredo Cirne, Narayan Desai, Eitan Frachtenberg, Uwe Schwiegelshohn.
by Cirne, Walfredo [editor.] | Desai, Narayan [editor.] | Frachtenberg, Eitan [editor.] | Schwiegelshohn, Uwe [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
|
|
|
|
Euro-Par 2020: Parallel Processing Workshops [electronic resource] : Euro-Par 2020 International Workshops, Warsaw, Poland, August 24-25, 2020, Revised Selected Papers / edited by Bartosz Balis, Dora B. Heras, Laura Antonelli, Andrea Bracciali, Thomas Gruber, Jin Hyun-Wook, Michael Kuhn, Stephen L. Scott, Didem Unat, Roman Wyrzykowski.
by Balis, Bartosz [editor.] | B. Heras, Dora [editor.] | Antonelli, Laura [editor.] | Bracciali, Andrea [editor.] | Gruber, Thomas [editor.] | Hyun-Wook, Jin [editor.] | Kuhn, Michael [editor.] | Scott, Stephen L [editor.] | Unat, Didem [editor.] | Wyrzykowski, Roman [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
