Results
|
961.
|
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change [electronic resource] : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I / by Series: Theoretical Computer Science and General Issues ; 8802
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.
|
|
962.
|
|
|
963.
|
Applications of Evolutionary Computation [electronic resource] : EvoApplications 2010: EvoCOMPLEX, EvoGAMES, EvoIASP, EvoINTELLIGENCE, EvoNUM, and EvoSTOC, Istanbul, Turkey, April 7-9, 2010, Proceedings, Part I / by
- Di Chio, Cecilia [editor.]
- Cagnoni, Stefano [editor.]
- Cotta, Carlos [editor.]
- Ebner, Marc [editor.]
- Ekart, Aniko [editor.]
- Esparcia-Alcázar, Anna I [editor.]
- Goh, Chi-Keong [editor.]
- Merelo, Juan J [editor.]
- Neri, Ferrante [editor.]
- Preuss, Mike [editor.]
- Togelius, Julian [editor.]
- Yannakakis, Georgios N [editor.]
- SpringerLink (Online service)
Series: Theoretical Computer Science and General Issues ; 6024
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.
|
|
964.
|
|
|
965.
|
|
|
966.
|
|
|
967.
|
|
|
968.
|
|
|
969.
|
|
|
970.
|
|
|
971.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings / by Series: Theoretical Computer Science and General Issues ; 8318
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.
|
|
972.
|
Abstract State Machines, Alloy, B, TLA, VDM, and Z [electronic resource] : 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10817
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.
|
|
973.
|
|
|
974.
|
|
|
975.
|
|
|
976.
|
|
|
977.
|
|
|
978.
|
|
|
979.
|
|
|
980.
|
Computer Algebra and Geometric Algebra with Applications [electronic resource] : 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004.Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 3519
Edition: 1st ed. 2005.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005
In:
Springer Nature eBook
Availability: No items available.
|