Results
|
7381.
|
|
|
7382.
|
|
|
7383.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings / by Series: Theoretical Computer Science and General Issues ; 9583
Edition: 1st ed. 2016.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016
In:
Springer Nature eBook
Availability: No items available.
|
|
7384.
|
|
|
7385.
|
|
|
7386.
|
|
|
7387.
|
|
|
7388.
|
Applications of Evolutionary Computation [electronic resource] : EvoApplications 2011: EvoCOMPLEX, EvoGAMES, EvoIASP, EvoINTELLIGENCE, EvoNUM, and EvoSTOC, Torino, Italy, April 27-29, 2011, 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.]
- Merelo, Juan J [editor.]
- Neri, Ferrante [editor.]
- Preuss, Mike [editor.]
- Richter, Hendrik [editor.]
- Togelius, Julian [editor.]
- Yannakakis, Georgios N [editor.]
- SpringerLink (Online service)
Series: Theoretical Computer Science and General Issues ; 6624
Edition: 1st ed. 2011.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011
In:
Springer Nature eBook
Availability: No items available.
|
|
7389.
|
|
|
7390.
|
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.
|
|
7391.
|
|
|
7392.
|
|
|
7393.
|
|
|
7394.
|
Relations and Kleene Algebra in Computer Science [electronic resource] : 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009, Proceedings / by Series: Theoretical Computer Science and General Issues ; 5827
Edition: 1st ed. 2009.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009
In:
Springer Nature eBook
Availability: No items available.
|
|
7395.
|
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.
|
|
7396.
|
|
|
7397.
|
|
|
7398.
|
|
|
7399.
|
|
|
7400.
|
|