| Your search for 37537 returns 2820 document(s) |
| Applying decomposition methods to crossword puzzle problems, (LNCS-Lecture Notes in Computer Science 3709) Hal 874 |
|
Author: Yaling Zheng; Berthe Y. Choueiry; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Methods for mu-calculus model checking: a tutorial, (LNCS-Lecture Notes in Computer Science 939) Hal 141 |
|
Author: E. A. Emerson; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Selling formal methods to industry, (LNCS-Lecture Notes in Computer Science 670) Hal 671-678 |
|
Author: Debora Weber-Wulff; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal methods reality check: industrial usage, (LNCS-Lecture Notes in Computer Science 670) Hal 250-267 |
|
Author: Dan Craigen; Susan Gerhart; Ted Ralston; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Interactive computer graphics: functional, procedural and device-level methods/Duncan Gillies, Peter Burger |
|
Author: Gillies, Duncan; | Call Number: 006.6 Gil i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computer methods for ordinary differential equations and differential-algebraic equations/Uri M. Ascher, Linda R. Petzold |
|
Author: Ascher, Uri M; | Call Number: 515.352 Asc c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computer methods for partial differential equations vol.1 elliptic equations and the finite-element method |
|
Author: Vichnevetsky, Robert; | Call Number: 515.353 Vic c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computer aided design of microelectronic circuits and systems: fundamentals , methods and tools/ A.F. Schwarz VOLUME 1 |
|
Author: Schwartz, A.F.; | Call Number: 621.381 Sch c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Blitzscaling : the lightning-fast path to building massively valuable companies |
|
Author: Hoffman, Reid; | Call Number: 658.4 Hof b | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Parallel random number generation: long-range correlations among multiple processors, (LNCS-Lecture Notes in Computer Science 1557) Hal 107-116 |
|
Author: Karl Entacher; Andreas Uhl; Stefan Wegenkittl; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result