43115 Matching Record(s) found
Title | Author | Subject | Publisher | Action |
Intelligent Computing Technology | De-Shuang Huang, Changjun Jiang, Vitoantonio Bevilacqua, Juan Carlos Figueroa | Computer Science | Springer | Details |
Automata, Languages, and Programming | Artur Czumaj, Kurt Mehlhorn, Andrew Pitts, Roger Wattenhofer | Computer Science | Springer | Details |
Implementation and Application of Automata | Nelma Moreira, Rogério Reis | Computer Science | Springer | Details |
Theory and Applications of Satisfiability Testing ? SAT 2012 | Alessandro Cimatti, Roberto Sebastiani | Computer Science | Springer | Details |
Descriptional Complexity of Formal Systems | Martin Kutrib, Nelma Moreira, Rogério Reis | Computer Science | Springer | Details |
Ad-hoc, Mobile, and Wireless Networks | Xiang-Yang Li, Symeon Papavassiliou, Stefan Ruehrup | Computer Science | Springer | Details |
Languages Alive | Henning Bordihn, Martin Kutrib, Bianca Truthe | Computer Science | Springer | Details |
Developments in Language Theory | Hsu-Chun Yen, Oscar H. Ibarra | Computer Science | Springer | Details |
Arithmetic of Finite Fields | Ferruh Özbudak, Francisco Rodríguez-Henríquez | Computer Science | Springer | Details |
Privacy and Identity Management for Life | Jan Camenisch, Bruno Crispo, Simone Fischer-Hübner, Ronald Leenes, Giovanni Russello | Computer Science | Springer | Details |
Privacy Enhancing Technologies | Simone Fischer-Hübner, Matthew Wright | Computer Science | Springer | Details |
Wireless Networks and Computational Intelligence | K. R. Venugopal, L. M. Patnaik | Computer Science | Springer | Details |
Advances on Computational Intelligence | Salvatore Greco, Bernadette Bouchon-Meunier, Giulianella Coletti, Mario Fedrizzi, Benedetto Matarazzo, Ronald R. Yager | Computer Science | Springer | Details |
Advances in Computational Intelligence | Salvatore Greco, Bernadette Bouchon-Meunier, Giulianella Coletti, Mario Fedrizzi, Benedetto Matarazzo, Ronald R. Yager | Computer Science | Springer | Details |
Advances in Computational Intelligence | Salvatore Greco, Bernadette Bouchon-Meunier, Giulianella Coletti, Mario Fedrizzi, Benedetto Matarazzo, Ronald R. Yager | Computer Science | Springer | Details |
Advances in Computational Intelligence | Salvatore Greco, Bernadette Bouchon-Meunier, Giulianella Coletti, Mario Fedrizzi, Benedetto Matarazzo, Ronald R. Yager | Computer Science | Springer | Details |
Computers and Creativity | Jon McCormack, Mark d’Inverno | Computer Science | Springer | Details |
Methodologies and Technologies for Networked Enterprises | Giuseppe Anastasi, Emilio Bellini, Elisabetta Nitto, Carlo Ghezzi, Letizia Tanca, Eugenio Zimeo | Computer Science | Springer | Details |
Web Engineering | Marco Brambilla, Takehiro Tokuda, Robert Tolksdorf | Computer Science | Springer | Details |
Model Checking Software | Alastair Donaldson, David Parker | Computer Science | Springer | Details |
Formal Verification of Object-Oriented Software | Bernhard Beckert, Ferruccio Damiani, Dilian Gurov | Computer Science | Springer | Details |
Combinatorial Optimization and Applications | Guohui Lin | Computer Science | Springer | Details |
Virtual and Networked Organizations, Emergent Technologies and Tools | Goran D. Putnik, Maria Manuela Cruz-Cunha | Computer Science | Springer | Details |
Agents and Peer-to-Peer Computing | Domenico Beneventano, Zoran Despotovic, Francesco Guerra, Sam Joseph, Gianluca Moro, Adrián Perreau Pinninck | Computer Science | Springer | Details |
Bisociative Knowledge Discovery | Michael R. Berthold | Computer Science | Springer | Details |
Emerging Intelligent Computing Technology and Applications | De-Shuang Huang, Phalguni Gupta, Xiang Zhang, Prashan Premaratne | Computer Science | Springer | Details |
Advances in Computer Games | H. Jaap Herik, Aske Plaat | Computer Science | Springer | Details |
Wireless Algorithms, Systems, and Applications | Xinbing Wang, Rong Zheng, Tao Jing, Kai Xing | Computer Science | Springer | Details |
Service-Oriented Computing - ICSOC 2011 Workshops | George Pallis, Mohamed Jmaiel, Anis Charfi, Sven Graupner, Yücel Karabulut, Sam Guinea, Florian Rosenberg, Quan Z. Sheng, Cesare Pautasso, Sonia Mokhtar | Computer Science | Springer | Details |
Rough Sets and Knowledge Technology | Tianrui Li, Hung Son Nguyen, Guoyin Wang, Jerzy Grzymala-Busse, Ryszard Janicki, Aboul Ella Hassanien, Hong Yu | Computer Science | Springer | Details |
Transactions on Rough Sets XV | James F. Peters, Andrzej Skowron | Computer Science | Springer | Details |
Security and Privacy in Communication Networks | Muttukrishnan Rajarajan, Fred Piper, Haining Wang, George Kesidis | Computer Science | Springer | Details |
Information Security and Cryptology - ICISC 2011 | Howon Kim | Computer Science | Springer | Details |
Programming Multi-Agent Systems | Louise Dennis, Olivier Boissier, Rafael H. Bordini | Computer Science | Springer | Details |
Intelligent Science and Intelligent Data Engineering | Yanning Zhang, Zhi-Hua Zhou, Changshui Zhang, Ying Li | Computer Science | Springer | Details |
Advances in Bioinformatics and Computational Biology | Marcilio C. Souto, Maricel G. Kann | Computer Science | Springer | Details |
Inductive Logic Programming | Stephen H. Muggleton, Alireza Tamaddoni-Nezhad, Francesca A. Lisi | Computer Science | Springer | Details |
Communications and Information Processing | Maotai Zhao, Junpin Sha | Computer Science | Springer | Details |
Communications and Information Processing | Maotai Zhao, Junpin Sha | Computer Science | Springer | Details |
Transactions on Data Hiding and Multimedia Security VIII | Yun Q. Shi, Stefan Katzenbeisser | Computer Science | Springer | Details |
Speech, Sound and Music Processing: Embracing Research in India | Sølvi Ystad, Mitsuko Aramaki, Richard Kronland-Martinet, Kristoffer Jensen, Sanghamitra Mohanty | Computer Science | Springer | Details |
Advances in Cryptology ? CRYPTO 2012 | Reihaneh Safavi-Naini, Ran Canetti | Computer Science | Springer | Details |
Hybrid Learning | Simon K. S. Cheung, Joseph Fong, Lam-For Kwok, Kedong Li, Reggie Kwan | Computer Science | Springer | Details |
Formal Grammar | Philippe Groote, Mark-Jan Nederhof | Computer Science | Springer | Details |
Trends in Functional Programming | Ricardo Peña, Rex Page | Computer Science | Springer | Details |
RoboCup 2011: Robot Soccer World Cup XV | Thomas Röfer, N. Michael Mayer, Jesus Savage, Uluc? Saranl? | Computer Science | Springer | Details |
Transactions on Computational Collective Intelligence VII | Ngoc Thanh Nguyen | Computer Science | Springer | Details |
New Frontiers in Artificial Intelligence | Manabu Okumura, Daisuke Bekki, Ken Satoh | Computer Science | Springer | Details |
Central European Functional Programming School | Viktória Zsók, Zoltán Horváth, Rinus Plasmeijer | Computer Science | Springer | Details |
Eco-friendly Computing and Communication Systems | Jimson Mathew, Priyadarshan Patra, Dhiraj K. Pradhan, A. J. Kuttyamma | Computer Science | Springer | Details |
Rough Sets and Current Trends in Computing | JingTao Yao, Yan Yang, Roman S?owi?ski, Salvatore Greco, Huaxiong Li, Sushmita Mitra, Lech Polkowski | Computer Science | Springer | Details |
Software Testing in the Cloud | Scott Tilley, Tauhida Parveen | Computer Science | Springer | Details |
Contemporary Computing | Manish Parashar, Dinesh Kaushik, Omer F. Rana, Ravi Samtaney, Yuanyuan Yang, Albert Zomaya | Computer Science | Springer | Details |
Combinatorial Optimization | A. Ridha Mahjoub, Vangelis Markakis, Ioannis Milis, Vangelis Th. Paschos | Computer Science | Springer | Details |
Similarity Search and Applications | Gonzalo Navarro, Vladimir Pestov | Computer Science | Springer | Details |
Decision Support Systems ? Collaborative Models and Approaches in Real Environments | Jorge E. Hernández, Pascale Zarate, Fátima Dargam, Boris Delibaši?, Shaofeng Liu, Rita Ribeiro | Computer Science | Springer | Details |
Generic and Indexed Programming | Jeremy Gibbons | Computer Science | Springer | Details |
Digital Forensics and Watermarking | Yun Qing Shi, Hyoung-Joong Kim, Fernando Perez-Gonzalez | Computer Science | Springer | Details |
DNA Computing and Molecular Programming | Darko Stefanovic, Andrew Turberfield | Computer Science | Springer | Details |
Logic-Based Program Synthesis and Transformation | Germán Vidal | Computer Science | Springer | Details |
Computing and Combinatorics | Joachim Gudmundsson, Julián Mestre, Taso Viglas | Computer Science | Springer | Details |
Nordic Contributions in IS Research | Christina Keller, Mikael Wiberg, Pär J. Ågerfalk, Jenny S. Z. Eriksson Lundström | Computer Science | Springer | Details |
E-Commerce and Web Technologies | Christian Huemer, Pasquale Lops | Computer Science | Springer | Details |
Web-Age Information Management | Hong Gao, Lipyeow Lim, Wei Wang, Chuan Li, Lei Chen | Computer Science | Springer | Details |
Information Theoretic Security | Adam Smith | Computer Science | Springer | Details |
Trust, Privacy and Security in Digital Business | Simone Fischer-Hübner, Sokratis Katsikas, Gerald Quirchmayr | Computer Science | Springer | Details |
Trusted Systems | Liqun Chen, Moti Yung, Liehuang Zhu | Computer Science | Springer | Details |
IT Revolutions | Matías Liñán Reyes, José M. Flores Arias, Juan J. González de la Rosa, Josef Langer, Francisco J. Bellido Outeiriño, Antonio Moreno-Munñoz | Computer Science | Springer | Details |
Applications of Discrete Geometry and Mathematical Morphology | Ullrich Köthe, Annick Montanvert, Pierre Soille | Computer Science | Springer | Details |
Mobile Computing, Applications, and Services | Joy Ying Zhang, Jarek Wilkiewicz, Ani Nahapetian | Computer Science | Springer | Details |
Believable Bots | Philip Hingston | Computer Science | Springer | Details |
Agents for Educational Games and Simulations | Martin Beer, Cyril Brom, Frank Dignum, Von-Wun Soo | Computer Science | Springer | Details |
Modeling Time in Computing | Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi | Computer Science | Springer | Details |
Data Management in Cloud, Grid and P2P Systems | Abdelkader Hameurlain, Farookh Khadeer Hussain, Franck Morvan, A Min Tjoa | Computer Science | Springer | Details |
Interactive Theorem Proving | Lennart Beringer, Amy Felty | 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