|
|
|
New Additions of Books
Received during the period from
02/11/15 to 14/11/15
Vol. 13 (43-44)
Computer Science, Data Processing, Programming (001-099)
- Certified Programming With Dependent Types : A Pragmatic Introduction To The Coq Proof Assistant
Chipala, Adam
005.1 CHL 030371
Philosophy and Psychology (100-199)
- Way To Wisdom : An Introduction To Philosophy, 2Nd.
Jaspers, Karl
100 JAS 030409
- Empirical Stance
Van Fraassen, Bas C.
146.44 VAN 030377
- Artificial Cognitive Systems : A Primer
Vernon, David
153 VER 030367
Social Sciences, Sociology & Anthropology (300-399)
- Hannah Arendt : For Love Of The World, 2Nd.
Young-Bruehl, Elisabeth
320.51092 YOU 030382
- Plato'S Republic : A Study
Rosen, Stanley
321.07 ROS 030399
- Disaster Robotics
Murphy, Robin R.
363.34 MUR 030375
Natural Sciences & Mathematics (500-599)
- Book Of Set Theory
Pinter , Charles C.
511.322 PIN 030368
- Category Theory For The Sciences
Spivak, David I.
512.62 SPI 030370
- Gamma Function
Artin, Emil
517.32 ART 030380
Technology (Applied Sciences) (600-699)
- Finite State Machines In Hardware : Theory And Design (With Vhdl And Systemverilog)
Pedroni, Volnei A.
621.392 PED 030379
- Working On Mars : Voyages Of Scientific Discovery With The Mars Exploration Rovers
Clancey, William J.
629.43543 CLA 030372
Literature & rhetoric (800-899)
- Thinking In Circles : An Essay On Ring Composition
Douglas, Mary
808 DOU 030407
- Beloved
Morrison, Toni
823.914 MOR 030353
- Bloody Chamber And Other Stories
Carter, Angela
823.914 CAR 030354
- Deaths In Venice : The Cases Of Gustav Von Aschenbach
Kitcher, Philip
833.912 KIT 030373
- Same-Sex Love In India : Readings From Literature
Vanita,Ruth and Kidwai, Saleem
891.1 VAN 030357
|
|
|
|
|
|
|
