Shelfclass |
Sortkey |
Title |
3.F.1 |
ABADI, MARTIN |
A Theory of Objects |
3.F.1 |
ABELSON, HAROLD |
Structure and Interpretation of Computer Programs |
3.F.1 |
ADA |
Ada Software Tools Interfaces: Workshop, Bath, July 13-15, 1983, Proceedings |
3.F.1 |
ALEXANDER, HEATHER |
Formally-Based Tools and Techniques for Human-Computer Dialogues |
3.F.1 |
ALLISON, LLOYD |
A Practical Introduction to Denotational Semantics |
3.F.1 |
ALVES-FOSS, JIM |
Formal Syntax and Semantics of Java |
3.F.1 |
ANDRIST, BJÖRN |
C++ High Performance: Master the art of optimizing the functioning of your C++ code |
3.F.1 |
APL |
APL 84: Conference proceedings: Finland, June 11-15, 1984 |
3.F.1 |
ARMSTRONG, JOE |
Concurrent Programming in ERLANG |
3.F.1 |
ARNOLD, KEN |
The Java Programming Language |
3.F.1 |
ASM |
ASM 2000: Abstract State Machines: Theory and Applications: International Workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000, Proceedings |
3.F.1 |
ATKINSON, MALCOLM P |
Fully Integrated Data Environments: Persistent Programming Languages, Object Stores, and Programming Environments |
3.F.1 |
ATTAWAY, STORMY |
MATLAB: A Practical Introduction to Programming and Problem Solving |
3.F.1 |
B |
B 1998: B'98: Recent Advances in the Development and Use of the B Method: Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings |
3.F.1 |
B |
B 2007: Formal Specification and Development in B: 7th International Conference of B Users, Besancon, France, January 17-19, 2007, Proceedings |
3.F.1 |
BAILEY, ROGER |
Functional Programming with HOPE |
3.F.1 |
BANATRE, JEAN-PIERRE |
Research Directions in High-Level Parallel Programming Languages: Mont Saint-Michel, France, June 17-19, 1991, Proceedings |
3.F.1 |
BARCLAY, KENNETH A |
Groovy Programming: An Introduction for Java Developers |
3.F.1 |
BARRETT, ROSALIND |
POP-11: A Practical Language for Artificial Intelligence |
3.F.1 |
BEAZLEY, DAVID M |
Python Essential Reference |
3.F.1 |
BEKIC, H |
Programming Languages and Their Definition |
3.F.1 |
BERGIN, THOMAS J |
History of Programming Languages II |
3.F.1 |
BHASKER, PARTHASARATHY |
Semlog: A Multiparadigm Programming Language for Knowledge Engineering |
3.F.1 |
BIDOIT, MICHEL |
Algebraic System Specification and Development: A Survey and Annotated Bibliography |
3.F.1 |
BIRD, RICHARD S |
Algorithmic Languages and Calculi: IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France |
3.F.1 |
BIRNES, WILLIAM J |
High-Level Languages and Software Applications: A Reference |
3.F.1 |
BJØRNER, DINES |
The Vienna Development Method: The Meta-Language |
3.F.1 |
BLANDY, JIM |
Programming Rust: Fast, Safe Systems Development |
3.F.1 |
BLANK-EDELMAN, DAVID N. |
Perl for System Administration |
3.F.1 |
BLUNDEN, BILL |
Memory Management: Algorithms and Implementation in C/C++ |
3.F.1 |
BLUNDEN, BILL |
Virtual Machine Design and Implementation in C/C++ |
3.F.1 |
BOBROW, DANIEL |
Symbol Manipulation Languages and Techniques |
3.F.1 |
BOHLENDER, GERD |
Pascal-SC: A Computer Language for Scientific Computation |
3.F.1 |
BRAILSFORD, D. F |
Introductory ALGOL 68 Programming |
3.F.1 |
BRAUER, W |
The Programming Language Ada: Reference Manual |
3.F.1 |
BREU, RUTH |
Algebraic Specification Techniques in Object Oriented Programming Environments |
3.F.1 |
BRODIE, LEO |
Starting FORTH: An Introduction to the FORTH Language and Operating System for Beginners and Professionals |
3.F.1 |
BROY, MANFRED |
Formal Systems Specification: The RPC-Memory Specification Case Study |
3.F.1 |
BROY, MANFRED |
KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report |
3.F.1 |
BRUCE, KIM B |
Foundations of Object-Oriented Languages: types and semantics |
3.F.1 |
BURNAP, STEVE |
FORTH: The Fourth-Generation Language |
3.F.1 |
BURNS, ALAN |
A Review of Ada Tasking |
3.F.1 |
BURTON, MIKE |
POP-11 Programming for Artificial Intelligence |
3.F.1 |
BUSINGER, ARNOLD |
PORTAL Language Description |
3.F.1 |
CALINGAERT, PETER |
Program Translation Fundamentals: Methods and Issues |
3.F.1 |
CARDOSO LOPES, BRUNO |
Getting Started with LLVM Core Libraries |
3.F.1 |
CHEN, YINONG |
Introduction to Programming Languages: Principles, C, C++, Scheme and Prolog |
3.F.1 |
CHILL |
Introduction to CHILL: The CCITT High Level Language |
3.F.1 |
COCKE, JOHN |
Programming Languages and Their Compilers: Preliminary Notes |
3.F.1 |
COSNARD, MICHEL |
Architectures and Compilation Techniques for Fine and Medium Grain Parallelism: Proceedings of the IFIP WG 10.3 Working Conference on Architectures and Compilation Techniques for Fine and Medium Grain Parallelism, Orlando, Florida, USA, 20-22 January 1993 |
3.F.1 |
COUSINEAU, GUY |
The Functional Approach to Programming |
3.F.1 |
CRAIG, IAIN D |
Virtual Machines |
3.F.1 |
CURIEN, PIERRE-LOUIS |
Categorical Combinators, Sequential Algorithms and Functional Programming |
3.F.1 |
DAVIE, A. J. T |
An Introduction to Functional Programming Systems Using Haskell |
3.F.1 |
DE BAKKER, JACOBUS WILLEM |
Algorithmic Languages: Proceedings of the International Symposium on Algorithmic Languages, Amsterdam, The Netherlands, 26-29 October, 1981 |
3.F.1 |
DOETS, KEES |
The Haskell Road to Logic, Maths and Programming |
3.F.1 |
DONAHUE, JAMES E |
Complementary Definitions of Programming Language Semantics |
3.F.1 |
DONOVAN, ALAN A. A. |
The Go Programming Language |
3.F.1 |
DOXSEY, CALEB |
Introducing Go: Build Reliable, Scalable Programs |
3.F.1 |
DUKE, ROGER |
Formal Object-Oriented Specification Using Object-z |
3.F.1 |
DYBVIG, R. KENT |
The Scheme Programming Language |
3.F.1 |
EISENBACH, SUSAN |
Functional Programming: Languages, Tools and Architectures |
3.F.1 |
EISENBERG, MICHAEL |
Programming in Scheme |
3.F.1 |
ELLIS, MARGARET A. |
The Annotated C++ Reference Manual |
3.F.1 |
ELLIS, ROD |
Data Abstraction and Program Design: From Object-Based to Object-Oriented Programming |
3.F.1 |
ELLSBERGER, JAN |
SDL: Formal Object-Oriented Language for Communicating Systems |
3.F.1 |
ENGELER, ERWIN |
Symposium on Semantics of Algorithmic Languages |
3.F.1 |
FAIRHEAD, HARRY |
Programming the Raspberry Pi Pico in C |
3.F.1 |
FELLEISEN, MATTHIAS |
How to Design Programs: An Introduction to Programming and Computing |
3.F.1 |
FERNSTROM, CHRISTER |
LUCAS Associative Array Processor: Design, Programming and Application Studies |
3.F.1 |
FLANAGAN, DAVID |
The Ruby Programming Language |
3.F.1 |
FORD, GARY A |
Modula-2: A Software Development Approach |
3.F.1 |
FOSTER, J.M |
List Processing |
3.F.1 |
FOURER, ROBERT |
AMPL: A Modeling Language for Mathematical Programming |
3.F.1 |
FRIEDMAN, DANIEL P |
Essentials of Programming Languages |
3.F.1 |
FRIEDMAN, DANIEL P. |
The Seasoned Schemer |
3.F.1 |
GEHRINGER, EDWARD F |
Capability Architectures and Small Objects |
3.F.1 |
GENERIC |
Generic 1998: Generic Programming: International Seminar on Generic Programming, Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers |
3.F.1 |
GHEZZI, CARLO |
Programming Language Concepts |
3.F.1 |
GILMAN, LEONARD |
APL/360: An Interactive Approach |
3.F.1 |
GJENGSET, JON |
Rust for Rustaceans: Idiomatic Programming for Experienced Developers |
3.F.1 |
GODFREY, M.D |
Machine-Independent Organic Software Tools (MINT) |
3.F.1 |
GOLDBERG, ADELE |
Smalltalk-80: The Interactive Programming Environment |
3.F.1 |
GOOS, GERHARD |
DIANA: An Intermediate Language for Ada: Revised Version |
3.F.1 |
GORDON, ANDREW D |
Higher Order Operational Techniques in Semantics |
3.F.1 |
GORDON, MICHAEL J |
Edinburgh LCF: A Mechanised Logic of Computation |
3.F.1 |
GORDON, MICHAEL J. C. |
The Denotational Description of Programming Languages: an introduction |
3.F.1 |
GOSLING, JAMES |
The Java Language Specification |
3.F.1 |
GOTTFRIED, BYRON S. |
Theory and Problems of Programming with BASIC: Including Microcomputer BASIC |
3.F.1 |
GREEN, CORDELL |
Lectures on Automatic Programming and List Processing |
3.F.1 |
GREGOIRE, MARC |
Professional C++ |
3.F.1 |
GREIBACH, SHEILA A |
Theory of Program Structures: Schemes, Semantics, Verification |
3.F.1 |
GRISWOLD, RALPH E |
A SNOBOL4 Primer |
3.F.1 |
GRISWOLD, RALPH E |
String and List Processing in SNOBOL4: Techniques and Applications |
3.F.1 |
GRISWOLD, RALPH E |
The Implementation of the Icon Programming Language |
3.F.1 |
GUNTER, CARL A |
Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design |
3.F.1 |
HARLAND, DAVID M |
Concurrency and Programming Languages |
3.F.1 |
HARVEY, BRIAN |
Simply Scheme: Introducing Computer Science |
3.F.1 |
HATTON, LES |
Safer C: Developing Software for High-integrity and Safety-critical Systems |
3.F.1 |
HELDAL, ROGARDT |
Functional Programming: Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, 12-14 August 1991, Glasgow 1991 |
3.F.1 |
HENSE, ANDREAS V |
Polymorphic Type Inference for Object-Oriented Programming Languages: Dissertation |
3.F.1 |
HESSELINK, WIM H |
Programs, Recursion and Unbounded Choice: Predicate-Transformation Semantics and Transformation Rules |
3.F.1 |
HEXT, JAN |
Programming Structures: Volume 1 |
3.F.1 |
HILL, IAN DAVID |
Programming Language Standardisation |
3.F.1 |
HILL, PATRICIA |
The Gödel Programming Language |
3.F.1 |
HORSTMANN, CAY S. |
Core Java 1.1, Volume 1 - Fundamentals |
3.F.1 |
HORSTMANN, CAY S. |
Core Java 1.1, Volume 2 - Advanced Features |
3.F.1 |
HORTON, IVOR |
Beginning C++20: From Novice to Professional |
3.F.1 |
HOUBAK, NIELS |
SIL - a Simulation Language: User's Guide |
3.F.1 |
HOUSEL, BARRON CORNELIUS |
A Study of Decompiling Machine Languages into High-Level Machine Independent Languages |
3.F.1 |
HUDAK, PAUL |
The Haskell School of Expression: Learning Functional Programming through Multimedia |
3.F.1 |
HUDSON, PAUL |
PHP in a Nutshell |
3.F.1 |
HUSBERG, NISSE |
Categorial Heterogeneous Algebraic Models of Programming Languages |
3.F.1 |
ICHBIAH, JEAN D |
Reference Manual for the ADA Programming Language: ANSI/MIL-STD-1815 A-1983 |
3.F.1 |
IFIP |
Formal Description of programming Concepts - II: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts - II, Garmisch-Partenkirchen, FRG, 1-4 June, 1982 |
3.F.1 |
IFIP |
Formal Description of Programming Concepts I: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, N.B., Canada, August 1-5, 1977 |
3.F.1 |
IFIP TC2 |
The Relationship Between Numerical Computation and Programming Languages: Proceedings of the IFIP TC2 Working Conference on the Relationship between Numerical Computation and Programming Languages, Boulder, Colorado, U.S.A., 3-7 August, 1981 |
3.F.1 |
INTRODUCTION TO C++ |
Introduction to C++: A Short Guide to Programming in C++ |
3.F.1 |
JACKSON, JERRY R |
Java by Example |
3.F.1 |
JARAMILLO, RODOLFO GABRIEL ESTEVES |
C ALL, a Study in Evolutionary Design in Programming Languages |
3.F.1 |
JEFFERY, CLINTON L. |
Build Your Own Programming Language: A programmer's guide to designing compilers, interpreters, and DSLs for solving modern computing problems |
3.F.1 |
JONES, WILLIAM B. |
Programming Concepts: A Second Course (with examples in Pascal) |
3.F.1 |
JOSUTTIS, NICOLAI M. |
C++17: The Complete Guide |
3.F.1 |
KALINOVSKY, ALEX |
Covert Java: Techniques for Decompiling, Patching, and Reverse Engineering |
3.F.1 |
KEHÄ, VEIKKO |
Ohjelmointitekniikka: ongelmasta ohjelmaksi |
3.F.1 |
KERNIGHAN, BRIAN W |
The C Programming Language |
3.F.1 |
KERNIGHAN, BRIAN W |
The C Programming Language |
3.F.1 |
KICZALES, GREGOR |
The Art of the Metaobject Protocol |
3.F.1 |
KLABNIK, STEVE |
The Rust Programming Language |
3.F.1 |
KLAS, WOLFGANG |
Metaclasses and Their Application: Data Model Tailoring and Database Integration |
3.F.1 |
KLERER, MELVIN |
Design of Very High-Level Computer Languages: A User-Oriented Approach |
3.F.1 |
KLINT, PAUL |
A Study in String Processing Languages |
3.F.1 |
KNUPP, PATRICK |
Verification of Computer Codes in Computational Science and Engineering |
3.F.1 |
KNUTH, DONALD ERVIN |
Selected Papers on Computer Languages |
3.F.1 |
KOCHAN, STEPHEN G. |
Proramming in Objective-C 2.0: A complete introduction to the Objective-C language for Mac OS X and iPhone Development |
3.F.1 |
KOENIG, ANDREW |
Accelerated C++: Practical Programming by Example |
3.F.1 |
KOENIG, ANDREW |
C Traps and Pitfalls |
3.F.1 |
KORPELA, JUKKA |
C-ohjelmointikieli |
3.F.1 |
KORPELA, JUKKA |
Pascal-ohjelmointikieli |
3.F.1 |
KOYMANS, RON |
Specifying Message Passing and Time-Critical Systems with Temporal Logic |
3.F.1 |
KRAMER, BILL |
AutoLISP Treasure Chest |
3.F.1 |
KREUTZER, WOLFGANG |
System Simulation: Programming Styles and Languages |
3.F.1 |
KUPKA, I |
Conversational Languages |
3.F.1 |
LABUDDE, KEITH P |
Structured Programming Concepts |
3.F.1 |
LAUER, PETER E |
Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada |
3.F.1 |
LCR |
LCR 1996: Languages, Compilers and Run-Time Systems for Scalable Computers |
3.F.1 |
LDRS |
LDRS 1977: Proceedings of an ACM Conference on Language Design for Reliable Software: Sheraton-Crabtree Inn, Raleigh, North Carolina, March 28-30, 1977 |
3.F.1 |
LE PAGE, WILBUR R |
Applied APL Programming |
3.F.1 |
LEVY, LEON S |
Fundamental Concepts of Computer Science: Mathematical Foundations of Programming |
3.F.1 |
LEWI, JOHAN |
Software Development by LL(1) Syntax Description |
3.F.1 |
LINDHOLM, TIM |
The Java Virtual Machine Specification |
3.F.1 |
LISKOV, BARBARA |
CLU Reference Manual |
3.F.1 |
LISP |
LISP kielenopas |
3.F.1 |
LOECKX, JACQUES |
The Foundations of Program Verification |
3.F.1 |
LOUDEN, KENNETH C |
Programming Languages: Principles and Practice |
3.F.1 |
LUCKHAM, DAVID C |
ANNA: A Language for Annotating Ada Programs: Reference Manual |
3.F.1 |
LUTZ, MARK |
Learning Python |
3.F.1 |
LUTZ, MARK |
Learning Python |
3.F.1 |
MACLENNAN, BRUCE J |
Principles of Programming Languages: Design, Evaluation, and Implementation |
3.F.1 |
MALMI, LAURI |
Ohjelmoinnin perusteet ja Pascal-kieli |
3.F.1 |
MANES, ERNEST G |
Predicate Transform Semantics |
3.F.1 |
MARCOTTY, MICHAEL |
Programming Language Landscape: Syntax, Semantics, and Implementation |
3.F.1 |
MARCOTTY, MICHAEL |
The World of Programming Languages |
3.F.1 |
MARLIN, CHRISTOPHER D |
Coroutines: A Programming Methodology, a Language Design and an Implementation |
3.F.1 |
MASON, IAN A |
The Semantics of Destructive LISP |
3.F.1 |
MATHEMATICAL |
Mathematical 1985: Mathematical Methods of Specification and Synthesis of Software Systems '85: Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985 |
3.F.1 |
MAZIDI, MUHAMMAD ALI |
Atmel ARM Programming for Embedded Systems |
3.F.1 |
MCALOON, KENNETH |
Optimization and Computational Logic |
3.F.1 |
MCCRACKEN, DANIEL D |
A Guide to ALGOL Programming |
3.F.1 |
MCGOWAN, CLEMENT L |
Top-Down Structured Programming Techniques |
3.F.1 |
MENA, ALEJANDRO SERRANO |
Practical Haskell: A Real World Guide to Programming |
3.F.1 |
MESSER, P. A |
Modula-2: Constructive Program Development |
3.F.1 |
MEYERS, SCOTT |
Effective Modern C++: 42 Specific Ways to Improve Your Use of C++11 and C++14 |
3.F.1 |
MILNE, ROBERT |
A Theory of Programming Language Semantics: Part A |
3.F.1 |
MILNE, ROBERT |
A Theory of Programming Language Semantics: Part B |
3.F.1 |
MILNER, ROBIN |
The Definition of Standard ML |
3.F.1 |
MITCHELL, JAMES G |
Mesa Language Manual |
3.F.1 |
MITCHELL, JOHN C |
Foundations for Programming Languages |
3.F.1 |
MORGAN, CARROLL |
On the Refinement Calculus |
3.F.1 |
NACKE, KAI |
Learn LLVM 12: A beginner's guide to learning LLVM compiler tools and core libraries with C++ |
3.F.1 |
NARAYANAN, AJIT |
An Introduction to LISP |
3.F.1 |
NEUHOLD, ERICH J |
Formal Description of Programming Concepts |
3.F.1 |
NIELSON, FLEMMING |
Two-Level Functional Languages |
3.F.1 |
NILSEN, KELVIN DON |
The Design and Implementation of High-Level Programming Language Features for Pattern Matching in Real Time |
3.F.1 |
NOLAN, GODFREY |
Decompiling Java |
3.F.1 |
NYSTROM, ROBERT |
Crafting Interpreters |
3.F.1 |
OKSANEN, KENNETH |
Real-time Garbage Collection of a Functional Persistent Heap: Licentiate's Thesis |
3.F.1 |
OLLONGREN, ALEXANDER |
Definition of Programming Languages by Interpreting Automata |
3.F.1 |
PAGAN, FRANK G |
Formal Specification of Programming Languages: A Panoramic Primer |
3.F.1 |
PARR, TERENCE |
The Complete ANTLR Reference Guide |
3.F.1 |
PEARCE, JON |
Programming and Meta-Programming in Scheme |
3.F.1 |
PEDANOV, IGOR E |
Introduction to the Theory of Programming Languages |
3.F.1 |
PERRIN, GUY-RENE |
The Data Parallel Programming Model: Foundations, HPF Realization, and Scientific Applications |
3.F.1 |
PETTERSSON, MIKAEL |
Compiling Natural Semantics |
3.F.1 |
PEYTON JONES, SIMON L. |
The Implementation of Functional Programming Languages |
3.F.1 |
PFEFFER, AVI |
Practical Probabilistic Programming |
3.F.1 |
PHIPPS, GEOFFREY |
GLUE: A Deductive Database Programming Language |
3.F.1 |
PILGRIM, MARK |
Dive Into Python 3: [electronic resource] |
3.F.1 |
PLASMEIJER, RINUS |
Functional Programming and Parallel Graph Rewriting |
3.F.1 |
POMMIER, S |
An Introduction to APL |
3.F.1 |
POSTSCRIPT |
PostScript Language Reference |
3.F.1 |
PRATT, TERRENCE W |
Programming Languages: Design and Implementation |
3.F.1 |
PROGRAM |
Program 1978: Program Construction: International Summer School |
3.F.1 |
PROGRAMMING |
The Programming Language Ada Reference Manual |
3.F.1 |
PROVING ASSERTIONS |
Proving Assertions 1972: Proceedings of an ACM Conference on Proving Assertions about Programs: New Mexico State University, Las Cruces, New Mexico, January 6-7, 1972 |
3.F.1 |
PRUSTY, NARAYAN |
Learning ECMAScript 6 |
3.F.1 |
QUEINNEC, CHRISTIAN |
LISP in Small Pieces |
3.F.1 |
RANDELL, B |
ALGOL 60 Implementation: The Translation and Use of ALGOL 60 Programs on a Computer |
3.F.1 |
REISER, MARTIN |
The Oberon System: User Guide and Programmer's Manual |
3.F.1 |
REPS, THOMAS W |
Generating Language-Based Environments |
3.F.1 |
ROMANOVSKY, ALEXANDER |
Advances in Exception Handling Techniques |
3.F.1 |
RUSTIN, RANDALL |
Formal Semantics of Programming Languages. |
3.F.1 |
SAIKKONEN, HEIKKI |
Johdatus ohjelmointiin Pascal-kielen avulla |
3.F.1 |
SAMMET, JEAN E. |
Programming Languages: History and Fundamentals |
3.F.1 |
SCHILDT, HERBERT |
C: The Complete Reference |
3.F.1 |
SCHMIDT, DAVID A |
Denotational Semantics: A Methodology for Language Development |
3.F.1 |
SCHWARTZ, JACOB T |
Programming with SETS: An Introduction to SETL |
3.F.1 |
SCOTT, MICHAEL L. |
Programming Language Pragmatics |
3.F.1 |
SEBESTA, ROBERT W |
Concepts of Programming Languages |
3.F.1 |
SEIBEL, PETER |
Practical Common Lisp |
3.F.1 |
SETHI, RAVI |
Programming Languages: Concepts and Constructs |
3.F.1 |
SHARMA, RAHUL |
The Complete Rust Programming Reference Guide: Design, develop, and deploy effective software systems using the advanced constructs of Rust |
3.F.1 |
SHERMAN, MARK STEVEN |
Paragon: A Language Using Type Hierarchies for the Specification, Implementation and Selection of Abstract Data Types |
3.F.1 |
SHRIVER, BRUCE |
Research Directions in Object-Oriented Programming |
3.F.1 |
SHUM, K. P |
Proceedings of the Conference on Ordered Structures and Algebra of Computer Languages: Hong Kong, 26-29 June, 1991 |
3.F.1 |
SHYY, YUH-MING |
K: An Object-Oriented Knowledge-Base Programming Language for Software Development and Prototyping |
3.F.1 |
SIEK, JEREMY G |
A Language for Generic Programming |
3.F.1 |
SKVARCIUS, ROMUALDAS |
Problem Solving Using Pascal: Algorithm Development and Programming Concepts |
3.F.1 |
SLADE, STEPHEN |
The T Programming Language: A Dialect of LISP |
3.F.1 |
SMITH, BRUCE |
Raspberry Pi Operating System Assembly Language Hands-On-Guide |
3.F.1 |
SMITH, CANTWELL BRIAN |
Reflection and Semantics in LISP |
3.F.1 |
SNEERINGER, WILLIAM JAMES |
A Dynamic-Type Programming Language That Allows Type Control |
3.F.1 |
SOSL |
SoSL 1993: Semantics of Specification Languages (SoSL): Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27, October 1993 |
3.F.1 |
SPIVEY, J. M |
Understanding Z: A Specification Language and Its Formal Semantics |
3.F.1 |
SPRINGER, GEORGE |
Scheme and the Art of Programming |
3.F.1 |
STILLER, RICHARD |
Asunder: An Unauthorized History of the Origins of the Java Programming Language |
3.F.1 |
STOYAN, HERBERT |
LISP: Anwendnungsgebiete, Grundbegriffe, Geschichte |
3.F.1 |
STOY, JOSEPH E |
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory |
3.F.1 |
SUBRAMANIAM, VENKAT |
Programming Groovy: Dynamic Productivity for the Java Developer |
3.F.1 |
SUTTER, HERB |
Exceptional C++ Style: 40 New Engineering Puzzles, Programming Problems, and Solutions |
3.F.1 |
TAN, YANG MENG |
Formal Specification Techniques for Engineering Modular C Programs |
3.F.1 |
TEMPORAL |
Temporal 1987: Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings |
3.F.1 |
TENNENT, R. D |
Principles of Programming Languages |
3.F.1 |
THOMPSON, SIMON |
Haskell: The Craft of Functional Programming |
3.F.1 |
TOOLS |
TOOLS 1993: Technology of Object-Oriented Languages and Systems: TOOLS 11: Proceedings of the Eleventh International Conference TOOLS Santa Barbara 1993 |
3.F.1 |
TRAUB, KENNETH R |
Implementation of Non-Strict Functional Programming Languages |
3.F.1 |
TUCKEY, CHARLES E |
Pattern Matching in Charity |
3.F.1 |
UHL, J |
A Systematic Catalogue of Reusable Abstract Data Types |
3.F.1 |
ULLMAN, JEFFREY D |
Fundamental Concepts of Programming Systems |
3.F.1 |
UNGAR, DAVID MICHAEL |
The Design and Evaluation of a High Performance Smalltalk System |
3.F.1 |
USENIX |
Symposium on Very High Level Languages (VHLL): Proceedings, October 26-28, 1994, Santa Fe, New Mexico, USA |
3.F.1 |
VAN BREUGEL, FRANCK |
Comparative Metric Semantics of Programming Languages: Nondeterminism and Recursion |
3.F.1 |
VANDEVOORDE, DAVID |
C++ Templates: The Complete Guide, Covers C++11, C++14 and C++17 |
3.F.1 |
VAN-ROY, PETER |
Concepts, Techniques, and Models of Computer Programming |
3.F.1 |
VAZSONYI, ANDREW |
Problem Solving by Digital Computers with PL/I Programming. |
3.F.1 |
VENIT, STEWART |
Extended Prelude to Programming: Concepts and Design |
3.F.1 |
VIRTUAL |
Virtual 1973: Workshop on Virtual Computer Systems: ACM SIGARCH-SIGOPS |
3.F.1 |
WAGENER, JERROLD L |
Fortran 77: Principles of Programming |
3.F.1 |
WALKER, HENRY M. |
Problems for Computer Solutions Using FORTRAN |
3.F.1 |
WATSON, DES |
High-Level Languages and Their Compilers |
3.F.1 |
WATSON, MARK |
Programming in Scheme: learn Scheme through artificial intelligence programs |
3.F.1 |
WATT, DAVID A |
Programming Language Processors: Compilers and Interpreters |
3.F.1 |
WEBER, MATTHIAS |
The Generic Development Language Deva: Presentation and Case Studies |
3.F.1 |
WHITINGTON, JOHN |
More OCaml: Algorithms, Methods & Diversions |
3.F.1 |
WHITINGTON, JOHN |
OCaml from the very beginning |
3.F.1 |
WILLS, LINDA |
Reverse Engineering |
3.F.1 |
WINSKEL, GLYNN |
The Formal Semantics of Programming Languages: An Introduction |
3.F.1 |
WINSTON, PATRICK HENRY |
LISP |
3.F.1 |
WINSTON, PATRICK HENRY |
LISP |
3.F.1 |
WRUBEL, MARSHAL H |
A Primer of Programming for Digital Computers |
3.F.1 |
YOUNG, STEPHEN J |
Real Time Languages: Design and Development |
3.F.1 |
YUASA, TAIICHI |
Advanced LISP Technology |
3.F.1 |
ZB |
ZB 2000: ZB 2000: Formal Specification and Development in Z and B: First International Conference of B and Z Users, York, UK, August 29 - September 2, 2000, Proceedings |