|
|
|
Interactive Theorem Proving [electronic resource] : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings / edited by Jasmin Christian Blanchette, Stephan Merz.
by Blanchette, Jasmin Christian [editor.] | Merz, Stephan [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
|
|
|
|
Quantitative Evaluation of Systems [electronic resource] : 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings / edited by Kaustubh Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D'Argenio.
by Joshi, Kaustubh [editor.] | Siegle, Markus [editor.] | Stoelinga, Mariëlle [editor.] | D'Argenio, Pedro R [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
|
|
|
|
Advances in Data Mining. Applications and Theoretical Aspects [electronic resource] : 17th Industrial Conference, ICDM 2017, New York, NY, USA, July 12-13, 2017, Proceedings / edited by Petra Perner.
by Perner, Petra [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
|
|
|
|
Management of Converged Multimedia Networks and Services [electronic resource] : 11th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services, MMNS 2008, Samos Island, Greece, September 22-26, 2008, Proceedings / edited by George Pavlou, Toufik Ahmed, Tasos Dagiuklas.
by Pavlou, George [editor.] | Ahmed, Toufik [editor.] | Dagiuklas, Tasos [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
|
|
|
|
Resilient Networks and Services [electronic resource] : Second International Conference on Autonomous Infrastructure, Management and Security, AIMS 2008 Bremen, Germany, July 1-3, 2008, Proceedings / edited by David Hausheer, Schönwälder Jürgen.
by Hausheer, David [editor.] | Jürgen, Schönwälder [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
|
|
|
|
Passive and Active Network Measurement [electronic resource] : 6th International Workshop, PAM 2005, Boston, MA, USA, March 31 - April 1, 2005, Proceedings / edited by Constantinos Dovrolis.
by Dovrolis, Constantinos [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
|
|
|
|
Traffic Management and Traffic Engineering for the Future Internet [electronic resource] : First Euro-NF Workshop, FITraMEn 2008, Porto, Portugal, December 11-12, 2008, Revised Selected Papers / edited by Rui Valadas, Paulo Salvador.
by Valadas, Rui [editor.] | Salvador, Paulo [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
|
|
|
|
Computer Performance Engineering [electronic resource] : 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings / edited by Marta Beltrán, William Knottenbelt, Jeremy Bradley.
by Beltrán, Marta [editor.] | Knottenbelt, William [editor.] | Bradley, Jeremy [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
|
|
|
|
Foundational and Practical Aspects of Resource Analysis [electronic resource] : 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers / edited by Marko van Eekelen, Ugo Dal Lago.
by van Eekelen, Marko [editor.] | Dal Lago, Ugo [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
|
|
|
|
Runtime Verification [electronic resource] : 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers / edited by Martin Leucker.
by Leucker, Martin [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
|
|
|
|
Model Driven Engineering Languages and Systems [electronic resource] : 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 -- October 5, 2012, Proceedings / edited by Robert B. France, Jürgen Kazmeier, Ruth Breu, Colin Atkinson.
by France, Robert B [editor.] | Kazmeier, Jürgen [editor.] | Breu, Ruth [editor.] | Atkinson, Colin [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
|
|
|
|
Distributed Computing and Networking [electronic resource] : 11th International Conference, ICDCN 2010, Kolkata, India, January 3-6, 2010, Proceedings / edited by Krishna Kant, Sriram V. Pemmaraju, Krishna M. Sivalingam, Jie Wu.
by Kant, Krishna [editor.] | Pemmaraju, Sriram V [editor.] | Sivalingam, Krishna M [editor.] | Wu, Jie [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
|
|
|
|
Distributed Applications and Interoperable Systems [electronic resource] : 15th IFIP WG 6.1 International Conference, DAIS 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings / edited by Alysson Bessani, Sara Bouchenak.
by Bessani, Alysson [editor.] | Bouchenak, Sara [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
|
|
|
|
Advances in Information Security and Assurance [electronic resource] : Third International Conference and Workshops, ISA 2009, Seoul, Korea, June 25-27, 2009. Proceedings / edited by James (Jong Hyuk) Park, Hsiao-Hwa Chen, Mohammed Atiquzzaman, Changhoon Lee, Sang-Soo Yeo.
by Park, James (Jong Hyuk) [editor.] | Chen, Hsiao-Hwa [editor.] | Atiquzzaman, Mohammed [editor.] | Lee, Changhoon [editor.] | Yeo, Sang-Soo [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
|
|
|
|
Selected Topics in Performance Evaluation and Benchmarking [electronic resource] : 4th TPC Technology Conference, TPCTC 2012, Istanbul, Turkey, August 27, 2012, Revised Selected Papers / edited by Raghunath Nambiar, Meikel Poess.
by Nambiar, Raghunath [editor.] | Poess, Meikel [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
|
|
|
|
Data Traffic Monitoring and Analysis [electronic resource] : From Measurement, Classification, and Anomaly Detection to Quality of Experience / edited by Ernst Biersack, Christian Callegari, Maja Matijasevic.
by Biersack, Ernst [editor.] | Callegari, Christian [editor.] | Matijasevic, Maja [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
|
|
|
|
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [electronic resource] : 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006, Proceedings / edited by Johan Vounckx, Nadine Azemard, Philippe Maurine.
by Vounckx, Johan [editor.] | Azemard, Nadine [editor.] | Maurine, Philippe [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
|
|
|
|
Data Mining and Big Data [electronic resource] : Second International Conference, DMBD 2017, Fukuoka, Japan, July 27 - August 1, 2017, Proceedings / edited by Ying Tan, Hideyuki Takagi, Yuhui Shi.
by Tan, Ying [editor.] | Takagi, Hideyuki [editor.] | Shi, Yuhui [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
|
|
|
|
High Performance Computing for Computational Science - VECPAR 2012 [electronic resource] : 10th International Conference, Kope, Japan, July 17-20, 2012, Revised Selected Papers / edited by Michel Dayde, Osni Marques, Kengo Nakajima.
by Dayde, Michel [editor.] | Marques, Osni [editor.] | Nakajima, Kengo [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
|
|
|
|
Applied Parallel and Scientific Computing [electronic resource] : 11th International Conference, PARA 2012, Helsinki, Finland / edited by Pekka Manninen, Per Öster.
by Manninen, Pekka [editor.] | Öster, Per [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
|
