Arama Sonuçları - constructability method https functional programs https

1

An Introduction to Meshfree Methods and Their Programming

Yazar: Liu, G.R., Liu, G.R., Gu, Y.T.
Baskı/Yayın Bilgisi 2005

İçindekiler: “...Fundamentals -- Overview of Meshfree Methods -- Meshfree Shape Function Construction -- Meshfree...”
Tam Metin Erişim

Elektronik Ekitap

2

A Beginner's Guide to Scala, Object Orientation and Functional Programming

Yazar: Hunt, John., Hunt, John.
Baskı/Yayın Bilgisi 2014

İçindekiler: “... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
Tam Metin Erişim

Elektronik Ekitap

3

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference...

Baskı/Yayın Bilgisi 2015

İçindekiler: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Tam Metin Erişim

Elektronik Ekitap

4

Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers /

Baskı/Yayın Bilgisi 2010

Konular: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Tam Metin Erişim

Elektronik Ekitap

5

DNA Cloning and Assembly Methods

Baskı/Yayın Bilgisi 2014

İçindekiler: “...BioBrick Assembly Standards and Techniques and Associated Software Tools -- Plasmid Construction...”
Tam Metin Erişim

Elektronik Ekitap

6

Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods...

Baskı/Yayın Bilgisi 2008

İçindekiler: “...: An Experiment of Formal Methods -- Correct Channel Passing by Construction -- Semantics -- A Process Semantics...”
Tam Metin Erişim

Elektronik Ekitap

7

Stochastic Control Theory Dynamic Programming Principle /

Yazar: Nisio, Makiko., Nisio, Makiko.
Baskı/Yayın Bilgisi 2015

Konular: “...Functional Analysis. https://scigraph.springernature.com/ontologies/product-market-codes/M12066...”
Tam Metin Erişim

Elektronik Ekitap

8

Genetic Programming 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings /

Baskı/Yayın Bilgisi 2015

İçindekiler: “... -- Evolutionary Methods for the Construction of Cryptographic Boolean Functions -- TEMPLAR – A Framework...”
Tam Metin Erişim

Elektronik Ekitap

9

Programming Logics Essays in Memory of Harald Ganzinger /

Baskı/Yayın Bilgisi 2013

İçindekiler: “...Harald Ganzinger’s Legacy: Contributions to Logics and Programming -- Bio-Logics: Logical Analysis...”
Tam Metin Erişim

Elektronik Ekitap

10

Java Methods for Financial Engineering Applications in Finance and Investment /

Yazar: Barker, Philip., Barker, Philip.
Baskı/Yayın Bilgisi 2007

İçindekiler: “... -- The Binomial Model -- Analytical Option Pricing Methods -- Sensitivity Measures (The ‘Greeks’) -- Interest Rate...”
Tam Metin Erişim

Elektronik Ekitap

11

Leveraging Applications of Formal Methods, Verification and Validation Third International...

Baskı/Yayın Bilgisi 2008

İçindekiler: “...-Service Construction -- Applications of Formal Approaches to Service-Oriented Computing -- A Use-Case...”
Tam Metin Erişim

Elektronik Ekitap

12

Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Specialisation of Horn Clauses -- ESOP Invited Talk -- Constructive Mathematics and Functional Programming...”
Tam Metin Erişim

Elektronik Ekitap

13

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... and Efficiency -- Newton’s Method for ?-Continuous Semirings -- Track B: Logic, Semantics, and Theory...”
Tam Metin Erişim

Elektronik Ekitap

14

Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Scheduling on Unrelated Machines -- Session A2 -- Estimating Sum by Weighted Sampling -- Sampling Methods...”
Tam Metin Erişim

Elektronik Ekitap

15

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I /

Baskı/Yayın Bilgisi 2008

İçindekiler: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
Tam Metin Erişim

Elektronik Ekitap

16

Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013...

Baskı/Yayın Bilgisi 2014

İçindekiler: “...Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification...”
Tam Metin Erişim

Elektronik Ekitap

17

Computational Methods

Baskı/Yayın Bilgisi 2006

İçindekiler: “... MLPG METHOD -- APPLICATION OF HIGH ORDER BASIS FUNCTIONS IN SOLID MECHANICS BY ELEMENT FREE GALERKIN...”
Tam Metin Erişim

Elektronik Ekitap

18

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium...

Baskı/Yayın Bilgisi 2010

İçindekiler: “... -- Formal Languages and Methods for Designing and Verifying Complex Embedded Systems -- Thematic Track...”
Tam Metin Erişim

Elektronik Ekitap

19

Correct Hardware Design and Verification Methods 13th IFIP WG 10.5Advanced Research, Working...

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...”
Tam Metin Erişim

Elektronik Ekitap

20

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt