Results
|
321.
|
|
|
322.
|
|
|
323.
|
|
|
324.
|
|
|
325.
|
|
|
326.
|
|
|
327.
|
Verified Software: Theorie, Tools, Experiments [electronic resource] : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers / by Series: Programming and Software Engineering ; 8164
Edition: 1st ed. 2014.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014
In:
Springer Nature eBook
Availability: No items available.
|
|
328.
|
|
|
329.
|
|
|
330.
|
|
|
331.
|
|
|
332.
|
|
|
333.
|
Logic, Language, Information, and Computation [electronic resource] : 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10944
Edition: 1st ed. 2018.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2018
In:
Springer Nature eBook
Availability: No items available.
|
|
334.
|
|
|
335.
|
|
|
336.
|
|
|
337.
|
Conceptual Modeling – ER 2010 [electronic resource] : 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6412
Edition: 1st ed. 2010.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010
In:
Springer Nature eBook
Availability: No items available.
|
|
338.
|
|
|
339.
|
|
|
340.
|
|