|
|
|
Parallel Processing and Applied Mathematics [electronic resource] : 7th International Conference, PPAM 2007, Gdansk, Poland, September 9-12, 2007, Revised Selected papers / edited by Roman Wyrzykowski, Jack Dongarra, Konrad Karczewski, Jerzy Wasniewski.
by Wyrzykowski, Roman [editor.] | Dongarra, Jack [editor.] | Karczewski, Konrad [editor.] | Wasniewski, Jerzy [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
|
|
|
|
Machine Learning and Knowledge Discovery in Databases [electronic resource] : European Conference, ECML PKDD 2017, Skopje, Macedonia, September 18-22, 2017, Proceedings, Part II / edited by Michelangelo Ceci, Jaakko Hollmén, Ljupčo Todorovski, Celine Vens, Sašo Džeroski.
by Ceci, Michelangelo [editor.] | Hollmén, Jaakko [editor.] | Todorovski, Ljupčo [editor.] | Vens, Celine [editor.] | Džeroski, Sašo [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
|
|
|
|
Computational Topology in Image Context [electronic resource] : 7th International Workshop, CTIC 2019, Málaga, Spain, January 24-25, 2019, Proceedings / edited by Rebeca Marfil, Mariletty Calderón, Fernando Díaz del Río, Pedro Real, Antonio Bandera.
by Marfil, Rebeca [editor.] | Calderón, Mariletty [editor.] | Díaz del Río, Fernando [editor.] | Real, Pedro [editor.] | Bandera, Antonio [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
|
|
|
|
Verified Software. Theories, Tools, and Experiments [electronic resource] : 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers / edited by Ruzica Piskac, Philipp Rümmer.
by Piskac, Ruzica [editor.] | Rümmer, Philipp [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
|
|
|
|
Advances in Cryptology - ASIACRYPT 2018 [electronic resource] : 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2-6, 2018, Proceedings, Part III / edited by Thomas Peyrin, Steven Galbraith.
by Peyrin, Thomas [editor.] | Galbraith, Steven [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
|
|
|
|
Blockchain - ICBC 2019 [electronic resource] : Second International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25-30, 2019, Proceedings / edited by James Joshi, Surya Nepal, Qi Zhang, Liang-Jie Zhang.
by Joshi, James [editor.] | Nepal, Surya [editor.] | Zhang, Qi [editor.] | Zhang, Liang-Jie [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
|
|
|
|
Cloud Computing - CLOUD 2019 [electronic resource] : 12th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25-30, 2019, Proceedings / edited by Dilma Da Silva, Qingyang Wang, Liang-Jie Zhang.
by Da Silva, Dilma [editor.] | Wang, Qingyang [editor.] | Zhang, Liang-Jie [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
|
|
|
|
Monte Carlo Methods Utilizing Mathematica® [electronic resource] : Applications in Inverse Transform and Acceptance-Rejection Sampling / by Sujaul Chowdhury.
by Chowdhury, Sujaul [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
|
|
|
|
Introduction to Computation in Physical Sciences [electronic resource] : Interactive Computing and Visualization with Python™ / by Jay Wang, Adam Wang.
by Wang, Jay [author.] | Wang, Adam [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
|
|
|
|
Structured Object-Oriented Formal Language and Method [electronic resource] : 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers / edited by Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya.
by Duan, Zhenhua [editor.] | Liu, Shaoying [editor.] | Tian, Cong [editor.] | Nagoya, Fumiko [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
|
|
|
|
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
|
|
|
|
Calculus: A Modeling and Computational Thinking Approach [electronic resource] / by Eric Stade, Elisabeth Stade.
by Stade, Eric [author.] | Stade, Elisabeth [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
|
|
|
|
Introduction to Wireless Networking and Its Impact on Applications [electronic resource] / by Peter Steenkiste.
by Steenkiste, Peter [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
|
|
|
|
Algorithmic Decision Theory [electronic resource] : 6th International Conference, ADT 2019, Durham, NC, USA, October 25-27, 2019, Proceedings / edited by Saša Pekeč, Kristen Brent Venable.
by Pekeč, Saša [editor.] | Venable, Kristen Brent [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
|
|
|
|
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
|
|
|
|
Provable Security [electronic resource] : 13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1-4, 2019, Proceedings / edited by Ron Steinfeld, Tsz Hon Yuen.
by Steinfeld, Ron [editor.] | Yuen, Tsz Hon [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 Calculus [electronic resource] : A Numerical Companion to Elementary Calculus / by William C. Bauldry.
by Bauldry, William C [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
|
|
|
|
Applied Stochastic Modeling [electronic resource] / by Liliana Blanco-Castañeda, Viswanathan Arunachalam.
by Blanco-Castañeda, Liliana [author.] | Arunachalam, Viswanathan [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
|
|
|
|
Information Security Applications [electronic resource] : 20th International Conference, WISA 2019, Jeju Island, South Korea, August 21-24, 2019, Revised Selected Papers / edited by Ilsun You.
by You, Ilsun [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
|
|
|
|
Basics of Optimization Theory [electronic resource] / by Arthur David Snider.
by Snider, Arthur David [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
|
