Search Results - ((("programmer" OR "programs") OR "program") OR ("programmers" OR "programmess"))

The life program for MS : lifestyle, independence, fitness, and energy / by Epstein, Susan J.

Full text (MFA users only)

Cultural Programming for Libraries : Linking Libraries, Communities, and Culture. by Robertson, Deborah A.

Table of Contents: “…ACKNOWLEDGMENTS; PREFACE; 1 Making the Case for Cultural Programming; 2 Planning From Goals to Evaluation and Back Again; and Interactive Engagement; 4 Collaboration; Putting the Pieces Together; 6 The Talent and Showtime; 7 Funding for Cultural Programs; 8 Marketing and Public Relations for Programming; Conclusion; APPENDIX Five Star Program Series; REFERENCES; INDEX.…”
Full text (MFA users only)

Trends in Functional Programming. by Van Eekelen, Marko

Subjects: “…Computer programming.…”
Full text (MFA users only)

Trends in Functional Programming. by Nilsson, Henrik

Table of Contents: “…Front Cover; Preliminary Pages; Contents; Preface; Proving Termination Using Dependent Types: The Case of Xor-Terms; Proving the Correctness of Algorithmic Debugging for Functional Programs; Systematic Synthesis of Functions; A Purely Functional Implementation of ROBDDs in Haskell; Efficient Interpretation by Transforming Data Types and Patterns to Functions; Object-Oriented Programming in Dependent Type Theory; A Sharing Analysis for SAFE; Memory Usage Improvement Using Runtime Alias Detection; A Model of Functional Programming with Dynamic Compilation and Optimization.…”
Full text (MFA users only)

Social Programs of Sweden : a Search for Security in a Free Society. by Rosenthal, Albert H.

Table of Contents: “…Table of Contents; I: Growth of the Social Programs; II: The Social Security Programs; III: Health Insurance; IV: Public Health; V: Welfare and Related Programs; VI: The Government and the Individual; VII: Program Comparisons: Sweden and the United States; VIII: Freedom in the Secure Society; Bibliography; Index.…”
Full text (MFA users only)

Component-oriented programming / by Wang, Andy Ju An

Table of Contents: “…COMPONENT-ORIENTED PROGRAMMING; CONTENTS; Preface; 1 Introduction; 2 Theory of Components; 3 COP with JavaBeans; 4 Enterprise JavaBeans Components; 5 CORBA Components; 6 .NET Components; 7 COP with OSGi Components; 8 Web Services Components; Index.…”
Full text (MFA users only)

Essential programming for linguistics / by Weisser, Martin

Table of Contents: “…Cover; Copyright; CONTENTS; LIST OF FIGURES; LIST OF TABLES; ACKNOWLEDGEMENTS; 1 INTRODUCTION; 2 BASIC PROGRAMMING CONCEPTS 1; 3 BASIC PROGRAMMING CONCEPTS 2; 4 WORKING WITH TEXT (BASIC STRING HANDLING); 5 WORKING WITH STORED DATA (BASIC FILE HANDLING); 6 IDENTIFYING TEXTUAL PATTERNS (BASIC AND EXTENDED REGULAR EXPRESSIONS); 7 MODIFYING TEXTUAL PATTERNS (SUBSTITUTION AND TRANSLITERATION); 8 GETTING THINGS INTO THE RIGHT ORDER (BASIC SORTING); 9 ELEMENTARY TEXTS STATS (CREATING BASIC FREQUENCY LISTS); 10 MORE REPETITIVENESS OR HOW TO TIE THINGS TOGETHER (INTRODUCING MODULARITY); 11 OBJECTS.…”
Full text (MFA users only)

NOAA's education program : review and critique /

Table of Contents: “…Overview and introduction -- NOAA's role in the education landscape -- The education portfolio and effective practices -- Overview and critique of NOAA's education programs -- Current evaluation framework and existing evaluation efforts -- Conclusions and recommendations.…”
Full text (MFA users only)

Real Time Programming : Languages, Specification And Verification.

Table of Contents: “…Cover13; -- Contents -- Preface -- Organization of the Monograph -- Dependence of the chapters -- Acknowledgement -- PART I: Real Time Systems 8212; Background -- Summary -- 1 Real Time System Characteristics -- 1.1 Real-time and Reactive Programs -- 2 Formal Program Development Methodologies -- 2.1 Requirement Specification -- 2.2 System Specifications -- 3 Characteristics of Real-Time Languages -- 3.1 Modelling Features of Real-Time Languages -- 3.2 A Look at Classes of Real-Time Languages -- 4 Programming Characteristics of Reactive Systems -- 4.1 Execution of Reactive Programs -- 4.2 Perfect Synchrony Hypothesis -- 4.3 Multiform Notion of Time -- 4.4 Logical Concurrency and Broadcast Communication -- 4.5 Determinism and Causality -- PART II: Synchronous Languages -- Summary -- 5 Esterel Language: Structure -- 5.1 Top Level Structure -- 5.2 Esterel Statements -- 5.3 Illustrations of Esterel Program Behaviour -- 5.4 Causality Problems -- 5.5 A Historical Perspective -- 6 Program Development in Esterel -- 6.1 A Simulation Environment -- 6.2 Verification Environment -- 7 Programming Controllers in Esterel -- 7.1 Auto Controllers -- 8 Asynchronous Interaction in Esterel -- 9 Futurebus Arbitration Protocol: A Case Study -- 9.1 Arbitration Process -- 9.2 Abstraction of the Protocol -- 9.3 Solution in Esterel -- 10 Semantics of Esterel -- 10.1 Semantic Structure -- 10.2 Transition Rules -- 10.3 Illustrative Examples -- 10.4 Discussions -- 10.5 Semantics of Esterel with exec -- PART III: Other Synchronous Languages -- Summary -- 11 Synchronous Language Lustre -- 11.1 An Overview of Lustre -- 11.2 Flows and Streams -- 11.3 Equations, Variables and Expressions -- 11.4 Program Structure -- 11.5 Arrays in Lustre -- 11.6 Further Examples -- 12 Modelling Time-Triggered Protocol (TTP) in Lustre -- 12.1 Time-Triggered Protocol -- 12.2 Modelling TTP in Lustre -- 13 Synchronous Language Argos -- 13.1 Argos Constructs -- 13.2 Illustrative Example -- 13.3 Discussions -- PART IV: Verification of Synchronous Programs -- Summary -- 14 Verification of Esterel Programs -- 14.1 Transition System Based Veri cationy of Esterel Programs -- 14.2 Esterel Transition System -- 14.3 Temporal Logic Based Verification -- 14.4 Observer-based Verification -- 14.5 First Order Logic Based Verification -- 15 Observer Based Verification of Simple Lustre Programs -- 15.1 A Simple Auto Controller -- 15.2 A Complex Controller -- 15.3 A Cruise Controller -- 15.4 A Train Controller -- 15.5 A Mine Pump Controller -- PART V: Integration of Synchrony and Asynchrony -- Summary -- 16 Communicating Reactive Processes -- 16.1 An Overview of CRP -- 16.2 Communicating Reactive Processes: Structure -- 16.3 Behavioural Semantics of CRP -- 16.4 An Illustrative Example: Banker Teller Machine -- 16.5 Implementation of CRP -- 17 Semantics of Communicating Reactive Processes -- 17.1 A Brief Overview of CSP -- 17.2 Translation of CSP to CRP -- 17.3 Cooperation of CRP Nodes -- 17.4 Ready-Trace Semantics of CRP -- 17.5 Ready-Trace Semantics of CSP -- 17.6 Extracting CSP Ready-trace Semantics from CRP Semantics -- 17.7 Correctness of the Translation -- 17.8 Translation into meije Process Calculus -- 18 Communicating Reactive State Machines -- T$…”
Full text (MFA users only)

Struts design and programming : a tutorial / by Kurniawan, Budi

Subjects: “…Java (Computer program language)…”
Full text (MFA users only)

Functional programming in C♯ : classic programming techniques for modern projects / by Sturm, Oliver

Table of Contents: “…Cover; Contents; Title; Copyright; About the Author; Credits; Introduction; Part I : Introduction to Functional Programming; Chapter 1 : A Look at Functional Programming History; What Is Functional Programming?…”
Full text (MFA users only)

The conservation program handbook : a guide for local government land acquisition / by Tassel, Sandra

Full text (MFA users only)

Approximate dynamic programming : solving the curses of dimensionality / by Powell, Warren B., 1955-

Table of Contents: “…Frontmatter -- The Challenges of Dynamic Programming -- Some Illustrative Models -- Introduction to Markov Decision Processes -- Introduction to Approximate Dynamic Programming -- Modeling Dynamic Programs -- Policies -- Policy Search -- Approximating Value Functions -- Learning Value Function Approximations -- Optimizing While Learning -- Adaptive Estimation and Stepsizes -- Exploration Versus Exploitation -- Value Function Approximations for Resource Allocation Problems -- Dynamic Resource Allocation Problems -- Implementation Challenges -- Bibliography -- Index -- Wiley Series in Probability and Statistics.…”
Full text (MFA users only)

Applied integer programming : modeling and solution / by Chen, Der-San, 1940-

Table of Contents: “…Introduction -- Modeling and Models -- Transformation Using 0₆1 Variables -- Better Formulation by Preprocessing -- Modeling Combinatorial Optimization Problems I -- Modeling Combinatorial Optimization Problems II -- Review of Linear Programming and Network Flows. Linear Programming--Fundamentals -- Linear Programming: Geometric Concepts -- Linear Programming: Solution Methods -- Network Optimization Problems and Solutions -- Solutions. …”
Full text (MFA users only)

Programming language pragmatics / by Scott, Michael Lee, 1959-

Table of Contents: “…Introduction; 1.1 The Art of Language Design; 1.2 The Programming Language Spectrum; 1.3 Why Study Programming Languages?…”
Full text (MFA users only)

The art of R programming : tour of statistical software design / by Matloff, Norman S.

Table of Contents: “…7.8 Writing Upstairs7.9 Recursion; 7.10 Replacement Functions; 7.11 Tools for Composing Function Code; 7.12 Writing Your Own Binary Operations; 7.13 Anonymous Functions; 8: Doing Math and Simulations in R; 8.1 Math Functions; 8.2 Functions for Statistical Distributions; 8.3 Sorting; 8.4 Linear Algebra Operations on Vectors and Matrices; 8.5 Set Operations; 8.6 Simulation Programming in R; 9: Object-Oriented Programming; 9.1 S3 Classes; 9.2 S4 Classes; 9.3 S3 Versus S4; 9.4 Managing Your Objects; 10: Input/Output; 10.1 Accessing the Keyboard and Monitor; 10.2 Reading and Writing Files.…”
Full text (MFA users only)

International assignment programs : tackling the critical issues / by Herod, Roger, 1944-

Table of Contents: “…Introduction -- Controversial policy areas -- Expatriate concerns -- Program management.…”
Full text (MFA users only)

Community Visioning Programs : Processes and Outcomes. by Walzer, Norman

Table of Contents: “…Cover; Community Visioning Programs Processes And Outcomes; Copyright; Contents; List of Figures; List of Tables; Notes on Contributors; Series Editor's Introduction; Preface; 1. …”
Full text (MFA users only)

Structured parallel programming : patterns for efficient computation / by McCool, Michael D.

Subjects: “…Parallel programming (Computer science)…”
Full text (MFA users only)

Youth Employment Programs : an Evaluation of World Bank and International Finance Corporation Support.

Full text (MFA users only)