10063 Matching Record(s) found
| Title | Author | Subject | Publisher | Action | 
| Smart Graphics | Andreas Butz, Brian Fisher, Antonio Krüger, Patrick Olivier | Computer Science | Springer | Details | 
| Rough Sets and Knowledge Technology | Guo-Ying Wang, James F. Peters, Andrzej Skowron, Yiyu Yao | Computer Science | Springer | Details | 
| Principles of Distributed Systems | James H. Anderson, Giuseppe Prencipe, Roger Wattenhofer | Computer Science | Springer | Details | 
| Argumentation in Multi-Agent Systems | Simon Parsons, Nicolas Maudet, Pavlos Moraitis, Iyad Rahwan | Computer Science | Springer | Details | 
| Embedded Computer Systems: Architectures, Modeling, and Simulation | Stamatis Vassiliadis, Stephan Wong, Timo D. Hämäläinen | Computer Science | Springer | Details | 
| Data Integration in the Life Sciences | Ulf Leser, Felix Naumann, Barbara Eckman | Computer Science | Springer | Details | 
| Fast Software Encryption | Matthew Robshaw | Computer Science | Springer | Details | 
| Distributed Services with OpenAFS | Franco Milicchio, Wolfgang A. Gehrke | Computer Science | Springer | Details | 
| Logic Programming | Sandro Etalle, Miros?aw Truszczy?ski | Computer Science | Springer | Details | 
| PRICAI 2006: Trends in Artificial Intelligence | Qiang Yang, Geoff Webb | Computer Science | Springer | Details | 
| SmartKom: Foundations of Multimodal Dialogue Systems | Wolfgang Wahlster | Computer Science | Springer | Details | 
| Embedded and Ubiquitous Computing | Edwin Sha, Sung-Kook Han, Cheng-Zhong Xu, Moon-Hae Kim, Laurence T. Yang, Bin Xiao | Computer Science | Springer | Details | 
| Formal Methods for Components and Objects | Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever | Computer Science | Springer | Details | 
| Data and Applications Security XX | Ernesto Damiani, Peng Liu | Computer Science | Springer | Details | 
| Dependable Systems: Software, Computing, Networks | Jürg Kohlas, Bertrand Meyer, André Schiper | Computer Science | Springer | Details | 
| Term Rewriting and Applications | Frank Pfenning | Computer Science | Springer | Details | 
| Advances in Case-Based Reasoning | Thomas R. Roth-Berghofer, Mehmet H. Göker, H. Altay Güvenir | Computer Science | Springer | Details | 
| Emerging Directions in Embedded and Ubiquitous Computing | Xiaobo Zhou, Oleg Sokolsky, Lu Yan, Eun-Sun Jung, Zili Shao, Yi Mu, Dong Chun Lee, Dae Young Kim, Young-Sik Jeong, Cheng-Zhong Xu | Computer Science | Springer | Details | 
| Agent Computing and Multi-Agent Systems | Zhong-Zhi Shi, Ramakoti Sadananda | Computer Science | Springer | Details | 
| Artificial Intelligence and Neural Networks | F. Acar Savac? | Computer Science | Springer | Details | 
| Reconfigurable Computing: Architectures and Applications | Koen Bertels, João M. P. Cardoso, Stamatis Vassiliadis | Computer Science | Springer | Details | 
| Geometric Modeling and Processing - GMP 2006 | Myung-Soo Kim, Kenji Shimada | Computer Science | Springer | Details | 
| Journal on Data Semantics VI | Stefano Spaccapietra, Karl Aberer, Philippe Cudré-Mauroux | Computer Science | Springer | Details | 
| Comprehensive Mathematics for Computer Scientists 1 | Guerino Mazzola, Gérard Milmeister, Jody Weissmann | Computer Science | Springer | Details | 
| Computing and Combinatorics | Danny Z. Chen, D. T. Lee | Computer Science | Springer | Details | 
| Advanced Data Mining and Applications | Xue Li, Osmar R. Zaïane, Zhan-huai Li | Computer Science | Springer | Details | 
| Knowledge Science, Engineering and Management | Jérôme Lang, Fangzhen Lin, Ju Wang | Computer Science | Springer | Details | 
| Mathematical Knowledge Management | Jonathan M. Borwein, William M. Farmer | Computer Science | Springer | Details | 
| Automated Reasoning | Ulrich Furbach, Natarajan Shankar | Computer Science | Springer | Details | 
| Wireless Algorithms, Systems, and Applications | Xiuzhen Cheng, Wei Li, Taieb Znati | Computer Science | Springer | Details | 
| Theory and Applications of Satisfiability Testing - SAT 2006 | Armin Biere, Carla P. Gomes | Computer Science | Springer | Details | 
| Implementation and Application of Automata | Oscar H. Ibarra, Hsu-Chun Yen | Computer Science | Springer | Details | 
| FM 2006: Formal Methods | Jayadev Misra, Tobias Nipkow, Emil Sekerinski | Computer Science | Springer | Details | 
| Medical Imaging and Augmented Reality | Guang-Zhong Yang, TianZi Jiang, Dinggang Shen, Lixu Gu, Jie Yang | Computer Science | Springer | Details | 
| Structural, Syntactic, and Statistical Pattern Recognition | Dit-Yan Yeung, James T. Kwok, Ana Fred, Fabio Roli, Dick Ridder | Computer Science | Springer | Details | 
| Ad-Hoc, Mobile, and Wireless Networks | Thomas Kunz, S. S. Ravi | Computer Science | Springer | Details | 
| Advances in Artificial Economics | Charlotte Bruun | Computer Science | Springer | Details | 
| Intelligent Computing | De-Shuang Huang, Kang Li, George William Irwin | Computer Science | Springer | Details | 
| Computational Intelligence | De-Shuang Huang, Kang Li, George William Irwin | Computer Science | Springer | Details | 
| Computational Intelligence and Bioinformatics | De-Shuang Huang, Kang Li, George William Irwin | Computer Science | Springer | Details | 
| Advances in Natural Language Processing | Tapio Salakoski, Filip Ginter, Sampo Pyysalo, Tapio Pahikkala | Computer Science | Springer | Details | 
| CONCUR 2006 ? Concurrency Theory | Christel Baier, Holger Hermanns | Computer Science | Springer | Details | 
| Computer Aided Verification | Thomas Ball, Robert B. Jones | Computer Science | Springer | Details | 
| Advances in Cryptology - CRYPTO 2006 | Cynthia Dwork | Computer Science | Springer | Details | 
| Advanced Topics in Exception Handling Techniques | Christophe Dony, Jørgen Lindskov Knudsen, Alexander Romanovsky, Anand Tripathi | Computer Science | Springer | Details | 
| Pattern Recognition in Bioinformatics | Jagath C. Rajapakse, Limsoon Wong, Raj Acharya | Computer Science | Springer | Details | 
| Intelligent Virtual Agents | Jonathan Gratch, Michael Young, Ruth Aylett, Daniel Ballin, Patrick Olivier | Computer Science | Springer | Details | 
| Haptic and Audio Interaction Design | David McGookin, Stephen Brewster | Computer Science | Springer | Details | 
| Advances in Machine Vision, Image Processing, and Pattern Analysis | Nanning Zheng, Xiaoyi Jiang, Xuguang Lan | Computer Science | Springer | Details | 
| Software Composition | Welf Löwe, Mario Südholt | Computer Science | Springer | Details | 
| Self-Organizing Systems | Hermann Meer, James P. G. Sterbenz | Computer Science | Springer | Details | 
| Automotive Software ? Connected Services in Mobile Networks | Manfred Broy, Ingolf H. Krüger, Michael Meisinger | Computer Science | Springer | Details | 
| Electronic Government | Maria A. Wimmer, Hans J. Scholl, Åke Grönlund, Kim Viborg Andersen | Computer Science | Springer | Details | 
| Data Warehousing and Knowledge Discovery | A Min Tjoa, Juan Trujillo | Computer Science | Springer | Details | 
| E-Commerce and Web Technologies | Kurt Bauknecht, Birgit Pröll, Hannes Werthner | Computer Science | Springer | Details | 
| Artificial Immune Systems | Hugues Bersini, Jorge Carneiro | Computer Science | Springer | Details | 
| Trust and Privacy in Digital Business | Simone Fischer-Hübner, Stevel Furnell, Costas Lambrinoudakis | Computer Science | Springer | Details | 
| Static Analysis | Kwangkeun Yi | Computer Science | Springer | Details | 
| Euro-Par 2006 Parallel Processing | Wolfgang E. Nagel, Wolfgang V. Walter, Wolfgang Lehner | Computer Science | Springer | Details | 
| Ambient Intelligence in Everyday Life | Yang Cai, Julio Abascal | Computer Science | Springer | Details | 
| Mathematical Foundations of Computer Science 2006 | Rastislav Královi?, Pawe? Urzyczyn | Computer Science | Springer | Details | 
| Secure Mobile Ad-hoc Networks and Sensors | Mike Burmester, Alec Yasinsac | Computer Science | Springer | Details | 
| Database and Expert Systems Applications | Stéphane Bressan, Josef Küng, Roland Wagner | Computer Science | Springer | Details | 
| Relations and Kleene Algebra in Computer Science | Renate A. Schmidt | Computer Science | Springer | Details | 
| Web Data Mining | Bing Liu | Computer Science | Springer | Details | 
| Preserving Digital Information | Henry M. Gladney | Computer Science | Springer | Details | 
| OMDoc ? An Open Markup Format for Mathematical Documents [version 1.2] | Michael Kohlhase | Computer Science | Springer | Details | 
| Advances in Databases and Information Systems | Yannis Manolopoulos, Jaroslav Pokorný, Timos K. Sellis | Computer Science | Springer | Details | 
| Reasoning, Action and Interaction in AI Theories and Systems | Oliviero Stock, Marco Schaerf | Computer Science | Springer | Details | 
| Artificial Neural Networks in Pattern Recognition | Friedhelm Schwenker, Simone Marinai | Computer Science | Springer | Details | 
| Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques | Josep Díaz, Klaus Jansen, José D. P. Rolim, Uri Zwick | Computer Science | Springer | Details | 
| Security and Cryptography for Networks | Roberto Prisco, Moti Yung | Computer Science | Springer | Details | 
| Mathematical Software - ICMS 2006 | Andrés Iglesias, Nobuki Takayama | Computer Science | Springer | Details | 
| Ubiquitous Intelligence and Computing | Jianhua Ma, Hai Jin, Laurence T. Yang, Jeffrey J.-P. Tsai | Computer Science | Springer | Details | 
| Services Computing | Liang-Jie Zhang, Jia Zhang, Hong Cai | Computer Science | Springer | Details | 
ALP = Alipore Campus Library, University of Calcutta
1, Reformatory Steet, Kolkata - 750027
CL = Central Library, University of Calcutta
87/1, College Street, Kolkata - 750073
TSP = Ballygunge Science College (Taraknath Siksha Prangan)
35, Ballygunge Circular Road, Kolkata – 750019
RBSP= Rashbehari Siksha Prangan – Rajabazar Science College
92, Acharyya Prafulla Chandra Road, Kolkata - 750009
ECO = ECONOMICS, B. T. Road Campus
56A, Barrackpore Trunk Road, Kolkata-750 050
LAW = Hazra Road Campus
51/1and 51/2 Hazra Road, Kolkata-750 019
VLC = Home Science, Viharilal Home Science Campus
20B, Judges Court Road, Alipore, Kolkata -750 021