Refine your search
Availability
-
Authors
- Biere, Armin (6)
- Bouyer, Patricia (4)
- Chockler, Hana (6)
- Groote, Jan Friso (6)
- Ikematsu, Yasuhiko (5)
- Kimoto, Kazufumi (5)
- Kunihiro, Noboru (5)
- Lahiri, Shuvendu K. (8)
- Larsen, Kim Guldstra... (6)
- Leino, K. Rustan M. (6)
- Parker, David (6)
- Silva, Alexandra (6)
- Sukharevsky, Oleg I. (4)
- Takagi, Tsuyoshi (5)
- Tanaka, Keisuke (5)
- Vojnar, Tomáš (4)
- Wakayama, Masato (5)
- Wang, Chao (6)
- Weissenbacher, Georg (6)
- Zhang, Lijun (6)
- Show more
- Show less
-
Collections
- E-Books EBSCO (32)
- E-Books Open Access (234)
-
Home libraries
- OPJGU Sonepat- Campus (266)
-
Item types
- Electronic-Books (266)
-
Series
- Advances in natural ... (1)
- Artificial Intellige... (1)
- Board of internation... (1)
- Classroom resource m... (1)
- Conference Series: F... (3)
- Financial Mathematic... (2)
- Foundations of compu... (2)
- Frontiers in artific... (2)
- Learning Materials i... (1)
- Lecture Notes in Com... (17)
- Lecture Notes in Com... (13)
- Lecture Notes in Com... (6)
- Mathematics for Indu... (2)
- Proceedings in Infor... (1)
- Progress in neural p... (1)
- Security and Cryptol... (2)
- Simula SpringerBrief... (3)
- The Morgan Kaufmann ... (2)
- Theoretical Computer... (13)
- Show more
- Show less
-
Places
- Great Britain (1)
- Großbritannien (1)
-
Topics
- Algorithms & data st... (47)
- Artificial intellige... (85)
- Computer architectur... (13)
- Computer modelling &... (21)
- Computer networking ... (26)
- Computer programming... (54)
- Computer science (66)
- COMPUTERS (14)
- Computers (7)
- Machine learning (12)
- Mathematical theory ... (109)
- Software Engineering (68)
- Software engineering (13)
- Systems analysis & d... (36)
- Technology: general ... (13)
- Theory of Computatio... (22)
- Show more
- Show less
-
Titles