1781. VE2d for Lua Game ProgrammingL
Author: / Mishra, Brij Bhushan
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
1782. Variations on constants
Author: / Markus M?�ller-Olm
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Parallel programming (Computer science),Sequential processing (Computer science),Mathematical constants.,Variables (Mathematics),Computer programs--Correctness
Classification :
QA
,
76
.
642
,.
M85
,
2006
1783. Verification, Model Checking, and Abstract Interpretation :
Author: edited by Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks.,Computer science.,Software engineering.
Classification :
QA76
.
76
.
V47
E358
2013
1784. Verification and evaluation of computer and communication systems :
Author: Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks-- Evaluation, Congresses.,Computer software-- Verification, Congresses.,Algorithms & data structures.,Computer networks-- Evaluation.,Computer programming-- software development.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Systems analysis & design.
Classification :
TK5105
.
5
1785. Verified software :
Author: Ruzica Piskac, Philipp Rümmer (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Compilers (Computer programs), Congresses.,Computer software-- Quality control, Congresses.,Computer software-- Verification, Congresses.,Compilers (Computer programs),Computer programming-- software development.,Computer software-- Quality control.,Computer software-- Verification.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Information technology: general issues.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
76
.
V47
1786. Verified software
Author: \ Arie Gurfinkel , Sanjit A. Seshia (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science,کامپیوتر,a03,a03,Computer programming.,Software engineering.,برنامهنویسی ,مهندسی نرم افزار
Classification :
QA
76
.
V4
2016
E-Book
,
1787. Verified software
Author: / Gary T. Leavens, Peter O'Hearn, Sriram K. Rajamani (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer programs--Verification--Congresses,Software.--swd,Verifikation.--swd,Programmtest.--swd,Programmanalyse.--swd,Programmverifikation.--swd,Formale Methode.--swd,Edinburgh <2010>--swd
Classification :
QA
,
76
.
76
,.
V47
,
V59
,
2010
1788. Verified software: theories, tools, experiments
Author: Rajeev Joshi, Peter Müller, Andreas Podelski (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification, Congresses
Classification :
QA76
.
76
.
V47
V73
2012eb
1789. Virtual Environments and Scientific Visualization '96 :
Author: edited by Martin Göbel, Jacques David, Pavel Slavik, Jarke J. Wijk.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer simulation.,Software engineering.
Classification :
T385
.
E358
1996
1790. Visual Basic Game Programming for Teens (3rd Edition)
Author: / Harbour, Jonathan S.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
1791. Visual Basic .NET Class Design Handbook: Coding Effective Classes
Author: by Damon Allison, Andy Olsen, James Speer.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Software engineering.
1792. Visual Basic for Testers
Author: by Mary Romero Sweeney.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Software engineering.
1793. Web Information Systems Engineering \U+2013\ WISE 2013
Author: edited by Xuemin Lin, Yannis Manolopoulos, Divesh Srivastava, Guangyan Huang.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computers.,Data mining.,Software engineering.
1794. Web Programming with PHP and MySQL
Author: / Max Bramer
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
1795. Web engineering :
Author: Maxim Bakaev, Flavius Frasincar, In-Young Ko (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Software engineering, Congresses.,Web services, Congresses.,World Wide Web, Congresses.,Software engineering.,Web services.,World Wide Web.
Classification :
TK5105
.
888
1796. Web information systems engineering -- WISE 2018 :
Author: Hakim Hacid, Wojciech Cellary, Hua Wang, Hye-Young Paik, Rui Zhou (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Information storage and retrieval systems, Congresses.,Software engineering, Congresses.,Web services, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Data mining.,Expert systems-- knowledge-based systems.,Information retrieval.,Information storage and retrieval systems.,Software engineering.,Web services.
Classification :
TK5105
.
88813
1797. Web services -- ICWS 2019 :
Author: John Miller, Eleni Stroulia, Kisung Lee, Liang-Jie Zhang (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Web databases, Congresses.,Web services, Congresses.,World Wide Web, Congresses.,Web databases.,Web services.,World Wide Web.
Classification :
TK5105
.
88813
1798. Web services and formal methods :
Author: Mario Bravetti, Tevfik Bultan (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses.,Web services, Congresses.
Classification :
TK5105
.
88813
.
W74
2011
1799. Web services and formal methods :
Author: Marco Carbone, Jean-Marc Petit (Eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science),Formal methods (Computer science) -- Congresses.,Web services -- Congresses.
Classification :
QA76
.
76
.
A65
M373
2012
1800. Web services foundations /
Author: Athman Bouguettaya, Quan Z. Sheng, Florian Daniel, editors ; foreword by Michael P. Papazoglou
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cloud computing,Service-oriented architecture (Computer science),Web services,Computer Applications,Computer Communication Networks,Computer Science,Database Management,Information Storage and Retrieval,Information Systems Applications (incl. Internet)
Classification :
TK5105
.
88813
