|
|
Quantitative Evaluation of Systems [electronic resource] : 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings / edited by Gethin Norman, William Sanders.
by Norman, Gethin [editor.] | Sanders, William [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems [electronic resource] : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures / edited by Marco Bernardo, Rocco De Nicola, Jane Hillston.
by Bernardo, Marco [editor.] | De Nicola, Rocco [editor.] | Hillston, Jane [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
Performance Assessment for Process Monitoring and Fault Detection Methods [electronic resource] / by Kai Zhang.
by Zhang, Kai [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2016Online access: Click here to access online Availability: No items available
|
|
|
Python for Probability, Statistics, and Machine Learning [electronic resource] / by Jos�e Unpingco.
by Unpingco, Jos�e [author.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer eBooksMaterial 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
|
|
|
Advances and Applications in Chaotic Systems [electronic resource] / edited by Sundarapandian Vaidyanathan, Christos Volos.
by Vaidyanathan, Sundarapandian [editor.] | Volos, Christos [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer eBooksMaterial 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
|
|
|
Distributed Computer and Communication Networks [electronic resource] : 18th International Conference, DCCN 2015, Moscow, Russia, October 19-22, 2015, Revised Selected Papers / edited by Vladimir Vishnevsky, Dmitry Kozyrev.
by Vishnevsky, Vladimir [editor.] | Kozyrev, Dmitry [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer eBooksMaterial 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
|
|
|
Information Technologies and Mathematical Modelling - Queueing Theory and Applications [electronic resource] : 15th International Scientific Conference, ITMM 2016, named after A.F. Terpugov, Katun, Russia, September 12-16, 2016. Proceedings / edited by Alexander Dudin, Alexander Gortsev, Anatoly Nazarov, Rafael Yakupov.
by Dudin, Alexander [editor.] | Gortsev, Alexander [editor.] | Nazarov, Anatoly [editor.] | Yakupov, Rafael [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
Web Information Retrieval [electronic resource] / by Stefano Ceri, Alessandro Bozzon, Marco Brambilla, Emanuele Della Valle, Piero Fraternali, Silvia Quarteroni.
by Ceri, Stefano [author.] | Bozzon, Alessandro [author.] | Brambilla, Marco [author.] | Della Valle, Emanuele [author.] | Fraternali, Piero [author.] | Quarteroni, Silvia [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
Software Engineering and Formal Methods [electronic resource] : SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers / edited by Domenico Bianculli, Radu Calinescu, Bernhard Rumpe.
by Bianculli, Domenico [editor.] | Calinescu, Radu [editor.] | Rumpe, Bernhard [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer eBooksMaterial 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
|
|
|
Empirical Inference [electronic resource] : Festschrift in Honor of Vladimir N. Vapnik / edited by Bernhard Sch�olkopf, Zhiyuan Luo, Vladimir Vovk.
by Sch�olkopf, Bernhard [editor.] | Luo, Zhiyuan [editor.] | Vovk, Vladimir [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
Uncertainty Reasoning for the Semantic Web II [electronic resource] : International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers / edited by Fernando Bobillo, Paulo C. G. Costa, Claudia d'Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Matthias Nickles, Michael Pool.
by Bobillo, Fernando [editor.] | Costa, Paulo C. G [editor.] | d'Amato, Claudia [editor.] | Fanizzi, Nicola [editor.] | Laskey, Kathryn B [editor.] | Laskey, Kenneth J [editor.] | Lukasiewicz, Thomas [editor.] | Nickles, Matthias [editor.] | Pool, Michael [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
Computer Networks [electronic resource] : 22nd International Conference, CN 2015, Brun�ow, Poland, June 16-19, 2015. Proceedings / edited by Piotr Gaj, Andrzej Kwiecień, Piotr Stera.
by Gaj, Piotr [editor.] | Kwiecień, Andrzej [editor.] | Stera, Piotr [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
Formal Methods for Multicore Programming [electronic resource] : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures / edited by Marco Bernardo, Einar Broch Johnsen.
by Bernardo, Marco [editor.] | Johnsen, Einar Broch [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
Practitioner's Knowledge Representation [electronic resource] : A Pathway to Improve Software Effort Estimation / by Emilia Mendes.
by Mendes, Emilia [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
Intelligent Data Analysis [electronic resource] : An Introduction / edited by Michael R. Berthold, David J Hand.
by Berthold, Michael R [editor.] | Hand, David J [editor.] | SpringerLink (Online service). Edition: 2nd ed. 2003.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003Online access: Click here to access online Availability: No items available
|
|
|
Applications of Machine Learning [electronic resource] / edited by Prashant Johri, Jitendra Kumar Verma, Sudip Paul.
by Johri, Prashant [editor.] | Verma, Jitendra Kumar [editor.] | Paul, Sudip [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
Mixture Models and Applications [electronic resource] / edited by Nizar Bouguila, Wentao Fan.
by Bouguila, Nizar [editor.] | Fan, Wentao [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
Probabilistic Cellular Automata [electronic resource] : Theory, Applications and Future Perspectives / edited by Pierre-Yves Louis, Francesca R. Nardi.
by Louis, Pierre-Yves [editor.] | Nardi, Francesca R [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
|
|
|
Reliability and Statistical Computing [electronic resource] : Modeling, Methods and Applications / edited by Hoang Pham.
by Pham, Hoang [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
Network Reliability [electronic resource] : A Lecture Course / by Ilya Gertsbakh, Yoseph Shpungin.
by Gertsbakh, Ilya [author.] | Shpungin, Yoseph [author.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|