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
Search Selected
Select All
<<   Previous     Next   >>
Title Main Entry Publication Date
OCCAM 2 reference manual /   1988.
OCCAM 2 reference manual /   1988.
Concurrent program structures / Bustard, David, 1949- 1988.
Structured system programming / Welsh, Jim, 1943- c1980.
Microprocessor programming and software development / Duncan, F. G. (Fraser George), 1932- c1979.
Object-oriented software construction / Meyer, Bertrand, 1950- c1988.
Object-oriented software construction / Meyer, Bertrand, 1950- c1988.
Syntax of programming languages : theory and practice / Backhouse, Roland C., 1948- c1979.
Computer science : a modern introduction / Goldschlager, L., 1951- 1988.
Programming language theory and its implementation : applicative and imperative paradigms / Gordon, Michael J. C., 1948- 1988.
Scientific applications of multiprocessors /   1989.
Mathematical theory of program correctness / Bakker, J. W. de (Jacobus Willem), 1939- c1980.
Introduction to functional programming / Bird, Richard, 1943- 1988.
Introduction to Pascal / Welsh, Jim, 1943- c1979.
Introduction to PASCAL / Elder , John 1982.
Introduction to Pascal / Welsh , Jim 1988.
Introduction to programming in Prolog / Crookes, Danny., 1956- 1988.
Mathematics for programmers / Tunnicliffe, W. R., 1945- 1991.
Mathematics for programmers / Tunnicliffe, W. R., 1945- 1991.
Programming language syntax and semantics / Watt, David A. (David Anthony) 1991.
An introduction to formal specification and Z / Potter, Ben. 1991.
High-level programmer's guide to the 68000 / McCabe, Francis G. 1992.
Mathematical logic for computer science / Ben-Ari, M., 1948- 1993.
Verifiable programming / Dahl, Ole-Johan, 1931- 1992.
Parallel numerical algorithms / Freeman, T. L. (T. Len), 1950 1992.
Introduction to the theory of programming languages / Meyer, Bertrand 1991.
Case studies in systematic software development / Jones , Cliff B. 1990.
Object-oriented databases : a semantic data model approach/ Gray, Peter M. D., 1940- 1992.
Distributed systems and computer networks / Sloman, Morris. c1987.
Computer arithmetic systems : algorithms, architecture, and implementation / Omondi, Amos R. 1994.
Principles of programming languages / Tennent, R. D., 1944- c1981.
Abstract data types and Modula­2 : a worked example of design using data abstraction / Mitchell, Richard, 1947- 1992.
Productive Prolog programming / Schnupp, Peter. 1987.
Introduction to Modula-2 / Welsh, Jim, 1943- c1987.
System development / Jackson, M. A. 1983.
Logic and objects / McCabe, F. G. (Frank G.), 1953- 1992.
High­level programmer§s guide to the 68000 / McCabe, F. G. (Frank G.), 1953- 1992.
Communication and concurrency / Milner, R. (Robin), 1934- 1989.
Finite transition systems : semantics of communicating systems / Arnold, A. (Andr<U+00E2>e), 1945­ c1994.
The theory and practice of concurrency / Roscoe, A. W. 1998.
Applications of formal methods /   1995.
From logic programming to Prolog / Apt, Krzysztof R., 1949- c1997.
Real-time systems : specification, verification, and analysis /   1996.
Programming from specifications / Morgan, Carroll, 1952- 1990.
Semantics of sequential and parallel programs / Best, Eike, 1951- 1996.
Formal specification and software development / Bj²rner, D. (Dines), 1937- c1982.
Programming in occam 2 / Jones, Geraint, 1957- 1988.
ADA : language and methodology / Watt, David A. (David Anthony) c1987.
Realtime systems / Nissanke, Nimal. 1997.
Database technology : a software engineering approach / Hughes, John G., 1953- 1988.
Database technology : a software engineering approach / Hughes, John G., 1953- 1988.
Computer science : a modern introduction/ Goldschlager,Les, 1951- 1988.
Distributed systems analysis with CCS / Bruns, Glenn. 1997.
Logic and its applications / Burke, Edmund, Ph. D. 1996.
Mathematics for computer science / Arnold, A. (Andr<U+00E2>e), 1945­ 1996.
Compiler construction : a recursive descent model / Elder, John, 1949- 1994.
Cornerstones of undecidability / Rozenberg, Grzegorz. c1994.
Introduction to the theory of complexity / Bovet, Daniel P. (Daniel Pierre) 1994.
Productive Prolog programming / Schnupp, Peter. 1987.
An introduction to formal specification and Z / Potter, Ben. 1996.
Data types and data structures / Martin, Johannes J., 1934- �1986.
Data types and data structures / Martin, Johannes J., 1934- �1986.
Programming language concepts and paradigms / Watt, David A. (David Anthony) 1990.
Programming language concepts and paradigms / Watt, David A. (David Anthony) 1990.
Principles of concurrent and distributed programming / Ben-Ari, M., 1948- 1990.
Programming : the derivation of algorithms / Kaldewaij, A. (Anne) 1990.
Computer and communication systems performance modelling / King, Peter J. B., 1952- 1990.
Implementing functional languages / Peyton Jones, Simon L., 1958- 1992.
Foundations of semantic databases / Brock, Bert de. 1995.
Introduction to Pascal / Welsh, Jim, 1943- 1988.
Systematic software development using VDM / Jones, C. B. (Cliff B.), 1944- 1990.
Object-oriented databases / Hughes, John G., 1953- c1991.
Semantics of programming languages / Tennent, R. D., 1944- 1991.
The Z notation : a reference manual / Spivey, J. M. 1992.
The Z notation : a reference manual / Spivey, J. M. 1992.
Programming language processors : compilers and interpreters / Watt, David A. (David Anthony) c1993.
Introduction to the theory of programming languages / Meyer, Bertrand, 1950- 1990.
Case studies in systematic software development /   1990.
Case studies in systematic software development /   1990.
Programming from specifications / Morgan, Carroll, 1952- 1994.
Elementary theory of structures/ Hsieh,Yuan-Yu 1982.
Digital computer engineering/ Gray, Harry Joshua, 1924. 1963.
Energy conversion./ Chang,Sheldon S. L. 1963.
Semiconductor-diode parametric amplifiers / Blackwell, Lawrence A. 1961.
Thermodynamics for engineers/ Saad, Michel Aziz, 1927. 1969.
Motion and time study : Improving productivity / Mundel, Marvin E 1988
Fundamentals of network analysis / Phillips, Don T. c1981.
Product safety management and engineering / Hammer, Willie. c1980.
Expert systems applications in engineering and manufacturing / Badiru, Adedeji Bodunde, 1952- c1992.
Queueing methods : for services and manufacturing / Hall, Randolph W., 1958- c1991.
Discrete-event system simulation / Banks, Jerry. c1996.
Project management : engineering , technology , and implementation / Shtub, Avraham 1994.
Computer-aided manufacturing / Chang, Tien-Chien, 1954- c1998.
Project management : engineering, technology, and implementation / Shtub, Avraham. c1994.
Discrete-event system simulation / Banks, Jerry. c1984.
Logistics engineering and management / Blanchard, Benjamin S. c1986.
Simulation modeling and SIMNET / Taha, Hamdy A. c1988.
Engineering economy / Thuesen, G. J., 1938- c1989.
Engineering for the control of manufacturing / Plossl, Keith R. c1987.
Occupational safety management and engineering / Hammer, Willie. c1989.
<<   Previous     Next   >>