Rezultaty - program structures progress function using https

1

Progress in Artificial Intelligence 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilha, Portugal, December 5-8, 2005, Proceedings /

Wydane 2005

Spis treści: “... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...”
Dokumenty pełnotekstowe

Elektroniczne E-book

2

The Biochemistry of Retinoic Acid Receptors I: Structure, Activation, and Function at the Molecular Level

Wydane 2014

Spis treści: “... retinoids functions -- Complexity of the RAR‐Mediated Transcriptional Regulatory Programs -- Index....”
Dokumenty pełnotekstowe

Elektroniczne E-book

3

Progress in Cryptology - INDOCRYPT 2004 5th International Conference on Cryptology in India, Chennai, India, December 20-22, 2004, Proceedings /

Wydane 2005

Spis treści: “...-Synchronizing Stream Ciphers -- Algebraic Attacks over GF(q) -- Cryptographic Boolean Functions -- Results...”
Dokumenty pełnotekstowe

Elektroniczne E-book

4

Progress in Pattern Recognition, Image Analysis and Applications 11th Iberoamerican Congress...

Wydane 2006

Spis treści: “... Translucency Using Dynamic Programming -- A Method for Detection and Modeling of the Human Spine Based...”
Dokumenty pełnotekstowe

Elektroniczne E-book

5

Linear Genetic Programming

od Brameier, Markus F., Brameier, Markus F., Banzhaf, Wolfgang.
Wydane 2007

Spis treści: “...Fundamental Analysis -- Basic Concepts of Linear Genetic Programming -- Characteristics...”
Dokumenty pełnotekstowe

Elektroniczne E-book

6

Languages and Compilers for Parallel Computing 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers /

Wydane 2006

Spis treści: “... Multiplication with a Classifier Learning System -- A Language for the Compact Representation of Multiple Program...”
Dokumenty pełnotekstowe

Elektroniczne E-book

7

Discrete Mathematics Using a Computer

od O'Donnell, John., O'Donnell, John., Hall, Cordelia., Page, Rex.
Wydane 2006

Spis treści: “...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...”
Dokumenty pełnotekstowe

Elektroniczne E-book

8

Topological Aspects of Nonsmooth Optimization

od Shikhman, Vladimir., Shikhman, Vladimir.
Wydane 2012

Spis treści: “...Preface. -Notation -- Introduction -- Mathematical Programming Problems with Complementarity...”
Dokumenty pełnotekstowe

Elektroniczne E-book

9

Recent Advances in Parallel Virtual Machine and Message Passing Interface 15th European PVM/MPI Users' Group Meeting, Dublin, Ireland, September 7-10, 2008, Proceedings /

Wydane 2008

Spis treści: “... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”
Dokumenty pełnotekstowe

Elektroniczne E-book

10

The LLL Algorithm Survey and Applications /

Wydane 2010

Spis treści: “... -- The LLL Algorithm and Integer Programming -- Using LLL-Reduction for Solving RSA and Factorization...”
Dokumenty pełnotekstowe

Elektroniczne E-book

11

Topics in the Theory of Chemical and Physical Systems Proceedings of the 10th European Workshop on Quantum Systems in Chemistry and Physics held at Carthage, Tunisia, in September...

Wydane 2007

Spis treści: “... and nuclear motion: Towards a practical implementation using literate programming methods -- Renormalized...”
Dokumenty pełnotekstowe

Elektroniczne E-book

12

Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings /

Wydane 2005

Spis treści: “... Relaxation and Semidefinite Programming -- Numerical Abstraction -- Scalable Analysis of Linear Systems Using...”
Dokumenty pełnotekstowe

Elektroniczne E-book

13

Computing and Combinatorics 13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007, Proceedings /

Wydane 2007

Spis treści: “... Approach for Reconstructing Phylogenetic Trees: Quartet Joining Method -- Integer Programming Formulations...”
Dokumenty pełnotekstowe

Elektroniczne E-book

14

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part...

Wydane 2010

Spis treści: “... of Speakers by Name Using Belief Functions -- Constructing Multiple Frames of Discernment for Multiple...”
Dokumenty pełnotekstowe

Elektroniczne E-book

15

High-Performance Computing 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advance Low Power Systems, ALPS 2006, Revised...

Wydane 2008

Spis treści: “... Architecture -- A Scalable Methodology for Computing Fault-Free Paths in InfiniBand Torus Networks -- Using a...”
Dokumenty pełnotekstowe

Elektroniczne E-book

16

Beginning C# 2008 From Novice to Professional /

od Gross, Christian., Gross, Christian.
Wydane 2008

Spis treści: “... Multithreading -- Using Relational Databases -- Learning About LINQ -- Writing Functional Code in C# -- C# Odds...”
Dokumenty pełnotekstowe

Elektroniczne E-book

17

Swarm, Evolutionary, and Memetic Computing First International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2010, Chennai, India, December 16-18, 2010, Proceedi...

Wydane 2010

Spis treści: “... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...”
Dokumenty pełnotekstowe

Elektroniczne E-book

18

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

Wydane 2012

Spis treści: “... Progressively Refining Discretization- Optimization Methods for Optimal Control Problems Defined by Ordinary...”
Dokumenty pełnotekstowe

Elektroniczne E-book

19

Advances in Computer Systems Architecture 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007, Proceedings /

Wydane 2007

Spis treści: “... Processor Architecture Using Asynchronous Function Units -- A Bypass Mechanism to Enhance Branch Predictor...”
Dokumenty pełnotekstowe

Elektroniczne E-book

20

Cellular Automata and Groups

od Ceccherini-Silberstein, Tullio., Ceccherini-Silberstein, Tullio., Coornaert, Michel.
Wydane 2010

Spis treści: “... -- Linear Cellular Automata -- Nets and the Tychonoff Product Theorem -- Uniform Structures -- Symmetric...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty