|
|
|
Formal Methods [electronic resource] : 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings / edited by Marieke Huisman, Corina Păsăreanu, Naijun Zhan.
by Huisman, Marieke [editor.] | Păsăreanu, Corina [editor.] | Zhan, Naijun [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
|
|
|
|
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 23rd International Symposium, SSS 2021, Virtual Event, November 17-20, 2021, Proceedings / edited by Colette Johnen, Elad Michael Schiller, Stefan Schmid.
by Johnen, Colette [editor.] | Schiller, Elad Michael [editor.] | Schmid, Stefan [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
|
|
|
|
Formal Aspects of Component Software [electronic resource] : 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings / edited by Gwen Salaün, Anton Wijs.
by Salaün, Gwen [editor.] | Wijs, Anton [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
|
|
|
|
Logic-Based Program Synthesis and Transformation [electronic resource] : 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings / edited by Emanuele De Angelis, Wim Vanhoof.
by De Angelis, Emanuele [editor.] | Vanhoof, Wim [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
|
|
|
|
Database Systems for Advanced Applications. DASFAA 2022 International Workshops [electronic resource] : BDMS, BDQM, GDMA, IWBT, MAQTDS, and PMBD, Virtual Event, April 11-14, 2022, Proceedings / edited by Uday Kiran Rage, Vikram Goyal, P. Krishna Reddy.
by Rage, Uday Kiran [editor.] | Goyal, Vikram [editor.] | Reddy, P. Krishna [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
|
|
|
|
NASA Formal Methods [electronic resource] : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings / edited by Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez.
by Deshmukh, Jyotirmoy V [editor.] | Havelund, Klaus [editor.] | Perez, Ivan [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
|
|
|
|
Parallel and Distributed Computing, Applications and Technologies [electronic resource] : 22nd International Conference, PDCAT 2021, Guangzhou, China, December 17-19, 2021, Proceedings / edited by Hong Shen, Yingpeng Sang, Yong Zhang, Nong Xiao, Hamid R. Arabnia, Geoffrey Fox, Ajay Gupta, Manu Malek.
by Shen, Hong [editor.] | Sang, Yingpeng [editor.] | Zhang, Yong [editor.] | Xiao, Nong [editor.] | Arabnia, Hamid R [editor.] | Fox, Geoffrey [editor.] | Gupta, Ajay [editor.] | Malek, Manu [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
|
|
|
|
Performance Evaluation and Benchmarking [electronic resource] : 14th TPC Technology Conference, TPCTC 2022, Sydney, NSW, Australia, September 5, 2022, Revised Selected Papers / edited by Raghunath Nambiar, Meikel Poess.
by Nambiar, Raghunath [editor.] | Poess, Meikel [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
|
|
|
|
Structured Object-Oriented Formal Language and Method [electronic resource] : 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers / edited by Shaoying Liu, Zhenhua Duan, Ai Liu.
by Liu, Shaoying [editor.] | Duan, Zhenhua [editor.] | Liu, Ai [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 International Publishing : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Computational Science and Its Applications -- ICCSA 2012 [electronic resource] : 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part II / edited by Beniamino Murgante, Osvaldo Gervasi, Sanjay Misra, Nadia Nedjah, Ana Maria Alves Coutinho Rocha, David Taniar, Bernady O. Apduhan.
by Murgante, Beniamino [editor.] | Gervasi, Osvaldo [editor.] | Misra, Sanjay [editor.] | Nedjah, Nadia [editor.] | Rocha, Ana Maria Alves Coutinho [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [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
|
|
|
|
Logic, Language and Meaning [electronic resource] : 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers / edited by Maria Aloni, Harald Bastiaanse, Tikitu de Jager, Katrin Schulz.
by Aloni, Maria [editor.] | Bastiaanse, Harald [editor.] | de Jager, Tikitu [editor.] | Schulz, Katrin [editor.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
|
Multi-Agent-Based Simulation XI [electronic resource] : International Workshop, MABS 2010, Toronto, Canada, May 11, 2010, Revised Selected Papers / edited by Tibor Bosse, Armando Geller, Catholijn M. Jonker.
by Bosse, Tibor [editor.] | Geller, Armando [editor.] | Jonker, Catholijn M [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
|
|
|
|
SOFSEM 2013: Theory and Practice of Computer Science [electronic resource] : 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013, Proceedings / edited by Peter van Emde Boas, Frans C.A. Groen, Giuseppe F. Italiano, Jerzy Nawrocki, Harald Sack.
by van Emde Boas, Peter [editor.] | Groen, Frans C.A [editor.] | Italiano, Giuseppe F [editor.] | Nawrocki, Jerzy [editor.] | Sack, Harald [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
|
|
|
|
Computational Science and Its Applications - ICCSA 2016 [electronic resource] : 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part V / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Ana Maria A.C. Rocha, Carmelo M. Torre, David Taniar, Bernady O. Apduhan, Elena Stankova, Shangguang Wang.
by Gervasi, Osvaldo [editor.] | Murgante, Beniamino [editor.] | Misra, Sanjay [editor.] | Rocha, Ana Maria A.C [editor.] | Torre, Carmelo M [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | Stankova, Elena [editor.] | Wang, Shangguang [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
|
|
|
|
Recent Trends in Algebraic Development Techniques [electronic resource] : 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers / edited by José Luiz Fiadeiro, Pierre-Yves Schobbens.
by Fiadeiro, José Luiz [editor.] | Schobbens, Pierre-Yves [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
|
|
|
|
Advances in Visual Computing [electronic resource] : Second International Symposium, ISVC 2006, Lake Tahoe, NV, USA, November 6-8, 2006, Proceedings, Part I / edited by Richard Boyle, Bahram Parvin, Darko Koracin, Ara Nefian, Gopi Meenakshisundaram, Valerio Pascucci, Jiri Zara, Jose Molineros, Holger Theisel, Tom Malzbender.
by Boyle, Richard [editor.] | Parvin, Bahram [editor.] | Koracin, Darko [editor.] | Nefian, Ara [editor.] | Meenakshisundaram, Gopi [editor.] | Pascucci, Valerio [editor.] | Zara, Jiri [editor.] | Molineros, Jose [editor.] | Theisel, Holger [editor.] | Malzbender, Tom [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
|
|
|
|
SDL 2015: Model-Driven Engineering for Smart Cities [electronic resource] : 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings / edited by Joachim Fischer, Markus Scheidgen, Ina Schieferdecker, Rick Reed.
by Fischer, Joachim [editor.] | Scheidgen, Markus [editor.] | Schieferdecker, Ina [editor.] | Reed, Rick [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
On the Move to Meaningful Internet Systems. OTM 2017 Workshops [electronic resource] : Confederated International Workshops, EI2N, FBM, ICSP, Meta4eS, OTMA 2017 and ODBASE Posters 2017, Rhodes, Greece, October 23-28, 2017, Revised Selected Papers / edited by Christophe Debruyne, Hervé Panetto, Georg Weichhart, Peter Bollen, Ioana Ciuciu, Maria-Esther Vidal, Robert Meersman.
by Debruyne, Christophe [editor.] | Panetto, Hervé [editor.] | Weichhart, Georg [editor.] | Bollen, Peter [editor.] | Ciuciu, Ioana [editor.] | Vidal, Maria-Esther [editor.] | Meersman, Robert [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
|
|
|
|
Future Data and Security Engineering [electronic resource] : 4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 - December 1, 2017, Proceedings / edited by Tran Khanh Dang, Roland Wagner, Josef Küng, Nam Thoai, Makoto Takizawa, Erich J. Neuhold.
by Dang, Tran Khanh [editor.] | Wagner, Roland [editor.] | Küng, Josef [editor.] | Thoai, Nam [editor.] | Takizawa, Makoto [editor.] | Neuhold, Erich J [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
|
|
|
|
Risks and Security of Internet and Systems [electronic resource] : 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers / edited by Nora Cuppens, Frédéric Cuppens, Jean-Louis Lanet, Axel Legay, Joaquin Garcia-Alfaro.
by Cuppens, Nora [editor.] | Cuppens, Frédéric [editor.] | Lanet, Jean-Louis [editor.] | Legay, Axel [editor.] | Garcia-Alfaro, Joaquin [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
|
