Welcome
Copyright © SirsiDynix. All rights reserved.
branding logo
Center Of Excellence for Jordanian Public University Library System (COE-JOPULS)
user_choices_background_image
Welcome
login container bottom
Jordanian Union Catalogue
360 Search
Search Libraries Catalogue
Duplicate Items
Add to My List

Print
Sorts and Limits

Results 1 - 6 of 6
1. Title: Computer program synthesis methodologies : proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28-October 10, 1981 / edited by Alan W. Biermann and G<U+00E9>rard Guiho.
NATO Advanced Study Institutes series. Series C, Mathematical and physical sciences ;
Author: NATO Advanced Study Institute (1981: Bonas , France)
Publication: D. Reidel Pub. Co. ; Distributed in the U.S.A. and Canada by Kluwer Boston Inc., Dordrecht, Holland ; Boston, U.S.A. : Hingham, MA : c1983.
2. Title: Formal development of programs and proofs / edited by Edsger W. Dijkstra.
The UT year of programming series
Publication: Addison-Wesley, Reading, Mass. : c1990.
3. Title: Programming Symposium; proceedings. Colloque sur la programmation, Paris, April 9-11, 1974. Edited by B. Robinet.
Lecture notes in computer science,
Lecture notes in computer science ;
Author: Programming Symposium, Paris, 1974.
Publication: Springer-Verlag, Berlin, New York, 1974.
4. Title: Problems and methodologies in mathematical software production : international seminar held at Sorrento, Italy, November 3-8, 1980 / edited by P.C. Messina and A. Murli.
Lecture notes in computer science ;
Publication: Springer-Verlag, Berlin ; New York : 1982.
5. Title: Algorithms in modern mathematics and computer science : proceedings, Urgench, Uzbek SSR, September 16-22, 1979 / edited by A.P. Ershov and D.E. Knuth.
Lecture notes in computer science ;
Publication: Springer-Verlag, Berlin ; New York : 1981.
6. Title: Algorithms and complexity : recent results and new directions : [proceedings of a Symposium on New Directions and Recent Results in Algorithms and Complexity held by the Computer Science Department, Carnegie-Mellon University, April 7-9, 1976] / edited by J. F. Traub.
Author: Symposium on New Directions and Recent Results in Algorithms and Complexity, Carnegie-Mellon University, 1976.
Publication: Academic Press, New York : 1976.
 
 
Results 1 - 6 of 6
Duplicate Items
Add to My List

Print
Sorts and Limits