43115 Matching Record(s) found
Title | Author | Subject | Publisher | Action |
Information Theoretic Security | Kaoru Kurosawa | Computer Science | Springer | Details |
Logical Analysis of Hybrid Systems | André Platzer | Computer Science | Springer | Details |
Algorithmic Number Theory | Guillaume Hanrot, François Morain, Emmanuel Thomé | Computer Science | Springer | Details |
Unifying Theories of Programming | Andrew Butterfield | Computer Science | Springer | Details |
Privacy Enhancing Technologies | Mikhail J. Atallah, Nicholas J. Hopper | Computer Science | Springer | Details |
Entertainment for Education. Digital Techniques and Systems | Xiaopeng Zhang, Shaochun Zhong, Zhigeng Pan, Kevin Wong, Ruwei Yun | Computer Science | Springer | Details |
Specification and Verification of Declarative Open Interaction Models | Marco Montali | Computer Science | Springer | Details |
Artificial Immune Systems | Emma Hart, Chris McEwan, Jon Timmis, Andy Hone | Computer Science | Springer | Details |
Frontiers in Algorithmics | Der-Tsai Lee, Danny Z. Chen, Shi Ying | Computer Science | Springer | Details |
Focused Retrieval and Evaluation | Shlomo Geva, Jaap Kamps, Andrew Trotman | Computer Science | Springer | Details |
Enabling Real-Time Business Intelligence | Malu Castellanos, Umeshwar Dayal, Renée J. Miller | Computer Science | Springer | Details |
Dependency Structures and Lexicalized Grammars | Marco Kuhlmann | Computer Science | Springer | Details |
Computational Intelligence Methods for Bioinformatics and Biostatistics | Francesco Masulli, Leif E. Peterson, Roberto Tagliaferri | Computer Science | Springer | Details |
Financial Cryptography and Data Security | Radu Sion | Computer Science | Springer | Details |
Database Systems for Advanced Applications | Masatoshi Yoshikawa, Xiaofeng Meng, Takayuki Yumoto, Qiang Ma, Lifeng Sun, Chiemi Watanabe | Computer Science | Springer | Details |
Trusted Systems | Liqun Chen, Moti Yung | Computer Science | Springer | Details |
Diagrammatic Representation and Inference | Ashok K. Goel, Mateja Jamnik, N. Hari Narayanan | Computer Science | Springer | Details |
Advances in Cryptology ? CRYPTO 2010 | Tal Rabin | Computer Science | Springer | Details |
New Frontiers in Applied Data Mining | Thanaruk Theeramunkong, Cholwich Nattee, Paulo J. L. Adeodato, Nitesh Chawla, Peter Christen, Philippe Lenca, Josiah Poon, Graham Williams | Computer Science | Springer | Details |
Wireless Algorithms, Systems, and Applications | Gopal Pandurangan, V. S. Anil Kumar, Gu Ming, Yunhao Liu, Yingshu Li | Computer Science | Springer | Details |
Hybrid Learning | Philip Tsang, Simon K. S. Cheung, Victor S. K. Lee, Ronghuai Huang | Computer Science | Springer | Details |
Object Databases | Moira C. Norrie, Michael Grossniklaus | Computer Science | Springer | Details |
Finite-State Methods and Natural Language Processing | Anssi Yli-Jyrä, András Kornai, Jacques Sakarovitch, Bruce Watson | Computer Science | Springer | Details |
Computer Network Security | Igor Kotenko, Victor Skormin | Computer Science | Springer | Details |
Progress in Cryptology ? LATINCRYPT 2010 | Michel Abdalla, Paulo S. L. M. Barreto | Computer Science | Springer | Details |
Human Behavior Understanding | Albert Ali Salah, Theo Gevers, Nicu Sebe, Alessandro Vinciarelli | Computer Science | Springer | Details |
Interfaces: Explorations in Logic, Language and Computation | Thomas Icard, Reinhard Muskens | Computer Science | Springer | Details |
Spatial Cognition VII | Christoph Hölscher, Thomas F. Shipley, Marta Olivetti Belardinelli, John A. Bateman, Nora S. Newcombe | Computer Science | Springer | Details |
Adaptive Multimedia Retrieval. Identifying, Summarizing, and Recommending Image and Music | Marcin Detyniecki, Ulrich Leiner, Andreas Nürnberger | Computer Science | Springer | Details |
Matters Computational | Jörg Arndt | Computer Science | Springer | Details |
Advances in Natural Language Processing | Hrafn Loftsson, Eiríkur Rögnvaldsson, Sigrún Helgadóttir | Computer Science | Springer | Details |
Ad-Hoc, Mobile and Wireless Networks | Ioanis Nikolaidis, Kui Wu | Computer Science | Springer | Details |
Electronic Government | Maria A. Wimmer, Jean-Loup Chappelet, Marijn Janssen, Hans J. Scholl | Computer Science | Springer | Details |
Theoretical Aspects of Computing ? ICTAC 2010 | Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock | Computer Science | Springer | Details |
Evaluation of Novel Approaches to Software Engineering | Leszek A. Maciaszek, César González-Pérez, Stefan Jablonski | Computer Science | Springer | Details |
Methods and Tools of Parallel Programming Multicomputers | Ching-Hsien Hsu, Victor Malyshkin | Computer Science | Springer | Details |
Contemporary Computing | Sanjay Ranka, Arunava Banerjee, Kanad Kishore Biswas, Sumeet Dua, Prabhat Mishra, Rajat Moona, Sheung-Hung Poon, Cho-Li Wang | Computer Science | Springer | Details |
Advanced Intelligent Computing Theories and Applications | De-Shuang Huang, Martin McGinnity, Laurent Heutte, Xiao-Ping Zhang | Computer Science | Springer | Details |
Contemporary Computing | Sanjay Ranka, Arunava Banerjee, Kanad Kishore Biswas, Sumeet Dua, Prabhat Mishra, Rajat Moona, Sheung-Hung Poon, Cho-Li Wang | Computer Science | Springer | Details |
Programming Multi-Agent Systems | Lars Braubach, Jean-Pierre Briot, John Thangarajah | Computer Science | Springer | Details |
Parsing Beyond Context-Free Grammars | Laura Kallmeyer | Computer Science | Springer | Details |
Theoretical Aspects of Distributed Computing in Sensor Networks | Sotiris Nikoletseas, José D.P. Rolim | Computer Science | Springer | Details |
Digital Ecosystems | Fernando Antonio Basile Colugnati, Lia Carrari Rodrigues Lopes, Saulo Faria Almeida Barretto | Computer Science | Springer | Details |
Algorithm Engineering | Matthias Müller-Hannemann, Stefan Schirra | Computer Science | Springer | Details |
Scandinavian Information Systems Research | Karlheinz Kautz, Peter Axel Nielsen | Computer Science | Springer | Details |
New Frontiers in Artificial Intelligence | Kumiyo Nakakoji, Yohei Murakami, Eric McCready | Computer Science | Springer | Details |
Smart Spaces and Next Generation Wired/Wireless Networking | Sergey Balandin, Roman Dunaytsev, Yevgeni Koucheryavy | Computer Science | Springer | Details |
Deterministic Extraction from Weak Random Sources | Ariel Gabizon | Computer Science | Springer | Details |
Compiler Design | Reinhard Wilhelm, Helmut Seidl | Computer Science | Springer | Details |
Advanced Intelligent Computing Theories and Applications | De-Shuang Huang, Zhongming Zhao, Vitoantonio Bevilacqua, Juan Carlos Figueroa | Computer Science | Springer | Details |
Advances in Social Network Mining and Analysis | Lee Giles, Marc Smith, John Yen, Haizheng Zhang | Computer Science | Springer | Details |
Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence | De-Shuang Huang, Xiang Zhang, Carlos Alberto Reyes García, Lei Zhang | Computer Science | Springer | Details |
Systems and Virtualization Management. Standards and the Cloud | Latifa Boursas, Mark Carlson, Hai Jin, Michelle Sibilla, Kes Wold | Computer Science | Springer | Details |
Future Internet - FIS 2009 | Tanja Zseby, Reijo Savola, Marco Pistore | Computer Science | Springer | Details |
Temporal Information Processing Technology and Its Application | Yong Tang, Xiaoping Ye, Na Tang | Computer Science | Springer | Details |
Coordination, Organizations, Institutions and Norms in Agent Systems V | Julian Padget, Alexander Artikis, Wamberto Vasconcelos, Kostas Stathis, Viviane Torres Silva, Eric Matson, Axel Polleres | Computer Science | Springer | Details |
Computational Logic in Multi-Agent Systems | Jürgen Dix, João Leite, Guido Governatori, Wojtek Jamroga | Computer Science | Springer | Details |
Structural, Syntactic, and Statistical Pattern Recognition | Edwin R. Hancock, Richard C. Wilson, Terry Windeatt, Ilkay Ulusoy, Francisco Escolano | Computer Science | Springer | Details |
Financial Cryptography and Data Security | Radu Sion, Reza Curtmola, Sven Dietrich, Aggelos Kiayias, Josep M. Miret, Kazue Sako, Francesc Sebé | Computer Science | Springer | Details |
Fields of Logic and Computation | Andreas Blass, Nachum Dershowitz, Wolfgang Reisig | Computer Science | Springer | Details |
Cryptographic Hardware and Embedded Systems, CHES 2010 | Stefan Mangard, François-Xavier Standaert | Computer Science | Springer | Details |
Transactions on Computational Collective Intelligence I | Ngoc Thanh Nguyen, Ryszard Kowalczyk | Computer Science | Springer | Details |
Knowledge Management and Acquisition for Smart Systems and Services | Byeong-Ho Kang, Debbie Richards | Computer Science | Springer | Details |
Verified Software: Theories, Tools, Experiments | Gary T. Leavens, Peter O’Hearn, Sriram K. Rajamani | Computer Science | Springer | Details |
Advances in Bioinformatics and Computational Biology | Carlos E. Ferreira, Satoru Miyano, Peter F. Stadler | Computer Science | Springer | Details |
Data Warehousing and Knowledge Discovery | Torben Bach Pedersen, Mukesh K. Mohania, A Min Tjoa | Computer Science | Springer | Details |
Data Management in Grid and Peer-to-Peer Systems | Abdelkader Hameurlain, Franck Morvan, A Min Tjoa | Computer Science | Springer | Details |
Software Architecture | Muhammad Ali Babar, Ian Gorton | Computer Science | Springer | Details |
Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets | Esther David, Enrico Gerding, David Sarne, Onn Shehory | Computer Science | Springer | Details |
Data Integration in the Life Sciences | Patrick Lambrix, Graham Kemp | Computer Science | Springer | Details |
Sustainable e-Business Management | Matthew L. Nelson, Michael J. Shaw, Troy J. Strader | Computer Science | Springer | Details |
Trust, Privacy and Security in Digital Business | Sokratis Katsikas, Javier Lopez, Miguel Soriano | Computer Science | Springer | Details |
Mathematical Foundations of Computer Science 2010 | Petr Hlin?ný, Antonín Ku?era | Computer Science | Springer | Details |
Electronic Participation | Efthimios Tambouris, Ann Macintosh, Olivier Glassey | Computer Science | Springer | Details |
Logic and the Foundations of Game and Decision Theory ? LOFT 8 | Giacomo Bonanno, Benedikt Löwe, Wiebe Hoek | 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