Your search returned 268 results. Subscribe to this search

|
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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: available online remote; 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 Book; Format: available online remote; 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