Zoekresultaten - program ((python https) OR (method https)) classical java https

1

Computational Physics Simulation of Classical and Quantum Systems /

door Scherer, Philipp., Scherer, Philipp.
Gepubliceerd in 2013

Inhoudsopgave: “...Part I Numerical Methods -- Error Analysis -- Interpolation -- Numerical Differentiation...”
Volledige tekst

Elektronisch E-boek

2

Computational Physics Simulation of Classical and Quantum Systems /

door Scherer, Philipp O.J., Scherer, Philipp O.J.
Gepubliceerd in 2010

Inhoudsopgave: “...Numerical Methods -- Error Analysis -- Interpolation -- Numerical Differentiation -- Numerical...”
Volledige tekst

Elektronisch E-boek

3

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

Gepubliceerd in 2005

Inhoudsopgave: “... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”
Volledige tekst

Elektronisch E-boek

4

Automated Reasoning 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings /

Gepubliceerd in 2008

Inhoudsopgave: “... -- Linear Quantifier Elimination -- Quantitative Separation Logic and Programs with Lists -- On Automating...”
Volledige tekst

Elektronisch E-boek

5

The Algorithm Design Manual

door Skiena, Steven S., Skiena, Steven S.
Gepubliceerd in 2008

Inhoudsopgave: “... and Heuristic Methods -- Dynamic Programming -- Intractable Problems and Approximation Algorithms -- How...”
Volledige tekst

Elektronisch E-boek

6

Compiler Construction 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, Marc...

Gepubliceerd in 2008

Inhoudsopgave: “...: Resurrecting the Classical Call Strings Method -- Java Bytecode Verification for @NonNull Types -- Efficient...”
Volledige tekst

Elektronisch E-boek

7

Software Engineering Techniques: Design for Quality

Gepubliceerd in 2007

Inhoudsopgave: “... -- An Integrated Regression Testing Framework to Multi-Threaded Java Programs -- DynAlloy as a Formal Method...”
Volledige tekst

Elektronisch E-boek

8

Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings /

Gepubliceerd in 2007

Inhoudsopgave: “... System of Classical Higher Order Logic with Second Order Polymorphism -- Building Formal Method Tools...”
Volledige tekst

Elektronisch E-boek

9

Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings /

Gepubliceerd in 2010

Inhoudsopgave: “... -- Refinement-Animation for Event-B — Towards a Method of Validation -- Reactivising Classical B -- Event-B...”
Volledige tekst

Elektronisch E-boek

10

Innovations and Advances in Computer, Information, Systems Sciences, and Engineering

Gepubliceerd in 2013

Inhoudsopgave: “... BA Program -- Comparing Two Methods of Sound Spatialization: Vector-Based Amplitude Panning vs...”
Volledige tekst

Elektronisch E-boek

11

Nature Inspired Cooperative Strategies for Optimization (NICSO 2007)

Gepubliceerd in 2008

Inhoudsopgave: “... -- Probabilistically Guided Prefix Gene Expression Programming -- Flocking-based Document Clustering on the Graphics...”
Volledige tekst

Elektronisch E-boek

12

Computer Networks & Communications (NetCom) Proceedings of the Fourth International Conference on Networks & Communications /

Gepubliceerd in 2013

Inhoudsopgave: “... Method -- Comparison of SPIHT, Classical and Adaptive Lifting Scheme for Compression of Satellite...”
Volledige tekst

Elektronisch E-boek

Verfijnd zoeken