Results
|
|
2001.
|
|
|
|
2002.
|
|
|
|
2003.
|
|
|
|
2004.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 13881
Edition: 1st ed. 2023.
Material type:  Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023
In:
Springer Nature eBook
Availability: No items available.
|
|
|
2005.
|
|
|
|
2006.
|
|
|
|
2007.
|
|
|
|
2008.
|
|
|
|
2009.
|
Logic, Language, Information, and Computation [electronic resource] : 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 13923
Edition: 1st ed. 2023.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023
In:
Springer Nature eBook
Availability: No items available.
|
|
|
2010.
|
|
|
|
2011.
|
|
|
|
2012.
|
New Trends in Database and Information Systems [electronic resource] : ADBIS 2023 Short Papers, Doctoral Consortium and Workshops: AIDMA, DOING, K-Gals, MADEISD, PeRS, Barcelona, Spain, September 4–7, 2023, Proceedings / by Series: Communications in Computer and Information Science ; 1850
Edition: 1st ed. 2023.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023
In:
Springer Nature eBook
Availability: No items available.
|
|
|
2013.
|
|
|
|
2014.
|
|
|
|
2015.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10747
Edition: 1st ed. 2018.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018
In:
Springer Nature eBook
Availability: No items available.
|
|
|
2016.
|
|
|
|
2017.
|
Privacy in Statistical Databases [electronic resource] : UNESCO Chair in Data Privacy, International Conference, PSD 2018, Valencia, Spain, September 26–28, 2018, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11126
Edition: 1st ed. 2018.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018
In:
Springer Nature eBook
Availability: No items available.
|
|
|
2018.
|
Medical Image Computing and Computer Assisted Intervention – MICCAI 2018 [electronic resource] : 21st International Conference, Granada, Spain, September 16-20, 2018, Proceedings, Part III / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 11072
Edition: 1st ed. 2018.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018
In:
Springer Nature eBook
Availability: No items available.
|
|
|
2019.
|
Medical Image Computing and Computer Assisted Intervention – MICCAI 2018 [electronic resource] : 21st International Conference, Granada, Spain, September 16-20, 2018, Proceedings, Part II / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 11071
Edition: 1st ed. 2018.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018
In:
Springer Nature eBook
Availability: No items available.
|
|
|
2020.
|
|
