141. Art-the-of-2008: From the Early Years to the State-50 Years of Integer Programming 1958
پدیدآورنده : / nger, Thomas M. Liebling, Denis Naddef, George L. Nemhauser, William R. Pulleyblank, Gerhard Reinelt, Giovanni Rinaldi, Laurence A. Wolsey (eds.)یtal, William Cook, George B. Dantzig, Delbert R. Fulkerson, Selmer M. Johnson (auth.), Michael Jعek ChvجVa
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
142. Aspect-Oriented Database Systems
پدیدآورنده : by Awais Rashid.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Database management.,Software engineering.
رده :
QA76
.
9
.
D3
B939
2004
143. Assurances for self-adaptive systems
پدیدآورنده : Javier Cámara...[et al.] (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Adaptive computing systems,Computer software-- Verification,Self-adaptive software
رده :
QA76
.
76
.
S375
A87
2013
144. Asynchronous Digital Circuit Design
پدیدآورنده : edited by Graham Birtwistle, Alan Davis.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Software engineering.
145. Asynchronous sequential machine design and analysis
پدیدآورنده : / Richard F. Tinder
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Asynchronous circuits, Mathematical models,Sequential circuits, Mathematical models,Sequential machine theory, Mathematical models,Asynchronous,Sequential,Sequencers,Logic,Machines,Digital,Self-timed,Arbiters
رده :
E-BOOK
146. Authoring tools for advanced technology learning environments :
پدیدآورنده : edited by Tom Murray, Stephen Blessing, Shaaron Ainsworth.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer-assisted instruction -- Authoring programs.
رده :
LB1028
.
73
E358
2011
147. Authoring tools for advanced technology learning environments :
پدیدآورنده : edited by Tom Murray, Stephen Blessing, Shaaron Ainsworth.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer-assisted instruction -- Authoring programs.
148. Automata, Languages and Programming
پدیدآورنده : / SgallکLuca Aceto, Monika Henzinger, Ji
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
149. Automata, Languages and Programming
پدیدآورنده : / Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
150. Automata, Languages and Programming
پدیدآورنده : / Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
151. Automata, Languages and Programming
پدیدآورنده : / SgallکLuca Aceto, Monika Henzinger, Ji
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
152. Automata, Languages and Programming :
پدیدآورنده : edited by Hermann A. Maurer.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Information theory.,Software engineering.,Theory of Computation.
153. Automate the Boring Stuff with Python: Practical Programming for Total Beginners
پدیدآورنده : / Al Sweigart
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
154. Automated Deduction - A Basis for Applications
پدیدآورنده : edited by Wolfgang Bibel, Peter H. Schmitt.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
155. Automated and algorithmic debugging :
پدیدآورنده : Peter A Fritzson
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Science.,Debugging in computer science -- Congresses.,Engineering & Applied Sciences.
156. Automated technology for verification and analysis
پدیدآورنده : Supratik Chakraborty, Madhavan Mukund (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses,Automatic theorem proving, Congresses
رده :
QA76
.
9
.
A96
A88
2012eb
157. Automated technology for verification and analysis :
پدیدآورنده : Dang Van Hung, Mizuhito Ogawa (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses,Automatic theorem proving, Congresses
رده :
QA76
.
9
.
A96
A88
2013
158. Automated technology for verification and analysis
پدیدآورنده : / Kedar S. Namjoshi ... [et al.] (eds.)
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Automatic theorem proving--Congresses
رده :
QA
,
76
.
9
,.
A96
,
A82
,
2006
159. Automated technology for verification and analysis
پدیدآورنده : Zhiming Liu, Anders P. Ravn (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses,Automatic theorem proving, Congresses
رده :
QA76
.
9
.
A96
A88
2009
160. Automated technology for verification and analysis :
پدیدآورنده : Shuvendu K. Lahiri, Chao Wang (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses.,Automatic theorem proving, Congresses.,3D graphics & modelling.,Artificial intelligence.,Automatic theorem proving.,Computer programming-- software development.,Computer security.,Computers-- Computer Simulation.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
A96
