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 36 (Search time: 0.0 seconds).
previous
1
2
3
4
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. ;
2017
Pro Spring 5
Cosmina, Iuliana. ;
;
Harrop, Rob. ;
;
Schaefer, Chris. ;
;
Ho, Clarence. ;
2018
Pro JavaFX 9
Vos, Johan. ;
;
Chin, Stephen. ;
;
Gao, Weiqi. ;
;
Weaver, James. ;
;
Iverson, Dean. ;
2018
Foundations of Software Science and Computation Structures
Baier, Christel. ;
;
Dal Lago, Ugo. ;
2018
Reliable Software Technologies ee Ada-Europe 2018
Casimiro, Antenio. ;
;
Ferreira, Pedro M. ;
2018
Machine Learning for Dynamic Software Analysis: Potentials and Limits
Bennaceur, Amel. ;
;
Hehnle, Reiner. ;
;
Meinke, Karl. ;
Discover & Search
Type of Materials
36
Book
Contibutors
2
Abdalla, Michel. ; editor. ;
2
Beltreen-Mora, Marola. ;
2
Botto-Tobar, Miguel. ;
2
Crespo-Torres, Narcisa. ;
2
Dahab, Ricardo. ; editor. ;
2
Duan, Zhenhua. ;
2
Esparza-Cruz, Nelly. ;
2
Leen-Acurio, Joffre. ;
2
Liu, Shaoying. ;
2
Nagoya, Fumiko. ;
.
more >
Subjects
16
Computers
10
Artificial Intelligence
10
Artificial Intelligence and Robotics
7
Computer organization. ;
6
Theory of Computation. ;
5
Computer logic. ;
5
Logics and Meanings of Programs. ;
5
QA76.758 ;
4
Computer Communication Networks
4
Computer Communication Systems
.
more >
Date issued
29
2018
7
2017