Results
|
1621.
|
|
|
1622.
|
|
|
1623.
|
Verified Software: Theories, Tools, Experiments [electronic resource] : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings / by Series: Programming and Software Engineering ; 7152
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.
|
|
1624.
|
|
|
1625.
|
|
|
1626.
|
|
|
1627.
|
|
|
1628.
|
|
|
1629.
|
|
|
1630.
|
|
|
1631.
|
Comparative Evaluation of Focused Retrieval [electronic resource] : 9th International Workshop of the Inititative for the Evaluation of XML Retrieval, INEX 2010, Vught, The Netherlands, December 13-15, 2010, The Netherlands, Revised Selected Papers / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6932
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.
|
|
1632.
|
|
|
1633.
|
|
|
1634.
|
|
|
1635.
|
|
|
1636.
|
|
|
1637.
|
|
|
1638.
|
|
|
1639.
|
|
|
1640.
|
Logic, Language, Information, and Computation [electronic resource] : 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings / by Series: Theoretical Computer Science and General Issues ; 9160
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.
|