|
|
Measures of Complexity [electronic resource] : Festschrift for Alexey Chervonenkis / edited by Vladimir Vovk, Harris Papadopoulos, Alexander Gammerman.
by Vovk, Vladimir [editor.] | Papadopoulos, Harris [editor.] | Gammerman, Alexander [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.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
|
|
|
Horizons of the Mind. A Tribute to Prakash Panangaden [electronic resource] : Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday / edited by Franck van Breugel, Elham Kashefi, Catuscia Palamidessi, Jan Rutten.
by Breugel, Franck van [editor.] | Kashefi, Elham [editor.] | Palamidessi, Catuscia [editor.] | Rutten, Jan [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
|
|
|
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
|
|
|
Advances in the Control of Markov Jump Linear Systems with No Mode Observation [electronic resource] / by Alessandro N. Vargas, Eduardo F. Costa, Jo�ao B. R. do Val.
by Vargas, Alessandro N [author.] | Costa, Eduardo F [author.] | do Val, Jo�ao B. R [author.] | 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
|
|
|
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
|
|
|
Stochastic Methods in Fluid Mechanics [electronic resource] / edited by Sergio Chibbaro, Jean Pierre Minier.
by Chibbaro, Sergio [editor.] | Minier, Jean Pierre [editor.] | SpringerLink (Online service). Edition: 1.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Vienna : Springer Vienna : Imprint: Springer, 2014Online 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
|
|
|
Algebraic and geometric aspects of integrable systems and random matrices : [electronic resource] AMS Special Session, Algebraic and Geometric Aspects of Integrable Systems and Random Matrices, January 6-7, 2012, Boston, MA / Anton Dzhamay, Kenichi Maruno, Virgil U. Pierce, editors.
by AMS Special Session, Algebraic and Geometric Aspects of Integrable Systems and Random Matrices (2012 : Boston, Mass.) | Dzhamay, Anton, 1970- | Maruno, Ken'ichi, 1971- | Pierce, Virgil U, 1976-. Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Providence, Rhode Island : American Mathematical Society, [2013]Copyright date: �2013Online access: Contents | Contents Availability: No items available
|
|
|
Geometric and spectral analysis / [electronic resource] Pierre Albin, Dmitry Jakobson, Frederic Rochon, editors.
by Albin, Pierre, 1976- | Jakobson, Dmitry, 1970- | Rochon, Fr�ed�eric, 1978-. Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Providence, Rhode Island : Montreal, Quebec, Canada : American Mathematical Society ; Centre de Recherches Mathematiques, 2014Online access: Contents | Contents Availability: No items available
|