Zoekresultaten - program john https function structures https

1

Adapting Proofs-as-Programs The Curry--Howard Protocol /

door Poernomo, Iman., Poernomo, Iman., Crossley, John N., Wirsing, Martin.
Gepubliceerd in 2005

Inhoudsopgave: “...Prologue -- Generalizing Proofs-as-Programs -- Functional Program Synthesis -- The Curry-Howard...”
Volledige tekst

Elektronisch E-boek

2

Languages and Compilers for Parallel Computing 22nd International Workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009, Revised Selected Papers /

Gepubliceerd in 2010

Inhoudsopgave: “... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”
Volledige tekst

Elektronisch E-boek

3

Scala Design Patterns Patterns for Practical Reuse and Design /

door Hunt, John., Hunt, John.
Gepubliceerd in 2013

Inhoudsopgave: “... – Code Reuse Patterns -- Lazy Parameters -- Partially Applied Functions -- Trait Based Template Operation...”
Volledige tekst

Elektronisch E-boek

4

Pro JavaScript Techniques

door Resig, John., Resig, John.
Gepubliceerd in 2007

Inhoudsopgave: “...Introducing Modern JavaScript -- Modern JavaScript Programming -- Professional JavaScript...”
Volledige tekst

Elektronisch E-boek

5

A Primer on Scientific Programming with Python

door Langtangen, Hans Petter., Langtangen, Hans Petter.
Gepubliceerd in 2014

Inhoudsopgave: “...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Volledige tekst

Elektronisch E-boek

6

Validated Designs for Object-oriented Systems

door Fitzgerald, John., Fitzgerald, John., Larsen, Peter Gorm., Mukherjee, Paul., Plat, Nico., Verhoef, Marcel.
Gepubliceerd in 2005

Inhoudsopgave: “... -- Modelling Object-oriented Systems in VDM++ -- Defining Data -- Defining Functionality -- Modelling Unordered...”
Volledige tekst

Elektronisch E-boek

7

Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008, Proceedings /

Gepubliceerd in 2008

Inhoudsopgave: “... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...”
Volledige tekst

Elektronisch E-boek

8

Ovarian Cancer Methods and Protocols /

Gepubliceerd in 2001

Onderwerpen: “...Oncology. https://scigraph.springernature.com/ontologies/product-market-codes/H33160...”
Volledige tekst

Elektronisch E-boek

9

Restoring Disturbed Landscapes Putting Principles into Practice /

door Tongway, David J., Tongway, David J., Ludwig, John.
Gepubliceerd in 2011

Inhoudsopgave: “...Foreword -- Preface -- Acknowledgments -- PART I: A Function-Based Approach to Restoring Disturbed...”
Volledige tekst

Elektronisch E-boek

10

Cellular Senescence and Tumor Suppression

Gepubliceerd in 2010

Inhoudsopgave: “... -- Chromatin Structure in Senescent Cells -- A Comparison of Senescence in Mouse and Human Cells...”
Volledige tekst

Elektronisch E-boek

11

Plant Immunity Methods and Protocols /

Gepubliceerd in 2011

Inhoudsopgave: “... Complementation and Co-Immunoprecipitation Assays for Understanding R Protein Structure and Function...”
Volledige tekst

Elektronisch E-boek

12

Formal Techniques for Networked and Distributed Systems - FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings /

Gepubliceerd in 2007

Inhoudsopgave: “... Programs -- State Isomorphism in Model Programs with Abstract Data Structures -- Composition of Model...”
Volledige tekst

Elektronisch E-boek

13

Discrete Mathematics Using a Computer

door O'Donnell, John., O'Donnell, John., Hall, Cordelia., Page, Rex.
Gepubliceerd in 2006

Inhoudsopgave: “...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...”
Volledige tekst

Elektronisch E-boek

14

Factors Influencing Mammalian Kidney Development: Implications for Health in Adult Life

door Moritz, Karen., Moritz, Karen., Wintour-Coghlan, E. Marelyn., Black, M. Jane., Bertram, John F., Caruana, Georgina.
Gepubliceerd in 2008

Inhoudsopgave: “... of Function in the Fetus -- Nephron Endowment -- Developmental Programming of the Kidney -- Future Directions....”
Volledige tekst

Elektronisch E-boek

15

Enterprise, Business-Process and Information Systems Modeling 11th International Workshop, BPMDS 2010, and 15th International Conference, EMMSAD 2010, held at CAiSE 2010, Hammamet,...

Gepubliceerd in 2010

Inhoudsopgave: “... Modeling Approach -- EMMSAD 2010 -- An Indexing Structure for Maintaining Configurable Process Models -- A...”
Volledige tekst

Elektronisch E-boek

16

System Modeling and Optimization Proceedings of the 21st IFIP TC7 Conference held in July 21st - 25th, 2003, Sophia Antipolis, France /

Gepubliceerd in 2005

Inhoudsopgave: “... Rounding and Related Problems with Application to Digital Halftoning -- Nonlinear Programming: Algorithms...”
Volledige tekst

Elektronisch E-boek

17

Logical Approaches to Computational Barriers Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings /

Gepubliceerd in 2006

Inhoudsopgave: “... and Structures -- Prefix-Like Complexities and Computability in the Limit -- Partial Continuous Functions...”
Volledige tekst

Elektronisch E-boek

18

Computer Science -- Theory and Applications First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings /

Gepubliceerd in 2006

Inhoudsopgave: “...-Symmetric Graphs: Algorithms and Structure -- Inductive Type Schemas as Functors -- Unfolding Synthesis...”
Volledige tekst

Elektronisch E-boek

19

Remote Sensing Modeling and Applications to Wildland Fires

Gepubliceerd in 2013

Inhoudsopgave: “...Research Needs and Programs -- Introduction of Wildland Fires -- Introduction of Joint Fire Science...”
Volledige tekst

Elektronisch E-boek

20

Image and Video Retrieval 5th Internatinoal Conference, CIVR 2006, Tempe, AZ, USA, July 13-15, 2006, Proceedings /

Gepubliceerd in 2006

Inhoudsopgave: “... -- Hierarchical Hidden Markov Model for Rushes Structuring and Indexing -- Retrieving Objects Using Local Integral...”
Volledige tekst

Elektronisch E-boek

Verfijnd zoeken