|
|
|
Theory and Applications of Satisfiability Testing - SAT 2019 [electronic resource] : 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings / edited by Mikoláš Janota, Inês Lynce.
by Janota, Mikoláš [editor.] | Lynce, Inês [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
|
|
|
|
Stochastic Methods for Modeling and Predicting Complex Dynamical Systems [electronic resource] : Uncertainty Quantification, State Estimation, and Reduced-Order Models / by Nan Chen.
by Chen, Nan [author.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Quantum Tools for Macroscopic Systems [electronic resource] / by Fabio Bagarello, Francesco Gargano, Francesco Oliveri.
by Bagarello, Fabio [author.] | Gargano, Francesco [author.] | Oliveri, Francesco [author.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Software Technology: Methods and Tools [electronic resource] : 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15-17, 2019, Proceedings / edited by Manuel Mazzara, Jean-Michel Bruel, Bertrand Meyer, Alexander Petrenko.
by Mazzara, Manuel [editor.] | Bruel, Jean-Michel [editor.] | Meyer, Bertrand [editor.] | Petrenko, Alexander [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
|
|
|
|
Tests and Proofs [electronic resource] : 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings / edited by Dirk Beyer, Chantal Keller.
by Beyer, Dirk [editor.] | Keller, Chantal [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
|
|
|
|
Computational Science and Its Applications - ICCSA 2020 [electronic resource] : 20th International Conference, Cagliari, Italy, July 1-4, 2020, Proceedings, Part VII / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Chiara Garau, Ivan Blečić, David Taniar, Bernady O. Apduhan, Ana Maria A. C. Rocha, Eufemia Tarantino, Carmelo Maria Torre, Yeliz Karaca.
by Gervasi, Osvaldo [editor.] | Murgante, Beniamino [editor.] | Misra, Sanjay [editor.] | Garau, Chiara [editor.] | Blečić, Ivan [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | Rocha, Ana Maria A. C [editor.] | Tarantino, Eufemia [editor.] | Torre, Carmelo Maria [editor.] | Karaca, Yeliz [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
|
|
|
|
Swarm Intelligence [electronic resource] : 12th International Conference, ANTS 2020, Barcelona, Spain, October 26-28, 2020, Proceedings / edited by Marco Dorigo, Thomas Stützle, Maria J. Blesa, Christian Blum, Heiko Hamann, Mary Katherine Heinrich, Volker Strobel.
by Dorigo, Marco [editor.] | Stützle, Thomas [editor.] | Blesa, Maria J [editor.] | Blum, Christian [editor.] | Hamann, Heiko [editor.] | Heinrich, Mary Katherine [editor.] | Strobel, Volker [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
|
|
|
|
Trends in Functional Programming [electronic resource] : 23rd International Symposium, TFP 2022, Virtual Event, March 17-18, 2022, Revised Selected Papers / edited by Wouter Swierstra, Nicolas Wu.
by Swierstra, Wouter [editor.] | Wu, Nicolas [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
|
|
|
|
Databases Theory and Applications [electronic resource] : 33rd Australasian Database Conference, ADC 2022, Sydney, NSW, Australia, September 2-4, 2022, Proceedings / edited by Wen Hua, Hua Wang, Lei Li.
by Hua, Wen [editor.] | Wang, Hua [editor.] | Li, Lei [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
|
|
|
|
Verified Software. Theories, Tools and Experiments. [electronic resource] : 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers / edited by Akash Lal, Stefano Tonetta.
by Lal, Akash [editor.] | Tonetta, Stefano [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Energy Efficient Data Centers [electronic resource] : Third International Workshop, E2DC 2014, Cambridge, UK, June 10, 2014, Revised Selected Papers / edited by Sonja Klingert, Marta Chinnici, Milagros Rey Porto.
by Klingert, Sonja [editor.] | Chinnici, Marta [editor.] | Rey Porto, Milagros [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
|
|
|
|
Wireless Sensor Networks [electronic resource] : 12th European Conference, EWSN 2015, Porto, Portugal, February 9-11, 2015, Proceedings / edited by Tarek Abdelzaher, Nuno Pereira, Eduardo Tovar.
by Abdelzaher, Tarek [editor.] | Pereira, Nuno [editor.] | Tovar, Eduardo [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
|
|
|
|
Machines, Computations, and Universality [electronic resource] : 8th International Conference, MCU 2018, Fontainebleau, France, June 28-30, 2018, Proceedings / edited by Jérôme Durand-Lose, Sergey Verlan.
by Durand-Lose, Jérôme [editor.] | Verlan, Sergey [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
|
|
|
|
Applied Reconfigurable Computing [electronic resource] : 15th International Symposium, ARC 2019, Darmstadt, Germany, April 9-11, 2019, Proceedings / edited by Christian Hochberger, Brent Nelson, Andreas Koch, Roger Woods, Pedro Diniz.
by Hochberger, Christian [editor.] | Nelson, Brent [editor.] | Koch, Andreas [editor.] | Woods, Roger [editor.] | Diniz, Pedro [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
|
|
|
|
Quantum Technology and Optimization Problems [electronic resource] : First International Workshop, QTOP 2019, Munich, Germany, March 18, 2019, Proceedings / edited by Sebastian Feld, Claudia Linnhoff-Popien.
by Feld, Sebastian [editor.] | Linnhoff-Popien, Claudia [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
|
|
|
|
Distributed Computing by Mobile Entities [electronic resource] : Current Research in Moving and Computing / edited by Paola Flocchini, Giuseppe Prencipe, Nicola Santoro.
by Flocchini, Paola [editor.] | Prencipe, Giuseppe [editor.] | Santoro, Nicola [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
|
|
|
|
Computing and Software Science [electronic resource] : State of the Art and Perspectives / edited by Bernhard Steffen, Gerhard Woeginger.
by Steffen, Bernhard [editor.] | Woeginger, Gerhard [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
|
|
|
|
Genetic Programming [electronic resource] : 24th European Conference, EuroGP 2021, Held as Part of EvoStar 2021, Virtual Event, April 7-9, 2021, Proceedings / edited by Ting Hu, Nuno Lourenço, Eric Medvet.
by Hu, Ting [editor.] | Lourenço, Nuno [editor.] | Medvet, Eric [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
|
|
|
|
Computational Science and Its Applications - ICCSA 2022 Workshops [electronic resource] : Malaga, Spain, July 4-7, 2022, Proceedings, Part IV / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Ana Maria A. C. Rocha, Chiara Garau.
by Gervasi, Osvaldo [editor.] | Murgante, Beniamino [editor.] | Misra, Sanjay [editor.] | Rocha, Ana Maria A. C [editor.] | Garau, Chiara [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
|
|
|
|
Pattern Recognition and Computer Vision [electronic resource] : 4th Chinese Conference, PRCV 2021, Beijing, China, October 29 - November 1, 2021, Proceedings, Part I / edited by Huimin Ma, Liang Wang, Changshui Zhang, Fei Wu, Tieniu Tan, Yaonan Wang, Jianhuang Lai, Yao Zhao.
by Ma, Huimin [editor.] | Wang, Liang [editor.] | Zhang, Changshui [editor.] | Wu, Fei [editor.] | Tan, Tieniu [editor.] | Wang, Yaonan [editor.] | Lai, Jianhuang [editor.] | Zhao, Yao [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
|
