Skip navigation
Home
Browse
Communities & Collections
Browse Items by:
Issue Dates
Contributors
Titles
Subjects
Communities
Sign on to:
My HannanDL
Receive email updates
Edit Profile
Services
Guidelines
Search Guide
Viewer Guide
Missions
Visions
News
English
Persian
Fa
En
Search
Search:
All of HannanDL
پایگاه پایان نامه ها
پایگاه علوم انسانی
پایگاه فنی و مهندسی
for
Current filters:
Titles
Contributors
Subjects
Type of Materials
Date Issued
Volume
Issue
Month
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Titles
Contributors
Subjects
Type of Materials
Date Issued
Volume
Issue
Month
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Titles
Contributors
Subjects
Type of Materials
Date Issued
Volume
Issue
Month
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Start a new search
Add filters:
Use filters to refine the search results.
Titles
Contributors
Subjects
Type of Materials
Date Issued
Volume
Issue
Month
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results 1-10 of 16 (Search time: 0.0 seconds).
previous
1
2
Next
Item hits:
Preview
Issue Date
Title
Contributor(s)
2018
Internet of Things ee ICIOT 2018
Georgakopoulos, Dimitrios. ;
;
Zhang, Liang-Jie
2018
Handbook of Model Checking
Clarke, Edmund M. ;
;
Henzinger, Thomas A. ;
;
Veith, Helmut. ;
;
Bloem, Roderick. ;
2018
Bioinspired Optimization Methods and Their Applications
Koroeeec, Peter. ;
;
Melab, Nouredine. ;
;
Talbi, El-Ghazali. ;
2018
Services Computing ee SCC 2018
Ferreira, Joeo Eduardo. ;
;
Spanoudakis, George. ;
;
Ma, Yutao. ;
;
Zhang, Liang-Jie
2018
Tools and Algorithms for the Construction and Analysis of Systems
Beyer, Dirk. ;
;
Huisman, Marieke. ;
2018
Foundations of Software Science and Computation Structures
Baier, Christel. ;
;
Dal Lago, Ugo. ;
2018
Machine Learning for Dynamic Software Analysis: Potentials and Limits
Bennaceur, Amel. ;
;
Hehnle, Reiner. ;
;
Meinke, Karl. ;
2018
Technology Trends
Botto-Tobar, Miguel. ;
;
Esparza-Cruz, Nelly. ;
;
Leen-Acurio, Joffre. ;
;
Crespo-Torres, Narcisa. ;
;
Beltreen-Mora, Marola. ;
2018
Social, Cultural, and Behavioral Modeling
Thomson, Robert. ;
;
Dancy, Christopher. ;
;
Hyder, Ayaz. ;
;
Bisgin, Halil. ;
2018
Intelligent Transport Systems ee From Research and Development to the Market Uptake
Koveeeeikovee, Tatiana. ;
;
Buzna, euboee. ;
;
Pourhashem, Ghadir. ;
;
Lugano, Giuseppe. ;
;
Cornet, Yannick. ;
;
Lugano, Nathalie. ;
Discover & Search
Type of Materials
16
Book
Contibutors
2
Abdalla, Michel. ; editor. ;
2
Beltreen-Mora, Marola. ;
2
Botto-Tobar, Miguel. ;
2
Crespo-Torres, Narcisa. ;
2
Dahab, Ricardo. ; editor. ;
2
Esparza-Cruz, Nelly. ;
2
Leen-Acurio, Joffre. ;
2
Zhang, Liang-Jie
1
Baier, Christel. ;
1
Bennaceur, Amel. ;
.
more >
Subjects
16
Computer Science
6
Artificial Intelligence
6
Artificial Intelligence and Robotics
6
Computer organization. ;
6
Theory of Computation. ;
4
Information Systems and Communica...
3
Computer Systems Organization and...
2
004 ; 23 ;
2
005.1015113 ; 23 ;
2
Application Software
.
more >
Date issued
13
2018
3
2017