Arama Sonuçları - integrated evaluation programming programming constructs https

Şunu mu demek istediniz:
programming programming » programming programmed , programming program
evaluation programming » evaluating programming , evolution programming , variation programming
programming constructs » programming concepts , programming contest
integrated evaluation » interfaces evaluation , integrated production , integrated navigation
constructs https » construction https , constructs loops , constructs arti

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Normalization by Evaluation for the ??-Calculus of Constructions -- Defunctionalized Interpreters for Call...”
Tam Metin Erişim

Elektronik Ekitap

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /

Baskı/Yayın Bilgisi 2013

İçindekiler: “...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”
Tam Metin Erişim

Elektronik Ekitap

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: “... into Isabelle -- Experimental Evaluation of Classical Automata Constructions -- Automatic Validation...”
Tam Metin Erişim

Elektronik Ekitap

Development and Evaluation of Positive Adolescent Training through Holistic Social Programs (P.A.T.H.S.)

Baskı/Yayın Bilgisi 2013

İçindekiler: “... P.A.T.H.S.:An integration of findings based on program implementers -- 11 Qualitative evaluation...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “... of ?-Calculus Systems -- Easy Parameterized Verification of Biphase Mark and 8N1 Protocols -- Evaluating...”
Tam Metin Erişim

Elektronik Ekitap

Integrated Circuit Test Engineering Modern Techniques /

Yazar: Grout, Ian A., Grout, Ian A.
Baskı/Yayın Bilgisi 2006

İçindekiler: “...to Integrated Circuit Test Engineering -- Fabrication Processes for Integrated Circuits -- Digital...”
Tam Metin Erişim

Elektronik Ekitap

New Modeling Concepts for Today's Software Processes International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Framework and Software Infrastructure for the Construction of Software Production Methods -- Software...”
Tam Metin Erişim

Elektronik Ekitap

Integrated Uncertainty Management and Applications

Baskı/Yayın Bilgisi 2010

İçindekiler: “...Keynote and Invited Talks -- Interval-Based Models for Decision Problems -- On Choquet Integral...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Cardinality for Finite Fuzzy Sets -- Choquet-Integral-Based Evaluations by Fuzzy Rules: Methods for Developing...”
Tam Metin Erişim

Elektronik Ekitap

Advances in Integrated Design and Manufacturing in Mechanical Engineering II

Baskı/Yayın Bilgisi 2007

İçindekiler: “...Plenary Talks -- Supporting Participative Joint Decisions in Integrated Design and Manufacturing...”
Tam Metin Erişim

Elektronik Ekitap

Evolvable Systems: From Biology to Hardware 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008, Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Systems Using Genetic Programming -- Self-Adaptive Networked Entities for Building Pervasive Computing...”
Tam Metin Erişim

Elektronik Ekitap

Agent-Oriented Software Engineering V 5th International Workshop, AOSE 2004, New York, NY, USA, July 2004, Revised Selected Papers /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... of Situated Agents -- Evaluation of Agent–Oriented Software Methodologies – Examination of the Gap Between...”
Tam Metin Erişim

Elektronik Ekitap

Advances in Conceptual Modeling – Applications and Challenges ER 2010 Workshops ACM-L, CMLSA, CMS, DE@ER, FP-UML, SeCoGIS, WISM, Vancouver, BC, Canada, November 1-4, 2010, Proceedi...

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Workshop on Conceptual Modelling of Service (CMS 2010) -- Modeling Support for Service Integration -- A...”
Tam Metin Erişim

Elektronik Ekitap

On the Move to Meaningful Internet Systems: OTM 2010 Confederated International Conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Crete, Greece, October 25-29, 1010, Proceeding...

Baskı/Yayın Bilgisi 2010

İçindekiler: “...: Preferences and Attitudes for Advanced Information Provision -- Annotations -- Integrating Keywords...”
Tam Metin Erişim

Elektronik Ekitap

Software Process Change International Software Process Workshop and International Workshop on Software Process Simulation and Modeling, SPW/ProSim 2006, Shanghai, China, May 20-21,...

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Process Relationship -- Assessing 3-D Integrated Software Development Processes: A New Benchmark...”
Tam Metin Erişim

Elektronik Ekitap

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”
Tam Metin Erişim

Elektronik Ekitap

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Hybrid Register File Architecture -- Model Based Performance Evaluation for MPI Programs -- Runtime...”
Tam Metin Erişim

Elektronik Ekitap

High Confidence Software Reuse in Large Systems 10th International Conference on Software Reuse, ICSR 2008, Bejing, China, May 25-29, 2008 /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Behavior for Reuse Evaluation -- Product Line -- Combining Different Product Line Models to Balance Needs...”
Tam Metin Erişim

Elektronik Ekitap

Wireless Algorithms, Systems, and Applications Third International Conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008, Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Networks -- Construction of Minimum Connected Dominating Set in 3-Dimensional Wireless Network...”
Tam Metin Erişim

Elektronik Ekitap

Innovations in Computing Sciences and Software Engineering

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Based Approach for Optimal Clustering of Distributed Program's Call Flow Graph -- Fuzzy Adaptive Swarm...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt