Search Results - integration functional programs program changing https

1

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

Published 2006

Table of Contents: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
View full text

Electronic eBook

2

Inductive Logic Programming 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers /

Published 2007

Table of Contents: “...Invited Papers -- Actions, Causation and Logic Programming -- Challenges to Machine Learning...”
View full text

Electronic eBook

3

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

Published 2013

Table of Contents: “...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”
View full text

Electronic eBook

4

Integrated Assessment of Water Resources and Global Change A North-South Analysis /

Published 2007

Table of Contents: “... scarcity including virtual water trading -- Water footprints of nations: Water use by people as a function...”
View full text

Electronic eBook

5

Food Engineering: Integrated Approaches

Published 2008

Table of Contents: “... and Potential Food Applications -- Consequences of Matrix Structural Changes on Functional Stability of Enzymes...”
View full text

Electronic eBook

6

Mathematics of Energy and Climate Change International Conference and Advanced School Planet Earth, Portugal, March 21-28, 2013 /

Published 2015

Table of Contents: “... Alves -- 2 Impacts of Vaccination and Behavior Change In The Optimal Intervention Strategy...”
View full text

Electronic eBook

7

Textpattern Solutions PHP-Based Content Management Made Easy /

by Lindley, Cody., Lindley, Cody., Potts, Kevin., Sable, Robert., Smith, Roderick., Fredborg, Mary.
Published 2007

Subjects: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

8

Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms

by Kogel, Tim., Kogel, Tim., Leupers, Rainer., Meyr, Heinrich.
Published 2006

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text

Electronic eBook

9

Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007, Proceedings /

Published 2007

Table of Contents: “...Component-Based Architectures and Change -- Data Encapsulation in Software Components -- Binary...”
View full text

Electronic eBook

10

Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007...

Published 2007

Table of Contents: “... -- An Approach to Software Evolution Based on Semantic Change -- A Simulation-Oriented Formalization for a...”
View full text

Electronic eBook

11

Systems, Software and Services Process Improvement 17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010. Proceedings /

Published 2010

Table of Contents: “... Process Areas spEcification -- Requirement Changes and Project Success: The Moderating Effects of Agile...”
View full text

Electronic eBook

12

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

Published 2014

Table of Contents: “... Acid Receptors in Inducing Epigenetic Changes -- RARs and micro RNAs -- Integrative genomics to dissect...”
View full text

Electronic eBook

13

Reuse of Off-the-Shelf Components 9th International Conference on Software Reuse, ICSR 2006, Torino, Italy, June 12-15, 2006, Proceedings /

Published 2006

Table of Contents: “...COTS Selection, Integration -- A Goal-Oriented Strategy for Supporting Commercial Off-the-Shelf...”
View full text

Electronic eBook

14

Coordination, Organizations, Institutions, and Norms in Agent Systems II AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del...

Published 2007

Table of Contents: “... Organizations -- Integrating Trust in Virtual Organisations -- Coordinating Tasks in Agent Organizations...”
View full text

Electronic eBook

15

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

Published 2010

Table of Contents: “... to Summarise Data Streams and Highlight Anomalous Changes -- Using Enriched Ontology Structure for Improving...”
View full text

Electronic eBook

16

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

Published 2005

Table of Contents: “...: A Case-Study with Organisations -- Enacting and Deacting Roles in Agent Programming -- A Platform...”
View full text

Electronic eBook

17

Software Architecture 4th European Conference , ECSA 2010, Copenhagen, Denmark, August 23-26, 2010, Proceedings /

Published 2010

Table of Contents: “... for Dynamic Reconfiguration in Service-Oriented Architectures -- Integrating Requirements and Design Decisions...”
View full text

Electronic eBook

18

Assurances for Self-Adaptive Systems Principles, Models, and Techniques /

Published 2013

Table of Contents: “... -- Emerging Techniques for the Engineering of Self Adaptive High-Integrity Software -- Assurance of Self...”
View full text

Electronic eBook

19

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2...

Published 2010

Table of Contents: “... Graphs -- Maintaining XML Data Integrity in Programs -- Improving Classification Performance with Focus...”
View full text

Electronic eBook

20

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Published 2014

Table of Contents: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
View full text

Electronic eBook

Narrow Search