|
|
|
Programming Languages and Systems [electronic resource] : 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings / edited by Gilles Barthe.
by Barthe, Gilles [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
Integrated Formal Methods [electronic resource] : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings / edited by Einar Broch Johnsen, Luigia Petre.
by Johnsen, Einar Broch [editor.] | Petre, Luigia [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings / edited by Orna Grumberg, Michael Huth.
by Grumberg, Orna [editor.] | Huth, Michael [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
|
Artificial General Intelligence [electronic resource] : 5th International Conference, AGI 2012, Oxford, UK, December 8-11, 2012. Proceedings / edited by Joscha Bach, Ben Goertzel, Matthew Iklé.
by Bach, Joscha [editor.] | Goertzel, Ben [editor.] | Iklé, Matthew [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Computer Science - ASIAN 2004, Higher Level Decision Making [electronic resource] : 9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday, Chiang Mai, Thailand, December 8-10, 2004 / edited by Michael J. Maher.
by Maher, Michael J [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
|
Embedded Computer Systems: Architectures, Modeling, and Simulation [electronic resource] : 21st International Conference, SAMOS 2021, Virtual Event, July 4-8, 2021, Proceedings / edited by Alex Orailoglu, Matthias Jung, Marc Reichenbach.
by Orailoglu, Alex [editor.] | Jung, Matthias [editor.] | Reichenbach, Marc [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
|
|
|
|
Embedded Computer Systems: Architectures, Modeling, and Simulation [electronic resource] : 20th International Conference, SAMOS 2020, Samos, Greece, July 5-9, 2020, Proceedings / edited by Alex Orailoglu, Matthias Jung, Marc Reichenbach.
by Orailoglu, Alex [editor.] | Jung, Matthias [editor.] | Reichenbach, Marc [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
|
|
|
|
Design, User Experience, and Usability [electronic resource] : 12th International Conference, DUXU 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part V / edited by Aaron Marcus, Elizabeth Rosenzweig, Marcelo M. Soares.
by Marcus, Aaron [editor.] | Rosenzweig, Elizabeth [editor.] | Soares, Marcelo M [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
|
|
|
|
Embedded Computer Systems: Architectures, Modeling, and Simulation [electronic resource] : 22nd International Conference, SAMOS 2022, Samos, Greece, July 3-7, 2022, Proceedings / edited by Alex Orailoglu, Marc Reichenbach, Matthias Jung.
by Orailoglu, Alex [editor.] | Reichenbach, Marc [editor.] | Jung, Matthias [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
|
|
|
|
Software Architecture [electronic resource] : 17th European Conference, ECSA 2023, Istanbul, Turkey, September 18-22, 2023, Proceedings / edited by Bedir Tekinerdogan, Catia Trubiani, Chouki Tibermacine, Patrizia Scandurra, Carlos E. Cuesta.
by Tekinerdogan, Bedir [editor.] | Trubiani, Catia [editor.] | Tibermacine, Chouki [editor.] | Scandurra, Patrizia [editor.] | Cuesta, Carlos E [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
|
|
|
|
Theories of Programming and Formal Methods [electronic resource] : Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday / edited by Jonathan P. Bowen, Qin Li, Qiwen Xu.
by Bowen, Jonathan P [editor.] | Li, Qin [editor.] | Xu, Qiwen [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
|
|
|
|
Service-Oriented Computing - ICSOC 2015 Workshops [electronic resource] : WESOA, RMSOC, ISC, DISCO, WESE, BSCI, FOR-MOVES, Goa, India, November 16-19, 2015, Revised Selected Papers / edited by Alex Norta, Walid Gaaloul, G. R. Gangadharan, Hoa Khanh Dam.
by Norta, Alex [editor.] | Gaaloul, Walid [editor.] | Gangadharan, G. R [editor.] | Dam, Hoa Khanh [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVII [electronic resource] / edited by Abdelkader Hameurlain, Roland Wagner.
by Hameurlain, Abdelkader [editor.] | Wagner, Roland [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Networked Systems [electronic resource] : 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19-21, 2019, Revised Selected Papers / edited by Mohamed Faouzi Atig, Alexander A. Schwarzmann.
by Atig, Mohamed Faouzi [editor.] | Schwarzmann, Alexander A [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
|
|
|
|
Transactions on Large-Scale Data- and Knowledge-Centered Systems XLIV [electronic resource] : Special Issue on Data Management - Principles, Technologies, and Applications / edited by Abdelkader Hameurlain, A Min Tjoa, Philippe Lamarre, Karine Zeitouni.
by Hameurlain, Abdelkader [editor.] | Tjoa, A Min [editor.] | Lamarre, Philippe [editor.] | Zeitouni, Karine [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Transactions on Large-Scale Data- and Knowledge-Centered Systems XLVIII [electronic resource] : Special Issue In Memory of Univ. Prof. Dr. Roland Wagner / edited by Abdelkader Hameurlain, A Min Tjoa.
by Hameurlain, Abdelkader [editor.] | Tjoa, A Min [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Cooperative Information Systems [electronic resource] : 28th International Conference, CoopIS 2022, Bozen-Bolzano, Italy, October 4-7, 2022, Proceedings / edited by Mohamed Sellami, Paolo Ceravolo, Hajo A. Reijers, Walid Gaaloul, Hervé Panetto.
by Sellami, Mohamed [editor.] | Ceravolo, Paolo [editor.] | Reijers, Hajo A [editor.] | Gaaloul, Walid [editor.] | Panetto, Hervé [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
|
|
|
|
Transactions on Large-Scale Data- and Knowledge-Centered Systems L [electronic resource] / edited by Abdelkader Hameurlain, A Min Tjoa.
by Hameurlain, Abdelkader [editor.] | Tjoa, A Min [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Visual Informatics [electronic resource] : 7th International Visual Informatics Conference, IVIC 2021, Kajang, Malaysia, November 23-25, 2021, Proceedings / edited by Halimah Badioze Zaman, Alan F. Smeaton, Timothy K. Shih, Sergio Velastin, Tada Terutoshi, Bo Nørregaard Jørgensen, Hazleen Aris, Nazrita Ibrahim.
by Badioze Zaman, Halimah [editor.] | Smeaton, Alan F [editor.] | Shih, Timothy K [editor.] | Velastin, Sergio [editor.] | Terutoshi, Tada [editor.] | Jørgensen, Bo Nørregaard [editor.] | Aris, Hazleen [editor.] | Ibrahim, Nazrita [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
|
|
|
|
Internet of Things [electronic resource] : 5th The Global IoT Summit, GIoTS 2022, Dublin, Ireland, June 20-23, 2022, Revised Selected Papers / edited by Aurora González-Vidal, Ahmed Mohamed Abdelgawad, Essaid Sabir, Sébastien Ziegler, Latif Ladid.
by González-Vidal, Aurora [editor.] | Mohamed Abdelgawad, Ahmed [editor.] | Sabir, Essaid [editor.] | Ziegler, Sébastien [editor.] | Ladid, Latif [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
|
