Automated Reasoning with Analytic Tableaux and Related Methods
It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...
اقرأ المزيد
Automating Business Modelling
Enterprise Modelling (EM) methods are frequently used by entrepreneurs as an analysis tool for describing and redesigning ...
اقرأ المزيد
Autonomous Intelligent Systems: Agents and Data Mining
This book constitutes the refereed proceedings of the International Workshop on Autonomous Intelligent Systems: Agents and ...
اقرأ المزيد
Becoming Citizens in a Changing World
This open access book presents the results from the second cycle of the IEA International Civic and Citizenship Education ...
اقرأ المزيد
Becoming Virtual
This book examines the capabilities needed to transform a globally distributed organization into a virtual organization (an ...
اقرأ المزيدBecoming a World-Class University : The case of King Abdulaziz University
This book written by international experts in the field of educational innovation is a guide for universities to become world-class ...
اقرأ المزيد
Beginning jOOQ : Learn to Write Efficient and Effective Java-Based SQL Database Operations / Tayo Koleoso
Learn to use the jOOQ library to manage SQL database operations in Java and JVM applications. This book walks you through ...
اقرأ المزيد
Big Data Recommender Systems ; Vol. 1: Algorithms, Architectures, Big Data, Security and Trust
Combines experimental and theoretical research on big data recommender systems to help computer scientists develop new concepts ...
اقرأ المزيد
Big Data Recommender Systems ; Vol. 2: Application Paradigms
Combines experimental and theoretical research on big data recommender systems to help computer scientists develop new concepts ...
اقرأ المزيد
Big Data-Enabled Internet Of Things
Covers analytical techniques for handling the huge amount of data generated by the Internet of Things, from architectures ...
اقرأ المزيد
Big Data: An Art of Decision Making / Eglantine Schmitt
Manipulating and processing masses of digital data is never a purely technical activity. It requires an interpretative and ...
اقرأ المزيد
Bioeconomy and Global Inequalities Socio-Ecological Perspectives on Biomass Sourcing and Production
This book explores bioeconomy and bioenergy policies across South America, Asia and Europe. It discusses how a transition ...
اقرأ المزيد
Bioinformatics Research and Applications : Fourth International Symposium, ISBRA 2008, Atlanta, GA, USA, May 6-9, 2008. Proceedings
This book constitutes the refereed proceedings of the Fourth International Symposium on Bioinformatics Research and Applications, ...
اقرأ المزيد
Biological and Medical Data Analysis (vol. # 3745)
The 6th International Symposium on Biological and Medical Data Analysisaimed to become a place where researchersinvolved ...
اقرأ المزيدBiomedical Data Mining for Information Retrieval: Methodologies, Techniques, and Applications / Sujata Dash, Subhendu Kumar Pani, S. Balamurugan, Ajith Abraham
Discusses data mining, biomedical image processing, information retrieval with broad coverage of basic scientific applications. covers ...
اقرأ المزيد
Biometrics, Computer Security Systems and Artificial Intelligence Applications
This book presents the most recent achievements in some fascinating and rapidly developing fields within Computer Science. ...
اقرأ المزيد
Borderless Knowledge : Understanding the “New” Internationalisation of Research and Higher Education in Norway
this book analyses patterns of internationalisation comprising the national and supranational level, the level of higher ...
اقرأ المزيد
Brouwer meets Husserl
Can the straight line be analysed mathematically such that it does not fall apart into a set of discrete points, as is usually ...
اقرأ المزيد
Business Information Systems : 11th International Conference, BIS 2008, Innsbruck, Austria, May 5-7, 2008. Proceedings
This book contains the refereed proceedings of the 11th International Conference on Business Information Systems, BIS 2008, ...
اقرأ المزيد
Business Modeling and Software Design : 10th International Symposium, BMSD 2020, Berlin, Germany, July 6-8, 2020, Proceedings
This book constitutes the refereed proceedings of the 10th International Symposium on Business Modeling and Software Design, ...
اقرأ المزيد
