Results
|
|
561.
|
Verified Software: Theories, Tools, Experiments [electronic resource] : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings / by Series: Programming and Software Engineering ; 6217
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.
|
|
|
562.
|
|
|
|
563.
|
Compiler Construction [electronic resource] : 21st International Conference, CC 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings / by Series: Theoretical Computer Science and General Issues ; 7210
Edition: 1st ed. 2012.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
In:
Springer Nature eBook
Availability: No items available.
|
|
|
564.
|
|
|
|
565.
|
|
|
|
566.
|
|
|
|
567.
|
|
|
|
568.
|
|
|
|
569.
|
|
|
|
570.
|
|
|
|
571.
|
|
|
|
572.
|
|
|
|
573.
|
|
|
|
574.
|
|
|
|
575.
|
|
|
|
576.
|
|
|
|
577.
|
Applications of Declarative Programming and Knowledge Management [electronic resource] : 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 5437
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.
|
|
|
578.
|
|
|
|
579.
|
|
|
|
580.
|
|
