43115 Matching Record(s) found
| Title | Author | Subject | Publisher | Action |
| SDL 2005: Model Driven | Andreas Prinz, Rick Reed, Jeanne Reed | Computer Science | Springer | Details |
| Applied Cryptography and Network Security | John Ioannidis, Angelos Keromytis, Moti Yung | Computer Science | Springer | Details |
| The Semantic Web: Research and Applications | Asunción Gómez-Pérez, Jérôme Euzenat | Computer Science | Springer | Details |
| Journal on Data Semantics III | Stefano Spaccapietra, Esteban Zimányi | Computer Science | Springer | Details |
| Formal Methods for Open Object-Based Distributed Systems | Martin Steffen, Gianluigi Zavattaro | Computer Science | Springer | Details |
| Applications and Theory of Petri Nets 2005 | Gianfranco Ciardo, Philippe Darondeau | Computer Science | Springer | Details |
| Combinatorial Pattern Matching | Alberto Apostolico, Maxime Crochemore, Kunsoo Park | Computer Science | Springer | Details |
| Image Analysis | Heikki Kalviainen, Jussi Parkkinen, Arto Kaarna | Computer Science | Springer | Details |
| Multiple Classifier Systems | Nikunj C. Oza, Robi Polikar, Josef Kittler, Fabio Roli | Computer Science | Springer | Details |
| Theory and Applications of Satisfiability Testing | Holger H. Hoos, David G. Mitchell | Computer Science | Springer | Details |
| Distributed Applications and Interoperable Systems | Lea Kutvonen, Nancy Alonistioti | Computer Science | Springer | Details |
| Principles of Distributed Systems | Teruo Higashino | Computer Science | Springer | Details |
| Public Key Infrastructure | David Chadwick, Gansen Zhao | Computer Science | Springer | Details |
| Computational Intelligence and Security | Yue Hao, Jiming Liu, Yu-Ping Wang, Yiu-ming Cheung, Hujun Yin, Licheng Jiao, Jianfeng Ma, Yong-Chang Jiao | Computer Science | Springer | Details |
| Computational Intelligence and Security | Yue Hao, Jiming Liu, Yuping Wang, Yiu-ming Cheung, Hujun Yin, Licheng Jiao, Jianfeng Ma, Yong-Chang Jiao | Computer Science | Springer | Details |
| Languages and Compilers for Parallel Computing | Bill Pugh, Chau-Wen Tseng | Computer Science | Springer | Details |
| Socionics | Klaus Fischer, Michael Florian, Thomas Malsch | Computer Science | Springer | Details |
| Component-Based Software Development for Embedded Systems | Colin Atkinson, Christian Bunse, Hans-Gerhard Gross, Christian Peper | Computer Science | Springer | Details |
| Security and Privacy in Ad-hoc and Sensor Networks | Refik Molva, Gene Tsudik, Dirk Westhoff | Computer Science | Springer | Details |
| Formal Modeling and Analysis of Timed Systems | Paul Pettersson, Wang Yi | Computer Science | Springer | Details |
| Job Scheduling Strategies for Parallel Processing | Dror Feitelson, Eitan Frachtenberg, Larry Rudolph, Uwe Schwiegelshohn | Computer Science | Springer | Details |
| New Algorithms for Macromolecular Simulation | Benedict Leimkuhler, Christophe Chipot, Ron Elber, Aatto Laaksonen, Alan Mark, Tamar Schlick, Christoph Schütte, Robert Skeel | Computer Science | Springer | Details |
| Professional Knowledge Management | Klaus-Dieter Althoff, Andreas Dengel, Ralph Bergmann, Markus Nick, Thomas Roth-Berghofer | Computer Science | Springer | Details |
| Advances in Biometrics | David Zhang, Anil K. Jain | Computer Science | Springer | Details |
| Verification, Model Checking, and Abstract Interpretation | E. Allen Emerson, Kedar S. Namjoshi | Computer Science | Springer | Details |
| Audio- and Video-Based Biometric Person Authentication | Takeo Kanade, Anil Jain, Nalini K. Ratha | Computer Science | Springer | Details |
| Product Focused Software Process Improvement | Frank Bomarius, Seija Komi-Sirviö | Computer Science | Springer | Details |
| Detection of Intrusions and Malware, and Vulnerability Assessment | Klaus Julisch, Christopher Kruegel | Computer Science | Springer | Details |
| Progress in Artificial Intelligence | Carlos Bento, Amílcar Cardoso, Gaël Dias | Computer Science | Springer | Details |
| Architecting Dependable Systems III | Rogério Lemos, Cristina Gacek, Alexander Romanovsky | Computer Science | Springer | Details |
| Logic for Programming, Artificial Intelligence, and Reasoning | Geoff Sutcliffe, Andrei Voronkov | Computer Science | Springer | Details |
| Intelligent Technologies for Interactive Entertainment | Mark Maybury, Oliviero Stock, Wolfgang Wahlster | Computer Science | Springer | Details |
| AI 2005: Advances in Artificial Intelligence | Shichao Zhang, Ray Jarvis | Computer Science | Springer | Details |
| MICAI 2005: Advances in Artificial Intelligence | Alexander Gelbukh, Álvaro Albornoz, Hugo Terashima-Marín | Computer Science | Springer | Details |
| Data Management in a Connected World | Theo Härder, Wolfgang Lehner | Computer Science | Springer | Details |
| Intelligent Techniques for Web Personalization | Bamshad Mobasher, Sarabjot Singh Anand | Computer Science | Springer | Details |
| Agents and Peer-to-Peer Computing | Gianluca Moro, Sonia Bergamaschi, Karl Aberer | Computer Science | Springer | Details |
| Biological and Medical Data Analysis | José Luís Oliveira, Víctor Maojo, Fernando Martín-Sánchez, António Sousa Pereira | Computer Science | Springer | Details |
| Quality of Service ? IWQoS 2005 | Hermann Meer, Nina Bhatti | Computer Science | Springer | Details |
| Transactions on Computational Systems Biology II | Corrado Priami, Alexander Zelikovsky | Computer Science | Springer | Details |
| Embedded Computer Systems: Architectures, Modeling, and Simulation | Timo D. Hämäläinen, Andy D. Pimentel, Jarmo Takala, Stamatis Vassiliadis | Computer Science | Springer | Details |
| Knowledge Discovery in Databases: PKDD 2005 | Alípio Mário Jorge, Luís Torgo, Pavel Brazdil, Rui Camacho, João Gama | Computer Science | Springer | Details |
| Reliable Software Technology ? Ada-Europe 2005 | Tullio Vardanega, Andy Wellings | Computer Science | Springer | Details |
| Graph Drawing | Patrick Healy, Nikola S. Nikolov | Computer Science | Springer | Details |
| Fast Software Encryption | Henri Gilbert, Helena Handschuh | Computer Science | Springer | Details |
| Distributed Computing in Sensor Systems | Viktor K. Prasanna, Sitharama S. Iyengar, Paul G. Spirakis, Matt Welsh | Computer Science | Springer | Details |
| Mechanisms, Symbols, and Models Underlying Cognition | José Mira, José R. Álvarez | Computer Science | Springer | Details |
| Artificial Intelligence and Knowledge Engineering Applications: A Bioinspired Approach | José Mira, José R. Álvarez | Computer Science | Springer | Details |
| Advanced Distributed Systems | Félix F. Ramos, Victor Larios Rosillo, Herwig Unger | Computer Science | Springer | Details |
| Reasoning Web | Norbert Eisinger, Jan Ma?uszy?ski | Computer Science | Springer | Details |
| Information Processing in Medical Imaging | Gary E. Christensen, Milan Sonka | Computer Science | Springer | Details |
| Database: Enterprise, Skills and Innovation | Mike Jackson, David Nelson, Sue Stirk | Computer Science | Springer | Details |
| Image and Video Retrieval | Wee-Kheng Leow, Michael S. Lew, Tat-Seng Chua, Wei-Ying Ma, Lekha Chaisorn, Erwin M. Bakker | Computer Science | Springer | Details |
| Theory and Applications of Satisfiability Testing | Fahiem Bacchus, Toby Walsh | Computer Science | Springer | Details |
| Financial Cryptography and Data Security | Andrew S. Patrick, Moti Yung | Computer Science | Springer | Details |
| Developments in Language Theory | Clelia Felice, Antonio Restivo | Computer Science | Springer | Details |
| Logic Based Program Synthesis and Transformation | Sandro Etalle | Computer Science | Springer | Details |
| Information Security and Privacy | Colin Boyd, Juan Manuel González Nieto | Computer Science | Springer | Details |
| Practical Aspects of Declarative Languages | Pascal Hentenryck | Computer Science | Springer | Details |
| Computer Aided Verification | Kousha Etessami, Sriram K. Rajamani | Computer Science | Springer | Details |
| Automata, Languages and Programming | Luís Caires, Giuseppe F. Italiano, Luís Monteiro, Catuscia Palamidessi, Moti Yung | Computer Science | Springer | Details |
| Machine Learning: ECML 2005 | João Gama, Rui Camacho, Pavel B. Brazdil, Alípio Mário Jorge, Luís Torgo | Computer Science | Springer | Details |
| Intelligent Data Engineering and Automated Learning - IDEAL 2005 | Marcus Gallagher, James P. Hogan, Frederic Maire | Computer Science | Springer | Details |
| Algorithmic Learning Theory | Sanjay Jain, Hans Ulrich Simon, Etsuji Tomita | Computer Science | Springer | Details |
| Discovery Science | Achim Hoffmann, Hiroshi Motoda, Tobias Scheffer | Computer Science | Springer | Details |
| Algorithms and Data Structures | Frank Dehne, Alejandro López-Ortiz, Jörg-Rüdiger Sack | Computer Science | Springer | Details |
| FM 2005: Formal Methods | John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki | Computer Science | Springer | Details |
| Advances in Web-Based Learning ? ICWL 2005 | Rynson W. H. Lau, Qing Li, Ronnie Cheung, Wenyin Liu | Computer Science | Springer | Details |
| Human-Computer Interaction - INTERACT 2005 | Maria Francesca Costabile, Fabio Paternò | Computer Science | Springer | Details |
| Natural Language Processing ? IJCNLP 2005 | Robert Dale, Kam-Fai Wong, Jian Su, Oi Yee Kwong | Computer Science | Springer | Details |
| ECOOP 2005 - Object-Oriented Programming | Andrew P. Black | Computer Science | Springer | Details |
| Computational Life Sciences | Michael R. Berthold, Robert C. Glen, Kay Diederichs, Oliver Kohlbacher, Ingrid Fischer | Computer Science | Springer | Details |
| Deterministic and Statistical Methods in Machine Learning | Joab Winkler, Mahesan Niranjan, Neil Lawrence | Computer Science | Springer | Details |
| Database and Expert Systems Applications | Kim Viborg Andersen, John Debenham, Roland Wagner | Computer Science | Springer | Details |
| Frontiers of Combining Systems | Bernhard Gramlich | 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