10063 Matching Record(s) found
Title | Author | Subject | Publisher | Action |
Functional and Constraint Logic Programming | Julio Mariño | Computer Science | Springer | Details |
Knowledge-Driven Multimedia Information Extraction and Ontology Evolution | Georgios Paliouras, Constantine D. Spyropoulos, George Tsatsaronis | Computer Science | Springer | Details |
NETWORKING 2011 | Jordi Domingo-Pascual, Pietro Manzoni, Sergio Palazzo, Ana Pont, Caterina Scoglio | Computer Science | Springer | Details |
Integer Programming and Combinatoral Optimization | Oktay Günlük, Gerhard J. Woeginger | Computer Science | Springer | Details |
Advances in New Technologies, Interactive Interfaces, and Communicability | Francisco V. Cipolla Ficarra, Carlos Castro Lozano, Mauricio Pérez Jiménez, Emma Nicol, Andreas Kratky, Miguel Cipolla-Ficarra | Computer Science | Springer | Details |
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning | Marcello Balduccini, Tran Cao Son | Computer Science | Springer | Details |
Principles of Compilers | Yunlin Su, Song Y. Yan | Computer Science | Springer | Details |
Advances in Knowledge Discovery and Data Mining | Joshua Zhexue Huang, Longbing Cao, Jaideep Srivastava | Computer Science | Springer | Details |
Graph-Based Representations in Pattern Recognition | Xiaoyi Jiang, Miquel Ferrer, Andrea Torsello | Computer Science | Springer | Details |
Advances in Knowledge Discovery and Data Mining | Joshua Zhexue Huang, Longbing Cao, Jaideep Srivastava | Computer Science | Springer | Details |
E-Technologies: Transformation in a Connected World | Gilbert Babin, Katarina Stanoevska-Slabeva, Peter Kropf | Computer Science | Springer | Details |
Wireless Mobile Communication and Healthcare | James C. Lin, Konstantina S. Nikita | Computer Science | Springer | Details |
Theory and Applications of Models of Computation | Mitsunori Ogihara, Jun Tarui | Computer Science | Springer | Details |
Logic Programming and Nonmonotonic Reasoning | James P. Delgrande, Wolfgang Faber | Computer Science | Springer | Details |
The Future Internet | John Domingue, Alex Galis, Anastasius Gavras, Theodore Zahariadis, Dave Lambert, Frances Cleary, Petros Daras, Srdjan Krco, Henning Müller, Man-Sze Li, Hans Schaffers, Volkmar Lotz, Federico Alvarez, Burkhard Stiller, Stamatis Karnouskos, Susanna Avessta, | Computer Science | Springer | Details |
Coding and Cryptology | Yeow Meng Chee, Zhenbo Guo, San Ling, Fengjing Shao, Yuansheng Tang, Huaxiong Wang, Chaoping Xing | Computer Science | Springer | Details |
Cloud Computing | Christian Baun, Marcel Kunze, Jens Nimis, Stefan Tai | Computer Science | Springer | Details |
Logic, Language, Information and Computation | Lev D. Beklemishev, Ruy Queiroz | Computer Science | Springer | Details |
Access Networks | Róbert Szabó, Hua Zhu, Sándor Imre, Ranganai Chaparadza | Computer Science | Springer | Details |
Advanced Topics in Information Retrieval | Massimo Melucci, Ricardo Baeza-Yates | Computer Science | Springer | Details |
Ubiquitous Computing and Multimedia Applications | Tai-hoon Kim, Hojjat Adeli, Rosslin John Robles, Maricel Balitanas | Computer Science | Springer | Details |
Ubiquitous Computing and Multimedia Applications | Tai-hoon Kim, Hojjat Adeli, Rosslin John Robles, Maricel Balitanas | Computer Science | Springer | Details |
Relating Software Requirements and Architectures | Paris Avgeriou, John Grundy, Jon G. Hall, Patricia Lago, Ivan Mistrík | Computer Science | Springer | Details |
Functional Imaging and Modeling of the Heart | Dimitris N. Metaxas, Leon Axel | Computer Science | Springer | Details |
Information Security Practice and Experience | Feng Bao, Jian Weng | Computer Science | Springer | Details |
The Semantic Web: Research and Applications | Grigoris Antoniou, Marko Grobelnik, Elena Simperl, Bijan Parsia, Dimitris Plexousakis, Pieter Leenheer, Jeff Pan | Computer Science | Springer | Details |
Information Security Theory and Practice. Security and Privacy of Mobile Devices in Wireless Communication | Claudio A. Ardagna, Jianying Zhou | Computer Science | Springer | Details |
Advances in Artificial Intelligence | Cory Butz, Pawan Lingras | Computer Science | Springer | Details |
Automated Deduction in Geometry | Thomas Sturm, Christoph Zengler | Computer Science | Springer | Details |
The Art of Software Innovation | Minna Pikkarainen, Wim Codenie, Nick Boucart, José Antonio Heredia Alvaro | Computer Science | Springer | Details |
Advances in Enterprise Engineering V | Antonia Albani, Jan L. G. Dietz, Jan Verelst | Computer Science | Springer | Details |
The Semanic Web: Research and Applications | Grigoris Antoniou, Marko Grobelnik, Elena Simperl, Bijan Parsia, Dimitris Plexousakis, Pieter Leenheer, Jeff Pan | Computer Science | Springer | Details |
Relational and Algebraic Methods in Computer Science | Harrie Swart | Computer Science | Springer | Details |
Combinatorial Image Analysis | Jake K. Aggarwal, Reneta P. Barneva, Valentin E. Brimkov, Kostadin N. Koroutchev, Elka R. Korutcheva | Computer Science | Springer | Details |
Advances in Neural Networks ? ISNN 2011 | Derong Liu, Huaguang Zhang, Marios Polycarpou, Cesare Alippi, Haibo He | Computer Science | Springer | Details |
Advances in Neural Networks ? ISNN 2011 | Derong Liu, Huaguang Zhang, Marios Polycarpou, Cesare Alippi, Haibo He | Computer Science | Springer | Details |
Advances in Neural Networks ? ISNN 2011 | Derong Liu, Huaguang Zhang, Marios Polycarpou, Cesare Alippi, Haibo He | Computer Science | Springer | Details |
Advances in Wireless, Mobile Networks and Applications | Salah S. Al-Majeed, Chih-Lin Hu, Dhinaharan Nagamalai | Computer Science | Springer | Details |
The Language Grid | Toru Ishida | Computer Science | Springer | Details |
Frontiers in Algorithmics and Algorithmic Aspects in Information and Management | Mikhail Atallah, Xiang-Yang Li, Binhai Zhu | Computer Science | Springer | Details |
Models in Software Engineering | Juergen Dingel, Arnor Solberg | Computer Science | Springer | Details |
Hybrid Artificial Intelligent Systems | Emilio Corchado, Marek Kurzy?ski, Micha? Wo?niak | Computer Science | Springer | Details |
Hybrid Artificial Intelligent Systems | Emilio Corchado, Marek Kurzy?ski, Micha? Wo?niak | Computer Science | Springer | Details |
Image Analysis | Anders Heyden, Fredrik Kahl | Computer Science | Springer | Details |
Software Process Improvement and Capability Determination | Rory V. O’Connor, Terry Rout, Fergal McCaffery, Alec Dorling | Computer Science | Springer | Details |
Language and Automata Theory and Applications | Adrian-Horia Dediu, Shunsuke Inenaga, Carlos Martín-Vide | Computer Science | Springer | Details |
Pattern Recognition and Image Analysis | Jordi Vitrià, João Miguel Sanches, Mario Hernández | Computer Science | Springer | Details |
Bioinformatics Research and Applications | Jianer Chen, Jianxin Wang, Alexander Zelikovsky | Computer Science | Springer | Details |
Coordination, Organizations, Institutions, and Norms in Agent Systems VI | Marina Vos, Nicoletta Fornara, Jeremy V. Pitt, George Vouros | Computer Science | Springer | Details |
Advances in Artificial Life. Darwin Meets von Neumann | George Kampis, István Karsai, Eörs Szathmáry | Computer Science | Springer | Details |
Algorithms and Models for the Web Graph | Alan Frieze, Paul Horn, Pawe? Pra?at | Computer Science | Springer | Details |
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems | Radu Calinescu, Ethan Jackson | Computer Science | Springer | Details |
Inductive Logic Programming | Paolo Frasconi, Francesca A. Lisi | Computer Science | Springer | Details |
Ambient Assisted Living | José Bravo, Ramón Hervás, Vladimir Villarreal | Computer Science | Springer | Details |
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | Tobias Achterberg, J. Christopher Beck | Computer Science | Springer | Details |
Advances in Artificial Life. Darwin Meets von Neumann | George Kampis, István Karsai, Eörs Szathmáry | Computer Science | Springer | Details |
Computational Intelligence in Security for Information Systems | Álvaro Herrero, Emilio Corchado | Computer Science | Springer | Details |
New Challenges on Bioinspired Applications | José Manuel Ferrández, José Ramón Álvarez Sánchez, Félix Paz, F. Javier Toledo | Computer Science | Springer | Details |
Reliable Software Technologies - Ada-Europe 2011 | Alexander Romanovsky, Tullio Vardanega | Computer Science | Springer | Details |
Unconventional Computation | Cristian S. Calude, Jarkko Kari, Ion Petre, Grzegorz Rozenberg | Computer Science | Springer | Details |
Foundations on Natural and Artificial Computation | José Manuel Ferrández, José Ramón Álvarez Sánchez, Félix Paz, F. Javier Toledo | Computer Science | Springer | Details |
Top Productivity through Software Reuse | Klaus Schmid | Computer Science | Springer | Details |
Tools for Teaching Logic | Patrick Blackburn, Hans Ditmarsch, María Manzano, Fernando Soler-Toscano | Computer Science | Springer | Details |
Multidisciplinary Information Retrieval | Allan Hanbury, Andreas Rauber, Arjen P. Vries | Computer Science | Springer | Details |
Researching the Future in Information Systems | Mike Chiasson, Ola Henfridsson, Helena Karsten, Janice I. DeGross | Computer Science | Springer | Details |
Distributed Applications and Interoperable Systems | Pascal Felber, Romain Rouvoy | Computer Science | Springer | Details |
Advanced Research on Computer Science and Information Engineering | Gang Shen, Xiong Huang | Computer Science | Springer | Details |
Advanced Research on Computer Science and Information Engineering | Gang Shen, Xiong Huang | Computer Science | Springer | Details |
Future Challenges in Security and Privacy for Academia and Industry | Jan Camenisch, Simone Fischer-Hübner, Yuko Murayama, Armand Portmann, Carlos Rieder | Computer Science | Springer | Details |
Autonomous Search | Youssef Hamadi, Eric Monfroy, Frédéric Saubion | Computer Science | Springer | Details |
FM 2011: Formal Methods | Michael Butler, Wolfram Schulte | Computer Science | Springer | Details |
Mobile Networks and Management | Kostas Pentikousis, Ramón Agüero, Marta García-Arranz, Symeon Papavassiliou | Computer Science | Springer | Details |
Formal Methods for Eternal Networked Software Systems | Marco Bernardo, Valérie Issarny | Computer Science | Springer | Details |
Combinatorial Pattern Matching | Raffaele Giancarlo, Giovanni Manzini | Computer Science | Springer | Details |
Formal Techniques for Distributed Systems | Roberto Bruni, Juergen Dingel | 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