10063 Matching Record(s) found
| Title | Author | Subject | Publisher | Action | 
| Provable Security | Josef Pieprzyk, Fangguo Zhang | Computer Science | Springer | Details | 
| Algorithmic Game Theory | Marios Mavronicolas, Vicky G. Papadopoulou | Computer Science | Springer | Details | 
| AccessNets | Chonggang Wang | Computer Science | Springer | Details | 
| Advanced Functional Programming | Pieter Koopman, Rinus Plasmeijer, Doaitse Swierstra | Computer Science | Springer | Details | 
| Computer Vision Systems | Mario Fritz, Bernt Schiele, Justus H. Piater | Computer Science | Springer | Details | 
| Progress in Artificial Intelligence | Luís Seabra Lopes, Nuno Lau, Pedro Mariano, Luís M. Rocha | Computer Science | Springer | Details | 
| Runtime Verification | Saddek Bensalem, Doron A. Peled | Computer Science | Springer | Details | 
| Advanced Concepts for Intelligent Vision Systems | Jacques Blanc-Talon, Wilfried Philips, Dan Popescu, Paul Scheunders | Computer Science | Springer | Details | 
| Aspects of Natural Language Processing | Ma?gorzata Marciniak, Agnieszka Mykowiecka | Computer Science | Springer | Details | 
| Comparative Genomics | Francesca D. Ciccarelli, István Miklós | Computer Science | Springer | Details | 
| Discovery Science | João Gama, Vítor Santos Costa, Alípio Mário Jorge, Pavel B. Brazdil | Computer Science | Springer | Details | 
| Enterprise Interoperability | Raúl Poler, Marten Sinderen, Raquel Sanchis | Computer Science | Springer | Details | 
| Visioning and Engineering the Knowledge Society. A Web Science Perspective | Miltiadis D. Lytras, Ernesto Damiani, John M. Carroll, Robert D. Tennyson, David Avison, Ambjörn Naeve, Adrian Dale, Paul Lefrere, Felix Tan, Janice Sipior, Gottfried Vossen | Computer Science | Springer | Details | 
| Best Practices for the Knowledge Society. Knowledge, Learning, Development and Technology for All | Miltiadis D. Lytras, Patricia Ordonez de Pablos, Ernesto Damiani, David Avison, Ambjörn Naeve, David G. Horner | Computer Science | Springer | Details | 
| Automated Technology for Verification and Analysis | Zhiming Liu, Anders P. Ravn | Computer Science | Springer | Details | 
| Identity and Privacy in the Internet Age | Audun Jøsang, Torleiv Maseng, Svein Johan Knapskog | Computer Science | Springer | Details | 
| Information Retrieval Technology | Gary Geunbae Lee, Dawei Song, Chin-Yew Lin, Akiko Aizawa, Kazuko Kuriyama, Masaharu Yoshioka, Tetsuya Sakai | Computer Science | Springer | Details | 
| Computer Aided Systems Theory - EUROCAST 2009 | Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia | Computer Science | Springer | Details | 
| Multimodal Corpora | Michael Kipp, Jean-Claude Martin, Patrizia Paggio, Dirk Heylen | Computer Science | Springer | Details | 
| Critical Infrastructure Protection III | Charles Palmer, Sujeet Shenoi | Computer Science | Springer | Details | 
| System Modeling and Optimization | Adam Korytowski, Kazimierz Malanowski, Wojciech Mitkowski, Maciej Szymkat | Computer Science | Springer | Details | 
| Parallel Programming | Thomas Rauber, Gudula Rünger | Computer Science | Springer | Details | 
| Modeling Decisions for Artificial Intelligence | Vicenç Torra, Yasuo Narukawa, Masahiro Inuiguchi | Computer Science | Springer | Details | 
| Conceptual Modeling - ER 2009 | Alberto H. F. Laender, Silvana Castano, Umeshwar Dayal, Fabio Casati, José Palazzo M. Oliveira | Computer Science | Springer | Details | 
| Advances in Computation and Intelligence | Zhihua Cai, Zhenhua Li, Zhuo Kang, Yong Liu | Computer Science | Springer | Details | 
| Advances in Information and Computer Security | Tsuyoshi Takagi, Masahiro Mambo | Computer Science | Springer | Details | 
| Nano-Net | Alexandre Schmid, Sanjay Goel, Wei Wang, Valeriu Beiu, Sandro Carrara | Computer Science | Springer | Details | 
| Transactions on Petri Nets and Other Models of Concurrency III | Kurt Jensen, Jonathan Billington, Maciej Koutny | Computer Science | Springer | Details | 
| Digital Preservation for Heritages | Dongming Lu, Yunhe Pan | Computer Science | Springer | Details | 
| Active Media Technology | Jiming Liu, Jinglong Wu, Yiyu Yao, Toyoaki Nishida | Computer Science | Springer | Details | 
| Safety and Security in Multiagent Systems | Mike Barley, Haralambos Mouratidis, Amy Unruh, Diana Spears, Paul Scerri, Fabio Massacci | Computer Science | Springer | Details | 
| The Algorithms and Principles of Non-photorealistic Graphics | Weidong Geng | Computer Science | Springer | Details | 
| Logic, Rationality, and Interaction | Xiangdong He, John Horty, Eric Pacuit | Computer Science | Springer | Details | 
| Security Protocols | Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe | Computer Science | Springer | Details | 
| Teaching Formal Methods | Jeremy Gibbons, José Nuno Oliveira | Computer Science | Springer | Details | 
| Hybrid Metaheuristics | María J. Blesa, Christian Blum, Luca Gaspero, Andrea Roli, Michael Sampels, Andrea Schaerf | Computer Science | Springer | Details | 
| Adaptive and Natural Computing Algorithms | Mikko Kolehmainen, Pekka Toivanen, Bartlomiej Beliczynski | Computer Science | Springer | Details | 
| The Semantic Web - ISWC 2009 | Abraham Bernstein, David R. Karger, Tom Heath, Lee Feigenbaum, Diana Maynard, Enrico Motta, Krishnaprasad Thirunarayan | Computer Science | Springer | Details | 
| Next Generation Information Technologies and Systems | Yishai A. Feldman, Donald Kraft, Tsvi Kuflik | Computer Science | Springer | Details | 
| Stochastic Algorithms: Foundations and Applications | Osamu Watanabe, Thomas Zeugmann | Computer Science | Springer | Details | 
| Advances in Conceptual Modeling - Challenging Perspectives | Carlos Alberto Heuser, Günther Pernul | Computer Science | Springer | Details | 
| Brain Informatics | Ning Zhong, Kuncheng Li, Shengfu Lu, Lin Chen | Computer Science | Springer | Details | 
| Flexible Query Answering Systems | Troels Andreasen, Ronald R. Yager, Henrik Bulskov, Henning Christiansen, Henrik Legind Larsen | Computer Science | Springer | Details | 
| Computational Intelligence and Intelligent Systems | Zhihua Cai, Zhenhua Li, Zhuo Kang, Yong Liu | Computer Science | Springer | Details | 
| IP Operations and Management | Giorgio Nunzi, Caterina Scoglio, Xing Li | Computer Science | Springer | Details | 
| Anaphora Processing and Applications | Sobha Lalitha Devi, António Branco, Ruslan Mitkov | Computer Science | Springer | Details | 
| Rule Interchange and Applications | Guido Governatori, John Hall, Adrian Paschke | Computer Science | Springer | Details | 
| Integrated Management of Systems, Services, Processes and People in IT | Claudio Bartolini, Luciano Paschoal Gaspary | Computer Science | Springer | Details | 
| Wired-Wireless Multimedia Networks and Services Management | Tom Pfeifer, Paolo Bellavista | Computer Science | Springer | Details | 
| Modelling Autonomic Communications Environments | John C. Strassner, Yacine M. Ghamri-Doudane | Computer Science | Springer | Details | 
| Testing of Software and Communication Systems | Manuel Núñez, Paul Baker, Mercedes G. Merayo | Computer Science | Springer | Details | 
| Strategic IT Management | Inge Hanschke | Computer Science | Springer | Details | 
| Visual Informatics: Bridging Research and Practice | Halimah Badioze Zaman, Peter Robinson, Maria Petrou, Patrick Olivier, Heiko Schröder, Timothy K. Shih | Computer Science | Springer | Details | 
| Advances in Ubiquitous User Modelling | Tsvi Kuflik, Shlomo Berkovsky, Francesca Carmagnola, Dominikus Heckmann, Antonio Krüger | Computer Science | Springer | Details | 
| Patent Law for Computer Scientists | Daniel Closa, Alex Gardiner, Falk Giemsa, Jörg Machek | Computer Science | Springer | Details | 
| Web Reasoning and Rule Systems | Axel Polleres, Terrance Swift | Computer Science | Springer | Details | 
| Semantic Methods for Execution-level Business Process Modeling | Ingo M. Weber | Computer Science | Springer | Details | 
| FM 2009: Formal Methods | Ana Cavalcanti, Dennis R. Dams | Computer Science | Springer | Details | 
| Stabilization, Safety, and Security of Distributed Systems | Rachid Guerraoui, Franck Petit | Computer Science | Springer | Details | 
| On the Move to Meaningful Internet Systems: OTM 2009 | Robert Meersman, Tharam Dillon, Pilar Herrero | Computer Science | Springer | Details | 
| On the Move to Meaningful Internet Systems: OTM 2009 | Robert Meersman, Tharam Dillon, Pilar Herrero | Computer Science | Springer | Details | 
| e-Business and Telecommunications | Joaquim Filipe, Mohammad S. Obaidat | Computer Science | Springer | Details | 
| Software and Data Technologies | José Cordeiro, Boris Shishkov, AlpeshKumar Ranchordas, Markus Helfert | Computer Science | Springer | Details | 
| Advances in Machine Learning | Zhi-Hua Zhou, Takashi Washio | Computer Science | Springer | Details | 
| Web Information Systems and Mining | Wenyin Liu, Xiangfeng Luo, Fu Lee Wang, Jingsheng Lei | Computer Science | Springer | Details | 
| Artificial Intelligence and Computational Intelligence | Hepu Deng, Lanzhou Wang, Fu Lee Wang, Jingsheng Lei | Computer Science | Springer | Details | 
| MICAI 2009: Advances in Artificial Intelligence | Arturo Hernández Aguirre, Raúl Monroy Borja, Carlos Alberto Reyes Garciá | Computer Science | Springer | Details | 
| Security and Privacy in Communication Networks | Yan Chen, Tassos D. Dimitriou, Jianying Zhou | Computer Science | Springer | Details | 
| On the Move to Meaningful Internet Systems: OTM 2009 Workshops | Robert Meersman, Pilar Herrero, Tharam Dillon | Computer Science | Springer | Details | 
| Knowledge Representation for Agents and Multi-Agent Systems | John-Jules Ch. Meyer, Jan Broersen | Computer Science | Springer | Details | 
| Ambient Intelligence | Manfred Tscheligi, Boris Ruyter, Panos Markopoulus, Reiner Wichert, Thomas Mirlacher, Alexander Meschterjakov, Wolfgang Reitberger | Computer Science | Springer | Details | 
| Software Process and Product Measurement | Alain Abran, René Braungarten, Reiner R. Dumke, Juan J. Cuadrado-Gallego, Jacob Brunekreef | Computer Science | Springer | Details | 
| Algorithmic Aspects of Wireless Sensor Networks | Shlomi Dolev | Computer Science | Springer | Details | 
| iNetSec 2009 ? Open Research Problems in Network Security | Jan Camenisch, Dogan Kesdogan | Computer Science | Springer | Details | 
| Selected Areas in Cryptography | Michael J. Jacobson, Vincent Rijmen, Reihaneh Safavi-Naini | 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