King Saud University Libraries
Title Catalog
Formal axiology and its critics / ed. by Rem B. Edwards. -- Edwards, Rem Blanchard - 1995
Formal category theory: adjointness for 2-categories / [by] John W. Gray. -- Gray, John Walker, 1931- - 1974
Formal description of programming concepts : proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, N.B., Canada, August 1-5, 1977 / ed. by Erich J. Neuhold. -- IFIP Working Conference on Formal Description of Programming Concepts [1977 : St. Andrews, N.B.] - 1978
Formal description of programming concepts-II : proceedings / ed. by Dines Bjorner. -- IFIP TC 2 Working Conference on Formal Description of Programming Concepts-II 1982 Garmisch-Partenkirchen, FRG - 1983
Formal differentiation : a program synthesis technique / by Robert A. Paige. -- Paige, Robert - 1981
Formal ethics [electronic resource] / Harry J. Gensler. -- Gensler, Harry J., 1945- - 1996
The formal French / by W. L. Wiley. -- Wiley, William Leon - 1967
Formal grammars in linguistics and psycholinguistics / by W.J. M. Levelt. -- Levelt, W. J. M. [Willem J. M.], 1938- - 1974
Formal groups and applications / by Michiel Hazewinkel. -- Hazewinkel, Michiel - 1978
Formal groups / [by] A. Frohlich. -- Frohlich, A. [Albrecht], 1916- - 1968
Formal issues in lexical-functional grammar / ed. by Mary Dalrymple ... (et al.). -- Dalrymple, Mary - 1995
Formal knot theory / Louis H. Kauffman. -- Kauffman, Louis H. 1945- - 1983
Formal language description languages for computer programming; : proceedings. / Edited by T.B. Steel, Jr. -- IFIP Working Conference on Formal Language Description Languages [1964] : [Vienna, Austria] - 1966
Formal language theory : perspectives and open problems / ed. by Ronald V. Book. -- Book, Ronald V - 1980
Formal languages and programming : proceedings of a seminar organized by UAM-IBM Scientific Center, Madrid April 23-25, 1975 / edited by R. Aguilar. -- Aguilar, Rodolfo J - 1976
Formal logic, a scientific and social problem / by F. C. S. Schiller. -- Schiller, Ferdinand Canning Scott, 1864-1937 - 1977
Formal logic : its scope and limits / Richard Jeffrey. -- Jeffrey, Richard C - 1981
The formal method in literary scholarship : a critical introduction to sociological poetics / P. N. Medvedev, M. M. Bakhtin ; translated by Albert J. Wehrle. -- Medvedev, Pavel Nikolaevich, 1891-1938 - 1978
Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmatic and logic / by Evert William Beth. -- Beth, Evert William - 1962
Formal methods for distributed system development / edited by Tommaso Bolognesi, Diego Latella. -- Bolognesi, Tommaso - 2000
Formal methods in economic anthropology / edited by Stuart Plattner. -- Plattner, Stuart - 1975
Formal methods in policy formulation : the application of Bayesian decision analysis to the screening, structuring, optimisation and implementation of policies within complex organisations / Derek W. Bunn, Howard Thomas (ed.). -- Bunn, Derek W - 1978
Formal methods in the methodology of empirical sciences : proceedings of the Conference for Formal Methods in the Methodology of Empirical Sciences, Warsaw, June 17-21, 1974 / edited by Marian Przelecki, Klemens Szaniawski, and Ryszard Wojcicki : associate editor, Grzegorz Molinowski. -- Conference for Formal Methods in the Methodology of Empirical Sciences, Warsaw, 1974 - 1976
Formal methods of program verification and specification / H.K. Berg ... [et al.]. -- Berg, Helmut K - 1982
Formal modeling and analysis of timed systems : third international conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005 : proceedings / Paul Pettersson, Wang Yi (eds.). -- Pettersson, Paul/ Yi, Wang/ Formats 200 (2005 Uppsala, Sweden) - 2005
Formal models and practical tools for information systems design : proceedings of the IFIP TC-8 Working Conference on Formal Models and Practical Tools for Information Systems Design, Oxford, U.K., April 17-20, 1979 / edited by Hans-Jochen Schneider. -- IFIP TC-8 Working Conference on Formal Models and Practical Tools for Information Systems Design, Oxford, Eng., 1979 - 1979
Formal moduli of algebraic structures / Olav Arnfinn Laudal. -- Laudal, Olav Arnfinn - 1979
Formal number theory and computability : a workbook / by Alec Fisher. -- Fisher, Alec - 1982
Formal philosophy; selected papers of Richard Montague. / Edited and with an introd. by Richmond H. Thomason. -- Montague, Richard, 1930-1971 - 1974
Formal power series and linear systems of meromorphic ordinary differential equations [electronic resource] / Werner Balser. -- Balser, Werner, 1946- - 2000
Formal pragmatics : semantics, pragmatics, presupposition, and focus / Nirit Kadmon. -- Kadmon, Nirit - 2001
The formal principle in the novel / Austin M. Wright. -- Wright, Austin McGiffert, 1922- - 1982
Formal principles of language acquisition / Kenneth Wexler and Peter W. Culicover. -- Wexler, Kenneth - 1980
Formal semantics and pragmatics for natural language querying / James Clifford. -- Clifford, James - 1990
Formal semantics and pragmatics for natural languages / edited by F. Guenthner and S. J. Schmidt. -- Guenthner, Franz - 1979
The formal semantics mass terms / Hendrik Cornelis Bunt. -- Bunt, Hendrik Cornelis - 1981
Formal semantics of success and satisfaction / Daniel Vanderveken. -- Vanderveken, Daniel - 1991
Formal semantics : the essential readings / edited by Paul Portner and Barbara H. Partee. -- Portner, Paul - 2002
Formal set theory / G. B. Keene. -- Keene, Geoffrey Bourton - 1974
Formal software development [electronic resource] : from VDM to Java / Quentin Charatan and Aaron Kans. -- Charatan, Quentin - 2004
Formal spatial economic analysis / J.H.P. Paelinck with the assistance of J.-P. Ancot and J.H. Kuiper. -- Paelinck, Jean H. P - 1982
Formal specification and software development / Dines Bjorner and Cliff B. Jones ; in collaboration with Derek Andrews ... [et al.]. -- Bjorner, D. [Dines], 1937- - 1982
Formal specification of interactive graphics programming languages / William R. Mallgren. -- Mallgren, William R. [William Roberts] - 1983
Formal specification of programming languages : a panoramic primer / Frank G. Pagan. -- Pagan, Frank G - 1981
Formal structure in Islamic architecture of Iran and Turkistan / Klaus Herdeg. -- Herdeg, Klaus - 1990
Formal structure of electromagnetics; : general covariance and electromagnetics. / E.J. Post. -- Post, E. J - 1962
On the formal syntax of the Westgermania : papers from the "3rd Groningen Grammar Talks" Groningen, Jan. 1981 / ed. by Werner Abraham. -- Abraham, Werner - 1983
Formal syntax / edited by Peter W. Culicover, Thomas Wasow, Adrian Akmajian. -- MSSB-UC Irvine Conference on the Formal Syntax of Natural Language, Newport Beach, Calif., 1976 - 1977
Formal techniques for networked and distributed systems [electronic resource] : FORTE 2001 : IFIP TC6 WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea / edited by Myungchul Kim ... [et al.]. -- FORTE 2001 (2001 : Cheju-do, Korea) - 2001
Formal techniques in artificial intelligence : a sourcebook / ed. by Ranan B. Banerji. -- Banerji, Ranan B - 1990
Formal techniques in real-time and fault-tolerant systems / edited by H. Langmaack, W. -P. de Roever and J. Vytopil. -- International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems 3rd 1994 Lubeck, Germany - 1994
Formal techniques in real-time and fault-tolerant systems / M. Joseph (Ed.). -- Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems 1988 Warwick, U. K - 1988
Formal theories of visual perception / ed. by E. L. J. Leeuwenberg and H. F. J. M. Buffart. -- Leeuwenberg, E. L. J - 1978
A formal theory of exceptions in generative phonology / Wim Zonneveld. -- Zonneveld, Wim - 1978
Formal thought and the sciences of man / Gilles-Gaston Granger; introduction by Alexander Rosenberg. -- Granger, Gilles-Gaston - 1983
Formal verification of an operating system security kernel / Richard A. Kemmerer. -- Kemmerer, Richard A - 1982
Formaldehyde and other aldehydes / Committee on Aldehydes, Board on Toxicology and Environmental Health Hazards, Assembly of Life Sciences, National Research Council. -- Assembly of Life Sciences (U.S.). Committee on Aldehydes - 1981
Formaldehyde release from wood products / ed. by B. Meyer, B. A. Kottes Andrews and Robert M. Reinhardt. -- Meyer, Beat - 1986
Formaldehyde, toxicology, epidemiology, and mechanisms. / edited by John J. Clary, James E. Gibson, Richard S. Waritz. -- Clary, John J., 1937- - 1983
Formaldehyde / [by] J. Frederic Walker. -- Walker, Joseph Frederic, 1903- - 1975
Formale und transzendentale Logik. English / Translated by Dorion Cairns. -- Husserl, Edmund, 1859-1938 - 1974
Der Formalismus in der Ethik und die materiale Wertethik. English / [by] Max Scheler. -- Scheler, Max Ferdinand, 1874-1928 - 1973
Formalist criticism and reader-response theory [electronic resource] / Todd F. Davis and Kenneth Womack. -- Davis, Todd F., 1965- - 2002
Formalization and automatic derivation of code generators / R. G. G. Cattell. -- Cattell, Roderic Geoffrey Galton - 1982
Formalization of logic / Rudolf Carnap. -- Carnap, Rudolf,1891- - 1943
Formalization of programming concepts : international colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings / edited by J. Diaz and I. Ramos. -- International Colloquium on the Formalization of Programming Concepts [1981 : Peniscola, Spain] - 1981
Format recognition process for MARC records; : a logical design. -- United States. Library of Congress. Information Systems Office - 1970
Small format television production / by Ronald J. Compesi and Ronald E. Sherriffs. -- Compesi, Ronald J. 1949- - 1990
The formation and coalescence of drops and bubbles in liquids / by R. Jackson. -- Jackson, R - NONE
Formation and decay of excited species / Edited by C. H. Bamford and C. F. H. Tipper. -- Bamford, C. H - 1969
Formation and development of modern Korean nationalism / Shin Yong-ha. -- Yong-ha, Shin - 1990
The Formation and dynamics of galaxies : [papers from a symposium] held in Canberra, Australia, August 12-15, 1973 / edited by John R. Shakeshaft. -- Shakeshaft, John R - 1974
Formation and evolution of galaxies and large structures in the universe : proceedings / ed. by Jean Audouze and Jean Tran Thanh Van. -- NATO Advanced Study Institute on Formation and Evolution of Galaxies and Large Structures in the Universe 1983 La Plagne, France - 1984
Formation and evolution of low mass stars / ed. by A. K. Dupree and M. T. V. T. Lago. -- NATO Advanced Study Institute on Formation and Evolution of Low Mass Stars 1987 Viana do Castelo, Portugal - 1988
The formation and evolution of planetary systems / ed. by H. A. Weaver and L. Danly. -- Weaver, H. A - 1989
The formation and evolution of the French nasal vowels / Bernard L. Rochet. -- Rochet, Bernard L - 1976
Formation and management of a private company / by F. D. Head and Margaret Booth. -- Head, F. D - 1962
The formation and properties of precipitates / [by] Alan G. Walton. With a contribution by Helga Furedi. -- Walton, Alan G - 1967
Formation and trapping of free radicals / edited by Arnold M. Bass and H.P. Broida. -- Bass, Arnold M. [Arnold Marvin], 1922- - 1960
Formation and use of industrial by-products : a guide / by Albert Walter Neal. -- Neal, A. W. [Albert Walter] - 1974
La formation de educateur. -- Cousinet, Roger - 1952
La formation du Genie moderne dans l'art de l'occident, arts plastiques, art litteraire, avec 20 planches, hors texte / par Rene Schneider et Gustave Cohen. -- Schneider, Rene - 1936
Formation evaluation / compiled by Norman H. Foster and Edward A. Beaumont. -- Foster, Norman H - 1990
Formation evaluation. -- Lynch, Edward J - 1962
La formation historique du Liban politique et constitutionnel : essai de synthese / par Edmond Rabbath. -- Rabbath, Edmond - 1973
Formation invasion : with applications to measurement-while-drilling, time lapse analysis, and formation damage / Wilson C. Chin. -- Chin, Wilson C - 1995
The formation of a colonial society : Belize, from conquest to crown colony / O. Nigel Bolland. -- Bolland, O. Nigel - 1977
The formation of Croatian national identity [electronic resource] : a centuries-old dream / Alex J. Bellamy. -- Bellamy, Alex J., 1975- - 2003
The formation of English neo-classical thought / by James William Johnson. -- Johnson, James William, 1927- - 1978
Formation of Islam : Religion and Society in the Near East, 600-1800 (Themes in Islamic History). -- Berkey, Jonathan Porter - NONE
Formation of Islam : Religion and Society in the Near East, 600-1800. -- Berkey, Jonathan Porter - NONE
The formation of Islam [electronic resource] : religion and society in the Near East, 600-1800 / Jonathan P. Berkey. -- Berkey, Jonathan Porter - 2003
The formation of Islamic art. -- Grabar, Oleg - 1973
The formation of Islamic art. -- Grabar, Oleg - 1973
The formation of Islamic art. / Oleg Grabar. -- Grabar, Oleg - 1987
The formation of mineral deposits / by Alan M. Bateman. -- Bateman, Alan M - 1951
Formation of modern Syria and Iraq Eliezer Tauber. -- Tauber, Eliezer - 1995
The formation of Nabatean art : prohibition of a graven image among the Nabateans / Joseph Patrich. -- Patrich, Joseph - 1990
Formation of National Party Systems : Federalism and Party Competition in Canada, Great Britain, India, and the United States. -- Chhibber, Pradeep/ Kollman, Ken - NONE
The Formation of national States in Western Europe / edited by Charles Tilly ; contributors, Gabriel Ardant ... [et al.]. -- Tilly, Charles - 1975
