|
|
|
Agent Communication [electronic resource] : International Workshop on Agent Communication, AC 2004, New York, NY, July 19, 2004 / edited by Rogier M. van Eijk, Marc-Philippe Huget, Frank Dignum.
by van Eijk, Rogier M [editor.] | Huget, Marc-Philippe [editor.] | Dignum, Frank [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
|
|
|
|
Distributed Computing - IWDC 2005 [electronic resource] : 7th International Workshop, Kharagpur, India, December 27-30, 2005, Proceedings / edited by Ajit Pal, Ajay D. Kshemkalyani, Rajeev Kumar, Arobinda Gupta.
by Pal, Ajit [editor.] | Kshemkalyani, Ajay D [editor.] | Kumar, Rajeev [editor.] | Gupta, Arobinda [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
|
|
|
|
Foundations of Software Science and Computational Structures [electronic resource] : 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 / edited by Vladimiro Sassone.
by Sassone, Vladimiro [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
|
|
|
|
Fundamentals of Computation Theory [electronic resource] : 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings / edited by Ralf Klasing, Marc Zeitoun.
by Klasing, Ralf [editor.] | Zeitoun, Marc [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Hardware and Software: Verification and Testing [electronic resource] : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings / edited by Eran Yahav.
by Yahav, Eran [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Software Process and Product Measurement [electronic resource] : International Conference, IWSM-MENSURA 2007, Palma de Mallorca, Spain, November 5-8, 2007, Revised Papers / edited by Juan J. Cuadrado-Gallego, René Braungarten, Reiner R. Dumke, Alain Abran.
by Cuadrado-Gallego, Juan J [editor.] | Braungarten, René [editor.] | Dumke, Reiner R [editor.] | Abran, Alain [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
|
|
|
|
Object-Oriented Technology. ECOOP 2004 Workshop Reader [electronic resource] : ECOOP 2004 Workshop, Oslo, Norway, June 14-18, 2004, Final Reports / edited by Jacques Malenfant, Bjarte M. Østvold.
by Malenfant, Jacques [editor.] | Østvold, Bjarte M [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
|
|
|
|
Human-Computer Interaction. Interaction Contexts [electronic resource] : 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II / edited by Masaaki Kurosu.
by Kurosu, Masaaki [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
|
|
|
|
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
|
