43115 Matching Record(s) found
Title | Author | Subject | Publisher | Action |
Transactions on Aspect-Oriented Software Development VII | Shmuel Katz, Mira Mezini, Jörg Kienzle | Computer Science | Springer | Details |
Objects and Databases | Alan Dearle, Roberto V. Zicari | Computer Science | Springer | Details |
Perspectives in Business Informatics Research | Peter Forbrig, Horst Günther | Computer Science | Springer | Details |
Algorithmic Learning Theory | Marcus Hutter, Frank Stephan, Vladimir Vovk, Thomas Zeugmann | Computer Science | Springer | Details |
KI 2010: Advances in Artificial Intelligence | Rüdiger Dillmann, Jürgen Beyerer, Uwe D. Hanebeck, Tanja Schultz | Computer Science | Springer | Details |
Web Application Security | Carlos Serrão, Vicente Aguilera Díaz, Fabio Cerullo | Computer Science | Springer | Details |
Model Driven Engineering Languages and Systems | Dorina C. Petriu, Nicolas Rouquette, Øystein Haugen | Computer Science | Springer | Details |
Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops | Asit Dan, Frédéric Gittler, Farouk Toumani | Computer Science | Springer | Details |
Advances in Artificial Intelligence ? SBIA 2010 | Antônio Carlos Rocha Costa, Rosa Maria Vicari, Flavio Tonidandel | Computer Science | Springer | Details |
Model Driven Engineering Languages and Systems | Dorina C. Petriu, Nicolas Rouquette, Øystein Haugen | Computer Science | Springer | Details |
Security and Privacy in Communication Networks | Sushil Jajodia, Jianying Zhou | Computer Science | Springer | Details |
Model Checking Software | Jaco Pol, Michael Weber | Computer Science | Springer | Details |
Information Computing and Applications | Rongbo Zhu, Yanchun Zhang, Baoxiang Liu, Chunfeng Liu | Computer Science | Springer | Details |
Algorithmic Game Theory | Spyros Kontogiannis, Elias Koutsoupias, Paul G. Spirakis | Computer Science | Springer | Details |
Transactions on Large-Scale Data- and Knowledge-Centered Systems II | Abdelkader Hameurlain, Josef Küng, Roland Wagner, Torben Bach Pedersen, A. Min Tjoa | Computer Science | Springer | Details |
Multiagent System Technologies | Jürgen Dix, Cees Witteveen | Computer Science | Springer | Details |
Comparative Genomics | Eric Tannier | Computer Science | Springer | Details |
Discovery Science | Bernhard Pfahringer, Geoff Holmes, Achim Hoffmann | Computer Science | Springer | Details |
Spoken Dialogue Systems for Ambient Environments | Gary Geunbae Lee, Joseph Mariani, Wolfgang Minker, Satoshi Nakamura | Computer Science | Springer | Details |
Facing the Multicore-Challenge | Rainer Keller, David Kramer, Jan-Philipp Weiss | Computer Science | Springer | Details |
Transactions on Computational Science VIII | Marina L. Gavrilova, C. J. Kenneth Tan | Computer Science | Springer | Details |
Artificial Intelligence Applications and Innovations | Harris Papadopoulos, Andreas S. Andreou, Max Bramer | Computer Science | Springer | Details |
Logic for Programming, Artificial Intelligence, and Reasoning | Christian G. Fermüller, Andrei Voronkov | Computer Science | Springer | Details |
Rough Set and Knowledge Technology | Jian Yu, Salvatore Greco, Pawan Lingras, Guoyin Wang, Andrzej Skowron | Computer Science | Springer | Details |
Software Technologies for Embedded and Ubiquitous Systems | Sang Lyul Min, Robert Pettit, Peter Puschner, Theo Ungerer | Computer Science | Springer | Details |
Integrated Formal Methods | Dominique Méry, Stephan Merz | Computer Science | Springer | Details |
Model-Based Engineering of Embedded Real-Time Systems | Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz | Computer Science | Springer | Details |
Provable Security | Swee-Huay Heng, Kaoru Kurosawa | Computer Science | Springer | Details |
Software Services for e-World | Wojciech Cellary, Elsa Estevez | Computer Science | Springer | Details |
Semantic Web Rules | Mike Dean, John Hall, Antonino Rotolo, Said Tabet | Computer Science | Springer | Details |
Modeling Decisions for Artificial Intelligence | Vicenç Torra, Yasuo Narukawa, Marc Daumas | Computer Science | Springer | Details |
Business Process Modeling Notation | Jan Mendling, Matthias Weidlich, Mathias Weske | Computer Science | Springer | Details |
Rewriting Logic and Its Applications | Peter Csaba Ölveczky | Computer Science | Springer | Details |
Knowledge Management, Information Systems, E-Learning, and Sustainability Research | Miltiadis D. Lytras, Patricia Ordonez De Pablos, Adrian Ziderman, Alan Roulstone, Hermann Maurer, Jonathan B. Imber | Computer Science | Springer | Details |
String Processing and Information Retrieval | Edgar Chavez, Stefano Lonardi | Computer Science | Springer | Details |
Organizational, Business, and Technological Aspects of the Knowledge Society | Miltiadis D. Lytras, Patricia Ordonez de Pablos, Adrian Ziderman, Alan Roulstone, Hermann Maurer, Jonathan B. Imber | Computer Science | Springer | Details |
Intelligent Information Processing V | Zhongzhi Shi, Sunil Vadera, Agnar Aamodt, David Leake | Computer Science | Springer | Details |
Information Computing and Applications | Rongbo Zhu, Yanchun Zhang, Baoxiang Liu, Chunfeng Liu | Computer Science | Springer | Details |
Information Computing and Applications | Rongbo Zhu, Yanchun Zhang, Baoxiang Liu, Chunfeng Liu | Computer Science | Springer | Details |
Information Security and Cryptology | Feng Bao, Moti Yung, Dongdai Lin, Jiwu Jing | Computer Science | Springer | Details |
Ubiquitous Intelligence and Computing | Zhiwen Yu, Ramiro Liscano, Guanling Chen, Daqing Zhang, Xingshe Zhou | Computer Science | Springer | Details |
Advances in Production Management Systems. New Challenges, New Approaches | Bruno Vallespir, Thècle Alix | Computer Science | Springer | Details |
Property Testing | Oded Goldreich | Computer Science | Springer | Details |
Research and Education in Robotics - EUROBOT 2009 | Achim Gottscheber, David Obdržálek, Colin Schmidt | Computer Science | Springer | Details |
Conceptual Modeling ? ER 2010 | Jeffrey Parsons, Motoshi Saeki, Peretz Shoval, Carson Woo, Yair Wand | Computer Science | Springer | Details |
Advances in Conceptual Modeling ? Applications and Challenges | Juan Trujillo, Gillian Dobbie, Hannu Kangassalo, Sven Hartmann, Markus Kirchberg, Matti Rossi, Iris Reinhartz-Berger, Esteban Zimányi, Flavius Frasincar | Computer Science | Springer | Details |
Computational Intelligence and Intelligent Systems | Zhihua Cai, Hengjian Tong, Zhuo Kang, Yong Liu | Computer Science | Springer | Details |
Ubiquitous Knowledge Discovery | Michael May, Lorenza Saitta | Computer Science | Springer | Details |
E-business Technology and Strategy | Marzia Zaman, Yawei Liang, Sohail M Siddiqui, Tim Wang, Vincent Liu, Ceecee Lu | Computer Science | Springer | Details |
ENTERprise Information Systems | João Eduardo Quintela Varajão, Maria Manuela Cruz-Cunha, Goran D. Putnik, António Trigo | Computer Science | Springer | Details |
Lean Enterprise Software and Systems | Pekka Abrahamsson, Nilay Oza | Computer Science | Springer | Details |
ENTERprise Information Systems | João Eduardo Quintela Varajão, Maria Manuela Cruz-Cunha, Goran D. Putnik, António Trigo | Computer Science | Springer | Details |
Information Hiding | Rainer Böhme, Philip W. L. Fong, Reihaneh Safavi-Naini | Computer Science | Springer | Details |
Knowledge Engineering and Management by the Masses | Philipp Cimiano, H. Sofia Pinto | Computer Science | Springer | Details |
Public Key Infrastructures, Services and Applications | Fabio Martinelli, Bart Preneel | Computer Science | Springer | Details |
Security-Enriched Urban Computing and Smart Grid | Tai-hoon Kim, Adrian Stoica, Ruay-Shiung Chang | Computer Science | Springer | Details |
Transport Systems Telematics | Jerzy Mikulski | Computer Science | Springer | Details |
Implementation and Application of Functional Languages | Marco T. Morazán, Sven-Bodo Scholz | Computer Science | Springer | Details |
Human-Centred Software Engineering | Regina Bernhaupt, Peter Forbrig, Jan Gulliksen, Marta Lárusdóttir | Computer Science | Springer | Details |
Advances in Computation and Intelligence | Zhihua Cai, Chengyu Hu, Zhuo Kang, Yong Liu | Computer Science | Springer | Details |
Ontology, Conceptualization and Epistemology for Information Systems, Software Engineering and Service Science | Miguel-Angel Sicilia, Christian Kop, Fabio Sartori | Computer Science | Springer | Details |
Job Scheduling Strategies for Parallel Processing | Eitan Frachtenberg, Uwe Schwiegelshohn | Computer Science | Springer | Details |
Web Information Systems and Mining | Fu Lee Wang, Zhiguo Gong, Xiangfeng Luo, Jingsheng Lei | Computer Science | Springer | Details |
Schema Matching and Mapping | Zohra Bellahsene, Angela Bonifati, Erhard Rahm | Computer Science | Springer | Details |
AI Approaches to the Complexity of Legal Systems. Complex Systems, the Semantic Web, Ontologies, Argumentation, and Dialogue | Pompeu Casanovas, Ugo Pagallo, Giovanni Sartor, Gianmaria Ajani | Computer Science | Springer | Details |
Artificial Intelligence and Computational Intelligence | Fu Lee Wang, Hepu Deng, Yang Gao, Jingsheng Lei | Computer Science | Springer | Details |
Artificial Intelligence and Computational Intelligence | Fu Lee Wang, Hepu Deng, Yang Gao, Jingsheng Lei | Computer Science | Springer | Details |
Exact Exponential Algorithms | Fedor V. Fomin, Dieter Kratsch | Computer Science | Springer | Details |
Bioinspired Computation in Combinatorial Optimization | Frank Neumann, Carsten Witt | Computer Science | Springer | Details |
Metadata and Semantic Research | Salvador Sánchez-Alonso, Ioannis N. Athanasiadis | Computer Science | Springer | Details |
Leveraging Applications of Formal Methods, Verification, and Validation | Tiziana Margaria, Bernhard Steffen | Computer Science | Springer | Details |
Leveraging Applications of Formal Methods, Verification, and Validation | Tiziana Margaria, Bernhard Steffen | Computer Science | Springer | Details |
Social Informatics | Leonard Bolc, Marek Makowski, Adam Wierzbicki | Computer Science | Springer | Details |
Testing Software and Systems | Alexandre Petrenko, Adenilso Simão, José Carlos Maldonado | Computer Science | Springer | Details |
Autonomic and Trusted Computing | Bing Xie, Juergen Branke, S. Masoud Sadjadi, Daqing Zhang, Xingshe Zhou | 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