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
Logic Programming with Prolog Bramer, Max. 2005.
Logic Programming with Prolog Bramer, Max. 2013.
Logic Programs, Norms and Action Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday / Artikis, Alexander. 2012.
Logic, proof, and sets / Bittinger, Marvin L. c1982.
Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings / Grossi, Davide. 2013.
Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings /   2015.
Logic, Rationality, and Interaction 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings /   2017.
Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings / He, Xiangdong. 2009.
Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings / Ditmarsch, Hans. 2011.
Logic, Reasoning, and Rationality   2014.
Logic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday /   2015.
Logic, Rhetoric and Legal Reasoning in the Qur'an God's Arguments.   2009.
Logic, rhetoric and style/ Friedman, Norman. 1963.
Logic, semantics, metamathematics papers from 1923 to 1938. / Tarski, Alfred. 1956.
Logic, semantics, metamathematics: papers from 1923 to 1938/ Tarski, Alfred. 1956.
Logic, sets, and recursion / Causey, Robert L. c1994.
Logic synthesis and verification algorithms Hachtel, Gary D. c2002, 1996.
Logic synthesis for field-programmable gate arrays / Murgai, Rajeev, 1966- c1995.
Logic Synthesis for Finite State Machines Based on Linear Chains of States Foundations, Recent Developments and Challenges / Barkalov, Alexander. 2018.
Logic Synthesis for FPGA-Based Finite State Machines Barkalov, Alexander. 2016.
Logic Synthesis for FSM-Based Control Units Barkalov, Alexander. 2009.
Logic Synthesis for Genetic Diseases Modeling Disease Behavior Using Boolean Networks / Lin, Pey-Chang Kent. 2014.
Logic, Techniques of Formal Reasoning/ KALISH, Donald and MONTAGUE, Richard. 1964.
Logic the question of truth / Heidegger, Martin, 1889-1976. c2010.
Logic, Thought and Action VANDERVEKEN, DANIEL. 2005.
Logic-timing simulation and the degradation delay model Bellido, Manuel J., 1964- c2006.
Logic/ Salmon, Wesley. 1973.
Logic with trees an introduction to symbolic logic / Howson, Colin. 1997.
Logic as a positive science / Della Volpe, Galvano, 1895-1968. 1980.
Logica: Metodo Breve Mundici, Daniele. 2011.
Logica modernorum in Prague about 1400 the sophistria disputation 'Quoniam quatuor' (MS Cracow, Jagiellonian Library 686, FF. 1RA-79RB), with a partial reconstruction of Thomas of Cleve's Logica /   2004.
Logic, language, and meaning / Gamut, L. T. F. c1991.
Logica Universalis Towards a General Theory of Logic / Beziau, Jean-Yves. 2005.
Logica Universalis Towards a General Theory of Logic / Beziau, Jean-Yves. 2007.
Logica Volume 1 Dimostrazioni e modelli al primo ordine / Abrusci, Vito Michele. 2014.
Reasoning and concepts / Osherson, Daniel N. c1976.
Logical abilities in children, Osherson, Daniel N. 1974-1976.
Logical analysis and contemporary theism. Donnelly, John, 1941- 1972.
Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics / Platzer, André. 2010.
The logical analysis of quantum mechanics. Scheibe, Erhard. [1973]
Logical and combinatorial algorithms for drug design/ Golender,V.E. 1983.
Logical and Relational Learning Gabbay, Dov M. 2008.
The logical and set-theoretical foundations of mathematics Zulauf, Achim. [1969]
A logical Approach to Philosophy Essays in Honour of Graham Solomon / Devidi, David. 2006.
The logical approach to syntax : foundations, specifications, and implementations of theories of government and binding / Stabler, Edward P. c1992.
Logical Approaches to Computational Barriers Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings Beckmann, Arnold. 2006
Logical Aspects of Computational Linguistics 4th International Conference, LACL 2001 Le Croisic, France, June 27–29, 2001 Proceedings / Groote, Philippe. 2006.
Logical Aspects of Computational Linguistics 5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005, Proceedings Blache, Philippe. 2005
Logical Aspects of Computational Linguistics 6th International Conference, LACL 2011, Montpellier, France, June 29 – July 1, 2011. Proceedings / Pogodalla, Sylvain. 2011.
Logical Aspects of Computational Linguistics 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012. Proceedings / Béchet, Denis. 2012.
Logical Aspects of Computational Linguistics 8th International Conference, LACL 2014, Toulouse, France, June 18-20, 2014. Proceedings /   2014.
The logical basis for computer programming / Manna, Zohar. c1985­c1990.
Logical connectors in the academic writing of English-majors and engineering students at the Hashemite University / al-Shoubaki, Nancy Mahmoud Abd-ul-Kareem, 2011.
Logical connectors in the academic writing of English majors and engineering students at the Hashemite University / Alshoubaki, Nancy Mahmoud Abdul Kareem.  
The logical consistency and soundness of the balance of power theory/ Simowitz, Roslyn L. 1979.
Logical data base design / Curtice, Robert M. c1988.
Logical data base design / Curtice, Robert M. 1982.
Logical Data Modeling What it is and How to do it / Chmura, Alan. 2005.
Logical database design principles / Garmany, John. 2005.
Logical database design principles / Garmany, John. 2005.
Logical design for computers and control Dodd, K. N. (Kenneth Neilson) 1972.
Logical design of automation systems Friedman, S.B. (Miami University, Usa) 1990
Logical design of automation systems / Friedman, Sander B., 1927- c1990.
Logical design of digital systems / Friedman, Arthur D. 1977.
Logical design of digital systems Friedman, Arthur D. [1975]
The logical design of multiple-microprocessor systems / Bowen, B.a. c1980.
The logical design of operating systems / Bic, Lubomir, 1951- c1988.
The logical design of operating systems / Bic, Lubomir, 1951- c1988.
The logical design of operating systems Shaw, Alan C., 1937- [1974]
The logical design of parallel operating systems / Schrèoder-Preikschat, W. (Wolfgang) c1994.
Logical design using integrated circuits / Becher, William D., 1929- c1977.
Logical dilemmas the life and work of Kurt Gödel / Dawson, John W. (John William), 1944- c1997.
Logical Empiricism and Pragmatism   2017.
Logical empiricism in North America   c2003.
The Logical enterprise /   1975.
Logical form : its structure and derivation / May, Robert, 1951- c1985.
Logical form and language /   2002.
Logical form and language   2002
Logical form in natural language / Lycan, William G. c1984.
Logical forms : an introduction to philosophical logic / Sainsbury, R. M. (Richard Mark) 1991.
Logical foundations : essays in honour of D.J. O'Connor /   c1991.
Logical Foundations for Rule-Based Systems Ligêza, Antoni. 2006.
Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings / Artemov, Sergei N. 2007.
Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings / Artemov, Sergei. 2009.
Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings / Artemov, Sergei. 2013.
Logical foundations of functional programming /   c1990.
Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction / Pudlák, Pavel. 2013.
Logical foundations of proof complexity / Cook, Stephen, 1948- 2010.
Logical framework for projects of Al al-Bayt University submitted to The World Bank May 1997.   [19--].
Logical grammar, with special consideration of topics in context change / Ballmer, Thomas T. 1978.
LOGICAL INTRODUCATION TO DATA BASES/ GRANT,JOHN 1987
A Logical Introduction to Proof Cunningham, Daniel W. 2013.
Logical investigations / Husserl, Edmund, 1859-1938, 2001.
Logical investigations/ Husserl, Edmund, 16859-1938. 1976.
Logical investigations/ Husserl, Edmund, 1859-1938. 1976.
Logical issues in language acquisition /   1990.
Logical papers/ Leibniz, Gottfried Wilhelm, Freiherr Von, 1646-1716. 1966.
The logical part of al-Ghazali's Maqasid al-falasifa : in An anonymous Hebrew translation with the Hebrew commentary of Moses of Narbonne / Chertoff, Gershon B. 1952.
Logical pluralism Beall, J. C. 2006.
الوضعية المنطقية في الفكر العربي المعاصر / المحاريق، سامح رمضان حسن. 2012.
<<   Previous     Next   >>