10063 Matching Record(s) found
Title | Author | Subject | Publisher | Action |
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 |
Recent Trends and Developments in Social Software | John G. Breslin, Thomas N. Burg, Hong-Gee Kim, Tom Raftery, Jan-Hinrik Schmidt | Computer Science | Springer | Details |
Intelligent Robotics and Applications | Honghai Liu, Han Ding, Zhenhua Xiong, Xiangyang Zhu | Computer Science | Springer | Details |
Intelligent Robotics and Applications | Honghai Liu, Han Ding, Zhenhua Xiong, Xiangyang Zhu | Computer Science | Springer | Details |
Qualitative Spatial Abstraction in Reinforcement Learning | Lutz Frommberger | Computer Science | Springer | Details |
The Smart Internet | Mark Chignell, James Cordy, Joanna Ng, Yelena Yesha | Computer Science | Springer | Details |
HCI in Work and Learning, Life and Leisure | Gerhard Leitner, Martin Hitz, Andreas Holzinger | Computer Science | Springer | Details |
Runtime Verification | Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Ro?u, Oleg Sokolsky, Nikolai Tillmann | Computer Science | Springer | Details |
Multiobjective Genetic Algorithms for Clustering | Ujjwal Maulik, Sanghamitra Bandyopadhyay, Anirban Mukhopadhyay | Computer Science | Springer | Details |
Interactive Storytelling | Ruth Aylett, Mei Yii Lim, Sandy Louchart, Paolo Petta, Mark Riedl | Computer Science | Springer | Details |
Mobile Lightweight Wireless Systems | Periklis Chatzimisios, Christos Verikoukis, Ignacio Santamaría, Massimiliano Laddomada, Oliver Hoffmann | Computer Science | Springer | Details |
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications | Isabelle Bloch, Roberto M. Cesar | Computer Science | Springer | Details |
Unifying Theories of Programming | Shengchao Qin | Computer Science | Springer | Details |
Computational Collective Intelligence. Technologies and Applications | Jeng-Shyang Pan, Shyi-Ming Chen, Ngoc Thanh Nguyen | Computer Science | Springer | Details |
Computational Collective Intelligence. Technologies and Applications | Jeng-Shyang Pan, Shyi-Ming Chen, Ngoc Thanh Nguyen | Computer Science | Springer | Details |
Advances in Information Technology | Borworn Papasratorn, Kittichai Lavangnananda, Wichian Chutimaskul, Vajirasak Vanijja | Computer Science | Springer | Details |
Web-Age Information Management | Heng Tao Shen, Jian Pei, M. Tamer Özsu, Lei Zou, Jiaheng Lu, Tok-Wang Ling, Ge Yu, Yi Zhuang, Jie Shao | Computer Science | Springer | Details |
Computational Collective Intelligence. Technologies and Applications | Jeng-Shyang Pan, Shyi-Ming Chen, Ngoc Thanh Nguyen | Computer Science | Springer | Details |
Computational Systems-Biology and Bioinformatics | Jonathan H. Chan, Yew-Soon Ong, Sung-Bae Cho | Computer Science | Springer | Details |
Advances in Artificial Intelligence | Grigori Sidorov, Arturo Hernández Aguirre, Carlos Alberto Reyes García | Computer Science | Springer | Details |
Practice-Driven Research on Enterprise Transformation | Frank Harmsen, Erik Proper, Frank Schalkwijk, Joseph Barjis, Sietse Overbeek | Computer Science | Springer | Details |
Advances in Soft Computing | Grigori Sidorov, Arturo Hernández Aguirre, Carlos Alberto Reyes García | 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