<![CDATA[Central Library Search for 'su:"Compilers Computer programs"']]>

<![CDATA[Central Library Search for 'su:"Compilers Computer programs"']]> https://opac.nitk.ac.in/cgi-bin/koha/opac-search.pl?q=ccl=su%3A%22Compilers%20Computer%20programs%22&format=rss2 1116 0 50 Compiler construction using Java, JavaCC, and Yacc / ISBN 9781118112762 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=59860

By Dos Reis, Anthony J.,. . 1 PDF (664 pages). , "Compiler Construction Using Java, JavaCC, and Yacc by Anthony J. Dos Reis covers every topic essential to learning compilers from the ground up and is accompanied by a powerful and flexible software package for evaluating projects as well as several tutorials, well-defined projects, and test cases"-- Provided by publisher. 9781118112762

Place Hold on Compiler construction using Java, JavaCC, and Yacc /

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=59860 Modern compiler implementation in Java / ISBN 9780511811432 (ebook) https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=68299

By Appel, Andrew W.,. . 1 online resource (x, 501 pages) : , Title from publisher's bibliographic system (viewed on 18 Jul 2016). 9780511811432 (ebook)

Place Hold on Modern compiler implementation in Java /

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=68299 Introduction to compiler construction in a Java World / ISBN 9780429067747 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=69862

By Campbell, Bill,. . 1 online resource (381 pages) : 9780429067747

Place Hold on Introduction to compiler construction in a Java World /

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=69862 The compiler design handbook : ISBN 9781315219967 | 9781351827164 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=70594

. 1 online resource (1 Volume pages) 9781315219967 | 9781351827164

Place Hold on The compiler design handbook :

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=70594 Data flow analysis : ISBN 9781315222349 | 9780849332517 | 9781351829540 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=71595

By Khedker, Uday.,. . 1 online resource (xiii, 386 pages) 9781315222349 | 9780849332517 | 9781351829540

Place Hold on Data flow analysis :

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=71595 Algebraic specification techniques and tools for software development ISBN 9789814440813 | 9814440817 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=72416

By Classen, Ingo. . Singapore ; | River Edge, N.J. : World Scientific, 1993 . 1 online resource (xvi, 237 p.) : 9789814440813 | 9814440817

Place Hold on Algebraic specification techniques and tools for software development

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=72416 Compiler construction using Java, JavaCC, and Yacc / ISBN 9781118112762 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=74277

By Dos Reis, Anthony J.,. . 1 PDF (664 pages). , "Compiler Construction Using Java, JavaCC, and Yacc by Anthony J. Dos Reis covers every topic essential to learning compilers from the ground up and is accompanied by a powerful and flexible software package for evaluating projects as well as several tutorials, well-defined projects, and test cases"-- Provided by publisher. 9781118112762

Place Hold on Compiler construction using Java, JavaCC, and Yacc /

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=74277 Object-Oriented Programming and Java ISBN 9781846289637 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=75145

By Poo, Danny.. . XIX, 322 p. 86 illus. 9781846289637

Place Hold on Object-Oriented Programming and Java

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=75145 Programming with TensorFlow ISBN 9783030570774 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=78243

. X, 190 p. 9783030570774

Place Hold on Programming with TensorFlow

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=78243 Hands-on Signal Analysis with Python ISBN 9783030579036 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=78554

By Haslwanter, Thomas.. . XVI, 267 p. 156 illus., 106 illus. in color. 9783030579036

Place Hold on Hands-on Signal Analysis with Python

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=78554 Speech and Language Processing for Human-Machine Communications ISBN 9789811066269 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=79058

. XIV, 215 p. 104 illus. 9789811066269

Place Hold on Speech and Language Processing for Human-Machine Communications

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=79058 Advanced Finite Element Simulation with MSC Marc ISBN 9783319476681 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=79326

By Javanbakht, Zia.. . XIX, 333 p. 58 illus. 9783319476681

Place Hold on Advanced Finite Element Simulation with MSC Marc

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=79326 Automatic Tuning of Compilers Using Machine Learning ISBN 9783319714899 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=79438

By Ashouri, Amir H.. . XVII, 118 p. 23 illus., 6 illus. in color. 9783319714899

Place Hold on Automatic Tuning of Compilers Using Machine Learning

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=79438 Separation Logic for High-level Synthesis ISBN 9783319532226 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=80135

By Winterstein, Felix.. . XIX, 132 p. 19 illus., 7 illus. in color. 9783319532226

Place Hold on Separation Logic for High-level Synthesis

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=80135 Object-Oriented Programming and Java ISBN 9781846289637 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=81703

By Poo, Danny.. . XIX, 322 p. 86 illus. 9781846289637

Place Hold on Object-Oriented Programming and Java

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=81703 Modern compiler implementation in Java / ISBN 9780511811432 (ebook) https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=81819

By Appel, Andrew W.,. . 1 online resource (x, 501 pages) : , Title from publisher's bibliographic system (viewed on 18 Jul 2016). 9780511811432 (ebook)

Place Hold on Modern compiler implementation in Java /

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=81819 Software Engineering ISBN 9783319284064 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=85426

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

Place Hold on Software Engineering

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=85426 Software Engineering for Self-Adaptive Systems ISBN 9783642358135 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=85448

. X, 393 p. 110 illus. 9783642358135

Place Hold on Software Engineering for Self-Adaptive Systems

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=85448 Tools and Algorithms for the Construction and Analysis of Systems ISBN 9783642198359 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=85443

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

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

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=85443 ECOOP 2005 - Object-Oriented Programming ISBN 9783540317258 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=85470

. XVII, 631 p. 9783540317258

Place Hold on ECOOP 2005 - Object-Oriented Programming

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=85470 Applications of Declarative Programming and Knowledge Management ISBN 9783540321248 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=85467

. X, 315 p. 9783540321248

Place Hold on Applications of Declarative Programming and Knowledge Management

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=85467 Programming Languages and Systems ISBN 9783540766377 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=85490

. XI, 436 p. 9783540766377

Place Hold on Programming Languages and Systems

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=85490 Formal Methods for Open Object-Based Distributed Systems ISBN 9783540315568 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=85484

. X, 326 p. 9783540315568

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

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=85484 Formal Approaches to Software Testing ISBN 9783540318484 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=85516

. X, 228 p. 9783540318484

Place Hold on Formal Approaches to Software Testing

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=85516 Artificial Intelligence. An International Perspective ISBN 9783642032264 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=85510

By Bramer, Max.. . VII, 247 p. 9783642032264

Place Hold on Artificial Intelligence. An International Perspective

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=85510 Verified Software. Theories, Tools, and Experiments ISBN 9783030035921 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=85664

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

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

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=85664 Requirements Engineering: Foundation for Software Quality ISBN 9783030155384 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=85676

. XIII, 306 p. 67 illus., 35 illus. in color. 9783030155384

Place Hold on Requirements Engineering: Foundation for Software Quality

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=85676 Models, Mindsets, Meta: The What, the How, and the Why Not? ISBN 9783030223489 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=85692

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

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

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=85692 Tests and Proofs ISBN 9783030311575 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=85722

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

Place Hold on Tests and Proofs

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=85722 Formal Methods for Industrial Critical Systems ISBN 9783030852481 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=85802

. XII, 249 p. 23 illus. 9783030852481

Place Hold on Formal Methods for Industrial Critical Systems

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=85802 NASA Formal Methods ISBN 9783319175249 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=85846

. XIII, 458 p. 115 illus. 9783319175249

Place Hold on NASA Formal Methods

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=85846 Operational Semantics for Timed Systems ISBN 9783540320081 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=85891

By Rust, Heinrich.. . XII, 224 p. 9783540320081

Place Hold on Operational Semantics for Timed Systems

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=85891 Concurrency, Security, and Puzzles ISBN 9783319510460 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=85910

. XVIII, 319 p. 58 illus. 9783319510460

Place Hold on Concurrency, Security, and Puzzles

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=85910 Provenance and Annotation of Data and Processes ISBN 9783319983790 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=85929

. X, 272 p. 91 illus. 9783319983790

Place Hold on Provenance and Annotation of Data and Processes

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=85929 Multi-Agent Systems ISBN 9783030141745 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=85954

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

Place Hold on Multi-Agent Systems

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=85954 Logics in Artificial Intelligence ISBN 9783030195700 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=85969

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

Place Hold on Logics in Artificial Intelligence

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=85969 Computing and Software Science ISBN 9783319919089 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=85980

. XIX, 590 p. 774 illus., 54 illus. in color. 9783319919089

Place Hold on Computing and Software Science

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=85980 Informatics in Schools. A Step Beyond Digital Education ISBN 9783031158513 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=86033

. XII, 151 p. 47 illus., 43 illus. in color. 9783031158513

Place Hold on Informatics in Schools. A Step Beyond Digital Education

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=86033 Logic Programming and Nonmonotonic Reasoning ISBN 9783031157073 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=86035

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

Place Hold on Logic Programming and Nonmonotonic Reasoning

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=86035 Automated Technology for Verification and Analysis ISBN 9783319465203 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=86057

. XI, 530 p. 102 illus. 9783319465203

Place Hold on Automated Technology for Verification and Analysis

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=86057 Implementation and Application of Functional Languages ISBN 9783642344077 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=86066

. X, 181 p. 68 illus. 9783642344077

Place Hold on Implementation and Application of Functional Languages

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=86066 Principles and Practice of Constraint Programming - CP 2012 ISBN 9783642335587 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=86091

. XXII, 1015 p. 237 illus. 9783642335587

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

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=86091 Tools and Algorithms for the Construction and Analysis of Systems ISBN 9783642548628 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=86120

. XVIII, 652 p. 142 illus. 9783642548628

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

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=86120 Service-Oriented Computing - ICSOC 2017 Workshops ISBN 9783319917641 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=86131

. XIV, 410 p. 103 illus. 9783319917641

Place Hold on Service-Oriented Computing - ICSOC 2017 Workshops

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=86131 Reliable Software Technologies -- Ada-Europe 2012 ISBN 9783642305986 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=86125

. XII, 220 p. 59 illus. 9783642305986

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

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=86125 Languages and Compilers for Parallel Computing ISBN 9783030346270 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=86199

. X, 193 p. 132 illus., 55 illus. in color. 9783030346270

Place Hold on Languages and Compilers for Parallel Computing

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=86199 Static Analysis ISBN 9783030323042 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=86197

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

Place Hold on Static Analysis

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=86197 Practical Aspects of Declarative Languages ISBN 9783030391973 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=86217

. XXVI, 223 p. 387 illus., 195 illus. in color. 9783030391973

Place Hold on Practical Aspects of Declarative Languages

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=86217 Diagrammatic Representation and Inference ISBN 9783031151460 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=86267

. XII, 383 p. 164 illus., 67 illus. in color. 9783031151460

Place Hold on Diagrammatic Representation and Inference

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=86267 Formal Methods for Industrial Critical Systems ISBN 9783031150081 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=86258

. X, 245 p. 79 illus., 53 illus. in color. 9783031150081

Place Hold on Formal Methods for Industrial Critical Systems

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=86258