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
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 62 (Search time: 0.0 seconds).
previous
1
2
3
4
...
7
Next
Item hits:
Preview
Issue Date
Title
Contributor(s)
2018
Symposium on Real-Time and Hybrid Systems
Jones, Cliff. ;
;
Wang, Ji. ;
;
Zhan, Naijun. ;
2018
Business Process Management
Weske, Mathias. ;
;
Montali, Marco. ; (orcid)0000-0002-8021-3430 ; http://orcid.org/0000-0002-8021-3430. ;
;
Weber, Ingo. ; (orcid)0000-0002-4833-5921 ; http://orcid.org/0000-0002-4833-5921. ;
;
vom Brocke, Jan. ;
2018
Computer and Information Sciences
Czacherski, Tadeusz. ; (orcid)0000-0001-7158-0258 ; http://orcid.org/0000-0001-7158-0258. ;
;
Gelenbe, Erol. ; (orcid)0000-0001-9688-2201 ; http://orcid.org/0000-0001-9688-2201. ;
;
Grochla, Krzysztof. ; (orcid)0000-0001-6221-4790 ; http://orcid.org/0000-00
2018
Theory and Applications of Satisfiability Testing ee SAT 2018
Beyersdorff, Olaf. ;
;
Wintersteiger, Christoph M. ;
2018
Entertainment Computing ee ICEC 2018
Clua, Esteban. ; (orcid)0000-0001-5650-1718 ; http://orcid.org/0000-0001-5650-1718. ;
;
Roque, Licinio. ; (orcid)0000-0002-1911-2788 ; http://orcid.org/0000-0002-1911-2788. ;
;
Lugmayr, Artur. ; (orcid)0000-0001-6994-4470 ; http://orcid.org/0000-0001-6994-4
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
Theoretical Aspects of Computing ee ICTAC 2018
Fischer, Bernd. ; (orcid)0000-0002-1815-218X ; http://orcid.org/0000-0002-1815-218X. ;
;
Uustalu, Tarmo. ; (orcid)0000-0002-1297-0579 ; http://orcid.org/0000-0002-1297-0579. ;
2018
Formal Methods
Havelund, Klaus. ;
;
Peleska, Jan. ;
;
Roscoe, Bill. ;
;
de Vink, Erik. ;
2018
Unconventional Computation and Natural Computation
Stepney, Susan. ;
;
Verlan, Sergey. ;
Discover & Search
Type of Materials
62
Book
Contibutors
2
Blomqvist, Eva. ;
2
Gangemi, Aldo. ;
2
Hartig, Olaf. ;
2
Hitzler, Pascal. ;
2
Hoekstra, Rinke. ;
2
Itsykson, Vladimir. ;
2
Kurosu, Masaaki
2
Maynard, Diana. ;
2
Scedrov, Andre. ;
2
Zakharov, Victor. ;
.
more >
Subjects
54
Computer Science
50
Artificial Intelligence and Robotics
15
Information Systems Applications
13
Computer Communication Networks
12
Computers
11
Programming Languages and Compil...
10
Computer logic. ;
10
Logics and Meanings of Programs. ;
10
Mathematical logic. ;
10
QA76.758 ;
.
more >
Date issued
50
2018
12
2017