Results
|
|
2141.
|
|
|
|
2142.
|
|
|
|
2143.
|
|
|
|
2144.
|
|
|
|
2145.
|
|
|
|
2146.
|
|
|
|
2147.
|
|
|
|
2148.
|
|
|
|
2149.
|
|
|
|
2150.
|
|
|
|
2151.
|
|
|
|
2152.
|
|
|
|
2153.
|
Logic, Language, and Computation [electronic resource] : 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 5422
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.
|
|
|
2154.
|
|
|
|
2155.
|
|
|
|
2156.
|
|
|
|
2157.
|
|
|
|
2158.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 18th International Conference, TACAS 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 ; 7214
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.
|
|
|
2159.
|
Combinatorial Pattern Matching [electronic resource] : 21st Annual Symposium, CPM 2010, New York, NY, USA, June 21-23, 2010, Proceedings, / by Series: Theoretical Computer Science and General Issues ; 6129
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.
|
|
|
2160.
|
|
