Results
|
|
1041.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / by Series: Theoretical Computer Science and General Issues ; 9035
Edition: 1st ed. 2015.
Material type:  Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015
In:
Springer Nature eBook
Availability: No items available.
|
|
|
1042.
|
|
|
|
1043.
|
|
|
|
1044.
|
|
|
|
1045.
|
|
|
|
1046.
|
|
|
|
1047.
|
|
|
|
1048.
|
|
|
|
1049.
|
|
|
|
1050.
|
|
|
|
1051.
|
|
|
|
1052.
|
|
|
|
1053.
|
|
|
|
1054.
|
Compiler Construction [electronic resource] : 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings / by Series: Theoretical Computer Science and General Issues ; 5501
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.
|
|
|
1055.
|
|
|
|
1056.
|
|
|
|
1057.
|
Algorithmic Aspects in Information and Management [electronic resource] : 5th International Conference, AAIM 2009, San Francisco, CA, USA, June 15-17, 2009, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5564
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.
|
|
|
1058.
|
|
|
|
1059.
|
|
|
|
1060.
|
|
