481. Theory and practice of model transformations

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer software-- Development, Congresses,Model-driven software architecture, Congresses

رده :
QA76
.
76
.
D47
I26
2009

482. Tools and algorithms for the construction and analysis of systems

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : System design ; Congresses. ; Computer software ; Development ; Congresses. ;

483. Tools and algorithms for the construction and analysis of systems :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computer software-- Verification.,Computers-- Hardware-- Handheld Devices.,Computers-- Information Theory.,Computers-- Programming-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software Engineering.,System analysis.,System design.,Systems analysis & design.

رده :
QA76
.
9
.
S88

484. Tools and algorithms for the construction and analysis of systems :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer software -- Development -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.,System design -- Congresses.

485. Tools and algorithms for the construction and analysis of systems : Second International Workshop, TACAS'96, Passau, Germany, March 27-29 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing

رده :
QA
76
.
L28
Vol
.
1055

486. Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS 95, Aarhus, Denmark, May 19-20, 1995 : selected papers

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing

رده :
QA
76
.
L28
V0l
.
1019

487. Tools and algorithms for the construction and analysis of systems : 5th International Conference, TACAS'99, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، System design,Congresses ، Computer software -- Development

رده :
QA
76
.
L28
Vol
.
1579

488. Tools and algorithms for the construction and analysis of systems : 6th International Conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March/April 2000 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، System design,Congresses ، Computer software -- Development

رده :
QA
76
.
L28
Vol
.
1785

489. Tools and algorithms for the construction and analysis of systems : 4th International Conference, TACAS'98, held as part of the joint European Conference on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، System design,Congresses ، Computer software -- Development

رده :
QA
76
.
L28
Vol
.
1384

490. Tools and algorithms for the construction and analysis of systems : 11th International Conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، System design,Congresses ، Computer software -- Development

رده :
QA
76
.
L28
Vol
.
3440

491. Tools and algorithms for the construction and analysis of systems : 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، System design,Congresses ، Computer software -- Development

رده :
QA
76
.
L28
Vol
.
2988

492. Tools and algorithms for the construction and analysis of systems : 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، System design,Congresses ، Computer software -- Development

رده :
QA
76
.
L28
Vol
.
2031

493. Tools and algorithms for the construction and analysis of systems : 9th international conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 2003 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، System design,Congresses ، Computer software -- Development

رده :
QA
76
.
L28
Vol
.
2619

494. Tools and algorithms for the construction and analysis of systems : 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 2002 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، System design,Congresses ، Computer software -- Development

رده :
QA
76
.
L28
Vol
.
2280

495. Tools and algorithms for the construction and analysis of systems : third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing

رده :
QA
76
.
L28
Vol
.
1217

496. Topics in cryptology -- CT-RSA 2018 :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Data encryption (Computer science), Congresses.,Business & Economics-- Information Management.,Coding theory & cryptology.,Computer architecture & logic design.,Computers-- Hardware-- Network Hardware.,Computers-- Logic Design.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Data encryption (Computer science),Information architecture.,Network hardware.,Software Engineering.

رده :
QA76
.
9
.
A25

497. Towards next generation grids :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computational grids (Computer systems), Congresses.,Computational grids (Computer systems),Computational grids (Computer systems),COMPUTERS-- Client-Server Computing.,Informatique.

رده :
QA76
.
9
.
C58
C675
2007eb

498. Transactions on large-scale data- and knowledge-centered systems XXXVII /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer networks-- Security measures, Congresses.,Computer security, Congresses.,Data mining, Congresses.,Database management, Congresses.,Artificial intelligence.,Artificial intelligence.,Computer networks.,Computer science.,Computer security.,Computer security.,Computers-- Database Management-- Data Mining.,Computers-- Hardware-- Network Hardware.,Computers-- Intelligence (AI) & Semantics.,Computers-- Operating Systems-- General.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Data mining.,Data mining.,Network hardware.,Operating systems (Computers),Operating systems.,Software engineering.,Software Engineering.

رده :
QA76
.
9
.
A25

499. Transformation-based reactive systems development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Paima, Mallorca, Spain, May 21-23, 1997: proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Real-time data processing,Congresses ، Parallel processing )Electronic computers(,Congresses ، Electronic data processing -- Distributed processing

رده :
QA
76
.
L28
Vol
.
1231

500. Trends and advances in information systems and technologies.

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer networks, Congresses.,Computer science, Congresses.,Information technology, Congresses.,Artificial intelligence.,Computer networks.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Information technology.

رده :
T58
.
5