41. Declarative agent languages and technologies V
Author: / Matteo Baldoni ... [et al.] (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Programming languages (Electronic computers)--Congresses,Declarative programming--Congresses,Intelligent agents (Computer software)--Congresses
Classification :
QA
,
76
.
76
,.
I58
,
D43
,
2007
42. Declarative agent languages and technologies V
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Programming languages (Electronic computers) ; Congresses. ; Declarative programming ; Congresses. ; Intelligent agents (Computer software) ;
43. Declarative agent languages and technologies : first International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003; revised selected and invited papers
Author: Joao Leite...]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Intelligent agents )Computer software(
Classification :
QA
76
.
L28
Vol
.
2990
44. Deductive Software Verification – The KeY Book
Author:
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science,Programming languages (Electronic computers) ,Software engineering,علوم کامپیوتر ,زبانهای برنامهنویسی کامپیوتر,مهندسی نرم افزار
Classification :
E-Book
,
45. Design Patterns in Modern C++
Author: /by Dmitri Nesteruk.,Nesteruk, Dmitri.
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Programming languages (Electronic computers).,Software engineering.,Computer programming.,C++ (Computer program language)
Classification :
QA76
.
73
.
C153
D56
2018
46. Distributed Programmin
Author: / [electronic resource]
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Electronic books,Electronic Data Processing, Distributed Processing,Computers, Systems Architecture, Distributed Systems & Computing
Classification :
E-BOOK
47. Domain-specific modelin
Author: / Steven Kelly, Juha-Pekka Tolvanen
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Programming languages (Electronic computers),Computer software--Development
Classification :
QA
,
76
.
7
,.
K45
,
2008eb
48. Domain-specific modeling
Author: / Steven Kelly, Juha-Pekka Tolvanen
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Programming languages (Electronic computers),Computer software- Development
Classification :
QA76
.
7
.
K45
2008
49. Eclipse TEA revealed :
Author: Markus Duft.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Eclipse (Electronic resource),Eclipse (Electronic resource),Application software.,Application software.,Computer programming-- software development.,COMPUTERS-- Software Development & Engineering-- General.,Programming & scripting languages: general.
Classification :
QA76
.
76
.
A65
50. Eclipse modeling project :
Author: Richard C. Gronback.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Eclipse (Electronic resource),Eclipse (Electronic resource),Eclipse (Electronic resource),Computer software-- Development.,Programming languages (Electronic computers),Computer Science.,Computer software-- Development.,Eclipse 3,Engineering & Applied Sciences.,Programming languages (Electronic computers)
Classification :
QA76
.
76
.
D47
G785
2009
51. Erlang and Elixir for Imperative Programmers
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Elixir (Computer program language),ERLANG (Computer program language),Programming languages (Electronic computers)
Classification :
QA76
.
73
.
E75
52. 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
53. 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
54. Essential Linux fast
Author: Ian Chivers.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Linux (Computer file),Linux.,Operating systems (Computers)
Classification :
QA76
.
76
.
O63
I263
2001
55. Essential.NET
Author: / Don Box, with Chris Sells
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Microsoft .NET,Common Language Runtime (Computer science),Component software,Programming languages (Electronic computers)
Classification :
QA76
.
76
.
M52
,
B69
2003
56. Formal Methods and Software Development :
Author: edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Programming languages (Electronic computers),Software engineering.
57. Formal specification and software development
Author: Bjorner, Dines
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Programming ، Electronic digital computers,، Programming languages )Electronic computers(
Classification :
QA
76
.
6
.
B575
1982
58. Formal specification and software development
Author: Bjorner, Dines, 7391-
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Computer software -- Development,، Programming languages )Electronic computers(
Classification :
QA
76
.
6
.
B575
59. From Point to Pixel:
Author: Hoy, Meredith Anne
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
60. Fundamentals of embedded software
Author: / Daniel W. Lewis
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Embedded computer systems--Programming,C (Computer program language),Assembly languages (Electronic computers)
Classification :
TK7895
F94L
2002
