|
|
|
Formal problems in Semitic phonology and morphology /
|
McCarthy, John Joseph III.
|
1982.
|
|
|
Formal properties of measurement constructions
|
Nakanishi, Kimiko, 1975-
|
c2007.
|
|
|
Formal Refinement for Operating System Kernels
|
Craig, Iain D.
|
2007
|
|
|
Formal rhythmics/
|
Koster, Jan Peiter.
|
198-.
|
|
|
Formal semantics : an introduction /
|
Cann, Ronnie.
|
1993.
|
|
|
Formal semantics : the essential readings /
|
|
c2002.
|
|
|
Formal semantics and pragmatics for natural languages /
|
|
c1979.
|
|
|
Formal semantics of natural language : papers from a colloquium sponsored by the King's College Research Centre, Cambridge /
|
Cambridge Colloquium on Formal Semantics of Natural Language, 1973.
|
1975.
|
|
|
The formal semantics of programming languages : an introduction /
|
Winskel, G. (Glynn)
|
c1993.
|
|
|
Formal semantics: The essential readings
|
Portner, P.
|
|
|
|
Formal sociology : the sociology of Georg Simmel /
|
|
c1991.
|
|
|
Formal software development from VDM to Java /
|
Charatan, Quentin.
|
2004.
|
|
|
Formal spatial economic analysis /
|
Paelinck, Jean H. P.
|
c1983.
|
|
|
Formal specification and software development /
|
Bj²rner, D. (Dines), 1937-
|
c1982.
|
|
|
Formal Specification Level Concepts, Methods, and Algorithms /
|
Soeken, Mathias.
|
2015.
|
|
|
Formal specification method for Gaia methodology /
|
Obidat, Laith H.,
|
2016.
|
|
|
Formal specification method for prometheus methodology /
|
Al- Nsour, Qusai Abdelraheem abdelrahman
|
|
|
|
Formal specification of interactive graphics programming languages /
|
Mallgren, William R. (William Roberts)
|
c1983.
|
|
|
Formal specification of mobile IP using mobile Z /
|
al-Bishtawi, Tariq Husayn M.
|
|
|
|
Formal specification of programming languages : a panoramic primer /
|
Pagan, Frank G.
|
c1981.
|
|
|
Formal specification using Z /
|
Lightfoot, David
|
1991.
|
|
|
Formal specification using z/
|
Lightfoot, David.
|
1991.
|
|
|
Formal SQL Tuning for Oracle Databases Practical Efficiency - Efficient Practice /
|
Nossov, Leonid.
|
2016.
|
|
|
أثر شكلية عقد الشركة التجارية على الشركاء والغير /
|
الدليجم، موفق علي خلف.
|
2014.
|
|
|
أثر شكلية عقد الشركة التجارية على الشركاء والغير
|
الدليجم، موفق علي خلف.
|
[20--].
|
|
|
Formal structure in Indian architecture /
|
Herdeg, Klaus.
|
1990.
|
|
|
Formal structure in Indian architecture /
|
Herdeg, Klaus.
|
1967.
|
|
|
Formal structure in Islamic architecture of Iran and Turkistan /
|
Herdeg, Klaus.
|
1990.
|
|
|
Formal syntax /
|
Culicover, Peter W.
|
1977.
|
|
|
Formal syntax and semantics of programming languages : a laboratory based approach /
|
Slonneger, Kenneth.
|
c1995.
|
|
|
Formal syntax/
|
Culicover, Peter W.
|
1977.
|
|
|
Formal System Verification State-of the-Art and Future Trends /
|
|
2018.
|
|
|
Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September
|
Bravetti, Mario.
|
2005
|
|
|
Formal Techniques for Distributed Objects, Components, and Systems 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings /
|
|
2014.
|
|
|
Formal Techniques for Distributed Objects, Components, and Systems 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings /
|
|
2015.
|
|
|
Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings /
|
|
2017.
|
|
|
Formal Techniques for Distributed Systems Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings /
|
Lee, David.
|
2009.
|
|
|
Formal Techniques for Distributed Systems Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings /
|
Hatcliff, John.
|
2010.
|
|
|
Formal Techniques for Distributed Systems Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings /
|
Bruni, Roberto.
|
2011.
|
|
|
Formal Techniques for Distributed Systems Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings /
|
Giese, Holger.
|
2012.
|
|
|
Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings /
|
Beyer, Dirk.
|
2013.
|
|
|
Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings
|
Wang, Farn.
|
2005
|
|
|
Formal Techniques for Networked and Distributed Systems - FORTE 2006 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings
|
Najm, Elie.
|
2006
|
|
|
Formal Techniques for Networked and Distributed Systems – FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings /
|
Derrick, John.
|
2007.
|
|
|
Formal techniques for networked and distributed systems FORTE 2001 : IFIP TC6 WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea /
|
FORTE 2001 (2001 : Cheju-do, Korea)
|
c2001.
|
|
|
Formal techniques for networked and distributed systems--FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings /
|
FORTE 2002 (2002 : Houston, Tex.)
|
2002.
|
|
|
Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers /
|
|
2016.
|
|
|
Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers /
|
|
2017.
|
|
|
Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers /
|
|
2014.
|
|
|
Formal Techniques for Safety-Critical Systems Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers /
|
|
2015.
|
|
|
Formal techniques in artificial intelligence : a sourcebook /
|
|
1990.
|
|
|
Formal theories in international relations /
|
Nicholson, Michael, 1933-
|
1989.
|
|
|
Formal Theories of Information From Shannon to Semantic Information Theory and General Concepts of Information /
|
Sommaruga, Giovanni.
|
2009.
|
|
|
Formal theories of visual perception /
|
|
c1978.
|
|
|
Formal theories of visual perception /
|
Leeuwenberg, Emanuel Laurens Jan
|
1978.
|
|
|
Formal thought and the sciences of man /
|
Granger, Gilles-Gaston.
|
c1983.
|
|
|
Formal to Practical Security Papers Issued from the 2005-2008 French-Japanese Collaboration /
|
Cortier, Véronique.
|
2009.
|
|
|
Formal verification of circuits /
|
DRECHSLER , Rolf
|
2000.
|
|
|
Formal verification of hardware design /
|
Y-li, Michael
|
1990.
|
|
|
Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers /
|
Beckert, Bernhard.
|
2011.
|
|
|
Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers /
|
Beckert, Bernhard.
|
2012.
|
|
|
Formaldehyde.
|
|
1989.
|
|
|
Formaldehyde /
|
Walker, J. Frederic (Joseph Frederic), 1903-
|
1975 [c1964]
|
|
|
Formaldehyde /
|
|
2002.
|
|
|
Formaldehyde /
|
Walker, Joseph Frederic
|
1964.
|
|
|
Formaldehyde, 2-Butoxyethanol and 1-tert-Butoxypropan-2-ol.
|
IARC Working Group on the Evaluation of Carcinogenic Risks to Humans
|
2006.
|
|
|
Formaldehyde sensitivity and toxicity /
|
|
c1988.
|
|
|
Formaldehyde toxicity /
|
|
c1983.
|
|
|
A history of formal logic,
|
Bochenski, Joseph M., 1902-
|
[1970]
|
|
|
Formalisation mathematique et science economique/
|
Mihoubi, Fahima.
|
1991.
|
|
|
Formalism and Marxism /
|
Bennett, Tony, 1947-
|
1979.
|
|
|
Formalism and the Freudian aesthetic : the example of Charles Mauron /
|
Hutcheon, Linda, 1947-
|
1984.
|
|
|
Formalisms for Reuse and Systems Integration
|
|
2015.
|
|
|
The Formalisms of Quantum Mechanics An Introduction /
|
David, Francois.
|
2015.
|
|
|
Formalist criticism and reader-response theory
|
Davis, Todd F., 1965-
|
2002.
|
|
|
Formality Theory From Poisson Structures to Deformation Quantization /
|
Esposito, Chiara.
|
2015.
|
|
|
Formalizing Data-Centric Web Services
|
Saleh, Iman.
|
2015.
|
|
|
Formalizing Medieval Logical Theories Suppositio, Consequentiae and Obligationes /
|
Dutilh Novaes, Catarina.
|
2007.
|
|
|
Formalizing the Shadow Economy in Serbia Policy Measures and Growth Effects /
|
|
2015.
|
|
|
Formally p-adic fields /
|
Prestel, A. (Alexander), 1941-
|
1984.
|
|
|
The formal method in literary scholarship : a critical introduction to sociological poetics /
|
Medvedev, P. N. (Pavel Nikolaevich), 1891-1938.
|
1985.
|
|
|
The formal method in literary scholarship : a critical introduction to sociological poetics /
|
Medvedev, P. N. (Pavel Nikolaevich), 1891-1938.
|
c1978.
|
|
|
The formal method in literary scholarship : a critical introduction to sociological poetics /
|
Medvedev, P. N. (Pavel Nikolaevich), 1891-1938.
|
1985.
|
|
|
Formanifera/
|
Haynes, John R.
|
1981.
|
|
|
Formant music synthesiser : description, design, construction and introduction to playing techniques /
|
Chapman, C.
|
1981, �1979.
|
|
|
أشكال الوساطة بين الثقافات : الترجمة التحريرية والشفوية في الخدمات العامة ومعطيات ومواقف ومماراسات /
|
غارثيس، كارمن باليرو
|
2015
|
|
|
Differential forms and applications /
|
Carmo, Manfredo Perdigنao do.
|
c1994.
|
|
|
Des Colonies françaises : abolition immédiate de l'esclavage /
|
Schoelcher, Victor, 1804-1893.
|
1998.
|
|
|
Format /
|
Ambrose, Gavin.
|
c2005.
|
|
|
Des Colonies françaises : abolition immédiate de l'esclavage /
|
Schoelcher, Victor, 1804-1893.
|
1998.
|
|
|
Formation and characteristics of composite membranes of synthetic polymers blended with chemically modified Chitin, Chitosan and Cellulose /
|
Bandak, Juhaynah Nabil Abd Allah.
|
2011.
|
|
|
Formation and characteristics of hydrogel membranes using s-triazine crosslinkers /
|
Qassab, Usamah Adib.
|
2010.
|
|
|
Formation and Containment Control for High-order Linear Swarm Systems
|
Dong, Xiwang.
|
2016.
|
|
|
التشكيل والمضمون في العمارة : دراسة تحليلية لارتباط التشكيل بالمضمون /
|
عونه، براء.
|
2011.
|
|
|
Formation and Cooperative Behaviour of Protein Complexes on the Cell Membrane
|
Guseva, Ksenia.
|
2012.
|
|
|
Formation and development of modern Korean nationalism/
|
Yong-Ha, Shin.
|
1990.
|
|
|
A descriptive analysis of the formation and development of the Arab States Broadcasting Union /
|
Eshky, Talal Majed Anwar, 1948-
|
1982.
|
|
|
The Formation and Disruption of Black Hole Jets
|
|
2015.
|
|
|
The Formation and Early Evolution of Stars From Dust to Stars and Planets /
|
Schulz, Norbert S.
|
2012.
|
|
|
Formation and Early Growth of Business Webs Modular Product Systems in Network Markets /
|
Steiner, Florian.
|
2005.
|
Log in
Help
