Search Results - ((("programmer" OR "programr") OR "program") OR ("programmess" OR "programmess"))

  1. 201

    Collaborative digitization programs /

    Published 2005
    Table of Contents: “…EDITORIAL ADVISORY BOARD; Collaborative digitization programs: a multifaceted approach to sustainability; Development of a portal to Texas history; Meeting metadata challenges in the consortial environment; Ohio Memory Online Scrapbook: creating a statewide digital library; Educating future digitizers; Empowerment for digitization: lessons learned from The Making of Modern Michigan; Aggregating distributed digital collections in the Mountain West Digital Library with the CONTENTdmTM multi-site server; AlabamaMosaic: sharing Alabama history online.…”
    Full text (MFA users only)
    Electronic eBook
  2. 202

    Handbook of constraint programming /

    Published 2006
    Table of Contents: “…Symmetry in Constraint Programming -- (Ian P. Gent, Karen E. Petrie, Jean-Francois Puget) -- Chapter 11. …”
    Full text (MFA users only)
    Electronic eBook
  3. 203

    Decision making and programming / by Kolbin, V. V. (Vi︠a︡cheslav Viktorovich), 1941-

    Published 2003
    Table of Contents: “…Stochastic programming models. 4.2. Stochastic programming methods. 4.3. …”
    Full text (MFA users only)
    Electronic eBook
  4. 204

    Applied nonlinear programming / by Sharma, Sanjay

    Published 2006
    Table of Contents: “…Unconstrained and Constrained Optimization; Chapter 4. Geometric Programming; Chapter 5. Multi-Variable optimization; References.…”
    Full text (MFA users only)
    Electronic eBook
  5. 205
  6. 206

    Adult Programs in the Library. by Lear, Brett W.

    Published 2002
    Table of Contents: “…FIGURES; PREFACE; ACKNOWLEDGMENTS; INTRODUCTION; PART 1 Your Itinerary; PART 2 A Collection of Five-Star Programs; RESOURCE DIRECTORY; INDEX.…”
    Full text (MFA users only)
    Electronic eBook
  7. 207

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

    Published 2005
    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)
    Electronic eBook
  8. 208

    Trends in Functional Programming. by Van Eekelen, Marko

    Published 2007
    Subjects: “…Computer programming.…”
    Full text (MFA users only)
    Electronic eBook
  9. 209

    Trends in Functional Programming. by Nilsson, Henrik

    Published 2007
    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)
    Electronic eBook
  10. 210

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

    Published 1967
    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)
    Electronic eBook
  11. 211

    Component-oriented programming / by Wang, Andy Ju An

    Published 2005
    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)
    Electronic eBook
  12. 212

    Essential programming for linguistics / by Weisser, Martin

    Published 2009
    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)
    Electronic eBook
  13. 213

    NOAA's education program : review and critique /

    Published 2010
    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)
    Electronic eBook
  14. 214

    Real Time Programming : Languages, Specification And Verification.

    Published 2009
    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)
    Electronic eBook
  15. 215

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

    Published 2004
    Subjects: “…Java (Computer program language)…”
    Full text (MFA users only)
    Electronic eBook
  16. 216

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

    Published 2011
    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)
    Electronic eBook
  17. 217
  18. 218

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

    Published 2011
    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)
    Electronic eBook
  19. 219

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

    Published 2010
    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)
    Electronic eBook
  20. 220

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

    Published 2006
    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)
    Electronic eBook