Your search returned 13673 results. Subscribe to this search

|
Generative and Transformational Techniques in Software Engineering II [electronic resource] : International Summer School, GTTSE 2007, Braga, Portugal, July 2-7. 2007, Revised Papers / edited by Ralf Lämmel, Joost Visser, João Saraiva.

by Lämmel, Ralf [editor.] | Visser, Joost [editor.] | Saraiva, João [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available

Transactions on Aspect-Oriented Software Development IX [electronic resource] / edited by Gary T. Leavens, Shigeru Chiba, Michael Haupt, Klaus Ostermann, Eric Wohlstadter.

by Leavens, Gary T [editor.] | Chiba, Shigeru [editor.] | Haupt, Michael [editor.] | Ostermann, Klaus [editor.] | Wohlstadter, Eric [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available

The Disappearing Computer [electronic resource] : Interaction Design, System Infrastructures and Applications for Smart Environments / edited by Norbert Streitz, Achilles Kameas, Irene Mavrommati.

by Streitz, Norbert [editor.] | Kameas, Achilles [editor.] | Mavrommati, Irene [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available

Algorithm Engineering [electronic resource] : Bridging the Gap Between Algorithm Theory and Practice / edited by Matthias Müller-Hannemann, Stefan Schirra.

by Müller-Hannemann, Matthias [editor.] | Schirra, Stefan [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available

Algebraic Foundations in Computer Science [electronic resource] : Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement / edited by Werner Kuich, George Rahonis.

by Kuich, Werner [editor.] | Rahonis, George [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available

Transactions on Data Hiding and Multimedia Security X [electronic resource] / edited by Yun Q. Shi.

by Shi, Yun Q [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial 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

Transactions on Petri Nets and Other Models of Concurrency IX [electronic resource] / edited by Maciej Koutny, Serge Haddad, Alex Yakovlev.

by Koutny, Maciej [editor.] | Haddad, Serge [editor.] | Yakovlev, Alex [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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

Transactions on Computational Systems Biology X [electronic resource] / edited by Corrado Priami, Falko Dressler, Ozgur B. Akan, Alioune Ngom.

by Priami, Corrado [editor.] | Dressler, Falko [editor.] | Akan, Ozgur B [editor.] | Ngom, Alioune [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available

Security Protocols XXV [electronic resource] : 25th International Workshop, Cambridge, UK, March 20-22, 2017, Revised Selected Papers / edited by Frank Stajano, Jonathan Anderson, Bruce Christianson, Vashek Matyáš.

by Stajano, Frank [editor.] | Anderson, Jonathan [editor.] | Christianson, Bruce [editor.] | Matyáš, Vashek [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available

Web and Big Data [electronic resource] : 6th International Joint Conference, APWeb-WAIM 2022, Nanjing, China, November 25-27, 2022, Proceedings, Part II / edited by Bohan Li, Lin Yue, Chuanqi Tao, Xuming Han, Diego Calvanese, Toshiyuki Amagasa.

by Li, Bohan [editor.] | Yue, Lin [editor.] | Tao, Chuanqi [editor.] | Han, Xuming [editor.] | Calvanese, Diego [editor.] | Amagasa, Toshiyuki [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available

Transactions on Computational Collective Intelligence XXXVII [electronic resource] / edited by Ngoc Thanh Nguyen, Ryszard Kowalczyk, Jacek Mercik, Anna Motylska-Kuźma.

by Nguyen, Ngoc Thanh [editor.] | Kowalczyk, Ryszard [editor.] | Mercik, Jacek [editor.] | Motylska-Kuźma, Anna [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available

Graph-Theoretic Concepts in Computer Science [electronic resource] : 48th International Workshop, WG 2022, Tübingen, Germany, June 22-24, 2022, Revised Selected Papers / edited by Michael A. Bekos, Michael Kaufmann.

by Bekos, Michael A [editor.] | Kaufmann, Michael [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available

Transactions on Computational Collective Intelligence XXXI [electronic resource] / edited by Ngoc Thanh Nguyen, Richard Kowalczyk, Jacek Mercik, Anna Motylska-Kuźma.

by Nguyen, Ngoc Thanh [editor.] | Kowalczyk, Richard [editor.] | Mercik, Jacek [editor.] | Motylska-Kuźma, Anna [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available

Automated Technology for Verification and Analysis [electronic resource] : 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II / edited by Étienne André, Jun Sun.

by André, Étienne [editor.] | Sun, Jun [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available

Composability, Comprehensibility and Correctness of Working Software [electronic resource] : 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers / edited by Zoltán Porkoláb, Viktória Zsók.

by Porkoláb, Zoltán [editor.] | Zsók, Viktória [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available

Logic-Based Program Synthesis and Transformation [electronic resource] : 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings / edited by Robert Glück, Bishoksan Kafle.

by Glück, Robert [editor.] | Kafle, Bishoksan [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available

Rules and Reasoning [electronic resource] : 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings / edited by Anna Fensel, Ana Ozaki, Dumitru Roman, Ahmet Soylu.

by Fensel, Anna [editor.] | Ozaki, Ana [editor.] | Roman, Dumitru [editor.] | Soylu, Ahmet [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available

Recent Trends in Algebraic Development Techniques [electronic resource] : 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers / edited by Alexandre Madeira, Manuel A. Martins.

by Madeira, Alexandre [editor.] | Martins, Manuel A [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available

The Semantic Web: ESWC 2023 Satellite Events [electronic resource] : Hersonissos, Crete, Greece, May 28 - June 1, 2023, Proceedings / edited by Catia Pesquita, Hala Skaf-Molli, Vasilis Efthymiou, Sabrina Kirrane, Axel Ngonga, Diego Collarana, Renato Cerqueira, Mehwish Alam, Cassia Trojahn, Sven Hertling.

by Pesquita, Catia [editor.] | Skaf-Molli, Hala [editor.] | Efthymiou, Vasilis [editor.] | Kirrane, Sabrina [editor.] | Ngonga, Axel [editor.] | Collarana, Diego [editor.] | Cerqueira, Renato [editor.] | Alam, Mehwish [editor.] | Trojahn, Cassia [editor.] | Hertling, Sven [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available

Information and Communications Security [electronic resource] : 25th International Conference, ICICS 2023, Tianjin, China, November 18-20, 2023, Proceedings / edited by Ding Wang, Moti Yung, Zheli Liu, Xiaofeng Chen.

by Wang, Ding [editor.] | Yung, Moti [editor.] | Liu, Zheli [editor.] | Chen, Xiaofeng [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available