Søgeresultater - interactive identification programming program contracts https

Søg alternativer:
interactive identification » interaction identification , iterative identification , interactions identification
identification programming » identification programmes , specification programming , verification programming
programming program » programming programmed , programming problem , programming problems
program contracts » programme contract , program abstracts , program controls
https » http

Fundamental Approaches to Software Engineering 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 20...

Udgivet 2005

Indholdsfortegnelse: “... Understanding via Interactive, Tailorable, Source Code Analysis -- Kaveri: Delivering the Indus Java Program...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”
Få fuldtekst

Electronisk eBog

Coordination, Organizations, Institutions, and Norms in Agent Systems V COIN 2009 International Workshops: COIN@AAMAS 2009 Budapest, Hungary, May 2009, COIN@IJCAI 2009, Pasadena, U...

Udgivet 2010

Indholdsfortegnelse: “... Organisation Programming Language for Organisation Management Infrastructures -- Social Norms and Semantics...”
Få fuldtekst

Electronisk eBog

Electrical Engineering and Applied Computing

Udgivet 2011

Indholdsfortegnelse: “... Identification Using Genetic Algorithms -- 2. Sequential State Computation Using Discrete Modeling -- 3...”
Få fuldtekst

Electronisk eBog

Information Systems Development Asian Experiences /

Udgivet 2011

Indholdsfortegnelse: “... and Negative Examples on Object Modeling -- Part 2 IS/IT Project Management -- A Social Contract for University...”
Få fuldtekst

Electronisk eBog

Sodium Calcium Exchange: A Growing Spectrum of Pathophysiological Implications Proceedings of the 6th International Conference on Sodium Calcium Exchange /

Udgivet 2013

Indholdsfortegnelse: “..., and Diabetes -- 30. Cardiac Sodium-Calcium Exchange and Efficient Excitation-Contraction Coupling: Implications...”
Få fuldtekst

Electronisk eBog

Mathematical and Statistical Methods for Actuarial Sciences and Finance

Udgivet 2014

Indholdsfortegnelse: “... for the valuation of unit-linked contracts embedding a surrender option (A.R. Bacinello, P. Millossovich, A...”
Få fuldtekst

Electronisk eBog

The Semantic Web: Research and Applications 4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007, Proceedings /

Udgivet 2007

Indholdsfortegnelse: “... Deductive Systems for RDF -- Semantic Web Services -- Web Service Contracting: Specification and Reasoning...”
Få fuldtekst

Electronisk eBog

Research and Development in Intelligent Systems XXX Incorporating Applications and Innovations in Intelligent Systems XXI Proceedings of AI-2013, The Thirty-third SGAI Internationa...

Udgivet 2013

Indholdsfortegnelse: “... to Multi-Player Game Playing -- Anytime Contract Search -- Diagnosing Dependent Action Delays in Temporal...”
Få fuldtekst

Electronisk eBog

Intelligent Data Engineering and Automated Learning - IDEAL 2005 6th International Conference, Brisbane, Australia, July 6-8, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... -- Identification of Anomalous SNMP Situations Using a Cooperative Connectionist Exploratory Projection Pursuit...”
Få fuldtekst

Electronisk eBog

Emerging Technologies for Information Systems, Computing, and Management

Udgivet 2013

Indholdsfortegnelse: “... -- P-Hub Airline Network Design Incorporating Interaction Between Elastic Demand and Network Structure...”
Få fuldtekst

Electronisk eBog

New Trends in Networking, Computing, E-learning, Systems Sciences, and Engineering

Udgivet 2015

Indholdsfortegnelse: “... Techniques to the Identification of Phases in Steel Metallographic Specimens -- Requirement And Interaction...”
Få fuldtekst

Electronisk eBog

Digital Enterprise Technology Perspectives and Future Challenges /

Udgivet 2007

Indholdsfortegnelse: “... Smes -- Production Monitoring Linked To Object Identification And Tracking– A Step Towards Real Time...”
Få fuldtekst

Electronisk eBog

Proceedings of International Conference on Computer Science and Information Technology CSAIT 2013, September 21-23, 2013, Kunming, China /

Udgivet 2014

Indholdsfortegnelse: “... with Spatially Adapted Parameter Selection -- Research of Vehicle Identification Based on Adaptive Corner...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning