Central Library Search for 'su:"COMPUTER PROGRAMMING"'

Let Us C

By Kanetkar, Y. . New Delhi BPB Publications 2011 . xxi+823p.,25x15Cms 9788183331630

Place Hold on Let Us C

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

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

Logic-Based Program Synthesis and Transformation

. X, 245 p. 36 illus. 9783642381973

Place Hold on Logic-Based Program Synthesis and Transformation

Frontiers of Combining Systems

. XII, 359 p. 35 illus. 9783642408854

Place Hold on Frontiers of Combining Systems

Functional and Logic Programming

. XVI, 353 p. 81 illus. 9783319071510

Place Hold on Functional and Logic Programming

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

Meta-Programming and Model-Driven Meta-Program Development

By Štuikys, Vytautas.. . XVIII, 326 p. 9781447141266

Place Hold on Meta-Programming and Model-Driven Meta-Program Development

Real-Time Visual Effects for Game Programming

By Kim, Chang-Hun.. . XII, 227 p. 166 illus., 85 illus. in color. 9789812874870

Place Hold on Real-Time Visual Effects for Game Programming

Parallel Scientific Computing

By Trobec, Roman.. . XI, 107 p. 37 illus., 3 illus. in color. 9783319170732

Place Hold on Parallel Scientific Computing

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

Software Engineering and Formal Methods

. XXII, 394 p. 85 illus. 9783319104317

Place Hold on Software Engineering and Formal Methods

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

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

Formal Methods and Software Engineering

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

Place Hold on Formal Methods and Software Engineering

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

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

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

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

Web Programming with PHP and MySQL

By Bramer, Max.. . XIII, 388 p. 724 illus. 9783319226590

Place Hold on Web Programming with PHP and MySQL

Languages and Compilers for Parallel Computing

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

Place Hold on Languages and Compilers for Parallel Computing

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

Inductive Logic Programming

. X, 211 p. 62 illus. in color. 9783319237084

Place Hold on Inductive Logic Programming

Intelligent Cloud Computing

. X, 169 p. 66 illus. 9783319198484

Place Hold on Intelligent Cloud Computing

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

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

Parallel Processing and Applied Mathematics

. XXIV, 622 p. 198 illus. 9783319321523

Place Hold on Parallel Processing and Applied Mathematics

Distributed Computing and Networking

. XX, 466 p. 121 illus. 9783642356681

Place Hold on Distributed Computing and Networking

Compiler Construction

. XII, 253 p. 78 illus. 9783662466636

Place Hold on Compiler Construction

Logic Programming and Nonmonotonic Reasoning

. XVIII, 570 p. 70 illus. 9783642405648

Place Hold on Logic Programming and Nonmonotonic Reasoning

Transactions on Aspect-Oriented Software Development X

. XII, 185 p. 76 illus. 9783642369643

Place Hold on Transactions on Aspect-Oriented Software Development X

Automated Technology for Verification and Analysis

. XXIV, 430 p. 109 illus. 9783319119366

Place Hold on Automated Technology for Verification and Analysis

Frontiers of Combining Systems

. XVII, 357 p. 54 illus. in color. 9783319242460

Place Hold on Frontiers of Combining Systems

Structured Object-Oriented Formal Language and Method

. X, 149 p. 83 illus. 9783642392771

Place Hold on Structured Object-Oriented Formal Language and Method