Results
|
1461.
|
|
|
1462.
|
|
|
1463.
|
|
|
1464.
|
|
|
1465.
|
|
|
1466.
|
|
|
1467.
|
|
|
1468.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6015
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.
|
|
1469.
|
|
|
1470.
|
|
|
1471.
|
|
|
1472.
|
|
|
1473.
|
|
|
1474.
|
Advances in Databases and Information Systems [electronic resource] : 13th East European Conference, ADBIS 2009, Riga, Latvia, September 7-10, 2009, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5739
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.
|
|
1475.
|
|
|
1476.
|
Pattern Recognition and Image Analysis [electronic resource] : Third Iberian Conference, IbPRIA 2007, Girona, Spain, June 6-8, 2007, Proceedings, Part I / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 4477
Edition: 1st ed. 2007.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007
In:
Springer Nature eBook
Availability: No items available.
|
|
1477.
|
|
|
1478.
|
|
|
1479.
|
|
|
1480.
|
|