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