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