|
|
|
Automata, Languages and Programming [electronic resource] : 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II / edited by Michele Bugliesi, Bart Preneel, Vladimiro Sassone, Ingo Wegener.
by Bugliesi, Michele [editor.] | Preneel, Bart [editor.] | Sassone, Vladimiro [editor.] | Wegener, Ingo [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online 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). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial 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
|
|
|
|
Algorithms and Data Structures [electronic resource] : 18th International Symposium, WADS 2023, Montreal, QC, Canada, July 31 - August 2, 2023, Proceedings / edited by Pat Morin, Subhash Suri.
by Morin, Pat [editor.] | Suri, Subhash [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 Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Combinatorial Algorithms [electronic resource] : 26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, Revised Selected Papers / edited by Zsuzsanna Lipták, William F. Smyth.
by Lipták, Zsuzsanna [editor.] | Smyth, William F [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial 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
|
|
|
|
Algorithmic Aspects in Information and Management [electronic resource] : 13th International Conference, AAIM 2019, Beijing, China, August 6-8, 2019, Proceedings / edited by Ding-Zhu Du, Lian Li, Xiaoming Sun, Jialin Zhang.
by Du, Ding-Zhu [editor.] | Li, Lian [editor.] | Sun, Xiaoming [editor.] | Zhang, Jialin [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
|
|
|
|
Adventures Between Lower Bounds and Higher Altitudes [electronic resource] : Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthday / edited by Hans-Joachim Böckenhauer, Dennis Komm, Walter Unger.
by Böckenhauer, Hans-Joachim [editor.] | Komm, Dennis [editor.] | Unger, Walter [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
|
|
|
|
Computational Methods in Systems Biology [electronic resource] : 18th International Conference, CMSB 2020, Konstanz, Germany, September 23-25, 2020, Proceedings / edited by Alessandro Abate, Tatjana Petrov, Verena Wolf.
by Abate, Alessandro [editor.] | Petrov, Tatjana [editor.] | Wolf, Verena [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
|
|
|
|
Search-Based Software Engineering [electronic resource] : 12th International Symposium, SSBSE 2020, Bari, Italy, October 7-8, 2020, Proceedings / edited by Aldeida Aleti, Annibale Panichella.
by Aleti, Aldeida [editor.] | Panichella, Annibale [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
|
|
|
|
LATIN 2020: Theoretical Informatics [electronic resource] : 14th Latin American Symposium, São Paulo, Brazil, January 5-8, 2021, Proceedings / edited by Yoshiharu Kohayakawa, Flávio Keidi Miyazawa.
by Kohayakawa, Yoshiharu [editor.] | Miyazawa, Flávio Keidi [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
|
|
|
|
Diagrammatic Representation and Inference [electronic resource] : 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings / edited by Amrita Basu, Gem Stapleton, Sven Linker, Catherine Legg, Emmanuel Manalo, Petrucio Viana.
by Basu, Amrita [editor.] | Stapleton, Gem [editor.] | Linker, Sven [editor.] | Legg, Catherine [editor.] | Manalo, Emmanuel [editor.] | Viana, Petrucio [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 - ICCS 2022 [electronic resource] : 22nd International Conference, London, UK, June 21-23, 2022, Proceedings, Part III / edited by Derek Groen, Clélia de Mulatier, Maciej Paszynski, Valeria V. Krzhizhanovskaya, Jack J. Dongarra, Peter M. A. Sloot.
by Groen, Derek [editor.] | de Mulatier, Clélia [editor.] | Paszynski, Maciej [editor.] | Krzhizhanovskaya, Valeria V [editor.] | Dongarra, Jack J [editor.] | Sloot, Peter M. A [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
|
|
|
|
Computational Science - ICCS 2022 [electronic resource] : 22nd International Conference, London, UK, June 21-23, 2022, Proceedings, Part II / edited by Derek Groen, Clélia de Mulatier, Maciej Paszynski, Valeria V. Krzhizhanovskaya, Jack J. Dongarra, Peter M. A. Sloot.
by Groen, Derek [editor.] | de Mulatier, Clélia [editor.] | Paszynski, Maciej [editor.] | Krzhizhanovskaya, Valeria V [editor.] | Dongarra, Jack J [editor.] | Sloot, Peter M. A [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
|
|
|
|
Computational Science - ICCS 2022 [electronic resource] : 22nd International Conference, London, UK, June 21-23, 2022, Proceedings, Part I / edited by Derek Groen, Clélia de Mulatier, Maciej Paszynski, Valeria V. Krzhizhanovskaya, Jack J. Dongarra, Peter M. A. Sloot.
by Groen, Derek [editor.] | de Mulatier, Clélia [editor.] | Paszynski, Maciej [editor.] | Krzhizhanovskaya, Valeria V [editor.] | Dongarra, Jack J [editor.] | Sloot, Peter M. A [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
|
|
|
|
Structural Information and Communication Complexity [electronic resource] : 29th International Colloquium, SIROCCO 2022, Paderborn, Germany, June 27-29, 2022, Proceedings / edited by Merav Parter.
by Parter, Merav [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
|
|
|
|
Research in Computational Molecular Biology [electronic resource] : 22nd Annual International Conference, RECOMB 2018, Paris, France, April 21-24, 2018, Proceedings / edited by Benjamin J. Raphael.
by Raphael, Benjamin J [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
|
|
|
|
Approximation and Online Algorithms [electronic resource] : 16th International Workshop, WAOA 2018, Helsinki, Finland, August 23-24, 2018, Revised Selected Papers / edited by Leah Epstein, Thomas Erlebach.
by Epstein, Leah [editor.] | Erlebach, Thomas [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
|
|
|
|
Theory and Applications of Models of Computation [electronic resource] : 16th International Conference, TAMC 2020, Changsha, China, October 18-20, 2020, Proceedings / edited by Jianer Chen, Qilong Feng, Jinhui Xu.
by Chen, Jianer [editor.] | Feng, Qilong [editor.] | Xu, Jinhui [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
|
|
|
|
Algorithmic Aspects in Information and Management [electronic resource] : 14th International Conference, AAIM 2020, Jinhua, China, August 10-12, 2020, Proceedings / edited by Zhao Zhang, Wei Li, Ding-Zhu Du.
by Zhang, Zhao [editor.] | Li, Wei [editor.] | Du, Ding-Zhu [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
|
|
|
|
Graph-Theoretic Concepts in Computer Science [electronic resource] : 46th International Workshop, WG 2020, Leeds, UK, June 24-26, 2020, Revised Selected Papers / edited by Isolde Adler, Haiko Müller.
by Adler, Isolde [editor.] | Müller, Haiko [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
|
|
|
|
Reachability Problems [electronic resource] : 14th International Conference, RP 2020, Paris, France, October 19-21, 2020, Proceedings / edited by Sylvain Schmitz, Igor Potapov.
by Schmitz, Sylvain [editor.] | Potapov, Igor [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
|
