Your search for 27338 returns 1769 document(s) |
Principles and practice of constraint programming-CP 2005: 11th international conference, CP 2005, sitges, spain, October 2005 proceeding/ Peter Van Beek |
Author: Beek, Peter Van; | Call Number: 005.133 Bee P | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Conference record of POPL'94: 21st ACM SIGPLAN-SIGACT symposium on principles of programming languages papers presented at the symposium Portland, Oregon, January 17-21,1994 |
Call Number: SEM-198 | Type: Prosiding Seminar
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Programming F# |
Author: Smith, Chris; | Call Number: 006.7 Smi p | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Formal specification and software development/ Dines Bjorner |
Author: Bjorner, Dines; | Call Number: 004 Bjo f | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
SDL: formal object-oriented language for communicating systems |
Author: Ellsberger, Jan; | Call Number: 005.133 Ell s | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Algorithms and data structures: third workshop, WADS'93, Montreal, Canada, August 11-13, 1993 Proceeding/Frank Dehne |
Call Number: SEM-190 | Type: Prosiding Seminar
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Formal systems specification: the RPC memory specification case study/Manfred Broy |
Author: Broy, Manfred; | Call Number: 005.131 Bro f | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Scheme and the art of programming |
Author: Springer, George; | Call Number: 005.1 Spr s | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Structured programming/ O.J. Dahl |
Author: Dahl, O.J.; | Call Number: 005.1 Dah s | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Structured programming/ Welland Ray |
Author: Welland, Ray; | Call Number: 005.113 Wel s | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|