Central Library Search for 'su:"Programming languages Electronic computers."'

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

A Beginner's Guide to Scala, Object Orientation and Functional Programming

By Hunt, John.. . XVIII, 494 p. 790 illus. 9783319067766

Place Hold on A Beginner's Guide to Scala, Object Orientation and Functional Programming

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

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

Functional and Logic Programming

. XVI, 353 p. 81 illus. 9783319071510

Place Hold on Functional and Logic Programming

Logical Foundations of Computer Science

. X, 415 p. 49 illus. 9783642357220

Place Hold on Logical Foundations of Computer Science

Evaluation of Novel Approaches to Software Engineering

. X, 173 p. 49 illus. 9783642454226

Place Hold on Evaluation of Novel Approaches to Software Engineering

Guide to Programming and Algorithms Using R

By Erg�ul, �Ozg�ur.. . XI, 182 p. 9781447153283

Place Hold on Guide to Programming and Algorithms Using R

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

Instruction Level Parallelism

By Aiken, Alex.. . XXI, 255 p. 78 illus., 30 illus. in color. 9781489977977

Place Hold on Instruction Level Parallelism

Software Engineering and Formal Methods

. XXII, 394 p. 85 illus. 9783319104317

Place Hold on Software Engineering and Formal Methods

Exploring Robotics with ROBOTIS Systems

By Thai, Chi N.. . X, 172 p. 159 illus., 153 illus. in color. 9783319204185

Place Hold on Exploring Robotics with ROBOTIS Systems

Euro-Par 2016: Parallel Processing

. XXIX, 699 p. 236 illus. 9783319436593

Place Hold on Euro-Par 2016: Parallel Processing

Functional and Logic Programming

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

Place Hold on Functional and Logic Programming

Languages, Applications and Technologies

. XIII, 271 p. 86 illus. in color. 9783319276533

Place Hold on Languages, Applications and Technologies

Globalizing Domain-Specific Languages

. XV, 89 p. 17 illus. 9783319261720

Place Hold on Globalizing Domain-Specific Languages

Formal Methods and Software Engineering

. XXV, 436 p. 150 illus. in color. 9783319254234

Place Hold on Formal Methods and Software Engineering

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

Programming Languages

. IX, 143 p. 58 illus. in color. 9783319240121

Place Hold on Programming Languages

Search-Based Software Engineering

. XVI, 355 p. 94 illus. 9783319221830

Place Hold on Search-Based Software Engineering

Tests and Proofs

. XIX, 209 p. 57 illus. 9783319212159

Place Hold on Tests and Proofs

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

Giants of Computing

By O'Regan, Gerard.. . XXI, 306 p. 9781447153405

Place Hold on Giants of Computing

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

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

Reliable Software Technologies - Ada-Europe 2013

. XII, 177 p. 50 illus. 9783642386015

Place Hold on Reliable Software Technologies - Ada-Europe 2013

Formal Aspects of Component Software

. X, 277 p. 72 illus. 9783642358616

Place Hold on Formal Aspects of Component Software

Logic for Programming, Artificial Intelligence, and Reasoning

. XIV, 794 p. 178 illus. 9783642452215

Place Hold on Logic for Programming, Artificial Intelligence, and Reasoning

Languages and Compilers for Parallel Computing

. X, 319 p. 139 illus. in color. 9783319297781

Place Hold on Languages and Compilers for Parallel Computing

Algorithms - ESA 2015

. XXIII, 1053 p. 142 illus. in color. 9783662483503

Place Hold on Algorithms - ESA 2015

Unifying Theories of Programming

. VIII, 249 p. 4 illus. 9783642357053

Place Hold on Unifying Theories of Programming

Runtime Verification

. XVIII, 358 p. 82 illus. 9783319111643

Place Hold on Runtime Verification

Practical Aspects of Declarative Languages

. X, 187 p. 29 illus. in color. 9783319282282

Place Hold on Practical Aspects of Declarative Languages

Search Based Software Engineering

. XVI, 326 p. 83 illus. 9783642397424

Place Hold on Search Based Software Engineering

Languages and Compilers for Parallel Computing

. XII, 276 p. 101 illus. 9783642376580

Place Hold on Languages and Compilers for Parallel Computing

Modelling Foundations and Applications

. XII, 203 p. 85 illus. 9783319211510

Place Hold on Modelling Foundations and Applications

Runtime Verification

. XXI, 512 p. 111 illus. 9783319469829

Place Hold on Runtime Verification

OpenMP: Memory, Devices, and Tasks

. XI, 352 p. 169 illus. 9783319455501

Place Hold on OpenMP: Memory, Devices, and Tasks

Advances in Data Mining. Applications and Theoretical Aspects

. IX, 446 p. 144 illus. 9783319415611

Place Hold on Advances in Data Mining. Applications and Theoretical Aspects

Software Engineering and Formal Methods

. XXVII, 405 p. 147 illus. 9783319152011

Place Hold on Software Engineering and Formal Methods