43115 Matching Record(s) found
Title | Author | Subject | Publisher | Action |
Bioinformatics | Andrzej Polanski, Marek Kimmel | Computer Science | Springer | Details |
New Frontiers in Applied Artificial Intelligence | Ngoc Thanh Nguyen, Leszek Borzemski, Adam Grzech, Moonis Ali | Computer Science | Springer | Details |
Haptics: Perception, Devices and Scenarios | Manuel Ferre | Computer Science | Springer | Details |
Verification of Object-Oriented Software. The KeY Approach | Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt | Computer Science | Springer | Details |
Requirements Engineering: Foundation for Software Quality | Barbara Paech, Colette Rolland | Computer Science | Springer | Details |
Combinatorial Pattern Matching | Paolo Ferragina, Gad M. Landau | Computer Science | Springer | Details |
Models in Software Engineering | Holger Giese | Computer Science | Springer | Details |
Critical Information Infrastructures Security | Javier Lopez | Computer Science | Springer | Details |
Algorithmic Aspects of Wireless Sensor Networks | Sotiris E. Nikoletseas, José D. P. Rolim | Computer Science | Springer | Details |
Membrane Computing | Hendrik Jan Hoogeboom, Gheorghe P?un, Grzegorz Rozenberg, Arto Salomaa | Computer Science | Springer | Details |
Model Driven Architecture ? Foundations and Applications | Ina Schieferdecker, Alan Hartman | Computer Science | Springer | Details |
Intelligent Tutoring Systems | Beverley P. Woolf, Esma Aïmeur, Roger Nkambou, Susanne Lajoie | Computer Science | Springer | Details |
From Animals to Animats 10 | Minoru Asada, John C. T. Hallam, Jean-Arcady Meyer, Jun Tani | Computer Science | Springer | Details |
Verified Software: Theories, Tools, Experiments | Bertrand Meyer, Jim Woodcock | Computer Science | Springer | Details |
Neural Information Processing | Masumi Ishikawa, Kenji Doya, Hiroyuki Miyamoto, Takeshi Yamakawa | Computer Science | Springer | Details |
Neural Information Processing | Masumi Ishikawa, Kenji Doya, Hiroyuki Miyamoto, Takeshi Yamakawa | Computer Science | Springer | Details |
Static Analysis | María Alpuente, Germán Vidal | Computer Science | Springer | Details |
Distributed Computing in Sensor Systems | Sotiris E. Nikoletseas, Bogdan S. Chlebus, David B. Johnson, Bhaskar Krishnamachari | Computer Science | Springer | Details |
Security and Privacy in Ad-Hoc and Sensor Networks | Levente Buttyán, Virgil D. Gligor, Dirk Westhoff | Computer Science | Springer | Details |
Implementation and Application of Functional Languages | Andrew Butterfield, Clemens Grelck, Frank Huch | Computer Science | Springer | Details |
Theory and Applications of Relational Structures as Knowledge Instruments II | Harrie Swart, Ewa Or?owska, Gunther Schmidt, Marc Roubens | Computer Science | Springer | Details |
Declarative Programming for Knowledge Management | Masanobu Umeda, Armin Wolf, Oskar Bartenstein, Ulrich Geske, Dietmar Seipel, Osamu Takata | Computer Science | Springer | Details |
Grid Computing | Radu Prodan, Thomas Fahringer | Computer Science | Springer | Details |
Innovative Concepts for Autonomic and Agent-Based Systems | Michael G. Hinchey, Patricia Rago, James L. Rash, Christopher A. Rouff, Roy Sterritt, Walt Truszkowski | Computer Science | Springer | Details |
Machine Learning for Multimodal Interaction | Steve Renals, Samy Bengio, Jonathan G. Fiscus | Computer Science | Springer | Details |
Database Theory ? ICDT 2007 | Thomas Schwentick, Dan Suciu | Computer Science | Springer | Details |
Software Architecture | Volker Gruhn, Flavio Oquendo | Computer Science | Springer | Details |
Ubiquitous Intelligence and Computing | Frode Eika Sandnes, Yan Zhang, Chunming Rong, Laurence T. Yang, Jianhua Ma | Computer Science | Springer | Details |
Autonomic and Trusted Computing | Chunming Rong, Martin Gilje Jaatun, Frode Eika Sandnes, Laurence T. Yang, Jianhua Ma | Computer Science | Springer | Details |
A Practical Programming Model for the Multi-Core Era | Barbara Chapman, Weiming Zheng, Guang R. Gao, Mitsuhisa Sato, Eduard Ayguadé, Dongsheng Wang | Computer Science | Springer | Details |
Intelligence and Security Informatics | Christopher C. Yang, Hsinchun Chen, Michael Chau, Kuiyu Chang, Sheau-Dong Lang, Patrick S. Chen, Raymond Hsieh, Daniel Zeng, Fei-Yue Wang, Kathleen Carley, Wenji Mao, Justin Zhan | Computer Science | Springer | Details |
Frontiers in Algorithmics | Franco P. Preparata, Xiaodong Wu, Jianping Yin | Computer Science | Springer | Details |
Multiaccess, Reservations & Queues | Dee Denteneer, Johan S. H. Leeuwaarden | Computer Science | Springer | Details |
Pattern Recognition | Gerhard Rigoll | Computer Science | Springer | Details |
Topics in Cryptology ? CT-RSA 2007 | Masayuki Abe | Computer Science | Springer | Details |
Languages and Compilers for Parallel Computing | Eduard Ayguadé, Gerald Baumgartner, J. Ramanujam, P. Sadayappan | Computer Science | Springer | Details |
Ada 2005 Reference Manual. Language and Standard Libraries | S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder, Pascal Leroy | Computer Science | Springer | Details |
High Performance Embedded Architectures and Compilers | Koen Bosschere, David Kaeli, Per Stenström, David Whalley, Theo Ungerer | Computer Science | Springer | Details |
Structural Information and Communication Complexity | Alexander A. Shvartsman, Pascal Felber | Computer Science | Springer | Details |
Perception in Multimodal Dialogue Systems | Elisabeth André, Laila Dybkjær, Wolfgang Minker, Heiko Neumann, Roberto Pieraccini, Michael Weber | Computer Science | Springer | Details |
Digital Color Management | Jan-Peter Homann | Computer Science | Springer | Details |
Computational Science ? ICCS 2008 | Marian Bubak, Geert Dick Albada, Jack Dongarra, Peter M. A. Sloot | Computer Science | Springer | Details |
Computational Science ? ICCS 2008 | Marian Bubak, Geert Dick Albada, Jack Dongarra, Peter M. A. Sloot | Computer Science | Springer | Details |
Computational Science ? ICCS 2008 | Marian Bubak, Geert Dick Albada, Jack Dongarra, Peter M. A. Sloot | Computer Science | Springer | Details |
Global E-Security | Hamid Jahankhani, Kenneth Revett, Dominic Palmer-Brown | Computer Science | Springer | Details |
Logic and Theory of Algorithms | Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe | Computer Science | Springer | Details |
Advances in Multimedia Modeling | Tat-Jen Cham, Jianfei Cai, Chitra Dorai, Deepu Rajan, Tat-Seng Chua, Liang-Tien Chia | Computer Science | Springer | Details |
Advances in Multimedia Modeling | Tat-Jen Cham, Jianfei Cai, Chitra Dorai, Deepu Rajan, Tat-Seng Chua, Liang-Tien Chia | Computer Science | Springer | Details |
Time-Dependent Scheduling | Stanis?aw Gawiejnowicz | Computer Science | Springer | Details |
Changing Television Environments | Manfred Tscheligi, Marianna Obrist, Artur Lugmayr | Computer Science | Springer | Details |
Public Key Infrastructure | Stig F. Mjølsnes, Sjouke Mauw, Sokratis K. Katsikas | Computer Science | Springer | Details |
Models in Software Engineering | Thomas Kühne | Computer Science | Springer | Details |
Scientific and Statistical Database Management | Bertram Ludäscher, Nikos Mamoulis | Computer Science | Springer | Details |
Arithmetic of Finite Fields | Joachim Gathen, José Luis Imaña, Çetin Kaya Koç | Computer Science | Springer | Details |
Algorithms and Architectures for Parallel Processing | Anu G. Bourgeois, S. Q. Zheng | Computer Science | Springer | Details |
SOFSEM 2007: Theory and Practice of Computer Science | Jan Leeuwen, Giuseppe F. Italiano, Wiebe Hoek, Christoph Meinel, Harald Sack, František Plášil | Computer Science | Springer | Details |
Approximation and Online Algorithms | Thomas Erlebach, Christos Kaklamanis | Computer Science | Springer | Details |
Advanced Information Systems Engineering | Zohra Bellahsène, Michel Léonard | Computer Science | Springer | Details |
Interactive Systems. Design, Specification, and Verification | Gavin Doherty, Ann Blandford | Computer Science | Springer | Details |
Product-Focused Software Process Improvement | Andreas Jedlitschka, Outi Salo | Computer Science | Springer | Details |
Multimodal Technologies for Perception of Humans | Rainer Stiefelhagen, John Garofolo | Computer Science | Springer | Details |
Practical Aspects of Declarative Languages | Michael Hanus | Computer Science | Springer | Details |
Computational Logic in Multi-Agent Systems | Katsumi Inoue, Ken Satoh, Francesca Toni | Computer Science | Springer | Details |
Visualizing the Structure of Science | Benjamín Vargas-Quesada, Félix de Moya-Anegón | Computer Science | Springer | Details |
Artificial Intelligence and Soft Computing ? ICAISC 2008 | Leszek Rutkowski, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada | Computer Science | Springer | Details |
Computing and Combinatorics | Xiaodong Hu, Jie Wang | Computer Science | Springer | Details |
Technologies for E-Learning and Digital Entertainment | Zhigeng Pan, Xiaopeng Zhang, Abdennour Rhalibi, Woontack Woo, Yi Li | Computer Science | Springer | Details |
Verification, Model Checking, and Abstract Interpretation | Byron Cook, Andreas Podelski | Computer Science | Springer | Details |
Transactions on Edutainment I | Zhigeng Pan, Adrian David Cheok, Wolfgang Müller, Abdennour Rhalibi | Computer Science | Springer | Details |
Image Analysis and Recognition | Aurélio Campilho, Mohamed Kamel | Computer Science | Springer | Details |
Performance Evaluation: Metrics, Models and Benchmarks | Samuel Kounev, Ian Gorton, Kai Sachs | Computer Science | Springer | Details |
Objects, Components, Models and Patterns | Richard F. Paige, Bertrand Meyer | Computer Science | Springer | Details |
Data Integration in the Life Sciences | Amos Bairoch, Sarah Cohen-Boulakia, Christine Froidevaux | Computer Science | Springer | Details |
Wireless Sensor Networks | Koen Langendoen, Thiemo Voigt | Computer Science | Springer | Details |
Computational Science and Its Applications ? ICCSA 2008 | Osvaldo Gervasi, Beniamino Murgante, Antonio Laganà, David Taniar, Youngsong Mun, Marina L. Gavrilova | 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