21. Computer science Logic : 7th Workshop, CSL'93, Swansea, United Kingdom, September 13 - 17, 1993. Selected papers
پدیدآورنده: Egon Borger, Yuri Gurevich, Karl Meinke, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
832
22. Computer science logic
پدیدآورنده: edited by E.Borger ,G.Jager
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: Computer Science
رده :
QA
75
.
5
.
C6
1992
23. Computer science logic : 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 :proceedings
پدیدآورنده: E. Borger...]et al.[, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
533
24. Das dritte "Haus" der Serie b?«t rimki (VR 50-51, Schollmeyer HG? NR. 1)
پدیدآورنده: R. Borger
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
25. Der Aufstieg des neubabylonischen Reiches
پدیدآورنده: Rykle Borger
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
26. Die Welt des Alten Orients
پدیدآورنده: \ R.Borger...[at al]
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
27. EKG-Information
پدیدآورنده: von Klaus v. Olshausen, Hans Hermann Börger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Cardiology.,Medicine et Public Health.
28. Explanation in the Behavioural Sciences
پدیدآورنده : by Robert Borger, & Frank Cioffi
موضوع : Philosophy
۳ نسخه از این کتاب در ۱ کتابخانه موجود است.
29. Explanation in the behavioural sciences
پدیدآورنده: / edited by Robert Borger and Frank Cioffi
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Psychology -- Methodology
رده :
BF38
.
5
.
E95
1970
30. Explanation in the behavioural sciences
پدیدآورنده : / edited by Robert Borger and Frank Cioffi
موضوع :
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
31. Formal methods for industrial applications : Specifying and programming the steam boiler control
پدیدآورنده: Jean-Raymond Abrial, Egon Borger, Hans Langmaack )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Automatic control -- Data processing ، Steam-boilers
رده :
QA
76
.
L28
Vol
.
1165
32. Formal methods for industrial applications :specifying and programming the steam boiler control
پدیدآورنده: Jean- Raymond Abrial, Egon Borger, Hans Langmaack, eds
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع: Automatic control Data processing ، Steam-boilers
رده :
TJ
288
.
F67
33. Handbuch der Keilschriftliteratur
پدیدآورنده: Borger
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Cunieform inscriptions -- Bibl
رده :
Z
7055
.
B6
R
34. Handbuch der Keilschriftliteratur
پدیدآورنده: /Rykle Borger
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع:
35. Investigating the Effects of Applied Learning Principles on the "Create" Response in Atlantic Bottlenose Dolphins (Tursiops truncatus)
پدیدآورنده: Lawrence, Mary Katherine; Borger-Turner, Jill L.; Turner, Ted N.; Eskelinen, Holli C.,Lawrence, Mary Katherine; Borger-Turner, Jill L.; Turner, Ted N.; Eskelinen, Holli C.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
36. Java and the Java Virtual Machine Definition, Verification, Validation
پدیدآورنده: Robert F. Stärk ; Joachim Schmid ; Egon Börger
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: (Produktform)Paperback / softback,(Zielgruppe)Fachpublikum/ Wissenschaft,(Zielgruppe)Research
رده :
QA76
.
73
.
J38
R634
2014
37. Java and the Java virtual machine
پدیدآورنده: / Robert F. Stork, Joachim Schmid, Egon Borger
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Java (Computer program language),Virtual computer systems,Java virtual machine
رده :
QA76
.
73
.
J38
,
S785
2001
38. Java and the Java virtual machine
پدیدآورنده: / Robert F. Stork, Joachim Schmid, Egon Borger
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Java (Computer program language),Virtual computer systems,Java virtual machine
رده :
QA76
.
73
.
J38
,
S785
2001
39. Lebendige Vergangenheit
پدیدآورنده: / Herman Eicke Paul Borger
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع:
40. Mesopotamisches Zeichenlexikon /
پدیدآورنده: Rykle Borger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Akkadian language, Glossaries, vocabularies, etc.,Cuneiform inscriptions, Akkadian.,Cuneiform inscriptions, Sumerian.,Cuneiform writing, Dictionaries.,Sumerian language, Glossaries, vocabularies, etc.
رده :
PJ3223
.
B62
2004
