Central Library Search for 'an:84435'

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

Theory and Applications of Satisfiability Testing - SAT 2019

. XIV, 425 p. 515 illus., 37 illus. in color. 9783030242589

Place Hold on Theory and Applications of Satisfiability Testing - SAT 2019

Software Technology: Methods and Tools

. XVIII, 420 p. 146 illus., 77 illus. in color. 9783030298524

Place Hold on Software Technology: Methods and Tools

Transactions on Rough Sets XXI

. IX, 325 p. 143 illus., 58 illus. in color. 9783662587683

Place Hold on Transactions on Rough Sets XXI

Product-Focused Software Process Improvement

. XVI, 632 p. 128 illus. 9783319699264

Place Hold on Product-Focused Software Process Improvement

Formal Methods and Software Engineering

. XXII, 474 p. 115 illus. 9783030024505

Place Hold on Formal Methods and Software Engineering

Programming Languages and Systems

. XIII, 492 p. 609 illus., 24 illus. in color. 9783030341756

Place Hold on Programming Languages and Systems

Reachability Problems

. XX, 233 p. 275 illus., 14 illus. in color. 9783030308063

Place Hold on Reachability Problems

Product-Focused Software Process Improvement

. XVIII, 775 p. 182 illus., 100 illus. in color. 9783030353339

Place Hold on Product-Focused Software Process Improvement

Teaching Fundamental Concepts of Informatics

. X, 207 p. 9783642113765

Place Hold on Teaching Fundamental Concepts of Informatics

Software Engineering and Formal Methods

. XIV, 303 p. 98 illus. 9783319929705

Place Hold on Software Engineering and Formal Methods

Software Architecture

. XXI, 374 p. 82 illus. 9783030007614

Place Hold on Software Architecture

Verified Software. Theories, Tools, and Experiments

. XVI, 193 p. 221 illus., 30 illus. in color. 9783030416003

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

Leveraging Applications of Formal Methods, Verification and Validation. Verification

. XIII, 496 p. 178 illus., 85 illus. in color. 9783030034214

Place Hold on Leveraging Applications of Formal Methods, Verification and Validation. Verification

Leveraging Applications of Formal Methods, Verification and Validation. Modeling

. XV, 588 p. 223 illus., 136 illus. in color. 9783030034184

Place Hold on Leveraging Applications of Formal Methods, Verification and Validation. Modeling

Verification and Evaluation of Computer and Communication Systems

. XIV, 219 p. 66 illus. 9783030003593

Place Hold on Verification and Evaluation of Computer and Communication Systems

Principles of Modeling

. XXVII, 539 p. 158 illus. 9783319952468

Place Hold on Principles of Modeling

New Opportunities for Software Reuse

. XVIII, 181 p. 55 illus. 9783319904214

Place Hold on New Opportunities for Software Reuse

Numerical Software Verification

. XV, 145 p. 68 illus., 42 illus. in color. 9783030284237

Place Hold on Numerical Software Verification

Programming Languages and Systems

. XIX, 555 p. 116 illus. 9783319712376

Place Hold on Programming Languages and Systems

Static Analysis

. X, 445 p. 102 illus. 9783319997254

Place Hold on Static Analysis

Engineering Trustworthy Software Systems

. XVII, 219 p. 127 illus., 31 illus. in color. 9783030029289

Place Hold on Engineering Trustworthy Software Systems

Privacy Technologies and Policy

. XVI, 205 p. 79 illus., 54 illus. in color. 9783030025472

Place Hold on Privacy Technologies and Policy

Ethical and Legal Aspects of Computing

By O'Regan, Gerard.. . XXV, 257 p. 49 illus., 41 illus. in color. 9783031526640

Place Hold on Ethical and Legal Aspects of Computing

Formal Techniques for Distributed Objects, Components, and Systems

. XIV, 299 p. 1287 illus., 38 illus. in color. 9783030217594

Place Hold on Formal Techniques for Distributed Objects, Components, and Systems

Verification and Evaluation of Computer and Communication Systems

. XIII, 111 p. 121 illus., 12 illus. in color. 9783030350925

Place Hold on Verification and Evaluation of Computer and Communication Systems

Fundamentals of Software Engineering

. X, 261 p. 337 illus., 37 illus. in color. 9783030315177

Place Hold on Fundamentals of Software Engineering

Software Engineering for Resilient Systems

. XIV, 201 p. 56 illus. 9783319659480

Place Hold on Software Engineering for Resilient Systems

Runtime Verification

. XI, 470 p. 113 illus., 42 illus. in color. 9783030037697

Place Hold on Runtime Verification

Financial Cryptography and Data Security

. XIV, 708 p. 328 illus., 64 illus. in color. 9783030321017

Place Hold on Financial Cryptography and Data Security

Formal Methods for Industrial Critical Systems

. XVI, 291 p. 79 illus. 9783030002442

Place Hold on Formal Methods for Industrial Critical Systems

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

. XIV, 530 p. 354 illus., 250 illus. in color. 9783030034276

Place Hold on Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

. XIV, 522 p. 345 illus., 272 illus. in color. 9783030034245

Place Hold on Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

Lectures on Runtime Verification

. VII, 233 p. 28 illus. 9783319756325

Place Hold on Lectures on Runtime Verification

Formal Methods: Foundations and Applications

. X, 305 p. 101 illus. 9783319708485

Place Hold on Formal Methods: Foundations and Applications

Functional and Logic Programming

. XVI, 281 p. 74 illus. 9783319906867

Place Hold on Functional and Logic Programming

Formal Aspects of Component Software

. X, 251 p. 58 illus. 9783319680347

Place Hold on Formal Aspects of Component Software

Computer Aided Verification

. XIX, 601 p. 142 illus. 9783319633879

Place Hold on Computer Aided Verification

Modelling Foundations and Applications

. XVI, 311 p. 102 illus. 9783319929972

Place Hold on Modelling Foundations and Applications

Tests and Proofs

. XIV, 185 p. 48 illus. 9783319929941

Place Hold on Tests and Proofs

Perspectives of System Informatics

. XI, 432 p. 80 illus. 9783319743134

Place Hold on Perspectives of System Informatics

Verified Software. Theories, Tools, and Experiments

. XIII, 211 p. 69 illus. 9783319723082

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

Computational Science and Its Applications - ICCSA 2018

. XXXVI, 779 p. 311 illus. 9783319951744

Place Hold on Computational Science and Its Applications - ICCSA 2018

Computational Science and Its Applications - ICCSA 2018

. XXXV, 684 p. 278 illus. 9783319951683

Place Hold on Computational Science and Its Applications - ICCSA 2018

Social Computing and Social Media. User Experience and Behavior

. XXII, 523 p. 190 illus. 9783319915210

Place Hold on Social Computing and Social Media. User Experience and Behavior

Requirements Engineering: Foundation for Software Quality

. XIX, 380 p. 88 illus. 9783319540450

Place Hold on Requirements Engineering: Foundation for Software Quality

Mastering Scale and Complexity in Software Reuse

. XV, 225 p. 67 illus. 9783319568560

Place Hold on Mastering Scale and Complexity in Software Reuse

Modelling Foundations and Applications

. XIV, 317 p. 131 illus. 9783319614823

Place Hold on Modelling Foundations and Applications

Integrated Formal Methods

. XXI, 438 p. 109 illus. 9783319668451

Place Hold on Integrated Formal Methods

Engineering Trustworthy Software Systems

. XV, 259 p. 64 illus. 9783319568416

Place Hold on Engineering Trustworthy Software Systems