Computer software.

Verified Software: Theories, Tools, Experiments = First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions / by: (Language materials, printed)

Computational issues in high performance software for nonlinear optimization by: (Language materials, printed)

Hydraulically actuated hexapod robots = design, implementation and control / by: (Electronic resources)

Beginning Fedora Desktop = Fedora 20 Edition/ by: (Electronic resources)

Software architectures and tools for computer aided process engineering by: (Electronic resources)

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

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

Raspberry Pi system software reference by: (Electronic resources)

Learning MATLAB = a problem solving approach / by: (Electronic resources)

The Tower of Hanoi = myths and maths / by: (Electronic resources)

Coding art = the four steps to creative programming with the processing language / by: (Electronic resources)

Learn microservices with Spring Boot = a practical approach to RESTful services using an event-driven architecture, cloud-native patterns, and containerization / by: (Electronic resources)

Introducing robotic process automation to your organization = a guide for business leaders / by: (Electronic resources)

Introduction to software design with Java by: (Electronic resources)

Options and derivatives programming in C++23 = algorithms and programming techniques for the financial industry / by: (Electronic resources)

Computational methods in global optimization / by: (Language materials, printed)

Application software / by: (Language materials, printed)

The personal computer from the inside out : = the programmer's guide to low-level PC hardware and software / by: (Language materials, printed)

The handbook of software for engineers and scientists / by: (Language materials, printed)

Structured requirements analysis methodology with object extension / by: (Language materials, printed)

Guide to graphics software tools / by: (Language materials, printed)

Peter Norton's introduction to computers. by: (Language materials, printed)

Computational issues in high performance software for nonlinear optimization by: (Electronic resources)

Faster smarter PCs = take charge of your computer faster, smarter, better! / by: (Electronic resources)

Software ecosystem = understanding an indispensable technology and industry / by: (Electronic resources)

Personal computing demystified = [a self-teaching guide] / by: (Electronic resources)

Formal Methods in Software and Systems Modeling = Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday / by: (Language materials, printed)

Resources, Co-Evolution and Artifacts = Theory in CSCW / by: (Language materials, printed)

Optimization software guide by: (Language materials, printed)

Software studies = a lexicon / by: (Electronic resources)

Software and intelligent sciences = new transdisciplinary findings / by: (Language materials, printed)

Breakthroughs in software science and computational intelligence by: (Language materials, printed)

Advances in computational algorithms and data analysis by: (Electronic resources)

Readings in hardware/software co-design DUP_1 by: (Electronic resources)

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

Algebraic and algorithmic aspects of differential and integral operators = 5th 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)

Distributed computing = 28th International Symposium, DISC 2014, Austin, TX, USA, October 12-15, 2014 : proceedings / by: (Electronic resources)

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

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

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

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

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

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

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

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

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

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

OSS reliability measurement and assessment by: (Electronic resources)

Control modes on mobile software platforms = empirical studies on the importance of informal control / by: (Electronic resources)

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

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

Linear programming using MATLAB by: (Electronic resources)

Fundamentals of software culture by: (Electronic resources)

Advanced software technologies for post-Peta scale computing = the Japanese post-Peta CREST research project / by: (Electronic resources)

Handbook of research on engineering innovations and technology management in organizations by: (Electronic resources)

Getting started with containers in Google Cloud Platform = deploy, manage, and secure containerized applications / by: (Electronic resources)

Smart device recognition = ubiquitous electric Internet of things / by: (Electronic resources)

Beginning MLOps with MLFlow = deploy models in AWS SageMaker, Google Cloud, and Microsoft Azure / by: (Electronic resources)

Modern PyQt = create GUI applications for project management, computer vision, and data analysis / by: (Electronic resources)

PHP 8 quick scripting reference = a pocket guide to PHP web scripting / by: (Electronic resources)

Cloud-based microservices = techniques, challenges,and solutions / by: (Electronic resources)

Foundations of data science based healthcare Internet of things by: (Electronic resources)

Physics and finance by: (Electronic resources)

Patterns in the machine = a software engineering guide to embedded development / by: (Electronic resources)

Delivering applications with VMware App. = delivering application layers to virtual desktops using VMware /. Volumes 4 by: (Electronic resources)

Hardware supply chain security = threat modelling, emerging attacks and countermeasures / by: (Electronic resources)

Quantum machine learning with Python = using Cirq from Google Research and IBM Qiskit / by: (Electronic resources)

Improving the quality of ABAP code = striving for perfection / by: (Electronic resources)

Cloud computing basics = a non-technical introduction / by: (Electronic resources)

Spring quick reference guide = a pocket handbook for Spring framework, Spring boot, and more / by: (Electronic resources)

Getting started with Oracle Cloud free tier = create modern web applications using always free resources / by: (Electronic resources)

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

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

Supervised learning with Python = concepts and practical implementation using Python / by: (Electronic resources)

Foundation dynamic web pages with Python = create dynamic web pages with Django and Flask / by: (Electronic resources)

Options and derivatives programming in C++20 = algorithms and programming techniques for the financial industry / by: (Electronic resources)

SQL Server data automation through frameworks = building metadata-driven frameworks with T-SQL, SSIS, and Azure Data Factory / by: (Electronic resources)

DUNE = the distributed and unified numerics environment / by: (Electronic resources)

MATLAB recipes = a problem-solution approach / by: (Electronic resources)

The essence of software = why concepts matter for great design / by: (Electronic resources)

Advanced information systems engineering = 35th International Conference, CAiSE 2023, Zaragoza, Spain, June 12-16, 2023 : proceedings / by: (Electronic resources)

Intelligent software defect prediction by: (Electronic resources)

Coding art = a guide to unlocking your creativity with the processing language and p5.js in four simple steps / by: (Electronic resources)

MATLAB recipes = a problem-solution approach / by: (Electronic resources)

Software literacy = education and beyond / by: (Electronic resources)