E-BOOKS GATEWAY

Delhi University Library System

University of Delhi, Delhi

Showing 30,181-30,200 of 187,828 items.

S.No.	ISBN	Title of Book	Author	Year	Publisher	Action

30181	978-3-319-60588-3	Reliable Software Technologies – Ada-Europe 2017	Johann Blieberger, Markus Bader	2017	Springer	Click Here
30182	978-3-319-42634-1	Computing and Combinatorics	Thang N. Dinh, My T. Thai	2016	Springer	Click Here
30183	978-3-319-63874-4	Collaboration and Technology	Carl Gutwin, Sergio F. Ochoa, Julita Vassileva, Tomoo Inoue	2017	Springer	Click Here
30184	978-981-10-1896-1	Rationality and Operators	Susumu Cato	2016	Springer	Click Here
30185	978-3-319-59758-4	Artificial Intelligence in Medicine	Annette ten Teije, Christian Popow, John H. Holmes, Lucia Sacchi	2017	Springer	Click Here
30186	978-3-319-43904-4	Analytical and Stochastic Modelling Techniques and Applications	Sabine Wittevrongel, Tuan Phung-Duc	2016	Springer	Click Here
30187	978-3-319-65816-2	Large Deviations for Random Graphs	Sourav Chatterjee	2017	Springer	Click Here
30188	978-3-319-46049-9	String Processing and Information Retrieval	Shunsuke Inenaga, Kunihiko Sadakane, Tetsuya Sakai	2016	Springer	Click Here
30189	978-3-319-30328-4	Probabilistic Models of Population Evolution	Étienne Pardoux	2016	Springer	Click Here
30190	978-3-319-40593-3	Provenance and Annotation of Data and Processes	Marta Mattoso, Boris Glavic	2016	Springer	Click Here
30191	978-3-319-45641-6	Computer Algebra in Scientific Computing	Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov	2016	Springer	Click Here
30192	978-3-319-60675-0	Trends in Artificial Intelligence: PRICAI 2016 Workshops	Masayuki Numao, Thanaruk Theeramunkong, Thepchai Supnithi, Mahasak Ketcham, Narit Hnoohom, Patiyuth Pramkeaw	2017	Springer	Click Here
30193	978-3-319-56614-6	Advances in Cryptology – EUROCRYPT 2017	Jean-Sébastien Coron, Jesper Buus Nielsen	2017	Springer	Click Here
30194	978-3-319-29817-7	Mathematical and Engineering Methods in Computer Science	Jan Kofroň, Tomáš Vojnar	2016	Springer	Click Here
30195	978-3-319-42911-3	PRICAI 2016: Trends in Artificial Intelligence	Richard Booth, Min-Ling Zhang	2016	Springer	Click Here
30196	978-3-662-49674-9	Tools and Algorithms for the Construction and Analysis of Systems	Marsha Chechik, Jean-François Raskin	2016	Springer	Click Here
30197	978-3-319-49812-6	Deductive Software Verification – The KeY Book	Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich	2016	Springer	Click Here
30198	978-3-319-64119-5	Model-Based Safety and Assessment	Marco Bozzano, Yiannis Papadopoulos	2017	Springer	Click Here
30199	978-3-319-31204-0	Applications of Evolutionary Computation	Giovanni Squillero, Paolo Burelli	2016	Springer	Click Here
30200	978-3-319-45889-2	Multiagent System Technologies	Matthias Klusch, Rainer Unland, Onn Shehory, Alexander Pokahr, Sebastian Ahrndt	2016	Springer	Click Here