Computing Methodologies.

Information Processing and Security Systems by: (Language materials, printed)

Genetic Programming Theory and Practice II by: (Language materials, printed)

The Next Wave in Computing, Optimization, and Decision Technologies by: (Language materials, printed)

Genetic Programming IV = Routine Human-Competitive Machine Intelligence / by: (Language materials, printed)

Autonomy Oriented Computing = From Problem Solving to Complex Systems Modeling / by: (Language materials, printed)

Biometric Systems = Technology, Design and Performance Evaluation / by: (Language materials, printed)

Handbook of Geometric Computing = Applications in Pattern Recognition, Computer Vision, Neuralcomputing, and Robotics / by: (Language materials, printed)

Applications of Agent Technology in Traffic and Transportation by: (Language materials, printed)

Agent-Based Simulation: From Modeling Methodologies to Real-World Applications = Post-Proceedings of the Third International Workshop on Agent-Based Approaches in Economic and Social Complex Systems 2004/ by: (Language materials, printed)

Constraint Theory = Multidimensional Mathematical Model Management / by: (Language materials, printed)

Search Methodologies = Introductory Tutorials in Optimization and Decision Support Techniques / by: (Language materials, printed)

Algorithms and Data Structures = The Basic Toolbox / by: (Language materials, printed)

Computer science - theory and applications = 3rd International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008 : proceedings / by: (Language materials, printed)

Cognition, Communication and Interaction = Transdisciplinary Perspectives on Interactive Technology / by: (Language materials, printed)

Toward Artificial Sapience = Principles and Methods for Wise Systems / by: (Language materials, printed)

Theory and applications of models of computation = 5th international conference, TAMC 2008, Xi'an, China, April 25-29, 2008 ; proceedings / by: (Language materials, printed)

Logic, Language, Information and Computation = 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings / by: (Language materials, printed)

Encyclopedia of Algorithms by: (Language materials, printed)

Biologically-Inspired Collaborative Computing = IFIP 20th World Computer Congress, Second IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing, September 8-9, 2008, Milano, Italy/ by: (Language materials, printed)

Data Management in Grid and Peer-to-Peer Systems = First International Conference, Globe 2008, Turin, Italy, September 3, 2008. Proceedings / by: (Language materials, printed)

Languages and Compilers for Parallel Computing = 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers / by: (Language materials, printed)

Languages and compilers for parallel computing = 21st international workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008 : revised selected papers / by: (Language materials, printed)

Mathematical methods in computer science = essays in memory of Thomas Beth / by: (Language materials, printed)

Principles of distributed systems = 12th international conference, OPODIS 2008, Luxor, Egypt, December 15-18, 2008, proceedings / by: (Language materials, printed)

Transactions on computational systems biology IX by: (Language materials, printed)

Parallel scientific computing and optimization = advances and applications / by: (Language materials, printed)

Computing for comparative microbial genomics = bioinformatics for microbiologists / by: (Language materials, printed)

Kalman filtering = with real-time applications / by: (Language materials, printed)

Logic and its applications = third Indian conference, ICLA 2009, Chennai, India, January 7-11, 2009, proceedings / by: (Language materials, printed)

Argumentation in multi-agent systems = fifth international workshop, ArgMAS 2008, Estoril, Portugal, May 12, 2008 ; revised selected and invited papers / by: (Language materials, printed)

Quantum interaction = third international symposium, QI 2009, Saarbrucken, Germany, March 25-27, 2009 ; proceedings / by: (Language materials, printed)

Genetic programming theory and practice VII by: (Language materials, printed)

Emergent Web intelligence = advanced semantic technologies / by: (Language materials, printed)

Emergent web intelligence = advanced information retrieval / by: (Language materials, printed)

Agent-based service-oriented computing by: (Language materials, printed)

Robust computing with nano-scale devices = progresses and challenges / by: (Language materials, printed)

Network and parallel computing = IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010, proceedings / by: (Language materials, printed)

Computational intelligence for engineering systems = emergent applications / by: (Electronic resources)

Logic and its applications = 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011 : proceedings / by: (Electronic resources)

Integration of world knowledge for natural language understanding by: (Electronic resources)

Information computing and applications = third International Conference, ICICA 2012, Chengde, China, September 14-16, 2012 : proceedings.. Part II / by: (Electronic resources)

Computational intelligence and intelligent systems = 6th International Symposium, ISICA 2012, Wuhan, China, October 27-28, 2012 : proceedings / by: (Electronic resources)

Network computing and information security = second international conference, NCIS 2012, Shanghai, China, December 7-9, 2012 : proceedings / by: (Electronic resources)

Intelligent engineering systems and computational cybernetics by: (Electronic resources)

Computing meaning.. Volume 4 by: (Electronic resources)

Search methodologies = introductory tutorials in optimization and decision support techniques / by: (Electronic resources)

German-Japanese interchange of data analysis results by: (Electronic resources)

Concise computer vision = an introduction into theory and algorithms / by: (Electronic resources)

Statistical atlases and computational models of the heart = imaging and modelling challenges : 4th international workshop, STACOM 2013, held in conjunction with MICCAI 2013, Nagoya, Japan, September 26, 2013 : revised selected papers / by: (Electronic resources)

Model-driven software migration = a methodology : Reengineering, recovery and modernization of legacy systems / by: (Electronic resources)

Agent and multi-agent systems = technologies and applications : Proceedings of the 8th International Conference KES-AMSTA 2014 Chania, Greece, June 2014 / by: (Electronic resources)

Citation-based plagiarism detection = detecting disguised and cross-language plagiarism using citation pattern analysis / by: (Electronic resources)

Autonomy requirements engineering for space missions by: (Electronic resources)

Modeling and simulation of complex systems = a framework for efficient agent-based modeling and simulation / by: (Electronic resources)

Algorithmic differentiation of pragma-defined parallel regions = differentiating computer programs containing OpenMP / by: (Electronic resources)

High performance computing = First HPCLATAM - CLCAR Latin American Joint Conference, CARLA 2014, Valparaiso, Chile, October 20-22, 2014 : proceedings / by: (Electronic resources)

An introduction to R for quantitative economics = graphing, simulating and computing / by: (Electronic resources)

Healthcare informatics and analytics : = emerging issues and trends / by: (Electronic resources)

Pattern and security requirements = engineering-based establishment of security standards / by: (Electronic resources)

Multilevel business processes = modeling and data analysis / by: (Electronic resources)

Geographical information systems theory, applications and management = first International Conference, GISTAM 2015, Barcelona, Spain, April 28-30, 2015 : revised selected papers / by: (Electronic resources)

Encyclopedia of algorithms by: (Electronic resources)

Product lifecycle management in the era of internet of things = 12th IFIP WG 5.1 International Conference, PLM 2015, Doha, Qatar, October 19-21, 2015 : revised selected papers / by: (Electronic resources)

Beyond databases, architectures and structures = Advanced technologies for data mining and knowledge discovery : 12th International Conference, BDAS 2016, Ustron, Poland, May 31 - June 3, 2016 : proceedings / by: (Electronic resources)

OS X app development with CloudKit and Swift by: (Electronic resources)

Databases and information systems = 12th International Baltic Conference, DB&IS 2016, Riga, Latvia, July 4-6, 2016 : proceedings / by: (Electronic resources)

Relaxed abduction = robust information interpretation for industrial applications / by: (Electronic resources)

Introducing SEO = your quick-start guide to effective SEO practices / by: (Electronic resources)

Nginx = from beginner to Pro / by: (Electronic resources)

Beyond jQuery by: (Electronic resources)

An introduction to data analysis using aggregation functions in R by: (Electronic resources)

Certified OpenStack Administrator study guide by: (Electronic resources)

Absolute beginners guide to computing by: (Electronic resources)

Pro MEAN Stack development by: (Electronic resources)

Reactive programming with Node.js by: (Electronic resources)

Lattice quantum chromodynamics = practical essentials / by: (Electronic resources)

MATLAB machine learning by: (Electronic resources)

Machine learning using R by: (Electronic resources)

Raspberry Pi image processing programming = develop real-life examples with Python, Pillow, and SciPy / by: (Electronic resources)

High performance computing = third Latin American Conference, CARLA 2016, Mexico City, Mexico, August 29-September 2, 2016 : revised selected papers / by: (Electronic resources)

Smart mobility - connecting everyone = trends, concepts and best practices / by: (Electronic resources)

Structured object-oriented formal language and method = 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016 : revised selected papers / by: (Electronic resources)

Deep learning with Python = a hands-on introduction / by: (Electronic resources)

Functional imaging and modelling of the heart = 9th International Conference, FIMH 2017, Toronto, ON, Canada, June 11-13, 2017 : proceedings / by: (Electronic resources)

Reachability problems = 11th International Workshop, RP 2017, London, UK, September 7-9, 2017 : proceedings / by: (Electronic resources)

Constraint theory = multidimensional mathematical model management / by: (Electronic resources)

Artificial intelligence for .NET = speech, language, and search : building smart applications with Microsoft cognitive services APIs / by: (Electronic resources)

Docker for data science = building scalable and extensible data infrastructure around the Jupyter Notebook Server / by: (Electronic resources)

Social informatics = 9th International Conference, SocInfo 2017, Oxford, UK, September 13-15, 2017 : proceedings.. Part II / by: (Electronic resources)

Automated technology for verification and analysis = 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017 : proceedings / by: (Electronic resources)

Advances in intelligent data analysis XVI = 16th International Symposium, IDA 2017, London, UK, October 26-28, 2017 : proceedings / by: (Electronic resources)

Python machine learning case studies = five case studies for the data scientist / by: (Electronic resources)

Machine learning and cognition in enterprises = business intelligence transformed / by: (Electronic resources)

Pro deep learning with TensorFlow = a mathematical approach to advanced artificial intelligence in Python / by: (Electronic resources)

Machine learning for decision makers = cognitive computing fundamentals for better decision making / by: (Electronic resources)

Analysis and control of coupled neural networks with reaction-diffusion terms by: (Electronic resources)

High performance computing = 4th Latin American Conference, CARLA 2017, Buenos Aires, Argentina, and Colonia del Sacramento, Uruguay, September 20-22, 2017 : revised selected papers / by: (Electronic resources)

Build better chatbots = a complete guide to getting started with chatbots / by: (Electronic resources)

Practical machine learning with Python = a problem-solver's guide to building real-world intelligent systems / by: (Electronic resources)

Oracle business intelligence with machine learning = artificial intelligence techniques in OBIEE for actionable BI / by: (Electronic resources)

Reinforcement learning = with Open AI, TensorFlow and Keras using Python / by: (Electronic resources)

Build based smart applications = using rules engines, NLP and automation frameworks / by: (Electronic resources)

Dynamic logic = new trends and applications : first International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017 : proceedings / by: (Electronic resources)

Human centered computing = third International Conference, HCC 2017, Kazan, Russia, August 7-9, 2017 : revised selected papers / by: (Electronic resources)

Software engineering and formal methods = SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017 : revised selected papers / by: (Electronic resources)

Deep learning with applications using Python = chatbots and face, object, and speech recognition with TensorFlow and Keras / by: (Electronic resources)

Neural networks for electronics hobbyists = a non-technical project-based introduction / by: (Electronic resources)

Building intelligent systems = a guide to machine learning engineering / by: (Electronic resources)

Clinical rehabilitation experience utilizing serious games = rehabilitation technology and a technical concept for health data collection / by: (Electronic resources)

Programming languages and systems = 27th European Symposium on Programming, ESOP 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings / by: (Electronic resources)

Tools and algorithms for the construction and analysis of systems = 24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings.. Part II / by: (Electronic resources)

Deep Belief Nets in C++ and CUDA C.. Volume 1,. Restricted Boltzmann machines and supervised feedforward networks by: (Electronic resources)

Introduction to deep learning business applications for developers = from conversational bots in customer service to medical image processing / by: (Electronic resources)

Practical artificial intelligence = machine learning, bots, and agent solutions using C# / by: (Electronic resources)

Deep belief nets in C++ and CUDA C.. Volume 2,. Autoencoding in the complex domain by: (Electronic resources)

Deep belief nets in C++ and CUDA C. Volume 3,. Convolutional nets / by: (Electronic resources)

Communication, networks and computing = First International Conference, CNC 2018, Gwalior, India, March 22-24, 2018, revised selected papers / by: (Electronic resources)

Advances in computing = 12th Colombian Conference, CCC 2017, Cali, Colombia, September 19-22, 2017 : proceedings / by: (Electronic resources)

Abstract state machines, Alloy, B, TLA, VDM, and Z = 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018 : proceedings / by: (Electronic resources)

Genetic Programming Theory and Practice.. V by: (Language materials, printed)

Computer-aided Systems in Public Transport by: (Language materials, printed)

Pillars of Computer Science = Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday / by: (Language materials, printed)

Digitally Archiving Cultural Objects by: (Language materials, printed)

Logic and Theory of Algorithms = 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings / by: (Language materials, printed)

Optical SuperComputing = first international workshop, OSC 2008, Vienna, Austria, August 26, 2008 : proceedings / by: (Language materials, printed)

Data mining for business applications by: (Language materials, printed)

Advances in grid and pervasive computing = 4th international conference, GPC 2009, Geneva, Switzerland, May 4-8, 2009 : proceedings / by: (Language materials, printed)

Languages and compilers for parallel computing = 22nd international workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009 : revised selected papers / by: (Language materials, printed)

Specification and verification of multi-agent systems by: (Language materials, printed)

Statistical atlases and computational models of the heart = First International Workshop, STACOM 2010, and Cardiac Electrophysiological Simulation Challenge, CESC 2010, Held in Conjunction with MICCAI 2010, Beijing, China, September 20, 2010, proceedings / by: (Language materials, printed)

Evolving towards the internetworked enterprise = technological and organizational perspectives / by: (Language materials, printed)

Composing software components = a software-testing perspective / by: (Language materials, printed)

History of computing = learning from the past : IFIP WG 9.7 International Conference, HC 2010, held as part of WCC 2010, Brisbane, Australia, September 20-23, 2010, proceedings / by: (Language materials, printed)

MATLAB for neuroscientists = an introduction to scientific computing in MATLAB / by: (Electronic resources)

Genetic programming theory and practice VIII by: (Electronic resources)

Languages and compilers for parallel computing = 23rd international workshop, LCPC 2010, Houston, TX, USA, October 7-9, 2010 : revised selected papers / by: (Electronic resources)

Integrated methods for optimization by: (Electronic resources)

Applied computer science by: (Electronic resources)

Intelligent control and innovative computing by: (Electronic resources)

Advances in computer science and engineering by: (Electronic resources)

Topological methods in data analysis and visualization. = theory, algorithms, and applications /. II by: (Electronic resources)

Statistical atlases and computational models of the heart = imaging and modelling challenges : second international workshop, STACOM 2011, Held in Conjunction with MICCAI 2011, Toronto, ON, Canada, September 22, 2011 : revised selected papers / by: (Electronic resources)

Languages alive = essays dedicated to Jurgen Dassow on the occasion of his 65th birthday / by: (Electronic resources)

Understanding high-dimensional spaces by: (Electronic resources)

Modeling Time in Computing by: (Electronic resources)

Linguistic decision making = theory and methods / by: (Electronic resources)

Intuitionistic fuzzy information aggregation = theory and applications / by: (Electronic resources)

Rewriting and Typed Lambda Calculi = joint international conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings / by: (Electronic resources)

Many-electron approaches in physics, chemistry and mathematics = a multidisciplinary view / by: (Electronic resources)

Clusters, orders, and trees = methods and applications : in honor of Boris Mirkin's 70th birthday / by: (Electronic resources)

Break-glass = handling exceptional situations in access control / by: (Electronic resources)

Concurrent objects and beyond = papers dedicated to Akinori Yonezawa on the occasion of his 65th birthday / by: (Electronic resources)

Measuring scholarly impact = methods and practice / by: (Electronic resources)

Computational Intelligence in Data Mining. = proceedings of the International Conference on CIDM, 20-21 December 2014 /. Volume 3 by: (Electronic resources)

Computational intelligence in data mining. = proceedings of the International Conference on CIDM, 20-21 December 2014 /. Volume 1 by: (Electronic resources)

Computational intelligence in data mining. = proceedings of the International Conference on CIDM, 20-21 December 2014 /. Volume 2 by: (Electronic resources)

Nature of computation and communication = International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014 : revised selected papers / by: (Electronic resources)

Agent technology for intelligent mobile services and smart societies = Workshop on Collaborative Agents, Research and Development, CARE 2014, and Workshop on Agents, Virtual Societies and Analytics, AVSA 2014, held as part of AAMAS 2014, Paris, France, May 5-9, 2014 : revised selected papers / by: (Electronic resources)

Computer science and its applications = 5th IFIP TC 5 International Conference, CIIA 2015, Saida, Algeria, May 20-21, 2015 : proceedings / by: (Electronic resources)

Collaborative information seeking = best practices, new domains and new thoughts / by: (Electronic resources)

Harmony search algorithm = proceedings of the 2nd International Conference on Harmony Search Algorithm (ICHSA2015) / by: (Electronic resources)

Games-to-teach or games-to-learn = unlocking the power of digital game-based learning through performance / by: (Electronic resources)

Computational intelligence in data mining. = proceedings of the International Conference on CIDM, 5-6 December 2015 /. Volume 2 by: (Electronic resources)

Computational intelligence in data mining. = proceedings of the International Conference on CIDM, 5-6 December 2015 /. Volume 1 by: (Electronic resources)

Data management technologies and applications = 4th International Conference, DATA 2015, Colmar, France, July 20-22, 2015 : revised selected papers / by: (Electronic resources)

Intelligent computing systems = first International Symposium, ISICS 2016, Merida, Mexico, March 16-18, 2016 : proceedings / by: (Electronic resources)

Social computing in digital education = first International Workshop, SOCIALEDU 2015, Stanford, CA, USA, August 19, 2015 : revised selected papers / by: (Electronic resources)

Cognitive radio oriented wireless networks = 11th International Conference, CROWNCOM 2016, Grenoble, France, May 30 - June 1, 2016 : proceedings / by: (Electronic resources)

Social machines = the coming collision of artificial intelligence, social networking, and humanity / by: (Electronic resources)

Ansible = from beginner to Pro / by: (Electronic resources)

Stack frames = a look from inside / by: (Electronic resources)

Nature of computation and communication = second International Conference, ICTCC 2016, Rach Gia, Vietnam, March 17-18, 2016 : revised selected papers / by: (Electronic resources)

MATLAB for brain and cognitive scientists / by: (Language materials, printed)

Advances in production management systems = initiatives for a sustainable world : IFIP WG 5.7 International Conference, APMS 2016, Iguassu Falls, Brazil, September 3-7, 2016 : revised selected papers / by: (Electronic resources)

Product lifecycle management for digital transformation of industries = 13th IFIP WG 5.1 International Conference, PLM 2016, Columbia, SC, USA, July 11-13, 2016 : revised selected papers / by: (Electronic resources)

Harmony search algorithm = proceedings of the 3rd International Conference on Harmony Search Algorithm (ICHSA 2017) / by: (Electronic resources)

Innovative trend methodologies in science and engineering by: (Electronic resources)

Kalman filtering = with real-time applications / by: (Electronic resources)

Researching complex information infrastructures = design characteristics of ICT tools for examining modern technology usage / by: (Electronic resources)

Evolutionary wind turbine placement optimization with geographical constraints by: (Electronic resources)

Introduction to deep learning using R = a step-by-step guide to learning and implementing deep learning models using R / by: (Electronic resources)

Advanced informatics for computing research = first International Conference, ICAICR 2017, Jalandhar, India, March 17-18, 2017 : revised selected papers / by: (Electronic resources)

Computational science and its applications - ICCSA 2017 = 17th International Conference, Trieste, Italy, July 3-6, 2017 : proceedings.. Part V / by: (Electronic resources)

Advances in production management systems = the path to intelligent, collaborative and sustainable manufacturing : IFIP WG 5.7 International Conference, APMS 2017, Hamburg, Germany, September 3-7, 2017 : proceedings.. Part I / by: (Electronic resources)

Advances in production management systems = the path to intelligent, collaborative and sustainable manufacturing : IFIP WG 5.7 International Conference, APMS 2017, Hamburg, Germany, September 3-7, 2017 : proceedings.. Part II / by: (Electronic resources)

Social informatics = 9th International Conference, SocInfo 2017, Oxford, UK, September 13-15, 2017 : proceedings.. Part I / by: (Electronic resources)

Financial cryptography and data security = FC 2017 International Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema, Malta, April 7, 2017 : revised selected papers / by: (Electronic resources)

The semantic web = ESWC 2017 Satellite Events : ESWC 2017 Satellite Events, Portoroz, Slovenia, May 28 - June 1, 2017 : revised selected papers / by: (Electronic resources)

Theory of cryptography = 15th International Conference, TCC 2017, Baltimore, MD, USA, November 12-15, 2017 : proceedings.. Part II / by: (Electronic resources)

A disaggregate freight transport model for Germany by: (Electronic resources)

Silicon photonics & high performance computing = proceedings of CSI 2015 / by: (Electronic resources)

Data analytics in professional soccer = performance analysis based on spatiotemporal tracking data / by: (Electronic resources)

Internet of Things (IoT) technologies for healthcare = 4th International Conference, HealthyIoT 2017, Angers, France, October 24-25, 2017 : proceedings / by: (Electronic resources)

Quality, reliability, security and robustness in heterogeneous systems = 13th International Conference, QShine 2017, Dalian, China, December 16 -17, 2017 : proceedings / by: (Electronic resources)

Wireless and satellite systems = 9th International Conference, WiSATS 2017, Oxford, UK, September 14-15, 2017 : proceedings / by: (Electronic resources)

Supercomputing frontiers = 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018 : proceedings / by: (Electronic resources)

Transforming digital worlds = 13th International Conference, iConference 2018, Sheffield, UK, March 25-28, 2018 : proceedings / by: (Electronic resources)

Parallel processing and applied mathematics = 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017 : revised selected papers.. Part II / by: (Electronic resources)