21. Implementation and Application of Functional Languages
Author: edited by Sven-Bodo Scholz, Olaf Chitil.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic design.,Software engineering.
22. Implementation and Application of Functional Languages
Author: edited by Marco T. Morazán, Sven-Bodo Scholz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic design.,Software engineering.
23. Implementation and application of functional language
Author: / Jurriaan Hage, Marco T. Morazaan (eds
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: 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
Classification :
QA76
.
62
.
I58
2010
24. Interactive Systems:
Author: edited by Fabio Paternó.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
T385
.
E358
1995
25. LATINCRYPT 2017-Progress in Cryptology
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Data encryption (Computer science). ; Software engineering. ; Computer science. ; Logic design. ; Coding theory. ; Cryptology. ;
26. Language and Automata Theory and Applications :
Author: edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer software.,Logic design.
27. Logic, Algebra, and Computation :
Author: edited by Friedrich L. Bauer.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
63
E358
1991
28. Logic-Based Program Synthesis and Transformation
Author: edited by María Alpuente.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algorithms.,Artificial intelligence.,Computer science.,Logic design.,Software engineering.
29. Logic and Program Semantics
Author: edited by Robert L. Constable, Alexandra Silva
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science,Computer software,Logic design,Software engineering,Algorithm Analysis and Problem Complexity,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
30. Mathematical Foundations of Computer Science 1986 :
Author: edited by Jozef Gruska, Branislav Rovan, Juraj Wiedermann.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer software.,Logic design.
Classification :
QA267
.
E358
1986
31. Mathematical Foundations of Computer Science 1989 :
Author: edited by Antoni Kreczmar, Grazyna Mirkowska.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer software.,Logic design.
Classification :
QA76
.
9
.
M35
E358
1989
32. Mathematical Methods in Program Development
Author: edited by Manfred Broy, Birgit Schieder.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
6
E358
1997
33. Model Checking Software :
Author: edited by Ezio Bartocci, C.R. Ramakrishnan.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
76
.
V47
E358
2013
34. Models in Software Engineering
Author: edited by Jörg Kienzle
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science,Computer simulation,Information Systems,Logic design,Software engineering,Computer Science,Information Systems Applications (incl. Internet),Logics and Meanings of Programs,Management of Computing and Information Systems,Programming Languages, Compilers, Interpreters,Simulation and Modeling,Software Engineering
35. Multiagent System Technologies
Author: edited by Franziska Klügl, Sascha Ossowski.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer networks.,Computer science.,Logic design.,Software engineering.
36. Perspectives of System Informatics :
Author: edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
37. Perspectives of Systems Informatics
Author: edited by Edmund Clarke, Irina Virbitskaite, Andrei Voronkov
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science,Computer software,Computer vision,Logic design,Software engineering,Algorithm Analysis and Problem Complexity,Computer Imaging, Vision, Pattern Recognition and Graphics,Computer Science,Logics and Meanings of Programs,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
38. Principles and Practice of Constraint Programming :
Author: edited by Christian Schulte.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer software.,Logic design.
39. Progamming Language Implementation and Logic Programming :
Author: edited by Maurice Bruynooghe, Jaan Penjam.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
40. Program Specification :
Author: edited by Jørgen Staunstrup.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
6
E358
1982
