1. Algebraic Foundations of Systems Specification
پدیدآورنده : edited by Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
2. Algebraic Methodology and Software Technology :
پدیدآورنده : edited by Charles Rattray, Savitri Maharaj, Carron Shankland.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
3. Automata for branching and layered temporal structures: an investigation into regularities of infinite transition systems
پدیدآورنده : Puppis, Gabriele
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Machine theory,، Computer science,، Software engineering,، Computer software,، Logic design,، Artificial intelligence
رده :
QA
267
.
P87
2010
4. Automated Deduction - CADE-23 :
پدیدآورنده : edited by Nikolaj Bjørner, Viorica Sofronie-Stokkermans.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
5. Compiler Generators :
پدیدآورنده : by Mads Tofte.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
76
.
C65
B963
1990
6. Computer Aided Verification :
پدیدآورنده : edited by Rajeev Alur, Thomas A. Henzinger.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
7. Computer Aided Verification :
پدیدآورنده : edited by Gregor Bochmann, David Karl Probst.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
8. Computing in Horn Clause Theories
پدیدآورنده : by Peter Padawitz.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
6
B974
1988
9. Constructive Methods in Computing Science :
پدیدآورنده : edited by Manfred Broy.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA75
.
5
E358
1989
10. Formal Aspects of Component Software :
پدیدآورنده : edited by Corina S. Pasareanu, Gwen Salaün.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
11. Formal Engineering for Industrial Software Development :
پدیدآورنده : by Shaoying Liu.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
76
.
D47
B974
2004
12. Formal Methods in Programming and Their Applications :
پدیدآورنده : edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
6
E358
1993
13. Fundamentals of Algebraic Specification 2 :
پدیدآورنده : by Hartmut Ehrig, Bernd Mahr.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
9
.
L63
B943
1990
14. Implementation and Application of Functional Languages
پدیدآورنده : edited by Sven-Bodo Scholz, Olaf Chitil.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic design.,Software engineering.
15. Implementation and Application of Functional Languages
پدیدآورنده : edited by Marco T. Morazán, Sven-Bodo Scholz.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic design.,Software engineering.
16. Implementation and application of functional language
پدیدآورنده : / Jurriaan Hage, Marco T. Morazaan (eds
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Functional programming languages, Congresses,Computer science,Software engineering,Logic design,Logics and Meanings of Programs,Programming Languages, Compilers, Interpreters,Mathematical Logic and Formal Languages,Programming Techniques,Electronic books
رده :
QA76
.
62
.
I58
2010
17. Interactive Systems:
پدیدآورنده : edited by Fabio Paternó.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
T385
.
E358
1995
18. LATINCRYPT 2017-Progress in Cryptology
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Data encryption (Computer science). ; Software engineering. ; Computer science. ; Logic design. ; Coding theory. ; Cryptology. ;
19. Logic, Algebra, and Computation :
پدیدآورنده : edited by Friedrich L. Bauer.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
63
E358
1991
