Central Library Search for 'su:"Logics and Meanings of Programs."'

Business Process Management

. XVI, 355 p. 124 illus. 9783642401763

Place Hold on Business Process Management

Central European Functional Programming School

. VII, 507 p. 122 illus. 9783319159409

Place Hold on Central European Functional Programming School

Coordination Models and Languages

. XIV, 279 p. 83 illus. 9783319395197

Place Hold on Coordination Models and Languages

Theory and Applications of Satisfiability Testing - SAT 2013

. XVI, 437 p. 84 illus. 9783642390715

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

The 2-tuple Linguistic Model

By Mart�inez, Luis.. . XIII, 168 p. 35 illus., 18 illus. in color. 9783319247144

Place Hold on The 2-tuple Linguistic Model

Developments in Language Theory

. XVII, 407 p. 48 illus. 9783662531327

Place Hold on Developments in Language Theory

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

. XXIII, 974 p. 256 illus. 9783319471662

Place Hold on Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

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

Generative and Transformational Techniques in Software Engineering IV

. XII, 449 p. 112 illus. 9783642359927

Place Hold on Generative and Transformational Techniques in Software Engineering IV

CONCUR 2013 - Concurrency Theory

. XIV, 562 p. 83 illus. 9783642401848

Place Hold on CONCUR 2013 - Concurrency Theory

Fundamentals of Software Engineering

. XIX, 283 p. 85 illus. 9783642402135

Place Hold on Fundamentals of Software Engineering

Automated Deduction - CADE-24

. XVI, 466 p. 95 illus. 9783642385742

Place Hold on Automated Deduction - CADE-24

Logic-Based Program Synthesis and Transformation

. X, 245 p. 36 illus. 9783642381973

Place Hold on Logic-Based Program Synthesis and Transformation

Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky

. XX, 365 p. 26 illus. 9783642381645

Place Hold on Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky

Declarative Agent Languages and Technologies X

. XII, 209 p. 42 illus. 9783642378904

Place Hold on Declarative Agent Languages and Technologies X

Software Composition

. X, 145 p. 38 illus. 9783642396144

Place Hold on Software Composition

Frontiers of Combining Systems

. XII, 359 p. 35 illus. 9783642408854

Place Hold on Frontiers of Combining Systems

Transactional Memory. Foundations, Algorithms, Tools, and Applications

. XIV, 469 p. 133 illus. 9783319147208

Place Hold on Transactional Memory. Foundations, Algorithms, Tools, and Applications

Functional and Logic Programming

. XVI, 353 p. 81 illus. 9783319071510

Place Hold on Functional and Logic Programming

Collaborative Design for Embedded Systems

. XXI, 385 p. 244 illus., 14 illus. in color. 9783642541186

Place Hold on Collaborative Design for Embedded Systems

Logical Foundations of Computer Science

. X, 415 p. 49 illus. 9783642357220

Place Hold on Logical Foundations of Computer Science

Theory and Practice of Computation

. XII, 295 p. 130 illus. 9784431544364

Place Hold on Theory and Practice of Computation

Evaluation of Novel Approaches to Software Engineering

. X, 173 p. 49 illus. 9783642454226

Place Hold on Evaluation of Novel Approaches to Software Engineering

Concrete Semantics

By Nipkow, Tobias.. . XIII, 298 p. 87 illus., 1 illus. in color. 9783319105420

Place Hold on Concrete Semantics

Runtime Verification

. XII, 322 p. 93 illus. 9783642356322

Place Hold on Runtime Verification

Practical Analysis of Algorithms

By Vrajitoru, Dana.. . XII, 466 p. 245 illus. 9783319098883

Place Hold on Practical Analysis of Algorithms

Verification of Business Rules Programs

By Berstel-Da Silva, Bruno.. . XVII, 236 p. 18 illus., 2 illus. in color. 9783642400384

Place Hold on Verification of Business Rules Programs

ABZ 2014: The Landing Gear Case Study

. XII, 161 p. 47 illus. 9783319075129

Place Hold on ABZ 2014: The Landing Gear Case Study

Software Engineering and Formal Methods

. XXII, 394 p. 85 illus. 9783319104317

Place Hold on Software Engineering and Formal Methods

Usability- and Accessibility-Focused Requirements Engineering

. X, 191 p. 53 illus. 9783319459165

Place Hold on Usability- and Accessibility-Focused Requirements Engineering

Interactive Theorem Proving

. XVII, 502 p. 88 illus. 9783319431444

Place Hold on Interactive Theorem Proving

Functional and Logic Programming

. XII, 253 p. 55 illus. in color. 9783319296043

Place Hold on Functional and Logic Programming

Hybrid Systems Biology

. XI, 175 p. 51 illus. in color. 9783319276564

Place Hold on Hybrid Systems Biology

Guide to Discrete Mathematics

By O'Regan, Gerard.. . XXI, 368 p. 117 illus. 9783319445618

Place Hold on Guide to Discrete Mathematics

Globalizing Domain-Specific Languages

. XV, 89 p. 17 illus. 9783319261720

Place Hold on Globalizing Domain-Specific Languages

Programming Languages with Applications to Biology and Security

. XII, 375 p. 77 illus. in color. 9783319255279

Place Hold on Programming Languages with Applications to Biology and Security

SDL 2015: Model-Driven Engineering for Smart Cities

. XIV, 285 p. 90 illus. in color. 9783319249124

Place Hold on SDL 2015: Model-Driven Engineering for Smart Cities

Tests and Proofs

. XIX, 209 p. 57 illus. 9783319212159

Place Hold on Tests and Proofs

Reversible Computation

. VIII, 291 p. 90 illus. 9783319208602

Place Hold on Reversible Computation

Practical Aspects of Declarative Languages

. X, 149 p. 29 illus. 9783319196862

Place Hold on Practical Aspects of Declarative Languages

Trends in Functional Programming

. VII, 157 p. 22 illus. 9783319391106

Place Hold on Trends in Functional Programming

System Analysis and Modeling. Technology-Specific Aspects of Models

. X, 243 p. 99 illus. 9783319466132

Place Hold on System Analysis and Modeling. Technology-Specific Aspects of Models

Information and Communication Technologies in Education, Research, and Industrial Applications

. XII, 379 p. 89 illus. 9783319039985

Place Hold on Information and Communication Technologies in Education, Research, and Industrial Applications

Perspectives of System Informatics

. X, 341 p. 90 illus. 9783319415796

Place Hold on Perspectives of System Informatics

Application and Theory of Petri Nets and Concurrency

. XII, 411 p. 166 illus. 9783642386978

Place Hold on Application and Theory of Petri Nets and Concurrency

Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation

. XIV, 361 p. 58 illus. 9783319147260

Place Hold on Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation

Testing Software and Systems

. XIV, 269 p. 69 illus. in color. 9783319259451

Place Hold on Testing Software and Systems

Rewriting Logic and Its Applications

. X, 297 p. 49 illus. 9783319129044

Place Hold on Rewriting Logic and Its Applications

Programming Languages and Systems

. XIV, 576 p. 161 illus. 9783642548338

Place Hold on Programming Languages and Systems

Software Engineering for Collective Autonomic Systems

. XIV, 535 p. 159 illus. 9783319163109

Place Hold on Software Engineering for Collective Autonomic Systems