Computer science.

Invitation to computer science :Java version / by: (Language materials, printed)

Invitation to computer science :C++ version / by: (Language materials, printed)

Computer science illuminated / by: (Language materials, printed)

Talking with computers :explorations in the science and technology of computing / by: (Language materials, printed)

C++ :an introduction to computing / by: (Language materials, printed)

Computer science :an overview / by: (Language materials, printed)

Computer science illuminated / by: (Language materials, printed)

File system forensic analysis / by: (Language materials, printed)

SAS for mixed models / by: (Language materials, printed)

Computer science illuminated / by: (Language materials, printed)

Introduction to computing systems :from bits and Gates to C and beyond / by: (Language materials, printed)

Introduction to computing systems :from bits and gates to C and beyond / by: (Language materials, printed)

Information and Knowledge :A Constructive Type-theoretical Approach / by: (Electronic resources)

Pillars of Computer Science :Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday / by: (Electronic resources)

Theoretical Computer Science (vol. # 3895)Essays in Memory of Shimon Even / by: (Electronic resources)

Theory and Applications of Relational Structures as Knowledge Instruments IIInternational Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers / by: (Electronic resources)

Networked NeighbourhoodsThe Connected Community in Context / by: (Electronic resources)

Information Technology in the Service Economy: Challenges and Possibilities for the 21st CenturyIFIP TC8 WG8.2 International Working Conference August 10-13, 2008, Toronto, Ontario, Canada / by: (Electronic resources)

Advanced Functional Programming5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures / by: (Electronic resources)

Automated Reasoning with Analytic Tableaux and Related Methods :International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings by: (Electronic resources)

Learning to Live in the Knowledge SocietyIFIP 20th World Computer Congress, IFIP TC 3 ED-L2L Conference September 7-10, 2008, Milano, Italy / by: (Electronic resources)

Aesthetic computing by: (Language materials, printed)

Transactions on computational science II by: (Language materials, printed)

Information, physics, and computation / by: (Language materials, printed)

Discovering computers 2010 :living in a digital world : complete / by: (Language materials, printed)

Foundation XML and E4X for Flash and Flex by: (Electronic resources)

Computer science in perspectiveessays dedicated to Thomas Ottmann / by: (Electronic resources)

Computer systemstheory, technology, and applications : a tribute to Roger Needham / by: (Electronic resources)

Theory is foreveressays dedicated to Arto Salomaa on the occasion of his 70th birthday / by: (Electronic resources)

Fundamental problems in computingessays in honor of Professor Daniel J. Rosenkrantz / by: (Electronic resources)

Elements of Computation Theory by: (Electronic resources)

Hagenberg research by: (Electronic resources)

Transactions on computational science Vspecial issue on cognitive knowledge representation / by: (Electronic resources)

A balanced introduction to computer science / by: (Language materials, printed)

Discovering computers 2010 :living in a digital world : complete / by: (Language materials, printed)

Transactions on computational science VI by: (Electronic resources)

Combinatorial materials science / by: (Language materials, printed)

Information, physics, and computation by: (Electronic resources)

Foundations of computer sciencepotential-theory-cognition / by: (Electronic resources)

Structures in logic and computer sciencea selection of essays in honor of A. Ehrenfeucht / by: (Electronic resources)

Informatics 10 years back, 10 years ahead by: (Electronic resources)

Formal and natural computingessays dedicated to Grzegorz Rozenberg / by: (Electronic resources)

Transactions on computational science VII by: (Electronic resources)

Concurrency, compositionality, and correctnessessays in honor of Willem-Paul de Roever / by: (Electronic resources)

Network sciencecomplexity in nature and technology / by: (Electronic resources)

The structure of stylealgorithmic approaches to understanding manner and meaning / by: (Electronic resources)

Reflections on the work of C.A.R. Hoare by: (Electronic resources)

Advances in multimedia and network information system technologies by: (Electronic resources)

Trust and fairness in open, distributed systems by: (Electronic resources)

Verification, induction, termination analysisfestschrift for Christoph Walther on the occasion of his 60th birthday / by: (Electronic resources)

Transactions on computational science XIspecial issue on security in computing, part II / by: (Electronic resources)

Moving objects managementmodels, techniques and applications / by: (Electronic resources)

Codes and turbo codes by: (Electronic resources)

The definitive guide to SQLite by: (Electronic resources)

Rainbow of computer sciencededicated to Hermann Maurer on the occasion of his 70th birthday / by: (Electronic resources)

Concise guide to computation theory by: (Electronic resources)

Computation, cooperation, and lifeessays dedicated to Gheorghe Paun on the occasion of his 60th birthday / by: (Electronic resources)

Computer and information science 2011 by: (Electronic resources)

Enabling real-time business intelligence4th international workshop, BIRTE 2010, held at the 36th international conference on very large databases, VLDB 2010, Singapore, September 13, 2010 : revised selected papers / by: (Electronic resources)

3D in Photoshopthe ultimate guide for creative professionals / by: (Electronic resources)

Beyond Photoshopadvanced techniques integrating Photoshop with Illustrator, Poser, Painter, Cinema 4D and ZBrush / by: (Electronic resources)

Blender foundationsthe essential guide to learning Blender 2.6 / by: (Electronic resources)

CISSP study guide by: (Electronic resources)

Digital sculpting with Mudboxessential tools and techniques for artists / by: (Electronic resources)

Digital media processingDSP algorithms using C / by: (Electronic resources)

Eleventh hour CISSPstudy guide / by: (Electronic resources)

How to cheat in Adobe Flash CS5the art of design and animation / by: (Electronic resources)

Interconnecting smart objects with IPthe next Internet / by: (Electronic resources)

Painter X for photographerscreating painterly images step by step / by: (Electronic resources)

PaintShop Photo Pro X3 for photographers by: (Electronic resources)

Photoshop 3D for animators by: (Electronic resources)

Seven deadliest social network attacks by: (Electronic resources)

Seven deadliest network attacks by: (Electronic resources)

iPad application development for dummies / by: (Language materials, printed)

Computer sciencethe hardware, software and heart of it / by: (Electronic resources)

Computability and complexity theory by: (Electronic resources)

Vectored I/O :computing, data stream, atomicity, thread (computer science), computer process / by: (Language materials, printed)

Desktop virtualization / by: (Language materials, printed)

Applied computer science by: (Electronic resources)

Formal aspects of component software7th international workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010 : revised selected papers / by: (Electronic resources)

Conquering complexity by: (Electronic resources)

High-performance scientific computingalgorithms and applications / by: (Electronic resources)

Introduction to computer graphicsusing Java 2D and 3D / by: (Electronic resources)

Multimedia for cultural heritageFirst International Workshop, MM4CH 2011, Modena, Italy, May 3, 2011 : revised selected papers / by: (Electronic resources)

Introduction to data technologies / by: (Language materials, printed)

Instruction sequences for computer science by: (Electronic resources)

Field informaticsKyoto University field informatics research group / by: (Electronic resources)

Software businessthird International Conference, ICSOB 2012, Cambridge, MA, USA, June 18-20, 2012 : proceedings / by: (Electronic resources)

Introduction to data technologies by: (Electronic resources)

Algorithms and theory of computation handbook by: (Electronic resources)

Advanced artificial intelligence by: (Electronic resources)

API design for C++ by: (Electronic resources)

Data MiningConcepts and Techniques. by: (Electronic resources)

Heterogeneous computing with OpenCL by: (Electronic resources)

Android forensicsinvestigation, analysis, and mobile security for Google Android / by: (Electronic resources)

Thoughts on interaction designa collection of reflections / by: (Electronic resources)

The mathematics of harmonyfrom Euclid to contemporary mathematics and computer science / by: (Electronic resources)

Connecting with computer science / by: (Language materials, printed)

Computer science :an overview / by: (Language materials, printed)

A survey of core research in information systems / by: (Language materials, printed)

Operator Calculus on GraphsTheory and Applications in Computer Science. by: (Electronic resources)

Introduction to computing systems :from bits and Gates to C and beyond / by: (Language materials, printed)

Algebraic combinatorics and computer science :a tribute to Gian-Carlo Rota / by: (Language materials, printed)

Network science and cybersecurity by: (Electronic resources)

Benchmarking transaction and analytical processing systemsthe creation of a mixed workload benchmark and its application / by: (Electronic resources)

Applied information science, engineering and technologyselected topics from the field of production information engineering and IT for manufacturing: theory and practice / by: (Electronic resources)

Activating the tools of social media for innovative collaboration in the enterprise by: (Electronic resources)

Memristor networks by: (Electronic resources)

Wireless sensors in industrial time-critical environments by: (Electronic resources)

What is computer science?an information security perspective / by: (Electronic resources)

Cryptography in constant parallel time by: (Electronic resources)

Citizen in sensor networkssecond international workshop, CitiSens 2013, Barcelona, Spain, September 19, 2013 : revised selected papers / by: (Electronic resources)

David Makinson on classical methods for non-classical problems by: (Electronic resources)

Big data integration theorytheory and methods of database mappings, programming languages, and semantics / by: (Electronic resources)

Bridging between cultural heritage institutions9th Italian Research Conference, IRCDL 2013, Rome, Italy, January 31-February 1, 2013 : revised selected papers / by: (Electronic resources)

Information theoretic security7th international conference, ICITS 2013, Singapore, November 28-30, 2013 : proceedings / by: (Electronic resources)

Membrane computing14th International Conference, CMC 2013, Chisinau, Republic of Moldova, August 20-23, 2013 : revised selected papers / by: (Electronic resources)

The Abel Prize 2008-2012 by: (Electronic resources)

Engineering secure software and systems6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014 : proceedings / by: (Electronic resources)

Structured object-oriented formal language and methodthird International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013 : revised selected papers / by: (Electronic resources)

Passive and active measurement15th International Conference, PAM 2014, Los Angeles, CA, USA, March 10-11, 2014 : proceedings / by: (Electronic resources)

Algebraic and algorithmic aspects of differential and integral operators5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012 : selected and invited papers / by: (Electronic resources)

A contrario line segment detection by: (Electronic resources)

Transactions on rough sets XVII by: (Electronic resources)

New perspectives in information systems and technologies.Volume 2 by: (Electronic resources)

New perspectives in information systems and technologies.Volume 1 by: (Electronic resources)

Topical Directions of InformaticsIn Memory of V. M. Glushkov / by: (Electronic resources)

Field-coupled nanocomputingparadigms, progress, and perspectives / by: (Electronic resources)

High order nonlinear numerical schemes for evolutionary PDEsproceedings of the European Workshop HONOM 2013, Bordeaux, France, March 18-22, 2013 / by: (Electronic resources)

Transactions on computational science XXIIIspecial issue on cyberworlds / by: (Electronic resources)

Beginning Fedora DesktopFedora 20 Edition/ by: (Electronic resources)

Advances in information and computer security9th International Workshop on Security, IWSEC 2014, Hirosaki, Japan, August 27-29, 2014 : proceedings / by: (Electronic resources)

Multiple access communications7th International Workshop, MACOM 2014, Halmstad, Sweden, August 27-28, 2014 : proceedings / by: (Electronic resources)

Programming languages18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014 : proceedings / by: (Electronic resources)

Knowledge and computinga course on computer epistemology / by: (Electronic resources)

Large scale network-centric distributed systems by: (Language materials, printed)

Distributed computing28th International Symposium, DISC 2014, Austin, TX, USA, October 12-15, 2014 : proceedings / by: (Language materials, printed)

Foundations of computer science / by: (Language materials, printed)

Security protocols XXII22nd International Workshop, Cambridge, UK, March 19-21, 2014 : revised selected papers / by: (Electronic resources)

Investing in informationthe information management body of knowledge / by: (Electronic resources)

Cyber security and privacythird Cyber Security and Privacy EU Forum, CSP Forum 2014, Athens, Greece, May 21-22, 2014, Revised Selected Papers / by: (Electronic resources)

Information and communication technologies in education, research, and industrial applications10th International Conference, ICTERI 2014, Kherson, Ukraine, June 9-12, 2014 : revised selected papers / by: (Electronic resources)

Agent-mediated electronic commercedesigning trading strategies and mechanisms for electronic markets : AMEC 2013, Saint Paul, MN, USA, May 6, 2013, TADA 2013, Bellevue, WA, USA, July 15, 2013, and AMEC and TADA 2014, Paris, France, May 5, 2014 : revised selected papers / by: (Electronic resources)

Testbeds and research infrastructuredevelopment of networks and communities : 9th International ICST Conference, TridentCom 2014, Guangzhou, China, May 5-7, 2014 : revised selected papers / by: (Electronic resources)

Ad hoc networks6th International ICST Conference, ADHOCNETS 2014, Rhodes, Greece, August 18-19, 2014 : revised selected papers / by: (Electronic resources)

Design science methodology for information systems and software engineering by: (Electronic resources)

Challenges of information management beyond the cloud4th International Symposium on Information Management in a Changing World, IMCW 2013, Limerick, Ireland, September 4-6, 2013 : revised selected papers / by: (Electronic resources)

The semantic web and web science8th Chinese Conference, CSWS 2014, Wuhan, China, August 8-12, 2014 : revised selected papers / by: (Electronic resources)

System modeling and optimization26th IFIP TC 7 Conference, CSMO 2013, Klagenfurt, Austria, September 9-13, 2013 : revised selected papers / by: (Electronic resources)

Digital Services and Information Intelligence13th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2014, Sanya, China, November 28-30, 2014 : proceedings / by: (Electronic resources)

Natural Language Processing and Chinese ComputingThird CCF Conference, NLPCC 2014, Shenzhen, China, December 5-9, 2014. Proceedings / by: (Electronic resources)

Advances in neural networks - ISNN 201411th International Symposium on Neural Networks, ISNN 2014, Hong Kong and Macao, China, November 28- December 1, 2014 : proceedings / by: (Electronic resources)

Big data benchmarks, performance optimization, and emerging hardware4th and 5th Workshops, BPOE 2014, Salt Lake City, USA, March 1, 2014 and Hangzhou, China, September 5, 2014 : revised selected papers / by: (Electronic resources)

Information security17th International Conference, ISC 2014, Hong Kong, China, October 12-14, 2014 : proceedings / by: (Electronic resources)

Activity Monitoring by Multiple Distributed SensingSecond International Workshop, AMMDS 2014, Stockholm, Sweden, August 24, 2014, Revised Selected Papers / by: (Electronic resources)

Biometric authenticationFirst International Workshop, BIOMET 2014, Sofia, Bulgaria, June 23-24, 2014 : revised selected papers / by: (Electronic resources)

Computer-assisted and robotic endoscopyFirst International Workshop, CARE 2014, Held in Conjunction with MICCAI 2014, Boston, MA, USA, September 18, 2014 : revised selected papers / by: (Electronic resources)

PRICAI 2014trends in artificial intelligence : 13th Pacific Rim International Conference on Artificial Intelligence, Gold Coast, QLD, Australia, December 1-5, 2014 : proceedings / by: (Electronic resources)

Applications of evolutionary computation17th European Conference, EvoApplications 2014, Granada, Spain, April 23-25, 2014 : revised selected papers / by: (Electronic resources)

Graph drawing22nd International Symposium, GD 2014, Wurzburg, Germany, September 24-26, 2014 : revised selected papers / by: (Electronic resources)

Digital forensics processing and proceduresmeeting the requirements of ISO 17020, ISO 17025, ISO 27001 and best practice requirements / by: (Electronic resources)

Concrete semanticswith Isabelle/HOL / by: (Electronic resources)

E-Learning, E-Education, and Online Trainingfirst International Conference, eLEOT 2014, Bethesda, MD, USA, September 18-20, 2014 : revised selected papers / by: (Electronic resources)

Machine learning and cybernetics13th International Conference, Lanzhou, China, July 13-16, 2014 : proceedings / by: (Electronic resources)

Knowledge representation for health care6th International Workshop, KR4HC 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 21, 2014 : revised selected papers / by: (Electronic resources)

Parameterized and exact computation9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014 : revised selected papers / by: (Electronic resources)

Information systems security10th international conference, ICISS 2014, Hyderabad, India, December 16-20, 2014, Proceedings / by: (Electronic resources)

Advances in visual computing10th International Symposium, ISVC 2014, Las Vegas, NV, USA, December 8-10, 2014 : proceedings.Part I / by: (Electronic resources)

Advances in visual computing10th International Symposium, ISVC 2014, Las Vegas, NV, USA, December 8-10, 2014 : proceedings.Part II / by: (Electronic resources)

Language, culture, computation.essays dedicated to Yaacov Choueka on the occasion of his 75th birthday /Part I,Computing - theory and technology by: (Electronic resources)

Language, culture, computation.essays dedicated to Yaacov Choueka on the occasion of his 75th birthday /Part II,Computing of the humanities, law, and narratives by: (Electronic resources)

Language, culture, computation.essays dedicated to Yaacov Choueka on the occasion of his 75th birthday /Part III,Computational linguistics and linguistics by: (Electronic resources)

Transactions on computational science XXIVspecial issue on reversible computing / by: (Electronic resources)

Security protocols XVIII18th International Workshop, Cambridge, UK, March 24-26, 2010 : revised selected papers / by: (Electronic resources)

Characteristics of simulated Zigbee networks. by: (Electronic resources)

IISS: A Framework to Influence Individuals through Social Signals on a Social Network. by: (Electronic resources)

Big Data analytics - Hadoop performance analysis. by: (Electronic resources)

SQL injection vulnerability detection in web applications. by: (Electronic resources)

Modularity based fuzzy community detection in social networks. by: (Electronic resources)

Optimizing frequency domain contention in wireless network. by: (Electronic resources)

Time-Slicing of Movement Data for Efficient Trajectory Clustering. by: (Electronic resources)

A cloud brokerage architecture for efficient cloud service selection. by: (Electronic resources)

Evolutionary strategies for secure moving target configuration discovery. by: (Electronic resources)

Privacy preserving data stores for mobile platforms. by: (Electronic resources)

Moving target mechanism using infinite hash chain in hierarchical peer-to-peer cloud. by: (Electronic resources)

An SDN-based IPS Development Framework in Cloud Networking Environment. by: (Electronic resources)

Smartphone Sensor Data Mining for Gait Abnormality Detection. by: (Electronic resources)

Privacy Preserving Controls for Android Applications. by: (Electronic resources)

Securing internet transactions by increasing government scrutiny of private corporation security practices. by: (Electronic resources)

Comparative Analysis of Network Protocols for Wireless Sensor Networks. by: (Electronic resources)

Usability Issues in the User Interfaces of Privacy-Enhancing Technologies. by: (Electronic resources)

Mining and Analyzing the Academic Network. by: (Electronic resources)

A policy-based architecture for virtual network embedding. by: (Electronic resources)

Evaluation of Unsupervised Learning Techniques for Intrusion Detection in Mobile Ad Hoc Networks. by: (Electronic resources)

Stable and Efficient Sparse Recovery for Machine Learning and Wireless Communication. by: (Electronic resources)

Optimization in social networks. by: (Electronic resources)

Statistical Timeline Analysis for Electronic Health Records. by: (Electronic resources)

Energy efficient security and privacy management in sensor clouds. by: (Electronic resources)

Non-Maximally Decimated Filter Bank and Its Applications in Wideband Signal Processing. by: (Electronic resources)

Real-Time Virtualization and Cloud Computing. by: (Electronic resources)

Ontology-based search algorithms over large-scale unstructured peer-to-peer networks. by: (Electronic resources)

FAPA: Flooding Attack Protection Architecture in a cloud system. by: (Electronic resources)

Improved wireless security through physical layer protocol manipulation and radio frequency fingerprinting. by: (Electronic resources)

Algorithms for high dimensional data. by: (Electronic resources)

Resource management in enterprise cluster and storage systems. by: (Electronic resources)

Elements of Next-Generation Wireless Video Systems: Millimeter-Wave and Device-to-Device Algorithms. by: (Electronic resources)

Optimal Integration of Machine Learning Models: A Large-Scale Distributed Learning Framework with Application to Systematic Prediction of Adverse Drug Reactions. by: (Electronic resources)

Geometric optimization in some proximity and bioinformatics problems. by: (Electronic resources)

Mining Meaningful Role-Based and Attribute-Based Access Control Policies. by: (Electronic resources)

High-performance power-efficient solutions for embedded vision computing. by: (Electronic resources)

Graph-Based Sparse Learning: Models, Algorithms, and Applications. by: (Electronic resources)

Controlled-mobile Sensor Networks for Dynamic Sensing and Monitoring Applications. by: (Electronic resources)

QoS representation, negotiation and assurance in cloud services. by: (Electronic resources)

Automata, universality, computationtribute to Maurice Margenstern / by: (Electronic resources)

Computer science and its applicationsubiquitous information technologies / by: (Electronic resources)

Foundations of computer science / by: (Language materials, printed)

Invitation to computer science :C++ version / by: (Language materials, printed)

Computer science :an overview / by: (Language materials, printed)

A balanced introduction to computer science / by: (Language materials, printed)

Discovering computers 2007 :a gateway to information : Web enhanced / by: (Language materials, printed)

Discovering computers 2008 :complete / by: (Language materials, printed)

Information modelling and knowledge bases xxiv by: (Electronic resources)

Optimization, control, and applications in the information agein honor of Panos M. Pardalos's 60th birthday / by: (Electronic resources)

Logic, rewriting, and concurrencyessays dedicated to Jose Meseguer on the occasion of his 65th birthday / by: (Electronic resources)

Breaking Hash-Tag Detection Algorithm for Social Media (Twitter). by: (Electronic resources)

Towards an understanding of information crediblity on online social networks. by: (Electronic resources)

Mining News Content for Popularity Prediction. by: (Electronic resources)

Long-term study of crowdfunding platform: Predicting project success and fundraising amount. by: (Electronic resources)

Big data analytics for expanding ALICE analysis for the United States. by: (Electronic resources)

A Bibliometric Analysis of the Field of Records Management: A Case Study of "Records Management Journal", 1989-2013. by: (Electronic resources)

Synthesis of analog filter using evolutionary strategies. by: (Electronic resources)

Using machine learning techniques to predict the education level of Twitter users. by: (Electronic resources)

The insecurity of things: How to manage the internet of things. by: (Electronic resources)

Machine Learning Methods for Recommender Systems. by: (Electronic resources)

Social Media Analytics for Crisis Response. by: (Electronic resources)

Service Quality and Perceived Value of Cloud Computing-Based Service Encounters: Evaluation of Instructor Perceived Service Quality in Higher Education in Texas. by: (Electronic resources)

Usability construct for mobile applications: A clustering based approach. by: (Electronic resources)

Making Thin Data Thick: User Behavior Analysis with Minimum Information. by: (Electronic resources)

Understanding and Improving Online Social Interactions and Processes: Methods, Algorithms and Applications. by: (Electronic resources)

Collaborative Search Engines: Toward a Meta-Design for Improving the User Experience. by: (Electronic resources)

Probabilistic hashing techniques for big data. by: (Electronic resources)

Death, Identity, and the Social Network. by: (Electronic resources)

Opinion Mining in Online Social Networks: Patterns, Influences and Anomalies. by: (Electronic resources)

Investigation of general-purpose computing on graphics processing units and its application to the finite element analysis of electromagnetic problems. by: (Electronic resources)

Mobile persuasion designchanging behaviour by combining persuasion design with information design / by: (Electronic resources)

Privacy in a digital, networked worldtechnologies, implications and solutions / by: (Electronic resources)

Computer and computing technologies in agriculture VIII8th IFIP WG 5.14 International Conference, CCTA 2014, Beijing, China, September 16-19, 2014 : revised selected papers / by: (Electronic resources)

Applications and usability of interactive TVthird Iberoamerican Conference, jAUTI 2014, and Third Workshop on Interactive Digital TV, held as part of Webmedia 2014, Joao Pessoa, PB, Brazil, November 18-21, 2014 : revised selected papers / by: (Electronic resources)

Special topics in mathematics for computer scientistssets, categories, topologies and measures / by: (Electronic resources)

International Conference on Security and Privacy in Communication Networks10th International ICST Conference, SecureComm 2014, Beijing, China, September 24-26, 2014 : revised selected papers.Part I / by: (Electronic resources)

Resilient wireless sensor networksthe case of network coding / by: (Electronic resources)

Engineering applications of neural networks16th International Conference, EANN 2015, Rhodes, Greece, September 25-28, 2015 : proceedings / by: (Electronic resources)

Advances in Digital Forensics XI11th IFIP WG 11.9 International Conference, Orlando, FL, USA, January 26-28, 2015 : revised selected papers / by: (Electronic resources)

Risks and resilience of collaborative networks16th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2015, Albi, France, October 5-7, 2015 : proceedings / by: (Electronic resources)

Information systems for crisis response and management in mediterranean countriessecond International Conference, ISCRAM-med 2015, Tunis, Tunisia, October 28-30, 2015 : proceedings / by: (Electronic resources)

Cognitive radio oriented wireless networks10th International Conference, CROWNCOM 2015, Doha, Qatar, April 21-23, 2015 : revised selected papers / by: (Electronic resources)

Enterprise and organizational modeling and simulation11th International Workshop, EOMAS 2015, Held at CAiSE 2015, Stockholm, Sweden, June 8-9, 2015 : selected papers / by: (Electronic resources)

Advances in social computing and multiagent systems6th International Workshop on Collaborative Agents Research and Development, CARE 2015 and Second International Workshop on Multiagent Foundations of Social Computing, MFSC 2015, Istanbul, Turkey, May 4, 2015 : revised selected papers / by: (Electronic resources)

Distributed and sequential algorithms for bioinformatics by: (Electronic resources)

Guide to flow-aware networkingquality-of-service architectures and techniques for traffic management / by: (Electronic resources)

Embracing global computing in emerging economiesFirst Workshop, EGC 2015, Almaty, Kazakhstan, February 26-28, 2015 : proceedings / by: (Electronic resources)

VLSI-SoC: internet of things foundations22nd IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2014, Playa del Carmen, Mexico, October 6-8, 2014 : revised and extended selected papers / by: (Electronic resources)

Cyber security and privacy4th Cyber Security and Privacy Innovation Forum, CSP Innovation Forum 2015, Brussels, Belgium April 28-29, 2015 : revised selected papers / by: (Electronic resources)

Wireless and satellite systems7th International Conference, WiSATS 2015 Bradford, UK, July 6-7, 2015 : revised selected papers / by: (Electronic resources)

Digital forensics and cyber crime7th International Conference, ICDF2C 2015, Seoul, South Korea, October 6-8, 2015 : revised selected papers / by: (Electronic resources)

Semantic web evaluation challengesSecond SemWebEval 2015 Challenge at ESWC 2015, Portoroz, Slovenia, May 31 - June 4, 2015 : revised selected papers / by: (Electronic resources)

Software technologies9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014 : revised selected papers / by: (Electronic resources)

The mobile learning voyage - from small ripples to massive open waters14th World Conference on Mobile and Contextual Learning, mLearn 2015, Venice, Italy, October 17-24, 2015 : proceedings / by: (Electronic resources)

Computer supported education6th International Conference, CSEDU 2014, Barcelona, Spain, April 1-3, 2014 : revised selected papers / by: (Electronic resources)

Knowledge discovery, knowledge engineering and knowledge management6th International Joint Conference, IC3K 2014, Rome, Italy, October 21-24, 2014 : revised selected papers / by: (Electronic resources)

Data management technologies and applicationsThird International Conference, DATA 2014, Vienna, Austria, August 29-31, 2014 : revised selected papers / by: (Electronic resources)

Critical infrastructure protection IX9th IFIP 11.10 International Conference, ICCIP 2015, Arlington, VA, USA, March 16-18, 2015 : revised selected papers / by: (Electronic resources)

E-Democracy - citizen rights in the world of the new computing paradigms6th International Conference, E-Democracy 2015, Athens, Greece, December 10-11, 2015 : proceedings / by: (Electronic resources)

The mobility revolution in the automotive industryhow not to miss the digital turnpike / by: (Electronic resources)

RoboticsJoint Conference on Robotics, LARS 2014, SBR 2014, Robocontrol 2014, Sao Carlos, Brazil, October 18-23, 2014 : revised selected papers / by: (Electronic resources)

CryptoSchool by: (Electronic resources)

ICTs for improving patients rehabilitation research techniquesSecond International Workshop, REHAB 2014, Oldenburg, Germany, May 20-23, 2014 : revised selected papers / by: (Electronic resources)

Applications and techniques in information security6th International Conference, ATIS 2015, Beijing, China, November 4-6, 2015 : proceedings / by: (Electronic resources)

The shaping of ambient intelligence and the internet of thingshistorico-epistemic, socio-cultural, politico-institutional and eco-environmental dimensions / by: (Electronic resources)

Social media processing4th National Conference, SMP 2015, Guangzhou, China, November 16-17, 2015 : proceedings / by: (Electronic resources)

Spatial information theory12th International Conference, COSIT 2015, Santa Fe, NM, USA, October 12-16, 2015 : proceedings / by: (Electronic resources)

Web-age information managementWAIM 2015 International Workshops: HENA, HRSUNE, Qingdao, China, June 8-10, 2015 : revised selected papers / by: (Electronic resources)

Agent environments for multi-agent systems IV4th International Workshop, E4MAS 2014 - 10 Years Later, Paris, France, May 6, 2014 : revised selected and invited papers / by: (Electronic resources)

Intelligence science and big data engineering : image and video data engineering5th International Conference, IScIDE 2015, Suzhou, China, June 14-16, 2015 : revised selected papers.Part I / by: (Electronic resources)

Programming languages19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015 : proceedings / by: (Electronic resources)

Computer algebra in scientific computing17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015 : proceedings / by: (Electronic resources)

Computer security - ESORICS 201520th European Symposium on Research in Computer Security, Vienna, Austria, September 21-25, 2015 : proceedings.Part I / by: (Electronic resources)

Computer security - ESORICS 201520th European Symposium on Research in Computer Security, Vienna, Austria, September 21-25, 2015 : proceedings.Part II / by: (Electronic resources)

Technology and practice of passwordsInternational Conference on Passwords, PASSWORDS'14, Trondheim, Norway, December 8-10, 2014 : revised selected papers / by: (Electronic resources)

Similarity-based pattern recognitionthird International Workshop, SIMBAD 2015, Copenhagen, Denmark, October 12-14, 2015 : proceedings / by: (Electronic resources)

Discovery science18th International Conference, DS 2015, Banff, AB, Canada, October 4-6, 2015 : proceedings / by: (Electronic resources)

Advances in intelligent data analysis XIV14th International Symposium, IDA 2015, Saint Etienne. France, October 22 -24, 2015 : proceedings / by: (Electronic resources)

Algorithmic learning theory26th International Conference, ALT 2015, Banff, AB, Canada, October 4-6, 2015 : proceedings / by: (Electronic resources)

KI 2015advances in artificial intelligence : 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015 : proceedings / by: (Electronic resources)

Reachability problems9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015 : proceedings / by: (Electronic resources)

Case-based reasoning research and development23rd International Conference, ICCBR 2015, Frankfurt am Main, Germany, September 28-30, 2015 : proceedings / by: (Electronic resources)

OpenMPheterogenous execution and data movements : 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015 : proceedings / by: (Electronic resources)

Intelligent data engineering and automated learning - IDEAL 201516th International Conference Wroclaw, Poland, October 14-16, 2015 : proceedings / by: (Electronic resources)

Machine learning in medical imaging6th International Workshop, MLMI 2015, held in Conjunction with MICCAI 2015, Munich, Germany, October 5, 2015 : proceedings / by: (Electronic resources)

SDL 2015model-driven engineering for smart cities : 17th International SDL Forum, Berlin, Germany, October 12-14, 2015 : proceedings / by: (Electronic resources)

Pattern recognition37th German Conference, GCPR 2015, Aachen, Germany, October 7-10, 2015 : proceedings / by: (Electronic resources)

The semantic web - ISWC 201514th International Semantic Web Conference, Bethlehem, PA, USA, October 11-15, 2015 : proceedings.Part I / by: (Electronic resources)

The semantic web - ISWC 201514th International Semantic Web Conference, Bethlehem, PA, USA, October 11-15, 2015 : proceedings.Part II / by: (Electronic resources)

Open and big data management and innovation14th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2015, Delft, The Netherlands, October 13-15, 2015 : proceedings / by: (Electronic resources)

Geometric science of informationsecond International Conference, GSI 2015, Palaiseau, France, October 28-30, 2015 : proceedings / by: (Electronic resources)

Integrated uncertainty in knowledge modelling and decision making4th International Symposium, IUKM 2015, Nha Trang, Vietnam, October 15-17, 2015 : proceedings / by: (Electronic resources)

Dynamic data-driven environmental systems sciencefirst International Conference, DyDESS 2014, Cambridge, MA, USA, November 5-7, 2014 : revised selected papers / by: (Electronic resources)

Theoretical aspects of computing - ICTAC 201512th International Colloquium Cali, Colombia, October 29-31, 2015 : proceedings / by: (Electronic resources)

Knowledge science, engineering and management8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015 : proceedings / by: (Electronic resources)

Foundations of Intelligent Systems22nd International Symposium, ISMIS 2015, Lyon, France, October 21-23, 2015 : proceedings / by: (Electronic resources)

Structural information and communication complexity22nd International Colloquium, SIROCCO 2015, Montserrat, Spain, July 14-16, 2015 : post-proceedings / by: (Electronic resources)

Conceptual modeling34th International Conference, ER 2015, Stockholm, Sweden, October 19-22, 2015 : proceedings / by: (Electronic resources)

Advances in neural networks - ISNN 201512th International Symposium on Neural Networks, ISNN 2015, Jeju, South Korea, October 15-18, 2015 : proceedings / by: (Electronic resources)

Advances in web-based learning - ICWL 201514th International Conference, Guangzhou, China, November 5-8, 2015 : proceedings / by: (Electronic resources)

PRIMA 2015principles and practice of multi-agent systems : by: (Electronic resources)

Programming languages with applications to biology and securityessays dedicated to Pierpaolo Degano on the occasion of His 65th Birthday / by: (Electronic resources)

Decision and game theory for security6th International Conference, GameSec 2015, London, UK, November 4-5, 2015 : proceedings / by: (Electronic resources)

The semantic webESWC 2015 Satellite Events : ESWC 2015 Satellite Events Portoroz, Slovenia, May 31 - June 4, 2015 : revised selected papers / by: (Electronic resources)

Network and system security9th International Conference, NSS 2015, New York, NY, USA, November 3-5, 2015 : proceedings / by: (Electronic resources)

Trends and applications in knowledge discovery and data miningPAKDD 2015 Workshops: BigPMA, VLSP, QIMIE, DAEBH, Ho Chi Minh City, Vietnam, May 19-21, 2015 : revised selected papers / by: (Electronic resources)

Mobile, secure, and programmable networkingfirst International Conference, MSPN 2015, Paris, France, June 15-17, 2015 : selected papers / by: (Electronic resources)

Advances in conceptual modelingER 2015 Workshops AHA, CMS, EMoV, MoBID, MORE-BI, MReBA, QMMQ, and SCME, Stockholm, Sweden, October 19-22, 2015 : proceedings / by: (Electronic resources)

Progress in pattern recognition, image analysis, computer vision, and applications20th Iberoamerican Congress, CIARP 2015, Montevideo, Uruguay, November 9-12, 2015 : proceedings / by: (Electronic resources)

Rough sets, fuzzy sets, data mining, and granular computing15th International Conference, RSFDGrC 2015, Tianjin, China, November 20-23, 2015 : proceedings / by: (Electronic resources)

Statistical language and speech processingthird International Conference, SLSP 2015, Budapest, Hungary, November 24-26, 2015 : proceedings / by: (Electronic resources)

Advanced concepts for intelligent vision systems16th International Conference, ACIVS 2015, Catania, Italy, October 26-29, 2015 : proceedings / by: (Electronic resources)

Advances in visual informatics4th International Visual Informatics Conference, IVIC 2015, Bangi, Malaysia, November 17-19, 2015 : proceedings / by: (Electronic resources)

Dependable software engineeringtheories, tools, and applications : first International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015 : proceedings / by: (Electronic resources)

Testing Software and Systems27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015 : proceedings / by: (Electronic resources)

Ambient intelligence12th European Conference, AmI 2015, Athens, Greece, November 11-13, 2015 : proceedings / by: (Electronic resources)

Provable security9th International Conference, ProvSec 2015, Kanazawa, Japan, November 24-26, 2015 : proceedings / by: (Electronic resources)

Security protocols XXIII23rd International Workshop, Cambridge, UK, March 31 - April 2, 2015 : revised selected papers / by: (Electronic resources)

Future data and security engineeringsecond International Conference, FDSE 2015, Ho Chi Minh City, Vietnam, November 23-25, 2015 : proceedings / by: (Electronic resources)

Globalizing domain-specific languagesInternational Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014 : revised papers / by: (Electronic resources)

Multi-disciplinary trends in artificial intelligence9th International Workshop, MIWAI 2015, Fuzhou, China, November 13-15, 2015 : proceedings / by: (Electronic resources)

Engineering multi-agent systemsthird International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers / by: (Electronic resources)

Web information systems engineering - WISE 201516th International Conference, Miami, FL, USA, November 1-3, 2015 : proceedings.Part II / by: (Electronic resources)

Web information systems engineering - WISE 201516th International Conference, Miami, FL, USA, November 1-3, 2015 : proceedings.Part I / by: (Electronic resources)

Hardware and softwareverification and testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings / by: (Electronic resources)

AI 2015advances in artificial intelligence : 28th Australasian Joint Conference, Canberra, ACT, Australia, November 30 - December 4, 2015 : proceedings / by: (Electronic resources)

Research in attacks,intrusions, and defenses18th International Symposium, RAID 2015, Kyoto, Japan,November 2-4, 2015 : proceedings / by: (Electronic resources)

Risk assessment and risk-driven testingthird International Workshop, RISK 2015, Berlin, Germany, June 15, 2015 : revised selected papers / by: (Electronic resources)

Secure IT systems20th Nordic Conference, NordSec 2015, Stockholm, Sweden, October 19-21, 2015 : proceedings / by: (Electronic resources)

Large-scale scientific computing10th International Conference, LSSC 2015, Sozopol, Bulgaria, June 8-12, 2015 : revised selected papers / by: (Electronic resources)

Neural information processing22nd International Conference, ICONIP 2015, Istanbul, Turkey, November 9-12, 2015 : proceedings.Part I / by: (Electronic resources)

Neural information processing22nd International Conference, ICONIP 2015, Istanbul, Turkey, November 9-12, 2015 : proceedings.Part II / by: (Electronic resources)

Neural information processing22nd International Conference, ICONIP 2015, November 9-12, 2015 : proceedings.Part IV / by: (Electronic resources)

Knowledge representation for health careAIME 2015 International Joint Workshop, KR4HC/ProHealth 2015, Pavia, Italy, June 20, 2015 : revised selected papers / by: (Electronic resources)

Progress in cryptology - INDOCRYPT 201516th International Conference on Cryptology in India, Bangalore, India, December 6-9, 2015 : proceedings / by: (Electronic resources)

Cryptology and network security14th International Conference, CANS 2015, Marrakesh, Morocco, December 10-12, 2015 : proceedings / by: (Electronic resources)

Theory and practice of natural computingfourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015 : proceedings / by: (Electronic resources)

Product-focused software process improvement16th International Conference, PROFES 2015 Bolzano, Italy, December 2-4, 2015 : proceedings / by: (Electronic resources)

Interactive storytelling8th International Conference on Interactive Digital Storytelling, ICIDS 2015, Copenhagen, Denmark, November 30 - December 4, 2015 : proceedings / by: (Electronic resources)

Big data analytics4th International Conference, BDA 2015, Hyderabad, India, December 15-18, 2015 : proceedings / by: (Electronic resources)

Advances in artificial intelligence and soft computing14th Mexican International Conference on Artificial Intelligence, MICAI 2015, Cuernavaca, Morelos, Mexico, October 25-31, 2015 : proceedings.Part I / by: (Electronic resources)

Advances in artificial intelligence and its applications14th Mexican International Conference on Artificial Intelligence, MICAI 2015, Cuernavaca, Morelos, Mexico, October 25-31, 2015 : proceedings.Part II / by: (Electronic resources)

Algorithms and architectures for parallel processing15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015 : proceedings.Part I / by: (Electronic resources)

Algorithms and architectures for parallel processing15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015 : proceedings.Part IV / by: (Electronic resources)

Internet of vehicles - safe and intelligent mobilitysecond International Conference, IOV 2015, Chengdu, China, December 19-21, 2015 : proceedings / by: (Electronic resources)

Clustering high-dimensional datafirst International Workshop, CHDD 2012, Naples, Italy, May 15, 2012 : revised selected papers / by: (Electronic resources)

Service-oriented computing13th International Conference, ICSOC 2015, Goa, India, November 16-19, 2015 : proceedings / by: (Electronic resources)

Transactions on petri nets and other models of concurrency X by: (Electronic resources)

Distributed computing29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015 : proceedings / by: (Electronic resources)

Advances in cryptology - ASIACRYPT 201521st International Conference on the Theory and Application of Cryptology and Information Security, Auckland, New Zealand, November 29 - December 3, 2015 : proceedings.Part I / by: (Electronic resources)

Advances in cryptology - ASIACRYPT 201521st International Conference on the Theory and Application of Cryptology and Information Security Auckland, New Zealand, November 29 - December 3, 2015 : proceedings.Part II / by: (Electronic resources)

Algorithms and computation26th International Symposium, ISAAC 2015, Nagoya, Japan, December 9-11, 2015 : proceedings / by: (Electronic resources)

Beginning big data with Power BI and Excel 2013 by: (Electronic resources)

Agile product developmenthow to design innovative products that create customer value / by: (Electronic resources)

Microsoft MappingGeospatial Development in Windows 10 with Bing Maps and C# / by: (Electronic resources)

Entertainment apps on the go with Windows 10music, movies, and TV for PCs, tablets, and phones / by: (Electronic resources)

Exploring the Raspberry Pi 2 with C++ by: (Electronic resources)

Analysis of images, social networks and texts4th International Conference, AIST 2015, Yekaterinburg, Russia, April 9-11, 2015 : revised selected papers / by: (Electronic resources)

Text analysis pipelinestowards ad-hoc large scale text mining / by: (Electronic resources)

Cryptography and coding15th IMA International Conference, IMACC 2015, Oxford, UK, December 15-17, 2015 : proceedings / by: (Electronic resources)

Social informatics7th International Conference, SocInfo 2015, Beijing, China, December 9-12, 2015 : proceedings / by: (Electronic resources)

Logic for programming, artificial intelligence, and reasoning20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings / by: (Electronic resources)

Web and internet economics11th International Conference, WINE 2015, Amsterdam, The Netherlands, December 9-12, 2015 : proceedings / by: (Electronic resources)

Fundamentals of NeuroISinformation systems and the brain / by: (Electronic resources)

Scholarpedia of touch by: (Electronic resources)

Mathematical modeling and optimization of complex structures by: (Electronic resources)

Transactions on computational science XXVIspecial issue on cyberworlds and cybersecurity / by: (Electronic resources)

Cybersecurity in the European Unionresilience and adaptability in governance policy / by: (Electronic resources)

Participation in computingthe National Science Foundation's expansionary programs / by: (Electronic resources)

Technological innovation for cyber-physical systems7th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2016, Costa de Caparica, Portugal, April 11-13, 2016 : proceedings / by: (Electronic resources)

Theory and practice of formal methodsessays dedicated to Frank de Boer on the occasion of his 60th birthday / by: (Electronic resources)

A list of successes that can change the worldessays dedicated to Philip Wadler on the occasion of his 60th birthday / by: (Electronic resources)

Smart card research and advanced applications14th International Conference, CARDIS 2015, Bochum, Germany, November 4-6, 2015 : revised selected papers / by: (Electronic resources)

Innovations in enterprise information systems management and engineering4th International Conference, ERP Future 2015 - Research, Munich, Germany, November 16-17, 2015 : revised papers / by: (Electronic resources)

Transactions on computational science XXVII by: (Electronic resources)

Pro CSS3 layout techniques by: (Electronic resources)

Devops on the Microsoft stack by: (Electronic resources)

Rails 5 revealed by: (Electronic resources)

Dynamic SQLapplications, performance, and security / by: (Electronic resources)

J. Michael Dunn on information based logics by: (Electronic resources)

Business information systems19th International Conference, BIS 2016, Leipzig, Germany, July, 6-8, 2016 : proceedings / by: (Electronic resources)

Modeling and simulation in engineering, economics and managementInternational Conference, MS 2016, Teruel, Spain, July 4-5, 2016 : proceedings / by: (Electronic resources)

Co-production in the public sectorexperiences and challenges / by: (Electronic resources)

Applied computer science by: (Electronic resources)

HCI International 2016 - Posters' extended abstracts18th International Conference, HCI International 2016 Toronto, Canada, July 17-22, 2016 : proceedings.Part II / by: (Electronic resources)

HCI International 2016 - Posters' extended abstracts18th International Conference, HCI International 2016, Toronto, Canada, July 17-22, 2016 : proceedings.Part I / by: (Electronic resources)

Cross-cultural design8th International Conference, CCD 2016, held as part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016 : proceedings / by: (Electronic resources)

Reversible computation8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016 : proceedings / by: (Electronic resources)

Industry 4.0the industrial internet of things / by: (Electronic resources)

Self-aware computing systemsan engineering approach / by: (Electronic resources)

Nordic contributions in IS research7th Scandinavian Conference on Information Systems, SCIS 2016 and IFIP8.6 2016, Ljungskile, Sweden, August 7-10, 2016 : proceedings / by: (Electronic resources)

E-Life : Web-Enabled Convergence of Commerce, Work, and Social Life15th Workshop on e-Business, WEB 2015, Fort Worth, Texas, USA, December 12, 2015 : revised selected papers / by: (Electronic resources)

Text mining for qualitative data analysis in the social sciencesa study on democratic discourse in Germany / by: (Electronic resources)

Cognitive (internet of) thingscollaboration to optimize action / by: (Electronic resources)

Concise guide to computing foundationscore concepts and select scientific applications / by: (Electronic resources)

Introduction to cyberdeception by: (Electronic resources)

Fuzziness in information systemshow to deal with crisp and fuzzy data in selection, classification, and summarization / by: (Electronic resources)

Information and software technologies22nd International Conference, ICIST 2016, Druskininkai, Lithuania, October 13-15, 2016 : proceedings / by: (Electronic resources)

Evolutionary computer visionthe first footprints / by: (Electronic resources)

Subjective logica formalism for reasoning under uncertainty / by: (Electronic resources)

Quality in business process modeling by: (Electronic resources)

An introduction to online computationdeterminism, randomization, advice / by: (Electronic resources)

Software developers as userssemiotic investigations in human-centered software development / by: (Electronic resources)

Decision diagrams for optimization by: (Electronic resources)

Software architecture in actiondesigning and executing architectural models with SysADL grounded on the OMG SysML standard / by: (Electronic resources)

Resource management for big data platformsalgorithms, modelling, and high-performance computing techniques / by: (Electronic resources)

Music through Fourier spacediscrete Fourier transform in music theory / by: (Electronic resources)

Probability logicsprobability-based formalization of uncertain reasoning / by: (Electronic resources)

Network analysis literacya practical approach to the analysis of networks / by: (Electronic resources)

Discriminative learning in biometrics by: (Electronic resources)

Decision and game theory for security7th International Conference, GameSec 2016, New York, NY, USA, November 2-4, 2016 : proceedings / by: (Electronic resources)

Formal methods and software engineering18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016 : proceedings / by: (Electronic resources)

Social informatics8th International Conference, SocInfo 2016, Bellevue, WA, USA, November 11-14, 2016 : proceedings.Part II / by: (Electronic resources)

Social informatics8th International Conference, SocInfo 2016, Bellevue, WA, USA, November 11-14, 2016 : proceedings.Part I / by: (Electronic resources)

Digital heritageprogress in cultural heritage: documentation, preservation, and protection : 6th International Conference, EuroMed 2016, Nicosia, Cyprus, October 31 - November 5, 2016 : proceedings.Part I / by: (Electronic resources)

Cryptology and network security15th International Conference, CANS 2016, Milan, Italy, November 14-16, 2016 : proceedings / by: (Electronic resources)

Digital heritageprogress in cultural heritage: documentation, preservation, and protection : 6th International Conference, EuroMed 2016, Nicosia, Cyprus, October 31 - November 5, 2016 : proceedings.Part II / by: (Electronic resources)

Hardware and softwareverification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : proceedings / by: (Electronic resources)

Pro SQL Server Always On Availability Groups by: (Electronic resources)

All about musicthe complete ontology: realities, semiotics, communication, and embodiment / by: (Electronic resources)

International communities of invention and innovationIFIP WG 9.7 International Conference on the History of Computing, HC 2016, Brooklyn, NY, USA, May 25-29, 2016 : revised selected papers / by: (Electronic resources)

Digital transformation and global societyfirst International Conference, DTGS 2016, St. Petersburg, Russia, June 22-24, 2016 : revised selected papers / by: (Electronic resources)

Culture, technology, communicationcommon world, different futures : 10th IFIP WG 13.8 International Conference, CaTaC 2016, London, UK, June 15-17, 2016 : revised selected papers / by: (Electronic resources)

Discrete and computational geometry and graphs18th Japan Conference, JCDCGG 2015, Kyoto, Japan, September 14-16, 2015 : revised selected papers / by: (Electronic resources)

Algorithms and architectures for parallel processing16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016 : proceedings / by: (Electronic resources)

Learning and intelligent optimization10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016 : revised selected papers / by: (Electronic resources)

Salesforce.com lightning process builder and visual workflowa practical guide to model-driven development on the Force.com platform / by: (Electronic resources)

Objective-C for absolute beginnersiPhone, iPad and Mac programming made easy / by: (Electronic resources)

Certified Ethical Hacker (CEH) Foundation Guide by: (Electronic resources)

C++/CLI primerfor .NET development / by: (Electronic resources)

Text analytics with Pythona practical real-world approach to gaining actionable insights from your data / by: (Electronic resources)

Erlang and Elixir for imperative programmers by: (Electronic resources)

Real-world decision support systems by: (Electronic resources)

Healthcare interoperability standards compliance handbookconformance and testing of healthcare data exchange standards / by: (Electronic resources)

Guide to 3D vision computationgeometric analysis and implementation / by: (Electronic resources)

Leveraging applications of formal methods, verification, and validation6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : revised selected papers / by: (Electronic resources)

Smart trends in information technology and computer communicationsfirst International Conference, SmartCom 2016, Jaipur, India, August 6-7, 2016 : revised selected papers / by: (Electronic resources)

Deductive software verification - The KeY Bookfrom theory to practice / by: (Electronic resources)

Advances in visual computing12th International Symposium, ISVC 2016, Las Vegas, NV, USA, December 12-14, 2016 : proceedings.Part II / by: (Electronic resources)

Multiple access communications9th International Workshop, MACOM 2016, Aalborg, Denmark, November 21-22, 2016 : proceedings / by: (Electronic resources)

Machine learning, optimization, and big datasecond International Workshop, MOD 2016, Volterra, Italy, August 26-29, 2016 : revised selected papers / by: (Electronic resources)

Source Code Analytics With Roslyn and JavaScript Data Visualization by: (Electronic resources)

Introducing web development by: (Electronic resources)

Data Science Using Oracle Data Miner and Oracle R Enterprisetransform your business systems into an analytical powerhouse / by: (Electronic resources)

Memory System Optimizations for Customized Computing -- From Single-Chip to Datacenter. by: (Electronic resources)

Application layer quality of service deployed on software defined networks. by: (Electronic resources)

Low-Power System Design for Human-Borne Sensing. by: (Electronic resources)

Design and analysis of privacy-preserving medical cloud computing systems. by: (Electronic resources)

Obfuscation of transmission fingerprints for secure wireless communications. by: (Electronic resources)

Automated crater detection using machine learning. by: (Electronic resources)

Coupled dictionary learning for image analysis. by: (Electronic resources)

Next-Generation Broadband Access Network Architectures and Services. by: (Electronic resources)

Security and Privacy Issues in Content-Centric Networking. by: (Electronic resources)

Multi-source Image Integration Towards Solar Forecast. by: (Electronic resources)

I/O processing for Cyber Physical System using scratchpad memory. by: (Electronic resources)

Krylov Subspace Spectral method with multigrid for a time-dependent, variable-coefficient partial differential equation. by: (Electronic resources)

Graph diffusions and matrix functions: Fast algorithms and localization results. by: (Electronic resources)

Single cell expression data analysis using advanced machine learning techniques. by: (Electronic resources)

Flexible and efficient accelerator architecture for runtime monitoring. by: (Electronic resources)

Hybrid discriminative-generative methods for human pose reconstruction from monocular imagery. by: (Electronic resources)

Advances in computing applications by: (Electronic resources)

Advances in unconventional computing.Volume 2,Prototypes, models and algorithms by: (Electronic resources)

Advances in unconventional computing.Volume 1,Theory by: (Electronic resources)

Emergent computationa festschrift for Selim G. Akl / by: (Electronic resources)

Transactions on large-scale data- and knowledge-centered systems XXXIspecial issue on data and security engineering / by: (Electronic resources)

Agile SwiftSwift programming using Agile tools and techniques / by: (Electronic resources)

Deploying Raspberry Pi in the classroom by: (Electronic resources)

Machine learning using R by: (Electronic resources)

Pro Tableaua step-by-step guide / by: (Electronic resources)

Troubleshooting iOSsolving iPhone and iPad problems / by: (Electronic resources)

Magento 2 DIY by: (Electronic resources)

Introducing regular expressionsJavaScript and typeScript / by: (Electronic resources)

The Blockchain alternativerethinking macroeconomic policy and economic theory / by: (Electronic resources)

Reverse engineering the mindconsciously acting machines and accelerated evolution / by: (Electronic resources)

Transactions on computational science XXIX by: (Electronic resources)

Current trends on knowledge-based systems by: (Electronic resources)

Collaboration technologies and social computing9th International Conference, CollabTech 2017, Saskatoon, SK, Canada, August 8-10, 2017 : proceedings / by: (Electronic resources)

Perspectives in business informatics research16th International Conference, BIR 2017, Copenhagen, Denmark, August 28-30, 2017, proceedings / by: (Electronic resources)

Mathematics for computer graphics by: (Electronic resources)

An introduction to machine learning by: (Electronic resources)

Smart energy researchat the crossroads of engineering, economics, and computer science : 3rd and 4th IFIP TC 12 International Conferences, SmartER Europe 2016 and 2017, Essen, Germany, February 16-18, 2016, and February 9, 2017 : revised selected papers / by: (Electronic resources)

Advances in digital forensics XIII13th IFIP WG 11.9 International Conference, Orlando, FL, USA, January 30 - February 1, 2017 : revised selected papers / by: (Electronic resources)

Applied computer science for GGOS observatoriescommunication, coordination and automation of future geodetic infrastructures / by: (Electronic resources)

A journey through discrete mathematicsa tribute to Jiri Matousek / by: (Electronic resources)

Scientific computing and algorithms in industrial simulationsprojects and products of Fraunhofer SCAI / by: (Electronic resources)

The effect of complexity on the optimal rate of trait mutation. by: (Electronic resources)

High Performance Computational Chemistry: Bridging Quantum Mechanics, Molecular Dynamics, and Coarse-Grained Models. by: (Electronic resources)

Deployment Strategies for a Fleet of Unmanned Aerial Vehicles Providing Cellular and Data Services. by: (Electronic resources)

High-Dimensional Quantum Information Processing with Linear Optics. by: (Electronic resources)

Quantum Walks and Structured Searches on Free Groups and Networks. by: (Electronic resources)

Selecting a Software Development Life Cycle Methodology. by: (Electronic resources)

Data Center Uptime: Achieving Higher Availability. by: (Electronic resources)

DL-DI: A Deep Learning Framework for Distributed, Incremental Image Classification. by: (Electronic resources)

Designing Effective Security and Privacy Schemes for Wireless Mobile Devices. by: (Electronic resources)

Developing a Real Time Online Scheduling System for a Manufacturing Service Company: Achieving Visibility. by: (Electronic resources)

Object Recognition in Videos Utilizing Hierarchical and Temporal Objectness with Deep Neural Networks. by: (Electronic resources)

Post-Quantum Cryptography with Quasi-Cyclic Moderate-Density Parity-Check Codes. by: (Electronic resources)

Real-Time Energy Price-Aware Anycast RWA for Scheduled Lightpath Demands in Optical Data Center Networks. by: (Electronic resources)

A Statistical View of Architecture Design. by: (Electronic resources)

Algorithms for Optimal Replica Placement in Data Centers. by: (Electronic resources)

Cyber Security in Higher Education: Accuracy of Resources Utilized by Information Technology Departments to Prevent Data Breaches. by: (Electronic resources)

The Design, Implementation, and Evaluation of Software and Architectural Support for ARM Virtualization. by: (Electronic resources)

A Comparison Framework For Interleaved Persistence Modules and Applications of Persistent Homology to Problems in Fluid Dynamics. by: (Electronic resources)

Adventures in computer sciencefrom classical bits to quantum bits / by: (Electronic resources)

Organic computing - technical systems for survival in the real world by: (Electronic resources)

Unraveling software maintenance and evolutionthinking outside the Box / by: (Electronic resources)

Improving service level engineeringan intuitionistic fuzzy approach / by: (Electronic resources)

Computational science/intelligence and applied informatics by: (Electronic resources)

Information systems and neuroscienceGmunden Retreat on NeuroIS 2017 / by: (Electronic resources)

Learn computer science with Swiftcomputation concepts, programming paradigms, data management, and modern component architectures with Swift and Playgrounds / by: (Electronic resources)

Advances in service-oriented and cloud computingworkshops of ESOCC 2016, Vienna, Austria, September 5-7, 2016 : revised selected papers / by: (Electronic resources)

The agile safety case by: (Electronic resources)

Greening video distribution networksenergy-efficient internet video delivery / by: (Electronic resources)

Research and development in digital media by: (Electronic resources)

Data warehouse requirements engineeringa decision based approach / by: (Electronic resources)

Knowledge management in digital changenew findings and practical cases / by: (Electronic resources)

Linked datastoring, querying, and reasoning / by: (Electronic resources)

Transactions on computational science XXXIIspecial issue on cybersecurity and biometrics / by: (Electronic resources)

Applications of evolutionary computation21st International Conference, EvoApplications 2018, Parma, Italy, April 4-6, 2018 : proceedings / by: (Electronic resources)

C++17 quick syntax referenceapocket guide to the language, apis and library / by: (Electronic resources)

Don Pigozzi on abstract algebraic logic, universal algebra, and computer science by: (Electronic resources)

Emerging trends in applications and infrastructures for computational biology, bioinformatics, and systems biologysystems and applications / by: (Electronic resources)

Data privacy games by: (Electronic resources)

Designing usable and secure software with IRIS and CAIRIS by: (Electronic resources)

Musical haptics by: (Electronic resources)

Culture on the edge of chaoscultural algorithms and the foundations of social intelligence / by: (Electronic resources)

TraceMEa traceability-based method for conceptual model evolution : model-driven techniques, tools, guidelines, and open challenges in conceptual model evolution / by: (Electronic resources)

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

Real-Time C++efficient object-oriented and template microcontroller programming / by: (Electronic resources)

Transactions on computational collective intelligence XXVIII by: (Electronic resources)

Social information accesssystems and technologies / by: (Electronic resources)

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

Designing immersive video games using 3DUI technologiesimproving the gamer's user experience / by: (Electronic resources)

Autonomous control for a reliable internet of servicesmethods, models, approaches, techniques, algorithms, and tools / by: (Electronic resources)

Global thoughts, local designsINTERACT 2017 IFIP TC 13 Workshops, Mumbai, India, September 25-27, 2017 : revised selected papers / by: (Electronic resources)

High performance computing33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018 : proceedings / by: (Electronic resources)

Comparing and aligning process representationsfoundations and technical solutions / by: (Electronic resources)

Information systems in the Big Data EraCAiSE Forum 2018, Tallinn, Estonia, June 11-15, 2018 : proceedings / by: (Electronic resources)

Software fault predictiona road map / by: (Electronic resources)

Human and machine learningvisible, explainable, trustworthy and transparent / by: (Electronic resources)

Geo-Spatial Knowledge and Intelligence5th International Conference, GSKI 2017, Chiang Mai, Thailand, December 8-10, 2017 : revised selected papers.Part II / by: (Electronic resources)

Artificial intelligence for knowledge management4th IFIP WG 12.6 International Workshop, AI4KM 2016, held at IJCAI 2016, New York, NY, USA, July 9, 2016 : revised selected papers / by: (Electronic resources)

IT managementthe art of managing IT based on a solid framework leveraging the company's political ecosystem / by: (Electronic resources)

Geo-spatial knowledge and intelligence5th International Conference, GSKI 2017, Chiang Mai, Thailand, December 8-10, 2017 : revised selected papers.Part I / by: (Electronic resources)

The essence of software engineering by: (Electronic resources)

HCI International 2018 - Posters' extended abstracts20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018 : proceedings.Part I / by: (Electronic resources)

Wireless algorithms, systems, and applications13th International Conference, WASA 2018, Tianjin, China, June 20-22, 2018 : proceedings / by: (Electronic resources)

Next-generation big dataa practical guide to Apache Kudu, Impala, and Spark / by: (Electronic resources)

Coding the Arduinobuilding fun programs, games, and electronic projects / by: (Electronic resources)

Unconventional computinga volume in the Encyclopedia of complexity and systems science, second edition / by: (Electronic resources)

Beginning Fedora DesktopFedora 28 edition / by: (Electronic resources)

Multiple criteria decision aidmethods, examples and Python implementations / by: (Electronic resources)

Mathematics and computingICMC 2018, Varanasi, India, January 9-11, Selected Contributions / by: (Electronic resources)

Beginning AI bot frameworksgetting started with bot development / by: (Electronic resources)

Edge computinga primer / by: (Electronic resources)

Network science in educationtransformational approaches in teaching and learning / by: (Electronic resources)

Ewa Orlowska on relational methods in logic and computer science by: (Electronic resources)

Computing with dataan introduction to the data industry / by: (Electronic resources)

Design on High Performance Nanoscale CMOS Circuits with Low Temperature Sensitivity. by: (Electronic resources)

Motivating Cybersecurity Compliance in Critical Infrastructure Industries: A Grounded Theory Study. by: (Electronic resources)

Structured Low-Rank Matrix Recovery via Optimization Methods. by: (Electronic resources)

Controllability of Networks of Linear Systems: A Graph Theoretic Approach. by: (Electronic resources)

Parallel Scheduling with Batching. by: (Electronic resources)

Bridging the Genomic Gaps: Genome-Scale Metabolic Network Tools for Bioinformatics Analyses. by: (Electronic resources)

Improving Usability and Adoption of Tablet-based Electronic Health Record (EHR) Applications. by: (Electronic resources)

Architecture, Models, and Algorithms for Textual Similarity. by: (Electronic resources)

Modeling and Comparison of Large-Scale Interconnect Designs. by: (Electronic resources)

Link Weight Prediction with Deep Learning. by: (Electronic resources)

The Role of Antipodal Connectivity Structure on Cognitive Functions and Mental Disorders. by: (Electronic resources)

Large Scale Data Analysis in Parallel R and Its Use in Efficiently Scheduling Batch Jobs in the Cloud. by: (Electronic resources)

On Estimation of Contagion-based Social Network Dependence with Event Time Data. by: (Electronic resources)

Combinatorial algorithms26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, revised selected papers / by: (Electronic resources)

Edge computingfrom hype to reality / by: (Electronic resources)

Control engineering by: (Electronic resources)

Advances in computational science and computing by: (Electronic resources)

The Abel Prize 2013-2017 by: (Electronic resources)

Critical infrastructure security and resiliencetheories, methods, tools and technologies / by: (Electronic resources)

The Hackable citydigital media and collaborative city-making in the network society / by: (Electronic resources)

Computational intelligence and sustainable systemsintelligence and sustainable computing / by: (Electronic resources)

Programming and performance visualization toolsInternational Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018 : revised selected papers / by: (Electronic resources)

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

Software qualitycomplexity and challenges of software engineering in emerging technologies : 9th International Conference, SWQD 2017, Vienna, Austria, January 17-20, 2017 : proceedings / by: (Electronic resources)

Technological innovation for smart systems8th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2017, Costa de Caparica, Portugal, May 3-5, 2017 : proceedings / by: (Electronic resources)

Augmented cognitionenhancing cognition and behavior in complex human environments : 11th International Conference, AC 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.Part II / by: (Electronic resources)

Augmented cognitionneurocognition and machine learning : 11th International Conference, AC 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.Part I / by: (Electronic resources)

Cross-cultural design9th International Conference, CCD 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings / by: (Electronic resources)

Design, user experience, and usabilitydesigning pleasurable experiences : 6th International Conference, DUXU 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.Part II / by: (Electronic resources)

Design, user experience, and usabilitytheory, methodology, and management : 6th International Conference, DUXU 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.Part I / by: (Electronic resources)

Design, user experience, and usabilityunderstanding users and contexts : 6th International Conference, DUXU 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.Part III / by: (Electronic resources)

Engineering psychology and cognitive ergonomicscognition and design : 14th International Conference, EPCE 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.Part II / by: (Electronic resources)

Engineering psychology and cognitive ergonomicscognition and design : 14th International Conference, EPCE 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.Part I / by: (Electronic resources)

HCI in Business, Government and Organizations. Interacting with Information Systems4th International Conference, HCIBGO 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.Part I / by: (Electronic resources)

HCI in Business, Government and Organizations. Interacting with Information Systems4th International Conference, HCIBGO 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.Part II / by: (Electronic resources)

Human aspects of IT for the aged populationaging, design and user experience : third International Conference, ITAP 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.Part I / by: (Electronic resources)

Human aspects of IT for the aged populationaging, design and user experience : third International Conference, ITAP 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.Part II / by: (Electronic resources)

Human-computer interactioninteraction contexts : 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.Part II / by: (Electronic resources)

Human-computer interactionuser interface design, development and multimodality : 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.Part I / by: (Electronic resources)

Learning and collaboration technologiestechnology in education : 4th International Conference, LCT 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.Part II / by: (Electronic resources)

Pattern recognition and machine intelligence7th International Conference, PReMI 2017, Kolkata, India, December 5-8, 2017 : proceedings / by: (Electronic resources)

Social Computing and Social Media. Applications and Analytics9th International Conference, SCSM 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.Part II / by: (Electronic resources)

Unconventional computation and natural computation16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017 : proceedings / by: (Electronic resources)

Universal access in human-computer interactiondesigning novel interactions : 11th International Conference, UAHCI 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.Part I / by: (Electronic resources)

Universal access in human-computer interactiondesigning novel interactions : 11th International Conference, UAHCI 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.Part II / by: (Electronic resources)

Universal access in human-computer interactiondesigning novel interactions : 11th International Conference, UAHCI 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.Part III / by: (Electronic resources)

Unveiling dynamics and complexity13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017 : proceedings / by: (Electronic resources)

Virtual, augmented and mixed reality9th International Conference, VAMR 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings / by: (Electronic resources)

Web and wireless geographical information systems15th International Symposium, W2GIS 2017, Shanghai, China, May 8-9, 2017 : proceedings / by: (Electronic resources)

An introduction to computational science by: (Electronic resources)

Coordination models and languages21st IFIP WG 6.1 International Conference, COORDINATION 2019, held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019 : proceedings / by: (Electronic resources)

Python for probability, statistics, and machine learning by: (Electronic resources)

Computer aided verification31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019 : proceedings.Part I / by: (Electronic resources)

Computer aided verification31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019 : proceedings.Part II / by: (Electronic resources)

Transmedia knowledge for liberal arts and community engagementa StudioLab manifesto / by: (Electronic resources)

Pro TBBC++ parallel programming with threading building blocks / by: (Electronic resources)

Artificial intelligence for knowledge management5th IFIP WG 12.6 International Workshop, AI4KM 2017, held at IJCAI 2017, Melbourne, VIC, Australia, August 20, 2017 : revised selected papers / by: (Electronic resources)

Computing and software sciencestate of the art and perspectives / by: (Electronic resources)

Cellular automata and discrete complex systems24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20-22, 2018 : proceedings / by: (Electronic resources)

Recent trends and future technology in applied intelligence31st International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2018, Montreal, QC, Canada, June 25-28, 2018 : proceedings / by: (Electronic resources)

Unconventional computation and natural computation17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018 : proceedings / by: (Electronic resources)

Discrete mathematics :graph algorithms, algebraic structures, coding theory, and cryptography / by: (Language materials, printed)

Information Recovery in Online Social Networks: Identification and Globalness Detection. by: (Electronic resources)

Towards a Fast and Accurate Face Recognition System from Deep Representations. by: (Electronic resources)

Parameter Estimation for Systems of Ordinary Differential Equations. by: (Electronic resources)

Towards Human-Like Motion Prediction. by: (Electronic resources)

Deep Learning for Automated Medical Image Analysis =基于深度学习的医疗图像自动分析. by: (Electronic resources)

Social Role Temporal Dynamics and Interactions in Online Communities: How Are Leaders and Members Different? by: (Electronic resources)

Enhancing Wireless Network Performance and Security through Physical Layer Properties. by: (Electronic resources)

Minimax Optimality in High-Dimensional Classification, Clustering, and Privacy. by: (Electronic resources)

A Novel Dynamic Spectrum Sensing Approach Using Crowdsourcing for Multi-RAT Coexistence in 5g Networks. by: (Electronic resources)

Improving Sensor Network Predictions Through The Identification of Graphical Features. by: (Electronic resources)

Deep Learning for Segmented Medical Image Analysis. by: (Electronic resources)

Confocal Laser Endomicroscopy Image Analysis with Deep Convolutional Neural Networks. by: (Electronic resources)

MAC-PHY Frameworks for LTE and WiFi Networks' Coexistence over the Unlicensed Band. by: (Electronic resources)

Attackers' Intention and Influence Analysis in Social Media. by: (Electronic resources)

Standard and Inception-based Encoder-Decoder Neural Networks for Predicting the Solution Convergence of Design Optimization Algorithms. by: (Electronic resources)

Network Analysis and Modeling for News and Social Media. by: (Electronic resources)

Authentication and Secure Session Establishment in Body Area Networks Using Multiple Biometrics and Physiological Signals. by: (Electronic resources)

Learning Representations in Reinforcement Learning. by: (Electronic resources)

Will TCP Work in Low Latency Networks? by: (Electronic resources)

Securing the Internet of Things with Deep Neural Networks. by: (Electronic resources)

Pedestrian Detection Using Deep Learning Through A Dashcam. by: (Electronic resources)

Lightweight Deep Learning for Biomedical Image Segmentation. by: (Electronic resources)

Deep Learning Using Computer Vision in Self Driving Cars for Lane and Traffic Sign Detection. by: (Electronic resources)

Neural Network Based Representation Learning and Modeling for Speech and Speaker Recognition. by: (Electronic resources)

Analysis and Decision-making with Social Media. by: (Electronic resources)

Deep Neural Network Based Iterative Self-Taught Learning on Text Mining. by: (Electronic resources)

BayesBiGAN and GANify: Research and a Developer Tool for Generative Adversarial Networks. by: (Electronic resources)

Application of Blockchain Network for the Use of Information Sharing. by: (Electronic resources)

Enhanced Filtering of False Alarm for the 5th Generation Fighter Aircraft Using Machine Learning Classification. by: (Electronic resources)

Examining Engagement Behavior on Social Media Related to Fake News. by: (Electronic resources)

Innovative technologies for market leadershipinvesting in the future / by: (Electronic resources)

On the construction of engineering handbookswith an illustration from the railway safety domain / by: (Electronic resources)

Neuromorphic computing and beyondparallel, approximation, near memory, and quantum / by: (Electronic resources)

Mathematics and computation :a theory revolutionizing technology and science / by: (Electronic resources)

Software and system development using virtual platformsfull-system simulation with wind river simics / by: (Electronic resources)

The role of theory in computer scienceessays dedicated to Janusz Brzozowski / by: (Electronic resources)

Network and communicationresearch on the development of electronic information engineering technology in China / by: (Electronic resources)

Software for exascale computingSPPEXA 2016-2019 / by: (Electronic resources)

Systems, software and services process improvement27th European Conference, EuroSPI 2020, Dusseldorf, Germany, September 9-11, 2020 : proceedings / by: (Electronic resources)

Quality of information and communications technology13th International Conference, QUATIC 2020, Faro, Portugal, September 9-11, 2020 : proceedings / by: (Electronic resources)

Database systems for advanced applications25th International Conference, DASFAA 2020, Jeju, South Korea, September 24-27, 2020 : proceedings.Part II / by: (Electronic resources)

Artificial intelligence18th Russian Conference, RCAI 2020, Moscow, Russia, October 10-16, 2020 : proceedings / by: (Electronic resources)

Database systems for advanced applications25th International Conference, DASFAA 2020, Jeju, South Korea, September 24-27, 2020 : proceedings.Part III / by: (Electronic resources)

Advances in Trefftz methods and their applications by: (Electronic resources)

Self-service AI with Power BI Desktopmachine learning insights for business / by: (Electronic resources)

Understanding Oracle APEX 20 application developmentthink like an application express developer / by: (Electronic resources)

Beginning C++20from novice to professional / by: (Electronic resources)

Web accessibilitya foundation for research / by: (Electronic resources)

Cross-cultural designculture and society : 11th International Conference, CCD 2019, held as part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019 : proceedings.Part II / by: (Electronic resources)

Cross-cultural designmethods, tools and user experience : 11th International Conference, CCD 2019, held as part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019 : proceedings.Part II / by: (Electronic resources)

Descriptional complexity of formal systems21st IFIP WG 1.02 International Conference, DCFS 2019, Kosice, Slovakia, July 17-19, 2019 : proceedings / by: (Electronic resources)

Essential Excel 2019a step-by-step guide / by: (Electronic resources)

Contact tracing in post-Covid worlda cryptologic approach / by: (Electronic resources)

Ernst Denert Award for Software Engineering 2019practice meets foundations / by: (Electronic resources)

Introduction to computational origamithe world of new computational geometry / by: (Electronic resources)

Automatic Classification of Verb-Direction Constructions in Mandarin Chinese. by: (Electronic resources)

Methods of Enriching Domain Knowledge with Universal Semantics for Higher Text Mining Performance. by: (Electronic resources)

Achieving Secure Communications in Dense Multiuser Mimo Systems for 5G and Beyond. by: (Electronic resources)

Exploring Unknown Topologies of Wireless and Social Networks. by: (Electronic resources)

Global Optimization Algorithms for Image Registration and Clustering. by: (Electronic resources)

Leveraging Social Media to Discover Threatening Tweets Using Clustering and Association Rule Mining. by: (Electronic resources)

Machine Learning for Student Modeling and Forecasting. by: (Electronic resources)

An Approach of SLA Violation Prediction and QoS Optimization Using Regression Machine Learning Techniques. by: (Electronic resources)

Towards the Exploration and Improvement of Generative Adversarial Attacks. by: (Electronic resources)

Human-in-the-Loop Learning from Crowdsourcing and Social Media. by: (Electronic resources)

Leveraging Pre-Trained Detection Networks for Label Generation on New Datasets. by: (Electronic resources)

Machine Learning Approaches to Improve Security and Performance Monitoring of IoT Devices. by: (Electronic resources)

Identifying Product Defects by Applying a Predictive Model to Customer Reviews. by: (Electronic resources)

Statistics, Computation, and Adaptation in High Dimensions. by: (Electronic resources)

Toward Deep Language Understanding: Methods for Learning Conceptual Knowledge from Definitions. by: (Electronic resources)

Advances in core computer science-based technologiespapers in honor of Professor Nikolaos Alexandris / by: (Electronic resources)

Harvey J. Greenberga legacy bridging operations research and computing / by: (Electronic resources)

Spring Cloud data flownative cloud orchestration services for microservice applications on modern runtimes / by: (Electronic resources)

Formal methods in architectureproceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020 / by: (Electronic resources)

Advances in systems engineeringselect proceedings of NSC 2019 / by: (Electronic resources)

Red Hat Certified Engineer (RHCE) study guideAnsible automation for the Red Hat Enterprise Linux 8 Exam (EX294) / by: (Electronic resources)

Essential computer sciencea programmers guide to foundational concepts / by: (Electronic resources)

Combinatorics, words and symbolic dynamics by: (Electronic resources)

Latin American women and research contributions to the IT field by: (Electronic resources)

Research in computer science in the Bulgarian Academy of Sciences by: (Electronic resources)

Discovering computers, complete :your interactive guide to the digital world / by: (Language materials, printed)

Foundations of computer science / by: (Language materials, printed)

Beginning Windows mixed reality programmingfor HoloLens and mixed reality headsets / by: (Electronic resources)

Computational thinkinga perspective on computer science / by: (Electronic resources)

Logic, computation and rigorous methodsessays dedicated to Egon Borger on the occasion of his 75th birthday / by: (Electronic resources)

Deep Contextual Modeling for Natural Language Understanding, Generation, and Grounding. by: (Electronic resources)

Machine Learning in IoT Systems: From Deep Learning to Hyperdimensional Computing. by: (Electronic resources)

Co-designing Model Compression Algorithms and Hardware Accelerators for Efficient Deep Learning. by: (Electronic resources)

Robust Synchronization and Its Applications in 3D Computer Vision. by: (Electronic resources)

A Machine Learning Approach to Controlling Musical Synthesizer Parameters in Real-Time Live Performance. by: (Electronic resources)

Learning Grammar of Complex Activities via Deep Neural Networks. by: (Electronic resources)

Machine Learning over User-Generated Content: From Unsupervised User Behavioral Models to Emotion Recognition via Deep Learning. by: (Electronic resources)

Tracks in Snow: A Digital Play About Judaism and Home. by: (Electronic resources)

Empowering Internet of Things with the Emerging Wireless Infrastructures and Technologies. by: (Electronic resources)

Deep Learning Algorithms for Background Subtraction and People Detection. by: (Electronic resources)

Novel Network Science Approaches for a Better Understanding of Protein Folding and Human Aging. by: (Electronic resources)

Building Secure and Reliable Deep Learning Systems from a Systems Security Perspective. by: (Electronic resources)

Methods for Nonlinear and Noisy Optimization. by: (Electronic resources)

Deep Learning-Based Artifacts Removal in Video Compression. by: (Electronic resources)

Entropy Region Decomposition Techniques to Reduce the Complexity of Network Coding Capacity Region Proofs. by: (Electronic resources)

Essays on Digital Marketing Strategies: An Analytical Investigation. by: (Electronic resources)

Quantum Information Processing with Tunable and Low-Loss Superconducting Circuits. by: (Electronic resources)

Identifying, Evaluating and Applying Importance Maps for Speech. by: (Electronic resources)

Improving Detection Accuracy for Fake Customer Product Reviews. by: (Electronic resources)

Pragmatic Python programminglearning Python the smart way / by: (Electronic resources)

From net neutrality to ICT neutrality by: (Electronic resources)

Transactions on computational science XXXIX by: (Electronic resources)

Distributed Partitioning and Processing of Large Spatial Datasets. by: (Electronic resources)

Improvisation and Aesthetic Engagement for Human-Computer-Interaction. by: (Electronic resources)

Essays on Discrimination and Spatial Inequality. by: (Electronic resources)

Qualitative Study for Effective Small Business Cyber Regulations in the United States. by: (Electronic resources)

Data-Driven Approaches for Differential Equation Governing Systems. by: (Electronic resources)

Deep Learning for Image Steganography and Steganalysis Challenges, Advances, and Opportunities. by: (Electronic resources)

Double-Oracle Deep Reinforcement Learning for Handling Exponential Action Space in Sequential Stackelberg Security Games. by: (Electronic resources)

Human-Guided Generation of Sketches and Prototypes. by: (Electronic resources)

Characterizing Surface Structures Captured in Scanning Electron Microscopy Images with Convolutional Neural Networks. by: (Electronic resources)

Beamforming Characterization of a Millimeter-Wave Reconfigurable Intelligent Surface. by: (Electronic resources)

Image Quality and Beauty Classification Using Deep Learning. by: (Electronic resources)

Computational Optimization in Operational and Expansion Planning. by: (Electronic resources)

Gaps in International Humanitarian Law regarding the Creation and Deployment of International Volunteer Cyber Armies. by: (Electronic resources)

Assessing the Effects and Risks of Large Language Models in AI-Mediated Communication. by: (Electronic resources)

Applying Lean Principles and Set-Based Approaches in Product Development. by: (Electronic resources)

Generation and Characterization of Microwave Quantum States. by: (Electronic resources)

Peer-To-Peer Lending Market and Shadow Banking in China. by: (Electronic resources)

Applications of Deep Learning in Extracting Actionable Information from Crisis-Related Social Media Content. by: (Electronic resources)

Analysis, verification and transformation for declarative programming and intelligent systemsessays dedicated to Manuel Hermenegildo on the occasion of his 60th birthday / by: (Electronic resources)

Computer science to the pointcomputer science for life sciences students and other non-computer scientists / by: (Electronic resources)

IBM software systems integrationwith IBM MQ Series for JMS, IBM FileNet Case Manager, and IBM Business Automation Workflow / by: (Electronic resources)

Computer science :an overview / by: (Language materials, printed)

Quality engineeringquality of communication technology systems / by: (Electronic resources)

Handbook of research on AI methods and applications in computer engineering by: (Electronic resources)

Emerging computingfrom devices to systems : Looking beyond Moore and Von Neumann / by: (Electronic resources)

Quantum computerstheory and algorithms / by: (Electronic resources)

Blockchain for teenswith case studies and examples of Blockchain across various industries / by: (Electronic resources)

Transactions on computational science XL by: (Electronic resources)

Formal methods in architectureproceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruna 2022 / by: (Electronic resources)

Data sciencetime complexity, inferential uncertainty, and spacekime analytics / by: (Electronic resources)

Information systems security19th International Conference, ICISS 2023, Raipur, India, December 16-20, 2023 : proceedings / by: (Electronic resources)

Future data and security engineeringbig data, security and privacy, smart city and industry 4.0 applications : 10th International Conference, FDSE 2023, Da Nang, Vietnam, November 22-24, 2023 : proceedings / by: (Electronic resources)

Graph Related Data Analysis and Neural Network Based Partial Differential Equations Solver. by: (Electronic resources)

From Fully-Supervised Single-Task to Semi-Supervised Multi-Task Deep Learning Architectures for Segmentation in Medical Imaging Applications. by: (Electronic resources)

Causal Inference Under Network Interference: Network Embedding Matching. by: (Electronic resources)

Investigating the Impact of Offline Interactions on Members of Online Communities. by: (Electronic resources)

AI-Enabled Big Data Pipeline for Plant Phenotyping and Application in Cotton Bloom Detection and Counting. by: (Electronic resources)

Deep Unsupervised Models Leveraging Learning and Reasoning. by: (Electronic resources)

An Evaluation of the Accuracy and Profitability of Machine Learning Algorithms in Predicting Stock Price. by: (Electronic resources)

DoS Attack Mitigation in OpenFlow and P4 Programmable Data Planes. by: (Electronic resources)

Addressing Privacy Challenges in Modern Audio-Video Communication Systems and Applications. by: (Electronic resources)

Building an Optimized Stock Portfolio Using Machine Learning Models. by: (Electronic resources)

Machine Learning for Financial Market Forecasting. by: (Electronic resources)

Towards Multimodal and Context-Aware Emotion Perception. by: (Electronic resources)

Energy Efficient Millimeter Wave Receivers Above 100 GHz. by: (Electronic resources)

Data-Driven Safety & Security of Cyberphysical Systems. by: (Electronic resources)

Data-Driven Geometric Workflows for Camera Localization. by: (Electronic resources)

Forecasting the Stock Prices Using Machine Learning, Deep Learning, and Reinforcement Learning. by: (Electronic resources)

AI-Driven Design Exploration: Use of Reinforcement Learning-Based Recommender System for Parametric Design Space Exploration. by: (Electronic resources)

Statistical Methods for Structured Data: Analyses of Discrete Time Series and Networks. by: (Electronic resources)

Delamination and Fatigue Analysis of Silicon Solar Cells Using Finite Element Method. by: (Electronic resources)

Predicting High-Cap Tech Stock Polarity: A Combined Approach Using Support Vector Machines and Bidirectional Encoders from Transformers. by: (Electronic resources)

Reliable and Efficient Network Virtualization in Edge-Cloud Computing. by: (Electronic resources)

Virtual Construction Simulation: Evaluating the Impact of Immersion and Interactivity on Knowledge Gain in Novice Designers. by: (Electronic resources)

Adversarial Robustness and Fairness in Deep Learning. by: (Electronic resources)

Measuring Perceptions and Mitigating Bias in Text and Voice. by: (Electronic resources)

Data-Driven Optimization for Low-Power Wide-Area Network Planning. by: (Electronic resources)

AI, Agency, and Action: The Application of Intelligent Technologies and Its Effect on Morality, Deception, and Control. by: (Electronic resources)

Privacy Policies Effect on Incident Response. by: (Electronic resources)

Contemporary Empirical Asset Pricing: Alternative Big Data and Machine Learning Models. by: (Electronic resources)

Talking Human Synthesis: Learning Photorealistic Co-Speech Motions and Visual Appearances From Videos. by: (Electronic resources)

Deep Learning-Based Indoor Localization for IoT Applications. by: (Electronic resources)

Cognition, Modality, and Language in Healthy Young Adults. by: (Electronic resources)

Finding Consistent Answers From Inconsistent Data: Systems, Algorithms, and Complexity. by: (Electronic resources)

A beginner's guide to informatics and artificial intelligencea short course towards practical problem solving / by: (Electronic resources)

Computer and information science and engineering.Volume 16 by: (Electronic resources)