Results
|
|
1981.
|
|
|
|
1982.
|
|
|
|
1983.
|
|
|
|
1984.
|
|
|
|
1985.
|
|
|
|
1986.
|
|
|
|
1987.
|
|
|
|
1988.
|
|
|
|
1989.
|
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.
|
|
|
1990.
|
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.
|
|
|
1991.
|
|
|
|
1992.
|
|
|
|
1993.
|
|
|
|
1994.
|
Interactive Systems. Design, Specification, and Verification [electronic resource] : 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers / by Series: Programming and Software Engineering ; 4323
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.
|
|
|
1995.
|
|
|
|
1996.
|
|
|
|
1997.
|
|
|
|
1998.
|
|
|
|
1999.
|
|
|
|
2000.
|
|
