Results
|
|
61.
|
|
|
|
|
62.
|
|
|
|
|
63.
|
|
|
|
|
64.
|
|
|
|
|
65.
|
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedings / edited by E. Allen Emerson, Kedar S. Namjoshi. by Series: Lecture Notes in Computer Science ; 3855
Material type:  Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: No items available.
|
|
|
66.
|
|
|
|
|
67.
|
|
|
|
|
68.
|
|
|
|
|
69.
|
|
|
|
|
70.
|
|
|
|
|
71.
|
|
|
|
|
72.
|
|
Implementation and Application of Functional Languages [electronic resource] : 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers / edited by Andrew Butterfield, Clemens Grelck, Frank Huch. by Series: Lecture Notes in Computer Science ; 4015
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.62 B88 2006.
|
|
|
73.
|
|
|
|
|
74.
|
|
|
|
|
75.
|
|
|
|
|
76.
|
|
|
|
|
77.
|
|
|
|
|
78.
|
|
|
|
|
79.
|
|
|
|
|
80.
|
|
|