681. Program analysis and compilation, theory and practice
پدیدآورنده : / Thomas Reps, Mooly Sagiv, J?�rg Bauer (eds.)
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Wilhelm, R.--(Reinhard),--1946,Computer programs--Verification--Congresses,Compilers (Computer programs)--Congresses,Computer programming--Congresses
رده :
QA
,
76
.
76
,.
V47
,
P745
,
2007
682. Program analysis and compilation, theory and practice :
پدیدآورنده : Thomas Reps, Mooly Sagiv, Jörg Bauer (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Wilhelm, R., (Reinhard),1946-,Wilhelm, R., (Reinhard),1946-,Wilhelm, R.,1946-,Compilers (Computer programs), Congresses.,Computer programming, Congresses.,Computer programs-- Verification, Congresses.,Compilers (Computer programs),Compilers (Computer programs),Computer programming.,Computer programming.,Computer programs-- Verification.,Computer programs-- Verification.,COMPUTERS-- Software Development & Engineering-- Quality Assurance & Testing.,Informatique.
رده :
QA76
.
76
.
V47
P745
2007
683. Program construction : International Summer School
پدیدآورنده : F.L. Bauer...]et al.[; edited by F.L. Bauer, M. Broy
کتابخانه: (طهران)
موضوع : Addresses, essays, lectures ، Computer programming
رده :
QA
76
.
L28
Vol
.
69
684. Program construction : international summer school
پدیدآورنده : F. L. Bauer ... )et al.( ; edited by F. L. Bauer and M. Broy
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Addresses, essays, lectures ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
69
685. Progress in Multiple Sclerosis Research
پدیدآورنده : edited by H.J. Bauer, S. Poser, G. Ritter.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Medicine.,Neurology.
رده :
RC377
.
E358
1980
686. Public organization of electric power
پدیدآورنده : / by John Bauer and Peter Costello.,Bauer
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع : Electric Utilities--U.S.
رده :
HD
9685
.
T5B35
1949
687. Quantitative marketing and marketing management :
پدیدآورنده : Adamantios Diamantopoulos, Wolfgang Fritz, Lutz Hidebrant, (eds) ; with contributions by András Bauer ... [et al.].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Marketing-- Mathematical models.,Marketing research-- Methodology.,Marketing research.
688. Quantization, PDEs, and geometry : the interplay of analysis and mathematical physics
پدیدآورنده : Dorothea Bahns, Wolfram Bauer, Ingo Witt, editors
کتابخانه: (طهران)
موضوع : ، Mathematical analysis,، Mathematical physics,، Geometric quantization,، Geodesics )Mathematics(
رده :
QA
300
.
Q36
689. Queer BDSM Intimacies :
پدیدآورنده : by Robin Bauer.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Gays -- Sexual behavior -- United States.,Sadomasochism -- United States.,Social sciences.
رده :
HQ79
.
B976
2014
690. Queer BDSM Intimacies Critical Consent and Pushing Boundaries
پدیدآورنده : Robin Bauer
کتابخانه: کتابخانه مطالعات اسلامی زن و خانواده (تهران) (طهران)
موضوع : Sadomasochism ***** Gays > Sexual behavior *****
رده :
HQ
79
44Q473B
691. Recipes from historic California :
پدیدآورنده : Linda & Steve Bauer.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Cooking, American-- California style.,Historic buildings-- California, Guidebooks.,Restaurants-- California, Guidebooks.,Cooking, American-- California style.,Historic buildings.,Restaurants.,California., 7
رده :
TX715
.
2
.
C34
B38
2008
692. Regret und Kundenloyalität :
پدیدآورنده : Simone Wunderle ; mit einem Geleitwort von Hans H. Bauer.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Customer loyalty.,Economics.,Marketing.
693. Reliability and Availability of Cloud Computing
پدیدآورنده : / Bauer
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
694. Resistance to change :
پدیدآورنده : Bauer, Martin
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : BF Psychology,HG Finance,QA76 Computer software
695. Resistance to new technology :
پدیدآورنده : edited by Martin Bauer.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Biotechnology-- Social aspects, Congresses.,Information technology-- Social aspects, Congresses.,Nuclear energy-- Social aspects, Congresses.,Technology assessment-- Europe, Congresses.,Technology assessment, Congresses.,Attitude.,Biotechnology.,Nuclear Energy.,Public Opinion.,Sociology.,Technology.,Biotechnologie-- Aspect social-- Congrès.,Énergie nucléaire-- Aspect social-- Congrès.,Technologie de l'information-- Aspect social, Congrès.,Technologie-- Évaluation-- Congrès.,Technologie-- Évaluation-- Europe-- Congrès.,Analyse comparative.,Aspects sociaux.,Biotechnologie,Biotechnologie.,Biotechnologie.,Biotechnology-- Social aspects.,Energie nucléaire.,Informatietechnologie.,Information technology-- Social aspects.,Informationstechnik,Innovations-- Aspect social-- Congrès.,Innovations technologiques.,Kernenergie,Kernenergie.,Kongress,Neue Technologie,Nuclear energy-- Social aspects.,Pays développés.,Risikoanalyse,Sciences-- Aspect social-- Congrès.,Technik,Technikbewertung,Technique-- Aspect social-- Congrès.,Technologie de l'information.,Technologie-- Évaluation-- Congrès.,Technology assessment.,Verzet.,Widerstand,Europe., 7
رده :
T174
.
5
.
R48
1995
696. Reviewed Work: Die Belagerung von K'aifeng im Winter 1126/27. Nach Kapitel 64-69 des San-ch'ao pei-meng hui-pien, kompiliert von Hsü Meng-hsin. Münchener Ostasiatische Studien, Band 61by Sabine Werner, Wolfgang Bauer, Herbert Franke, Wolfram Naumann, Helwig Schmidt-Glintzer
پدیدآورنده : Sabine Werner and Wolfgang Bauer and Herbert Franke and Wolfram Naumann and Helwig Schmidt-Glintzer
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
697. Reviewed Work: Rede vom Traum. Traumauffassungen der Literatenschicht im späten Kaiserlichen China. Münchener Ostasiatische Studien Band 64by Marion Eggert, Wolfgang Bauer, Herbert Franke, Wolfram Naumann, Helwig Schmidt-Glintzer
پدیدآورنده : Marion Eggert and Wolfgang Bauer and Herbert Franke and Wolfram Naumann and Helwig Schmidt-Glintzer
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
698. Reviewed Works: Deutsch-Arabisches Worterbuch Der Umgangssprache in Palastina Und Im Libanonby Leonhard Bauer, Anton Spitaler;Reviewed Works: Deutsch-Arabisches Worterbuch Der Umgangssprache in Palastina Und Im Libanonby Leonhard Bauer, Anton Spitaler;Ägy
پدیدآورنده : Leonhard Bauer and Anton Spitaler and Kurt Munzel and Eberhard Kuhnt
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
699. 4, 2010, Revised Selected Papers-Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1
پدیدآورنده : / rg Kreowski (eds.)نJ-Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing (auth.), Till Mossakowski, Hans
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
700. Romantheorie
پدیدآورنده : Matthias Bauer [aut].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Criticism, interpretation, etc
