Results
|
|
|
|
|
|
|
|
|
|
|
Dependable software engineering: theories, tools, and applications: third international symposium, SETTA, proceedings, Changsha, China, Oct. 23-25, 2017 (e-book) by Larsen, Kim Guldstrand [Editor] | Sokolsky, Oleg [Editor] | Wang, Ji [Editor]. Series: Lecture notes in computer science ; v.10606Material type:  Text; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Cham Springer 2017Online access: DOI URL Availability: Items available for reference: Online (1) .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Verification, model checking, and abstract interpretation: 18th international conference, VMCAI, proceedings, Paris, France, Jan. 15–17, 2017 (e-book) by Bouajjani, Ahmed [Editor] | Monniaux, David [Editor]. Series: Lecture notes in computer science ; v.10145Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Cham Springer 2017Online access: DOI URL Availability: Items available for reference: Online (1) .
|
|
|
|
Artificial general intelligence : 9th international conference, AGI, proceedings, New York, NY, USA, July 16-19, 2016 (e-book) by Steunebrink, Bas [Editor] | Wang, Pei [Editor] | Goertzel, Ben [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.9782 Language: English Publication details: Berlin Springer 2016Online access: Click here to access online Availability: Items available for reference: Online (1) .
|
|
|
|
|
|
|
|
|
