15 Library University 15

15 Universitas Islam Negeri Maulana Malik Ibrahim Malang

15 Katalog Perpustakaan Universitas Islam Negeri Maulana Malik Ibrahim

15 Book Book 15 15 Other Xvii, 78 hal.; 21 cm 3 133 HAL; 23 CM 2 166 hal.; 20cm 1 240 hlm.; 20.5 cm 1 544 HAL; 18 CM 1 XI;225 HAL;21 CM 1 Ix, 221 hal.; 25 cm. 1 Viii+323 hal.; 21 Cm 1 Viii,267 hal. 1 X + 288 hlm.; 20 cm 1 X, 320 hal.; 26 cm 1 Xiii, 410 p.; 21 cm 1 less ...

Mathematical Logic and Formal Languages 13 Computer science 9 Logics and Meanings of Programs 5 Programming and Operating Systems 5 Software Engineering 4 650.1 more ... 4 Algorithm Analysis and Problem Complexity 4 Software engineering 3 System Performance and Evaluation 3 The Computing Profession 2 342.066 2 813 2 Computer Communication Networks 2 Programming Techniques 1 005.3 1 15.8 1 177 1 297.122601 1 2X4.201.347 1 301.2 1 324.273 1 Compilers 1 Computers and Society 1 Cryptology and Information Theory 1 Culture and Technology 1 Data Structures 1 Data structures 1 Database management 1 Discrete Mathematics in Computer Science 1 Information Systems Applications (incl.Internet) 1 Input 1 Interpreters 1 LOGIC DESIGN 1 Logic 1 Math Applications in Computer Science 1 Mathematical Logic and Foundations 1 Operating Systems 1 Output and Data Communications 1 Philosophy 1 Programming Languages 1 Science and Technology Studies 1 Social sciences 1 Theory of Computation less ...

2 Alexandra Silva 2 Georg Weissenbacher 2 Hana Chockler 2 K. Rustan M. Leino 2 Lijun Zhang 1 Alex Simpson more ... 1 Bernhard Steffen 1 Christine Tasson 1 Daniel Neyland 1 Dirk Beyer 1 Fabrice Kordon 1 Geoff Sutcliffe 1 Isil Dillig 1 Madalina Croitoru 1 Marieke Huisman 1 Mario Alemi 1 Michael Cochez 1 Miko?aj Boja?czyk 1 Peter Schroeder-Heister 1 Pierre Marquis 1 Sebastian Rudolph 1 Serdar Tasiran 1 Stefan Kiefer 1 Thomas Piecha less ...

15 ind

5 2006 3 2004 3 2007 1 2001 1 2002 1 2003 more ... 1 2005 less ...

3 Bumi Aksara 3 Ghalia Indonesia 1 Gramedia 1 Gramedia Pustaka 1 Gramedia Pustaka Utama 1 Kencana more ... 1 Penerbit Kanisius 1 Pustaka Pelajar 1 RajaGrafindo Persada 1 SINERGI 1 Salemba Infotek less ...