43115 Matching Record(s) found
Title | Author | Subject | Publisher | Action |
Transactions on Petri Nets and Other Models of Concurrency VII | Kurt Jensen, Wil M. P. Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf | Computer Science | Springer | Details |
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky | Bob Coecke, Luke Ong, Prakash Panangaden | Computer Science | Springer | Details |
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | Carla Gomes, Meinolf Sellmann | Computer Science | Springer | Details |
Logic-Based Program Synthesis and Transformation | Elvira Albert | Computer Science | Springer | Details |
Wireless Multimedia Sensor Networks on Reconfigurable Hardware | Li-minn Ang, Kah Phooi Seng, Li Wern Chew, Lee Seng Yeong, Wai Chong Chia | Computer Science | Springer | Details |
Model-Based Methodologies for Pervasive and Embedded Software | Ricardo J. Machado, Rita Suzana P. Maciel, Julia Rubin, Goetz Botterweck | Computer Science | Springer | Details |
Belief-based Stability in Coalition Formation with Uncertainty | Chi-kong Chan, Ho-fung Leung | Computer Science | Springer | Details |
Graph-Based Representations in Pattern Recognition | Walter G. Kropatsch, Nicole M. Artner, Yll Haxhimusa, Xiaoyi Jiang | Computer Science | Springer | Details |
Advanced Infocomm Technology | Vincent Guyot | Computer Science | Springer | Details |
Web Services and Formal Methods | Maurice H. Beek, Niels Lohmann | Computer Science | Springer | Details |
Algorithms and Complexity | Paul G. Spirakis, Maria Serna | Computer Science | Springer | Details |
Theory and Applications of Models of Computation | T-H. Hubert Chan, Lap Chi Lau, Luca Trevisan | Computer Science | Springer | Details |
Computer Vision, Imaging and Computer Graphics. Theory and Application | Gabriela Csurka, Martin Kraus, Robert S. Laramee, Paul Richard, José Braz | Computer Science | Springer | Details |
Web Dynpro ABAP for Practitioners | Ulrich Gellert, Ana Daniela Cristea | Computer Science | Springer | Details |
Optical Supercomputing | Shlomi Dolev, Mihai Oltean | Computer Science | Springer | Details |
Biomedical Engineering Systems and Technologies | Joaquim Gabriel, Jan Schier, Sabine Huffel, Emmanuel Conchon, Carlos Correia, Ana Fred, Hugo Gamboa | Computer Science | Springer | Details |
Scale Space and Variational Methods in Computer Vision | Arjan Kuijper, Kristian Bredies, Thomas Pock, Horst Bischof | Computer Science | Springer | Details |
Modeling and Simulation in Engineering, Economics, and Management | María Ángeles Fernández-Izquierdo, María Jesús Muñoz-Torres, Raúl León | Computer Science | Springer | Details |
The Semantic Web: Semantics and Big Data | Philipp Cimiano, Oscar Corcho, Valentina Presutti, Laura Hollink, Sebastian Rudolph | Computer Science | Springer | Details |
Mathematical Morphology and Its Applications to Signal and Image Processing | Cris L. Luengo Hendriks, Gunilla Borgefors, Robin Strand | Computer Science | Springer | Details |
Agile Processes in Software Engineering and Extreme Programming | Hubert Baumeister, Barbara Weber | Computer Science | Springer | Details |
Formal Concept Analysis | Peggy Cellier, Felix Distel, Bernhard Ganter | Computer Science | Springer | Details |
Trust Management VII | Carmen Fernández-Gago, Fabio Martinelli, Siani Pearson, Isaac Agudo | Computer Science | Springer | Details |
Artificial Intelligence in Medicine | Niels Peek, Roque Marín Morales, Mor Peleg | Computer Science | Springer | Details |
Web Information Systems Engineering – WISE 2011 and 2012 Workshops | Armin Haller, Guangyan Huang, Zhisheng Huang, Hye-young Paik, Quan Z. Sheng | Computer Science | Springer | Details |
Computational Intelligence Methods for Bioinformatics and Biostatistics | Leif E. Peterson, Francesco Masulli, Giuseppe Russo | Computer Science | Springer | Details |
Advances in Cryptology – EUROCRYPT 2013 | Thomas Johansson, Phong Q. Nguyen | Computer Science | Springer | Details |
Business Information Systems | Witold Abramowicz | Computer Science | Springer | Details |
Information Systems: Methods, Models, and Applications | Heinrich C. Mayr, Christian Kop, Stephen Liddle, Athula Ginige | Computer Science | Springer | Details |
Wired/Wireless Internet Communication | Vassilis Tsaoussidis, Andreas J. Kassler, Yevgeni Koucheryavy, Abdelhamid Mellouk | Computer Science | Springer | Details |
Next Generation of Information Technology in Educational Management | Don Passey, Andreas Breiter, Adrie Visscher | Computer Science | Springer | Details |
Advances in Artificial Intelligence | Osmar R. Zaïane, Sandra Zilles | Computer Science | Springer | Details |
Enterprise, Business-Process and Information Systems Modeling | Selmin Nurcan, Henderik A. Proper, Pnina Soffer, John Krogstie, Rainer Schmidt, Terry Halpin, Ilia Bider | Computer Science | Springer | Details |
Advanced Information Systems Engineering Workshops | Xavier Franch, Pnina Soffer | Computer Science | Springer | Details |
Coordination Models and Languages | Rocco Nicola, Christine Julien | Computer Science | Springer | Details |
Transactions on Computational Collective Intelligence X | Ngoc-Thanh Nguyen, Joanna Ko?odziej, Tadeusz Burczy?ski, Marenglen Biba | Computer Science | Springer | Details |
Hybrid Metaheuristics | María J. Blesa, Christian Blum, Paola Festa, Andrea Roli, Michael Sampels | Computer Science | Springer | Details |
Information Security and Cryptology | Miros?aw Kuty?owski, Moti Yung | Computer Science | Springer | Details |
Experimental Algorithms | Vincenzo Bonifaci, Camil Demetrescu, Alberto Marchetti-Spaccamela | Computer Science | Springer | Details |
Information Security Theory and Practice. Security of Mobile and Cyber-Physical Systems | Lorenzo Cavallaro, Dieter Gollmann | Computer Science | Springer | Details |
Computer Science – Theory and Applications | Andrei A. Bulatov, Arseny M. Shur | Computer Science | Springer | Details |
Distributed Applications and Interoperable Systems | Jim Dowling, François Taïani | Computer Science | Springer | Details |
Progress in Cryptology – AFRICACRYPT 2013 | Amr Youssef, Abderrahmane Nitaj, Aboul Ella Hassanien | Computer Science | Springer | Details |
Multimedia Communications, Services and Security | Andrzej Dziech, Andrzej Czy?ewski | Computer Science | Springer | Details |
Web-Age Information Management | Jianyong Wang, Hui Xiong, Yoshiharu Ishikawa, Jianliang Xu, Junfeng Zhou | Computer Science | Springer | Details |
Information Processing in Computer-Assisted Interventions | Dean Barratt, Stéphane Cotin, Gabor Fichtinger, Pierre Jannin, Nassir Navab | Computer Science | Springer | Details |
Software Product Quality Control | Stefan Wagner | Computer Science | Springer | Details |
Automated Deduction – CADE-24 | Maria Paola Bonacina | Computer Science | Springer | Details |
Recent Trends in Applied Artificial Intelligence | Moonis Ali, Tibor Bosse, Koen V. Hindriks, Mark Hoogendoorn, Catholijn M. Jonker, Jan Treur | Computer Science | Springer | Details |
Formal Techniques for Distributed Systems | Dirk Beyer, Michele Boreale | Computer Science | Springer | Details |
Reliable Software Technologies – Ada-Europe 2013 | Hubert B. Keller, Erhard Plödereder, Peter Dencker, Herbert Klenk | Computer Science | Springer | Details |
Business Process Models. Change Management | Christian Gerth | Computer Science | Springer | Details |
Artificial Intelligence and Soft Computing | Leszek Rutkowski, Marcin Korytkowski, Rafa? Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada | Computer Science | Springer | Details |
Integrated Formal Methods | Einar Broch Johnsen, Luigia Petre | Computer Science | Springer | Details |
Post-Quantum Cryptography | Philippe Gaborit | Computer Science | Springer | Details |
Natural and Artificial Computation in Engineering and Medical Applications | José Manuel Ferrández Vicente, José Ramón Álvarez Sánchez, Félix Paz López, Fco. Javier Toledo Moreo | Computer Science | Springer | Details |
Pattern Recognition and Image Analysis | João M. Sanches, Luisa Micó, Jaime S. Cardoso | Computer Science | Springer | Details |
Network and System Security | Javier Lopez, Xinyi Huang, Ravi Sandhu | Computer Science | Springer | Details |
Language Processing and Intelligent Information Systems | Mieczys?aw A. K?opotek, Jacek Koronacki, Ma?gorzata Marciniak, Agnieszka Mykowiecka, S?awomir T. Wierzcho? | Computer Science | Springer | Details |
Natural and Artificial Models in Computation and Biology | José Manuel Ferrández Vicente, José Ramón Álvarez Sánchez, Félix Paz López, Fco. Javier Toledo Moreo | Computer Science | Springer | Details |
Aspect-Oriented Requirements Engineering | Ana Moreira, Ruzanna Chitchyan, João Araújo, Awais Rashid | Computer Science | Springer | Details |
Artificial Intelligence and Soft Computing | Leszek Rutkowski, Marcin Korytkowski, Rafa? Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada | Computer Science | Springer | Details |
Benchmarking Peer-to-Peer Systems | Wolfgang Effelsberg, Ralf Steinmetz, Thorsten Strufe | Computer Science | Springer | Details |
Transactions on Pattern Languages of Programming III | James Noble, Ralph Johnson, Uwe Zdun, Eugene Wallingford | Computer Science | Springer | Details |
Advances in Computational Intelligence | Ignacio Rojas, Gonzalo Joya, Joan Gabestany | Computer Science | Springer | Details |
Advances in Computational Intelligence | Ignacio Rojas, Gonzalo Joya, Joan Cabestany | Computer Science | Springer | Details |
Application and Theory of Petri Nets and Concurrency | José-Manuel Colom, Jörg Desel | Computer Science | Springer | Details |
Programming Multi-Agent Systems | Mehdi Dastani, Jomi F. Hübner, Brian Logan | Computer Science | Springer | Details |
Advances in Swarm Intelligence | Ying Tan, Yuhui Shi, Hongwei Mo | Computer Science | Springer | Details |
End-User Development | Yvonne Dittrich, Margaret Burnett, Anders Mørch, David Redmiles | Computer Science | Springer | Details |
Advanced Information Systems Engineering | Camille Salinesi, Moira C. Norrie, Óscar Pastor | Computer Science | Springer | Details |
Advances in Swarm Intelligence | Ying Tan, Yuhui Shi, Hongwei Mo | Computer Science | Springer | Details |
High Performance Computing for Computational Science - VECPAR 2012 | Michel Daydé, Osni Marques, Kengo Nakajima | Computer Science | Springer | Details |
Ontology Matching | Jérôme Euzenat, Pavel Shvaiko | Computer Science | Springer | Details |
Supercomputing | Julian Martin Kunkel, Thomas Ludwig, Hans Werner Meuer | 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