Arama Sonuçları - program execution https function design https

1

Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Programming Method Based on Structural Analysis and Design Technique -- Approximating Horn Knowledge Bases...”
Tam Metin Erişim

Elektronik Ekitap

2

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
Tam Metin Erişim

Elektronik Ekitap

3

Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, September 29- October 4, 2013, Proceedings /

Baskı/Yayın Bilgisi 2013

İçindekiler: “... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...”
Tam Metin Erişim

Elektronik Ekitap

4

Certified Programs and Proofs Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings /

Baskı/Yayın Bilgisi 2012

İçindekiler: “... in Computer-Aided Cryptography: Proofs, Attacks and Designs -- Program Certification by Higher-Order Model...”
Tam Metin Erişim

Elektronik Ekitap

5

Linear Genetic Programming

Yazar: Brameier, Markus F., Brameier, Markus F., Banzhaf, Wolfgang.
Baskı/Yayın Bilgisi 2007

İçindekiler: “...Fundamental Analysis -- Basic Concepts of Linear Genetic Programming -- Characteristics...”
Tam Metin Erişim

Elektronik Ekitap

6

Correct Hardware Design and Verification Methods 13th IFIP WG 10.5Advanced Research, Working...

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...”
Tam Metin Erişim

Elektronik Ekitap

7

Web Programming with PHP and MySQL A Practical Guide /

Yazar: Bramer, Max., Bramer, Max.
Baskı/Yayın Bilgisi 2015

İçindekiler: “... -- Some Important Functions -- Formatted Print Functions -- Using Files -- User-Defined Functions...”
Tam Metin Erişim

Elektronik Ekitap

8

Interactive Systems. Design, Specification, and Verification 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Modeling with UsiXML -- Designing Graphical Elements for Cognitively Demanding Activities: An Account...”
Tam Metin Erişim

Elektronik Ekitap

9

Task Models and Diagrams for Users Interface Design 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006, Revised Papers /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... for Pattern-Driven and Model-Based UI Development -- Pattern-Based UI Design: Adding Rigor with User...”
Tam Metin Erişim

Elektronik Ekitap

10

Autonomic Computing Principles, Design and Implementation /

Yazar: Lalanda, Philippe., Lalanda, Philippe., McCann, Julie A., Diaconescu, Ada.
Baskı/Yayın Bilgisi 2013

İçindekiler: “... for Autonomic Computing -- Autonomic Computing Architectures -- The Monitoring Function -- The Adaptation...”
Tam Metin Erişim

Elektronik Ekitap

11

Multicore Systems On-Chip: Practical Software/Hardware Design

Yazar: Ben Abdallah, Abderazek., Ben Abdallah, Abderazek.
Baskı/Yayın Bilgisi 2013

İçindekiler: “...Introduction to Multicore Systems On-Chip -- Multicore SoCs Design Methods -- Multicore SoC...”
Tam Metin Erişim

Elektronik Ekitap

12

Food Safety Management Implementing a Food Safety Program in a Food Retail Business /

Yazar: King, Hal., King, Hal.
Baskı/Yayın Bilgisi 2013

İçindekiler: “...Introduction.- The Food Safety Management Team.- The Food Safety Management Program -- Systems...”
Tam Metin Erişim

Elektronik Ekitap

13

Objects, Models, Components, Patterns 48th International Conference, TOOLS 2010, Málaga, Spain, June 28 - July 2, 2010, Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Functionality and Usage -- Loosely-Coupled Distributed Reactive Programming in Mobile Ad Hoc Networks...”
Tam Metin Erişim

Elektronik Ekitap

14

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

Baskı/Yayın Bilgisi 2007

İçindekiler: “... in Distributed Component-Based Software -- A Study of Execution Environments for Software Components...”
Tam Metin Erişim

Elektronik Ekitap

15

Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 /

Baskı/Yayın Bilgisi 2012

İçindekiler: “... -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component...”
Tam Metin Erişim

Elektronik Ekitap

16

Abstract Computing Machines A Lambda Calculus Perspective /

Yazar: Kluge, Werner., Kluge, Werner.
Baskı/Yayın Bilgisi 2005

İçindekiler: “...Algorithms and Programs -- An Algorithmic Language -- The ?-Calculus -- The se(m)cd Machine...”
Tam Metin Erişim

Elektronik Ekitap

17

High-Level Verification Methods and Tools for Verification of System-Level Designs /

Yazar: Kundu, Sudipta., Kundu, Sudipta., Lerner, Sorin., Gupta, Rajesh K.
Baskı/Yayın Bilgisi 2011

İçindekiler: “...Introduction -- Related Work -- Background -- Execution-based Model Checking for High-Level Designs...”
Tam Metin Erişim

Elektronik Ekitap

18

Languages and Compilers for Parallel Computing 22nd International Workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009, Revised Selected Papers /

Baskı/Yayın Bilgisi 2010

İçindekiler: “...A Communication Framework for Fault-Tolerant Parallel Execution -- The STAPL pList -- Hardware...”
Tam Metin Erişim

Elektronik Ekitap

19

Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of...

Baskı/Yayın Bilgisi 2010

İçindekiler: “...Invited Talks -- Embedded Systems Design — Scientific Challenges and Work Directions -- Antichain...”
Tam Metin Erişim

Elektronik Ekitap

20

Formal Aspects of Component Software 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers /

Baskı/Yayın Bilgisi 2012

İçindekiler: “... -- Bigraphical Modelling of Architectural Patterns -- Coordinated Execution of Heterogeneous Service-Oriented...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt