Search Result Save to File Save as CSV
Your search for 13410 returns 3462 document(s)
LISP: a gentle introduction to symbolic computation/ David S. Touretzky
Author: Touretzky, David S.; | Call Number: 005.133 Tou l | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Symbolic Dynamic Programming Within The Fluent Calculus (378-383)
Author: Axel Grobmann Steffen Holldebler Olga Skvortsova; | Call Number: SEM-306 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Guard and continuation optimization for occurrence representations of CHR, (LNCS-Lecture Notes in Computer Science 3668) Hal 83-97
Author: Jon Sneyers; Tom Schrijvers; Bart Demoen; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Stochastic binding response of laminated composite plate resting on elastic foundation with random material propeties, HAL. 185-191
Author: Achchhe Lai; Mihir V. Tadvi; | Call Number: SEM-290 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Software Engineering: Counterexample-Guided Abstraction Refinement for Symbolic Model Checking
Author: E. Clarke, [et all] | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Symbolic logic & mechanical theorem proving/Chin-Liang Chang
Author: Chang, Chin Liang; | Call Number: 511.3 Cha s | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Computer algebra symbolic and algebraic computation 2nd ed./ edited by B. Buchberger
Author: Buchberger, B.; | Call Number: 512 Buc c | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Symbolic computation: computer aided design/ editor by Encarnacao P. Hayes
Author: Encarnacao, J.; | Call Number: 620.004 Enc s | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Symbolic analysis for automated design of analog integrated circuits/Georges Gielen
Author: Gielen, Georges; | Call Number: 621.381 Gie s | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Symbolic logic and mechanical theorem proving/ Chin-Liang Chang
Author: Chang, Chin-Liang; | Call Number: 511.3 Cha s | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next