Results
|
5921.
|
Computer aided verification : 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 proceedings / Editors:E. Allen Emerson, A. Prasad Sistla by
- CAV (Conference) (18th : 2006 : Seattle, Wash.)
- Emerson, E. Allen
- Sistla, A. Prasad
Material type: Text; Format:
microfiche
; Literary form:
Not fiction
Publication details: New York : Springer, c2000
Availability: Items available for loan: Central Library, SUST (2)Call number: 004.24 COM, ...
|
|
5922.
|
|
|
5923.
|
|
|
5924.
|
|
|
5925.
|
|
|
5926.
|
|
|
5927.
|
|
|
5928.
|
|
|
5929.
|
|
|
5930.
|
|
|
5931.
|
|
|
5932.
|
|
|
5933.
|
|
|
5934.
|
|
|
5935.
|
|
|
5936.
|
|
|
5937.
|
Formal grammar : 14th International conference, FG 2009, Bordeaux, France, July 25-26, 2009, revised selected papers / [edited by] Philippe de Groote, Markus Egg, Laura Kallemeyer. by
- De Groote, Philippe
- Egg, Markus
- Kallemeyer, Laura
Series: Lecture notes in artificial intelligence ; 5591
Edition: 1st ed.
Material type: Text; Format:
microfiche
; Literary form:
Not fiction
Publication details: New York : Springer, c2011
Availability: Items available for loan: Central Library, SUST (3)Call number: 410.72 FOR, ...
|
|
5938.
|
|
|
5939.
|
Fuzzy logic and applications : 10th International Workshop, WILF 2013, Genoa, Italy, November 19-22, 2013. Proceedings / [edited by] Francesco Masulli, Gabriella Pasi, Ronald Yager. by
- Pasi, Gabriella
- Yager, Ronald
Series: Lecture notes in artificial intelligence ; 8256
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: New york : Springer, c2013
Availability: Items available for loan: Central Library, SUST (3)Call number: 006.3 FUZ, ...
|
|
5940.
|
|