10063 Matching Record(s) found
| Title | Author | Subject | Publisher | Action |
| Cognitive Vision | Barbara Caputo, Markus Vincze | Computer Science | Springer | Details |
| Complexity of Constraints | Nadia Creignou, Phokion G. Kolaitis, Heribert Vollmer | Computer Science | Springer | Details |
| Trust in Agent Societies | Rino Falcone, Suzanne K. Barber, Jordi Sabater-Mir, Munindar P. Singh | Computer Science | Springer | Details |
| Groupware: Design, Implementation, and Use | Robert O. Briggs, Pedro Antunes, Gert-Jan Vreede, Aaron S. Read | Computer Science | Springer | Details |
| High Performance Computing for Computational Science - VECPAR 2008 | José M. Laginha M. Palma, Patrick R. Amestoy, Michel Daydé, Marta Mattoso, João Correia Lopes | Computer Science | Springer | Details |
| Algorithmic Aspects of Wireless Sensor Networks | Sándor P. Fekete | Computer Science | Springer | Details |
| Gesture-Based Human-Computer Interaction and Simulation | Miguel Sales Dias, Sylvie Gibet, Marcelo M. Wanderley, Rafael Bastos | Computer Science | Springer | Details |
| Advances in Multimedia Modeling | Benoit Huet, Alan Smeaton, Ketan Mayer-Patel, Yannis Avrithis | Computer Science | Springer | Details |
| Handbook of Natural Computing | Grzegorz Rozenberg, Thomas Bäck, Joost N. Kok | Computer Science | Springer | Details |
| Handbook of Semantic Web Technologies | John Domingue, Dieter Fensel, James A. Hendler | Computer Science | Springer | Details |
| Advances in Image and Video Technology | Toshikazu Wada, Fay Huang, Stephen Lin | Computer Science | Springer | Details |
| Design Requirements Engineering: A Ten-Year Perspective | Kalle Lyytinen, Pericles Loucopoulos, John Mylopoulos, Bill Robinson | Computer Science | Springer | Details |
| High Performance Embedded Architectures and Compilers | André Seznec, Joel Emer, Michael O’Boyle, Margaret Martonosi, Theo Ungerer | Computer Science | Springer | Details |
| Practical Aspects of Declarative Languages | Andy Gill, Terrance Swift | Computer Science | Springer | Details |
| Computer Performance Evaluation and Benchmarking | David Kaeli, Kai Sachs | Computer Science | Springer | Details |
| Service-Oriented Computing - ICSOC 2007 Workshops | Elisabetta Nitto, Matei Ripeanu | Computer Science | Springer | Details |
| Sanskrit Computational Linguistics | Amba Kulkarni, Gérard Huet | Computer Science | Springer | Details |
| Verification, Model Checking, and Abstract Interpretation | Neil D. Jones, Markus Müller-Olm | Computer Science | Springer | Details |
| Declarative Agent Languages and Technologies VI | Matteo Baldoni, Tran Cao Son, M. Birna Riemsdijk, Michael Winikoff | Computer Science | Springer | Details |
| Approximation and Online Algorithms | Evripidis Bampis, Martin Skutella | Computer Science | Springer | Details |
| Experience and Knowledge Management in Software Engineering | Kurt Schneider | Computer Science | Springer | Details |
| Membrane Computing | David Wolfe Corne, Pierluigi Frisco, Gheorghe P?un, Grzegorz Rozenberg, Arto Salomaa | Computer Science | Springer | Details |
| Software Engineering | Andrea Lucia, Filomena Ferrucci | Computer Science | Springer | Details |
| SOFSEM 2009: Theory and Practice of Computer Science | Mogens Nielsen, Antonín Ku?era, Peter Bro Miltersen, Catuscia Palamidessi, Petr T?ma, Frank Valencia | Computer Science | Springer | Details |
| Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation | Lars Svensson, José Monteiro | Computer Science | Springer | Details |
| Algorithms and Models for the Web-Graph | Konstantin Avrachenkov, Debora Donato, Nelly Litvak | Computer Science | Springer | Details |
| Sanskrit Computational Linguistics | Gérard Huet, Amba Kulkarni, Peter Scharf | Computer Science | Springer | Details |
| Engineering Secure Software and Systems | Fabio Massacci, Samuel T. Redwine, Nicola Zannone | Computer Science | Springer | Details |
| WALCOM: Algorithms and Computation | Sandip Das, Ryuhei Uehara | Computer Science | Springer | Details |
| Communications and Networking in China | Patrick Bond | Computer Science | Springer | Details |
| Argumentation in Multi-Agent Systems | Iyad Rahwan, Pavlos Moraitis | Computer Science | Springer | Details |
| Transactions on Computational Science III | Marina L. Gavrilova, C. J. Kenneth Tan | Computer Science | Springer | Details |
| Graph Drawing | Ioannis G. Tollis, Maurizio Patrignani | Computer Science | Springer | Details |
| Wireless Sensor Networks | Utz Roedig, Cormac J. Sreenan | Computer Science | Springer | Details |
| Integrated Formal Methods | Michael Leuschel, Heike Wehrheim | Computer Science | Springer | Details |
| Model Driven Engineering and Ontology Development | Vladan Deved¿ic, Dragan Djuric, Dragan Ga¿evic | Computer Science | Springer | Details |
| Coloured Petri Nets | Kurt Jensen, Lars M. Kristensen | Computer Science | Springer | Details |
| Information Security Applications | Kyo-Il Chung, Kiwook Sohn, Moti Yung | Computer Science | Springer | Details |
| Business Process Management Workshops | Danilo Ardagna, Massimo Mecella, Jian Yang | Computer Science | Springer | Details |
| Computational Linguistics and Intelligent Text Processing | Alexander Gelbukh | Computer Science | Springer | Details |
| Network Control and Optimization | Eitan Altman, Augustin Chaintreau | Computer Science | Springer | Details |
| New Frontiers in Applied Data Mining | Sanjay Chawla, Takashi Washio, Shin-ichi Minato, Shusaku Tsumoto, Takashi Onoda, Seiji Yamada, Akihiro Inokuchi | Computer Science | Springer | Details |
| Information Systems, Technology and Management | Sushil K. Prasad, Susmi Routray, Reema Khurana, Sartaj Sahni | Computer Science | Springer | Details |
| Electronic Healthcare | Dasun Weerasinghe | Computer Science | Springer | Details |
| End-User Development | Volkmar Pipek, Mary Beth Rosson, Boris Ruyter, Volker Wulf | Computer Science | Springer | Details |
| Model Checking and Artificial Intelligence | Doron A. Peled, Michael J. Wooldridge | Computer Science | Springer | Details |
| Software Language Engineering | Dragan Gaševi?, Ralf Lämmel, Eric Wyk | Computer Science | Springer | Details |
| Human Machine Interaction | Denis Lalanne, Jürg Kohlas | Computer Science | Springer | Details |
| Mobile Response | Jobst Löffler, Markus Klann | Computer Science | Springer | Details |
| Coordination, Organizations, Institutions and Norms in Agent Systems IV | Jomi Fred Hübner, Eric Matson, Olivier Boissier, Virginia Dignum | Computer Science | Springer | Details |
| Architecture of Computing Systems ? ARCS 2009 | Mladen Berekovic, Christian Müller-Schloer, Christian Hochberger, Stephan Wong | Computer Science | Springer | Details |
| Theory of Cryptography | Omer Reingold | Computer Science | Springer | Details |
| Numerical Analysis and Its Applications | Svetozar Margenov, Lubin G. Vulkov, Jerzy Wa?niewski | Computer Science | Springer | Details |
| Public Key Cryptography ? PKC 2009 | Stanis?aw Jarecki, Gene Tsudik | Computer Science | Springer | Details |
| Logic-Based Program Synthesis and Transformation | Michael Hanus | Computer Science | Springer | Details |
| Multimodal Signals: Cognitive and Algorithmic Issues | Anna Esposito, Amir Hussain, Maria Marinaro, Raffaele Martone | Computer Science | Springer | Details |
| Advances in Web Mining and Web Usage Analysis | Haizheng Zhang, Myra Spiliopoulou, Bamshad Mobasher, C. Lee Giles, Andrew McCallum, Olfa Nasraoui, Jaideep Srivastava, John Yen | Computer Science | Springer | Details |
| Weaving Services and People on the World Wide Web | Irwin King, Ricardo Baeza-Yates | Computer Science | Springer | Details |
| Attention in Cognitive Systems | Lucas Paletta, John K. Tsotsos | Computer Science | Springer | Details |
| Trusted Computing | Liqun Chen, Chris J. Mitchell, Andrew Martin | Computer Science | Springer | Details |
| Programming Languages and Systems | Giuseppe Castagna | Computer Science | Springer | Details |
| Fundamental Approaches to Software Engineering | Marsha Chechik, Martin Wirsing | Computer Science | Springer | Details |
| Foundations of Software Science and Computational Structures | Luca Alfaro | Computer Science | Springer | Details |
| Independent Component Analysis and Signal Separation | Tülay Adali, Christian Jutten, João Marcos Travassos Romano, Allan Kardec Barros | Computer Science | Springer | Details |
| Hybrid Systems: Computation and Control | Rupak Majumdar, Paulo Tabuada | Computer Science | Springer | Details |
| New Frontiers in Artificial Intelligence | Hiromitsu Hattori, Takahiro Kawamura, Tsuyoshi Idé, Makoto Yokoo, Yohei Murakami | Computer Science | Springer | Details |
| Creating Brain-Like Intelligence | Bernhard Sendhoff, Edgar Körner, Olaf Sporns, Helge Ritter, Kenji Doya | Computer Science | Springer | Details |
| Reconfigurable Computing: Architectures, Tools and Applications | Jürgen Becker, Roger Woods, Peter Athanas, Fearghal Morgan | Computer Science | Springer | Details |
| Formal Theories of Information | Giovanni Sommaruga | Computer Science | Springer | Details |
| Logic, Language, and Computation | Peter Bosch, David Gabelaia, Jérôme Lang | Computer Science | Springer | Details |
| Enterprise Information Systems | Joaquim Filipe, José Cordeiro | Computer Science | Springer | Details |
| Advances in Data and Web Management | Qing Li, Ling Feng, Jian Pei, Sean X. Wang, Xiaofang Zhou, Qiao-Ming Zhu | Computer Science | Springer | Details |
| Applications of Declarative Programming and Knowledge Management | Dietmar Seipel, Michael Hanus, Armin Wolf | Computer Science | Springer | Details |
| Journal on Data Semantics XII | Stefano Spaccapietra | Computer Science | Springer | Details |
| Compiler Construction | Oege Moor, Michael I. Schwartzbach | 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