4981. Tools and algorithms for the construction and analysis of systems : 5th International Conference
Author: W. Rance Cleaveland )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development
Classification :
QA
76
.
L28
Vol
.
1579
4982. Tools and algorithms for the construction and analysis of systems : 4th International Conference
Author: Bernhard Steffen )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development
Classification :
QA
76
.
L28
Vol
.
1384
4983. Tools and algorithms for the construction and analysis of systems : 6th International Conference
Author: Susanne Graf, Michael Schartzbach )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development
Classification :
QA
76
.
L28
Vol
.
1785
4984. Tools and algorithms for the construction and analysis of systems : 11th International Conference
Author: Nicolas Halbwachs, Lenore D. Zuck )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development
Classification :
QA
76
.
L28
Vol
.
3440
4985. Tools and algorithms for the construction and analysis of systems : 8th international conference
Author: Joost-Pieter Katoen, Perdita Stevens )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development
Classification :
QA
76
.
L28
Vol
.
2280
4986. Tools and algorithms for the construction and analysis of systems : 7th international conference
Author: Tiziana Margaria, Wang Yi )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development
Classification :
QA
76
.
L28
Vol
.
2031
4987. Tools and algorithms for the construction and analysis of systems : 10th international conference
Author: Kurt Jensen, Andreas Podelski )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development
Classification :
QA
76
.
L28
Vol
.
2988
4988. Tools and algorithms for the construction and analysis of systems : 9th international conference
Author: Hubert Garavel, John Hatcliff )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development
Classification :
QA
76
.
L28
Vol
.
2619
4989. Tools and algorithms for the construction and analysis of systems : third International Workshop
Author: Ed Brinksma )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing
Classification :
QA
76
.
L28
Vol
.
1217
4990. Topological Methods in Data Analysis and Visualization II: Theory, Algorithms, and Applications
Author: / Jan Reininghaus, Ingrid Hotz (auth.), Ronald Peikert, Helwig Hauser, Hamish Carr, Raphael Fuchs (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: METHODS&COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
Classification :
E-BOOK
4991. Topological algorithms for digital image processing /
Author: edited by T. Yung Kong, Azriel Rosenfeld
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algorithms,Image processing-- Digital techniques,Topology
Classification :
TA1637
.
T67
1996
4992. Topological methods in data analysis and visualization II : theory, algorithms, and applications
Author: Ronald Peikert ... ]et al.[, editors
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Topology,Congresses ، Mathematical analysis
Classification :
QA
611
.
A1T64
II
4993. Topological methods in data analysis and visualization II theory, algorithms, and applications
Author: / Ronald Peikert ... [et al.], editors
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Topology, Congresses,Mathematical analysis, Congresses
Classification :
QA611
.
A1T6582
2012
4994. Topological methods in data analysis and visualization III : theory, algorithms and applications
Author: Peer-Timo Bremer... ]et al.[, editors
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Topology,Congresses ، Mathematical analysis
Classification :
QA
611
.
A1T64
III
4995. Towards dynamic randomized algorithms in computational geometry
Author: Teillaud, Monique
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Geometry-- Data processing,، Algorithms
Classification :
QA
448
.
D38
.
T45
1993
4996. Towards dynamic randomized algorithms in computational geometry
Author: Monique Teillaud
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Data processing ، Geometry,، Algorithms
Classification :
QA
76
.
L28
Vol
.
758
4997. Tracking and data fusion: a handbook of algorithms
Author: Bar-Shalom, Yaakov
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Handbooks, manuals, etc. ، Multisensor data fusion,، Algorithms
Classification :
TK
5102
.
9
.
B27
2011
4998. Tracking differentiator algorithms :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Automatic control. ;
4999. Transactional Memory. Foundations, Algorithms, Tools, and Applications
Author: / Rachid Guerraoui, Paolo Romano
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
5000. Transactional information systems:theory,Algorithms,and the practice of concurrency control and recovery
Author: Weikum,Gerhard
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Transaction systems(computer systems)
Classification :
005
W421t
