1. Algebraic and logic programming :
Author: J. Grabowski, P. Lescanne, W. Wechler (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebraic logic -- Congresses.,Algebraic logic.,Logic programming -- Congresses.
Classification :
QA76
.
6
J473
1989
2. Application and theory of Petri nets :
Author: edited by Claude Girault and Woflgang Reisig.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: fiabilité,Petri nets -- Congresses.,protocole accès.
3. Application and theory of Petri nets :
Author: edited by Claude Girault and Woflgang Reisig.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: fiabilité,Petri nets -- Congresses.,protocole accès.
Classification :
QA267
.
E358
1982
4. Automata, languages and programming :
Author: J. Leach Albert, B. Monien, M. Rodríguez Artalejo (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Machine theory -- Congresses.,Machine theory.
Classification :
QA267
.
J543
1991
5. Automata, languages, and programming :
Author: edited by Jan Paredaens.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers) -- Congresses.
6. Automated and algorithmic debugging :
Author: Peter A Fritzson
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Science.,Debugging in computer science -- Congresses.,Engineering & Applied Sciences.
7. Current trends in concurrency :
Author: edited by J.W. de Bakker, W.-P. de Roever, and G. Rozenberg.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique) -- Congrès.
8. ESOP '88
Author: H. Ganzinger, ed.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming-- Congresses.,Programming languages (Electronic computers)-- Congresses.
Classification :
QA76
.
6
.
E976
1988
9. Erlang '10 :
Author: [Scott Lystig Fritchie, general chair ; Konstantinos Sagonas, program chair] ; sponsored by, ACM SIGPLAN ; co-located with, ICFP'10.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming, Congresses.,ERLANG (Computer program language), Congresses.,Computer programming.,Computer Science.,Engineering & Applied Sciences.,ERLANG (Computer program language)
Classification :
QA76
.
73
.
E75
A36
2010eb
10. Erlang'04 : proceedings of the ACM SIGPLAN 2004 Erlang Workshop, September 22, 2004, Snowbird, Utah, USA
Author:
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، ERLANG )Computer program language(,Congresses ، Programming languages )Electronic computers(,Congresses ، Computer software
Classification :
QA
76
.
73
.
E75A26
2004
11. Erlang'05 : proceedings of the ACM SIGPLAN 2005 Erlang Workshop, September 25, 2005, Tallinn, Estonia
Author: sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages )SIGPLAN(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، ERLANG )Computer program language(,Congresses ، Programming languages )Electronic computers(,Congresses ، Computer software
Classification :
QA
76
.
73
.
E75A26
2005
12. FDPE'05 : proceedings of the ACM SIGPLAN 2005 Workshop on Functional and Declarative Programming in Education, September 25, 2005, Tallinn, Estonia
Author:
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Declarative programming,Congresses ، Functional programming )Computer science(
Classification :
QA
76
.
62
.
A383
2005
13. FPCA, 89: the Fourth International Conference on Functional programming Language and Computer Architecture
Author: Sponsored by The Association for ComputingMachinery's Special Interest Group on Programming Language, Special Interest Group on Computer Architecture and the International Federation for Information Processing
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Functional programming languages- congresses,، Computer architecture- Congresses
Classification :
QA
76
.
62
.
I58
14. Formal methods for industrial critical systems :
Author: Falk Howar, Jiří Barnat (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
Classification :
QA76
.
9
.
F67
I58
2018eb
15. Functional and constraint logic programming :
Author: Julio Mariño (edition)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming, Congresses,Mathematical Logic and Formal Languages
Classification :
QA76
.
63
.
W45
2011
16. Functional programming languages and computer architecture
Author: / J. Hughes, ed
Library: Library of College of Science University of Tehran (Tehran)
Subject: Functional programming languages -- Congresses,Computer architecture -- Congresses
Classification :
QA
76
.
7
.
F84
1991
17. Functional programming languages and computer architecture : Nancy, France, September 1985
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Functional programming languages-- Congresses,، Computer architecture-- Congresses
Classification :
QA
76
.
7
.
F86
1985
18. Functional programming languages and computer architecture : Nancy, France, September 1985
Author: edited by Jean-Pierre Jouannaud
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Functional programming languages,Congresses ، Computer architecture
Classification :
QA
76
.
L4
v
.
201
19. Functional programming languages and computer architecture : Nancy, France, September 1985
Author: edited by Jean-Pierre Jouannaud
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Functional programming languages,Congresses ، Computer architecture
Classification :
QA
76
.
L28
Vol
.
201
20. Functional programming languages and computer architecture, Portland, Oregon, USA, September 14-16, 1987 : Proceedings
Author: Gilles Kahn )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Functional programming languages,Congresses ، Computer architecture
Classification :
QA
76
.
L28
Vol
.
274
