Central Library Search for 'an,phr: 42203'

Towards Paraconsistent Engineering

. XVI, 234 p. 52 illus., 9 illus. in color. 9783319404189

Place Hold on Towards Paraconsistent Engineering

Software Engineering

. XVIII, 724 p. 212 illus., 129 illus. in color. 9789811088483

Place Hold on Software Engineering

Pristine Perspectives on Logic, Language and Computation

. X, 267 p. 55 illus. 9783662441169

Place Hold on Pristine Perspectives on Logic, Language and Computation

Descriptive Set Theoretic Methods in Automata Theory

By Skrzypczak, Michał.. . XIII, 211 p. 18 illus. 9783662529478

Place Hold on Descriptive Set Theoretic Methods in Automata Theory

Software Engineering

. VII, 191 p. 29 illus. in color. 9783319284064

Place Hold on Software Engineering

Tools and Algorithms for the Construction and Analysis of Systems

. XVI, 394 p. 134 illus., 30 illus. in color. 9783642198359

Place Hold on Tools and Algorithms for the Construction and Analysis of Systems

ECOOP 2005 - Object-Oriented Programming

. XVII, 631 p. 9783540317258

Place Hold on ECOOP 2005 - Object-Oriented Programming

Programming Languages and Systems

. XI, 436 p. 9783540766377

Place Hold on Programming Languages and Systems

Formal Methods for Open Object-Based Distributed Systems

. X, 326 p. 9783540315568

Place Hold on Formal Methods for Open Object-Based Distributed Systems

Formal Approaches to Software Testing

. X, 228 p. 9783540318484

Place Hold on Formal Approaches to Software Testing

Recent Trends in Algebraic Development Techniques

. IX, 175 p. 849 illus., 7 illus. in color. 9783030232207

Place Hold on Recent Trends in Algebraic Development Techniques

Foundations of Information and Knowledge Systems

. XII, 400 p. 9783540776840

Place Hold on Foundations of Information and Knowledge Systems

Verification, Model Checking, and Abstract Interpretation

. XVII, 602 p. 1329 illus., 69 illus. in color. 9783030112455

Place Hold on Verification, Model Checking, and Abstract Interpretation

Verified Software. Theories, Tools, and Experiments

. XVI, 345 p. 83 illus., 10 illus. in color. 9783030035921

Place Hold on Verified Software. Theories, Tools, and Experiments

Descriptional Complexity of Formal Systems

. X, 299 p. 230 illus., 5 illus. in color. 9783030232474

Place Hold on Descriptional Complexity of Formal Systems

Models, Mindsets, Meta: The What, the How, and the Why Not?

. XV, 431 p. 787 illus., 52 illus. in color. 9783030223489

Place Hold on Models, Mindsets, Meta: The What, the How, and the Why Not?

Computer Science - Theory and Applications

. XXV, 373 p. 992 illus., 23 illus. in color. 9783030199555

Place Hold on Computer Science - Theory and Applications

Tests and Proofs

. X, 207 p. 339 illus., 34 illus. in color. 9783030311575

Place Hold on Tests and Proofs

Verified Software. Theories, Tools and Experiments.

. VIII, 167 p. 215 illus., 20 illus. in color. 9783031258039

Place Hold on Verified Software. Theories, Tools and Experiments.

NASA Formal Methods

. XIII, 458 p. 115 illus. 9783319175249

Place Hold on NASA Formal Methods

Computer Aided Systems Theory - EUROCAST 2007

. XXXVIII, 1236 p. 9783540758679

Place Hold on Computer Aided Systems Theory - EUROCAST 2007

Computer Safety, Reliability, and Security

. XXIV, 356 p. 131 illus. 9783319105062

Place Hold on Computer Safety, Reliability, and Security

Machines, Computations, and Universality

. XVII, 171 p. 27 illus. 9783319924021

Place Hold on Machines, Computations, and Universality

Concurrency, Security, and Puzzles

. XVIII, 319 p. 58 illus. 9783319510460

Place Hold on Concurrency, Security, and Puzzles

Coalgebraic Methods in Computer Science

. IX, 235 p. 4 illus. 9783030003890

Place Hold on Coalgebraic Methods in Computer Science

Smart Blockchain

. X, 179 p. 67 illus., 34 illus. in color. 9783030057640

Place Hold on Smart Blockchain

Multi-Agent Systems

. X, 267 p. 83 illus., 40 illus. in color. 9783030141745

Place Hold on Multi-Agent Systems

Logics in Artificial Intelligence

. XV, 822 p. 1646 illus., 29 illus. in color. 9783030195700

Place Hold on Logics in Artificial Intelligence

Theoretical Aspects of Computing - ICTAC 2019

. XI, 411 p. 1919 illus., 379 illus. in color. 9783030325053

Place Hold on Theoretical Aspects of Computing - ICTAC 2019

Logic Programming and Nonmonotonic Reasoning

. XXX, 512 p. 74 illus., 36 illus. in color. 9783031157073

Place Hold on Logic Programming and Nonmonotonic Reasoning

Automated Technology for Verification and Analysis

. XI, 530 p. 102 illus. 9783319465203

Place Hold on Automated Technology for Verification and Analysis

Implementation and Application of Functional Languages

. X, 181 p. 68 illus. 9783642344077

Place Hold on Implementation and Application of Functional Languages

Principles and Practice of Constraint Programming - CP 2012

. XXII, 1015 p. 237 illus. 9783642335587

Place Hold on Principles and Practice of Constraint Programming - CP 2012

Tools and Algorithms for the Construction and Analysis of Systems

. XVIII, 652 p. 142 illus. 9783642548628

Place Hold on Tools and Algorithms for the Construction and Analysis of Systems

Reliable Software Technologies -- Ada-Europe 2012

. XII, 220 p. 59 illus. 9783642305986

Place Hold on Reliable Software Technologies -- Ada-Europe 2012

Logic Programming and Nonmonotonic Reasoning

. XXI, 348 p. 787 illus., 21 illus. in color. 9783030205287

Place Hold on Logic Programming and Nonmonotonic Reasoning

Static Analysis

. XIV, 481 p. 2137 illus., 374 illus. in color. 9783030323042

Place Hold on Static Analysis

DNA Computing and Molecular Programming

. XII, 237 p. 123 illus., 53 illus. in color. 9783030268077

Place Hold on DNA Computing and Molecular Programming

Perspectives of System Informatics

. XVIII, 263 p. 198 illus., 51 illus. in color. 9783030374877

Place Hold on Perspectives of System Informatics

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles

. XV, 544 p. 791 illus., 658 illus. in color. 9783030614706

Place Hold on Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles

Model-Based Safety and Assessment

. XIII, 267 p. 133 illus., 110 illus. in color. 9783031158421

Place Hold on Model-Based Safety and Assessment

Transactions on Petri Nets and Other Models of Concurrency VII

. XVI, 423 p. 250 illus. 9783642381430

Place Hold on Transactions on Petri Nets and Other Models of Concurrency VII

Web Services, Formal Methods, and Behavioral Types

. XVII, 167 p. 36 illus. 9783319336121

Place Hold on Web Services, Formal Methods, and Behavioral Types

Implementation and Application of Automata

. XI, 339 p. 65 illus. 9783319948126

Place Hold on Implementation and Application of Automata

Software Engineering and Formal Methods

. XV, 419 p. 86 illus. 9783319415918

Place Hold on Software Engineering and Formal Methods

Computer Safety, Reliability, and Security

. XXI, 312 p. 92 illus. 9783319991306

Place Hold on Computer Safety, Reliability, and Security

Formal Methods - The Next 30 Years

. XXI, 774 p. 1687 illus., 92 illus. in color. 9783030309428

Place Hold on Formal Methods - The Next 30 Years

Models, Languages, and Tools for Concurrent and Distributed Programming

. XIII, 498 p. 2003 illus., 53 illus. in color. 9783030214852

Place Hold on Models, Languages, and Tools for Concurrent and Distributed Programming

Cyber Physical Systems. Design, Modeling, and Evaluation

. X, 159 p. 70 illus., 31 illus. in color. 9783030179106

Place Hold on Cyber Physical Systems. Design, Modeling, and Evaluation

Dependable Software Engineering. Theories, Tools, and Applications

. XIII, 139 p. 135 illus., 23 illus. in color. 9783030355401

Place Hold on Dependable Software Engineering. Theories, Tools, and Applications