Results
|
|
3541.
|
|
|
|
3542.
|
|
|
|
3543.
|
Foundations of Software Science and Computation Structures [electronic resource] : 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings / by Series: Theoretical Computer Science and General Issues ; 8412
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.
|
|
|
3544.
|
|
|
|
3545.
|
|
|
|
3546.
|
|
|
|
3547.
|
|
|
|
3548.
|
|
|
|
3549.
|
Formal Techniques for Distributed Systems [electronic resource] : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Island, June 6-9, 2011, Proceedings / by Series: Programming and Software Engineering ; 6722
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.
|
|
|
3550.
|
|
|
|
3551.
|
|
|
|
3552.
|
|
|
|
3553.
|
|
|
|
3554.
|
|
|
|
3555.
|
|
|
|
3556.
|
|
|
|
3557.
|
|
|
|
3558.
|
|
|
|
3559.
|
Combinatorial Image Analysis [electronic resource] : 15th International Workshop, IWCIA 2012, Austin, TX, USA, November 28-30, 2012, Proceedings / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 7655
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.
|
|
|
3560.
|
|
