Rezultaty - iterative selection program program constructing https

Inne możliwości wyszukiwania:
program constructing » program construction , diagram constructing , programs conducting
iterative selection » interactive selection , iterative detection , negative selection
constructing https » construction https , consulting https , constructing better
selection program » selection programs , selection programme , detection program
program program » programs program , programming program

Mathematics of Program Construction 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings /

Wydane 2008

Spis treści: “...Exploiting Unique Fixed Points -- Scrap Your Type Applications -- Programming with Effects in Coq...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint...

Wydane 2014

Spis treści: “... Construction of Program Representations for Sparse Dataflow Analyses -- Inter-iteration Scalar Replacement...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Compiler Construction 15th International Conference, CC 2006, Held as Part of the Joint European...

Wydane 2006

Spis treści: “...Invited Talk -- Using Dependent Types to Port Type Systems to Low-Level Languages -- Program...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference...

Wydane 2013

Spis treści: “... Preserving Interpolation -- Asynchronous Multi-core Incremental SAT Solving -- Model-Checking Iterated Games...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference...

Wydane 2005

Spis treści: “... -- Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking -- Simulation-Based...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization...

Wydane 2008

Spis treści: “...Invited Talks -- Airline Scheduling: Accomplishments, Opportunities and Challenges -- Selected...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Languages and Compilers for Parallel Computing 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers /

Wydane 2005

Spis treści: “... Communication Only Placements and Their Use for Parallel Program Construction -- Hierarchical Parallelism...”
Dokumenty pełnotekstowe

Elektroniczne E-book

High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers /

Wydane 2007

Spis treści: “... Discontinuous Viscosities -- The Impact of Parallel Programming Models on the Performance of Iterative Linear...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Dynamics of Civil Structures, Volume 2 Proceedings of the 33rd IMAC, A Conference and Exposition on Structural Dynamics, 2015 /

Wydane 2015

Spis treści: “... approach for damage detection and classification -- Iterative spatial compressive sensing strategy...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers /

Wydane 2005

Spis treści: “... -- Computational Simulation of Categorical Constructions -- Composing Transitions into Transactions in UML Diagrams...”
Dokumenty pełnotekstowe

Elektroniczne E-book

LATIN 2010: Theoretical Informatics 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010, Proceedings /

Wydane 2010

Spis treści: “... of Multiplication -- Modelling the LLL Algorithm by Sandpiles -- Communication-Efficient Construction of the Plane...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Advances in Artificial Intelligence: Theories, Models, and Applications 6th Hellenic Conference on AI, SETN 2010, Athens, Greece, May 4-7, 2010. Proceedings /

Wydane 2010

Spis treści: “... Selection Strategies for Constraint Satisfaction Problems -- A Feasibility Study on Low Level Techniques...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Applications of Evolutionary Computing Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /

Wydane 2005

Spis treści: “... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Engineering Human Computer Interaction and Interactive Systems Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers /

Wydane 2005

Spis treści: “... Modeling – A ”Constructive” Exploration -- DynaMo-AID: A Design Process and a Runtime Architecture...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Abstraction, Reformulation and Approximation 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings /

Wydane 2005

Spis treści: “...Full Papers -- Verifying the Incorrectness of Programs and Automata -- Generating Admissible...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Advanced Techniques in Computing Sciences and Software Engineering

Wydane 2010

Spis treści: “... algorithm for Wireless Mesh Network -- Investigations into Implementation of an Iterative Feedback Tuning...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Information Security Applications 8th International Workshop, WISA 2007, Jeju Island, Korea, August 27-29, 2007, Revised Selected Papers /

Wydane 2007

Spis treści: “... -- Convertible Undeniable Proxy Signatures: Security Models and Efficient Construction -- Secret Signatures: How...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Fast Software Encryption 13th International Workshop, FSE 2006, Graz, Austria, March 15-17, 2006, Revised Selected Papers /

Wydane 2006

Spis treści: “... the ICE – Finding Multicollisions in Iterated Concatenated and Expanded (ICE) Hash Functions -- Proposals...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings /

Wydane 2008

Spis treści: “... for NC k -- Extensional Uniformity for Boolean Circuits -- Pure Pointer Programs with Iteration...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Information Computing and Applications, Part II International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II /

Wydane 2010

Spis treści: “... -- Research on the Optimal Transit Route Selection Model and Automatic Inquiry System -- Optimal Control...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty