|
|
|
Verification of Sequential and Concurrent Programs
|
Apt, Krzysztof R.
|
2009.
|
|
|
Verification of systems and circuits using LOTOS, Petri Nets, and CCS
|
Yoeli, Michael, 1917-
|
c2008.
|
|
|
Verification of the capability of modern mapping technique to predict selected soil properties for land evaluation /
|
al-Shamiri, Anwar.
|
2008.
|
|
|
Verification of the Feed-Forward Control for a Piezoelelectric Actuator Using Differential Flatness Approach /
|
Alzoubi, Jomah Mohammad.
|
2012.
|
|
|
تحقيق مذهب السلف في الصفات المتشابهات في القرآن والسنة : دراسة نقدية /
|
محمود، أكرم جمعة
|
|
|
|
Verification of transformation rules of the higher - order transformation language tl/
|
Fraij ,fares zuhir
|
2005.
|
|
|
Verification techniques for system-level design
|
Fujita, Masahiro, 1956-
|
c2008.
|
|
|
Verification, la position sovietique : passe, present et avenir /
|
Kokeyev, Mikhail.
|
1991.
|
|
|
Verification, validation and testing in software engineering :
|
|
2007.
|
|
|
Verification, validation, and testing of engineered systems
|
Engel, Avner.
|
c2010.
|
|
|
Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers /
|
|
2014.
|
|
|
Verified Software: Theories, Tools, Experiments 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings /
|
Joshi, Rajeev.
|
2012.
|
|
|
Verified Software: Theories, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers /
|
|
2014.
|
|
|
Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings /
|
Hutchison, David.
|
2008.
|
|
|
Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings /
|
Leavens, Gary T.
|
2010.
|
|
|
Verifying Calculations - Forty Years On An Overview of Classical Verification Techniques for FEM Simulations /
|
|
2016.
|
|
|
Verifying greenhouse gas emissions methods to support international climate agreements /
|
|
2010.
|
|
|
التحقق من صحة الافتراض النظري للعلاقة بين ثبات الاختبار وطوله
|
الهزايمه، علي عبد الكريم محمد.
|
2014.
|
|
|
التحقق من فاعلية مؤشرات الكشف عن إفتراض أحادية البعد وفق نماذج نظرية إستجابة الفقرة، في ضوء تغير طول الإختبار وشكل توزيع القدرة :
|
الحواري، أروى عيسى عبد
|
2013.
|
|
|
تحقيق شرح صفوة الزُّبَدْ للإمام أحمد بن حسين بن أرسلان من باب الصلوات المسنونة إلى كتاب الزكاة /
|
الهاجري، عمر بن سالم.
|
2009.
|
|
|
التحقق من البنية العاملية لقائمة التشوهات المعرفية بإستخدام التحليل العاملي التوكيدي متعدد المستويات :
|
أبو وردة، عبير كمال الدين طه،
|
2021.
|
|
|
Verifying Treaty Compliance Limiting Weapons of Mass Destruction and Monitoring Kyoto Protocol Provisions /
|
Avenhaus, Rudolf.
|
2006.
|
|
|
VeriIog HDL : digital design and modeling /
|
Cavanagh, Joseph J. F.
|
c2007.
|
|
|
Verilog and systemverilog gotchas : 101 common coding errors and how to avoid them /
|
Sutherland, Stuart.
|
2007.
|
|
|
Verilog by example : a concise introduction for FPGA design /
|
Readler, Blaine C.
|
2011.
|
|
|
Verilog designer§s library /
|
Zeidman, Bob.
|
c1999.
|
|
|
Verilog digital computer design : algorithms into hardware/
|
Arnold,Mark G.
|
1999.
|
|
|
Verilog digital system design RT level synthesis, testbench, and verification /
|
Navabi, Zainalabedin.
|
c2006.
|
|
|
Verilog digital system design
|
Navabi, Zainalabedin.
|
c1999.
|
|
|
The Verilog hardware description language /
|
Thomas, D. E. (Donald E.,), 1951-
|
[1996]
1996
|
|
|
The verilog hardware description language /
|
Thomas, Donald.
|
2008.
|
|
|
The Verilog hardware description language
|
Thomas, D. E. (Donald E.), 1951-
|
c2002.
|
|
|
Verilog HDL : a guide to digital design and synthesis /
|
Palnitkar, Samir.
|
2001, c1996.
|
|
|
Verilog HDL : a guide to digital design and synthesis /
|
Palnitkar, Samir.
|
1996, 2002 reprint.
|
|
|
Verilog HDL : a guide to digital design and synthesis /
|
Palnitkar, Samir.
|
c2003.
|
|
|
FSK demodulation based on time discriminant connectionist theory using Verilog HDL /
|
al-Shar, Wafa Nazmi Husayn.
|
2008.
|
|
|
The Verilog PLI handbook a user's guide and comprehensive reference on the Verilog programming language interface /
|
Sutherland, Stuart, 1953-
|
2002.
|
|
|
Verilog Quickstart a practical guide to simulation and synthesis in Verilog /
|
Lee, James M., 1962-
|
2002.
|
|
|
Christianity, truth, and weakening faith a dialogue /
|
Vattimo, Gianni, 1936-
|
2010.
|
|
|
حقيقة تاريخية أم حقيقة سياسية : فوريسون و مسألة غرف الغاز في معسكرات الاعتقال النازية /
|
ثيون، سيرج
|
2005
|
|
|
La verite sur la Syrie et l'expedition francaise /
|
Poujoulat, Baptistin, 1809-1864.
|
1861.
|
|
|
VERITES SUR LA REVOLUTION ALGERIENNE/
|
LEBJAUI ,MOHAMED
|
1970
|
|
|
Die verkauften Pflastersteine : Dresdener Tagebuch /
|
Rosenloecher, Thomas, 1947-
|
2007.
|
|
|
The architecture of transport in the Federal Republic of Germany /
|
Mèuller, Karlhans, 1938-
|
c1981.
|
|
|
Verkehrsarchitekur in der Bundesre publik Deutschland/
|
Muller, Karlhans.
|
1980.
|
|
|
Verkehrsberuhigung in Koln ziele, mabnahmen, erwartungen, kritik, wirkungen. /
|
Meewes, Volker.
|
1987.
|
|
|
Verkehrspsychologie/
|
Klebelsberg, Dieter.
|
1982.
|
|
|
Verkehrte Welt : zur schriftstellerischen und denkerischen Methode Grimmelshausens im "Abentheurlichen Simplicissimus Teutsch" /
|
Kabus, Petra, 1963-
|
c1993.
|
|
|
DIE SUSSWASSER-Flora Mitteleuropas/
|
|
1976.
|
|
|
Verlauf und Ergebnisse der XII. Deutschen Inner-Afrikanischen Forschungs -Expedition : Diafe 1934 - 1935 /
|
Jensen, E.
|
1938.
|
|
|
Heinrich Boell; Die verlorene Ehre der Katharina Blum : Erlaeuterungen und Dokumente /
|
Bellmann, Werner
|
2006.
|
|
|
Die verlorene Ehre der Katharina Blum : oder Wie Gewalt entstehen und wohin sie fuehren kann. Erzaehlung /
|
Boell, Heinrich, 1917-1985
|
2002.
|
|
|
The lost honor of Katharina Blum : how violence develops and where it can lead /
|
Bèoll, Heinrich, 1917-
|
[1975]
|
|
|
Verlorene Liebe : Roman /
|
Roberts, Nora.
|
2006.
|
|
|
Verlust der Geschichte, oder, wie unterhaltsam ist die Vergangenheit? /
|
Hardtwig, Wolfgang.
|
2010.
|
|
|
Verlust und Gewinn : Johann Friedrich I., Kurfèurst von Sachsen /
|
|
2003.
|
|
|
Verlأ¤sslicher Grammatik-Transfer am Beispiel von subordinierenden Konjunktionen /
|
Moustafa, Alaa Mohamed.
|
2011.
|
|
|
Das Vermèachtnis : Erzèahlung /
|
Bèoll, Heinrich, 1917-1985.
|
c1982.
|
|
|
Jan Vermeer /
|
Wheelock, Arthur K.
|
1981.
|
|
|
Vermeer.
|
Vermeer, Johannes, 1632-1675.
|
1995.
|
|
|
Vermeer /
|
Vermeer, Johannes
|
1967.
|
|
|
Vermeer and his milieu : a web of social history/
|
Montias, John Michael , 1928 -
|
1989.
|
|
|
Vermeer.
|
Vermeer, Johannes, 1632-1675.
|
1995.
|
|
|
Vermeer in Bosnia selected writings /
|
Weschler, Lawrence.
|
c2004.
|
|
|
Vermeer/
|
Vries, Ary Bob De.
|
1967.
|
|
|
Vermeer of delft /
|
Blankert , Albert
|
1978.
|
|
|
Vermeer's hat the seventeenth century and the dawn of the global world /
|
Brook, Timothy, 1951-
|
2009.
|
|
|
Vermeer's wager speculations on art history, theory and art museums /
|
Gaskell, Ivan.
|
2000.
|
|
|
Die Vermessung der Welt : Roman /
|
Kehlmann, Daniel, 1975-
|
2009.
|
|
|
Vermessungskunde /
|
Grossmann, Walter, 1897-
|
1979-1985.
|
|
|
Vermessungskunde : fuer die Fachgebiete Hochbau, Bauingenieurwesen, Vermessungswesen / Teil 1 : Von K. Matthews.
|
Volquardts, Hans
|
1972-
|
|
|
Vermessungskunde : Fuer die Fachgebiete Hochbau, Ingenierubau, Vermessungswesen. Teil 2: Von K. Matthews.
|
Volquardts, Hans
|
1967.
|
|
|
Vermessungskunde /
|
Grossmann, Walter, 1897-
|
1979-1985.
|
|
|
Surveying /
|
Kahmen, Heribert, 1940-
|
1988.
|
|
|
Vermitechnology /
|
Christy, A. Mary Violet.
|
2008.
|
|
|
Vermittlung kultureller und geschichtlicher Aspekte durch den Film Werk ohne Autor“ im DaF-Unterricht
|
Bessi, Abdelhamid
|
2022
|
|
|
Vermont
|
|
c1999.
|
|
|
Vermont
|
|
c1999.
|
|
|
Vermont
|
|
c2002.
|
|
|
Prevention through political action and social change /
|
Vermont Conference on the Primary Prevention of Psychopathology 1979 : Burlington, Vt.)
|
1981.
|
|
|
The Vermont papers : recreating democracy on a human scale /
|
Bryan, Frank M.
|
c1989.
|
|
|
Vermont
|
|
c2002.
|
|
|
Vermuten : nominale Ausdrucksmittel im Wissenschaftsjournalismus; (deutsch - englisch - franzoesisch) /
|
Thiel, Gisela.
|
1996.
|
|
|
Vernacular architecture /
|
Glassie, Henry H.
|
2000.
|
|
|
Vernacular architecture and regional design : cultural process and environmental response /
|
Heath, Kingston Wm.
|
2009.
|
|
|
Vernacular architecture in the twenty-first century : theory, education and practice /
|
|
2006.
|
|
|
Vernacular architecture in the twenty-first century : theory, education and practice /
|
|
2006.
|
|
|
Encyclopedia of vernacular architecture of the world /
|
|
1997.
|
|
|
Vernacular bodies the politics of reproduction in early modern England /
|
Fissell, Mary Elizabeth.
|
2004.
|
|
|
Vernacular building conservation /
|
Bowyer, Jack.
|
1980.
|
|
|
Vernacular buildings : a global survey /
|
Noble, Allen G., 1930-
|
2014.
|
|
|
Modern architecture and the Mediterranean : vernacular dialogues and contested identities /
|
|
2010.
|
|
|
Vernacular palaver imaginations of the local and non-native languages in West Africa /
|
Adejunmobi, Moradewun, 1959-
|
c2004.
|
|
|
Analytical chemistry of selenium and tellurium
|
Nazarenko, I. I. (Irina Ivanovna)
|
[c1972]
|
|
|
التهاب الملتحمة الربيعي : التشخيص-المعالجة = Vernal conjuctivitis : diagnosis-treatment /
|
السعيد، عبير
|
2000
|
|
|
Vernal pools : natural history and conservation /
|
Colburn, Elizabeth A., 1952-
|
2004.
|
|
|
Verne's journey to the centre of the self : space and time in the Voyages extraordinaires /
|
Butcher, William, 1951-
|
c1990.
|
|
|
The Verneys : a true story of love, war, and madness in seventeenth-century England /
|
Tinniswood, Adrian.
|
2007.
|
|
|
Vernon and Irene Castle's ragtime revolution
|
Golden, Eve.
|
c2007.
|
|
|
La raison dans l'histoire : introduction a la Philosophie de l'Histoire /
|
Hegel, Georg Wilhelm Friedrich, 1770-1831.
|
1965.
|
Log in
Help
