Hakutulokset - iterative selective programmed program ((constructing https) OR (construction https))

Tarkoititko:
selective programmed » electron programmed , selected programmes , medicine programmed
iterative selective » iterative selection , iterative collective , interactive selection
programmed program » programmes programme , programming program , programs program
constructing https » consulting https , constructing better , instruction https
construction https » instruction https , conservation https , construction history

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

Julkaistu 2008

Sisällysluettelo: “...Exploiting Unique Fixed Points -- Scrap Your Type Applications -- Programming with Effects in Coq...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2014

Sisällysluettelo: “... Construction of Program Representations for Sparse Dataflow Analyses -- Inter-iteration Scalar Replacement...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2006

Sisällysluettelo: “...Invited Talk -- Using Dependent Types to Port Type Systems to Low-Level Languages -- Program...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2013

Sisällysluettelo: “... Preserving Interpolation -- Asynchronous Multi-core Incremental SAT Solving -- Model-Checking Iterated Games...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2005

Sisällysluettelo: “... -- Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking -- Simulation-Based...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2008

Sisällysluettelo: “...Invited Talks -- Airline Scheduling: Accomplishments, Opportunities and Challenges -- Selected...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2015

Sisällysluettelo: “... approach for damage detection and classification -- Iterative spatial compressive sensing strategy...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2005

Sisällysluettelo: “... Communication Only Placements and Their Use for Parallel Program Construction -- Hierarchical Parallelism...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2007

Sisällysluettelo: “... Discontinuous Viscosities -- The Impact of Parallel Programming Models on the Performance of Iterative Linear...”
Hae kokoteksti

Elektroninen E-kirja

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 /

Julkaistu 2005

Sisällysluettelo: “... -- Computational Simulation of Categorical Constructions -- Composing Transitions into Transactions in UML Diagrams...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2010

Sisällysluettelo: “... of Multiplication -- Modelling the LLL Algorithm by Sandpiles -- Communication-Efficient Construction of the Plane...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2010

Sisällysluettelo: “... Selection Strategies for Constraint Satisfaction Problems -- A Feasibility Study on Low Level Techniques...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2005

Sisällysluettelo: “... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2005

Sisällysluettelo: “... Modeling – A ”Constructive” Exploration -- DynaMo-AID: A Design Process and a Runtime Architecture...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2005

Sisällysluettelo: “...Full Papers -- Verifying the Incorrectness of Programs and Automata -- Generating Admissible...”
Hae kokoteksti

Elektroninen E-kirja

Advanced Techniques in Computing Sciences and Software Engineering

Julkaistu 2010

Sisällysluettelo: “... algorithm for Wireless Mesh Network -- Investigations into Implementation of an Iterative Feedback Tuning...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2008

Sisällysluettelo: “... for NC k -- Extensional Uniformity for Boolean Circuits -- Pure Pointer Programs with Iteration...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2006

Sisällysluettelo: “... the ICE – Finding Multicollisions in Iterated Concatenated and Expanded (ICE) Hash Functions -- Proposals...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2007

Sisällysluettelo: “... -- Convertible Undeniable Proxy Signatures: Security Models and Efficient Construction -- Secret Signatures: How...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2010

Sisällysluettelo: “... -- Research on the Optimal Transit Route Selection Model and Automatic Inquiry System -- Optimal Control...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua