Search Results - interaction without program compositional program https*

Search alternatives:
program compositional » program composition , program computational , problem compositional
compositional program » composition programs , computational program , compositional problems
interaction without » intersections without , intervention without , interaction within
without program » without programming
program https » programs https , program has , program help

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Published 2008

Table of Contents: “... or TST? -- Quo Vadis Answer Set Programming? -- Answer Set Programming without Unstratified Negation...”
View full text

Electronic eBook

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II /

Published 2008

Table of Contents: “... -- Interacting Quantum Observables -- Perpetuality for Full and Safe Composition (in a Constructive Setting) -- A...”
View full text

Electronic eBook

Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever /

Published 2010

Table of Contents: “...A Bibliography of Willem-Paul de Roever -- Playing Savitch and Cooking Games -- Compositionality...”
View full text

Electronic eBook

Integrated Formal Methods 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings /

Published 2005

Table of Contents: “..., Compositional, and On-The-Fly Verification Methods -- Chunks: Component Verification in CSP ? B -- Session...”
View full text

Electronic eBook

FM 2006: Formal Methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings /

Published 2006

Table of Contents: “...Invited Talk -- The Embedded Systems Design Challenge -- Interactive Verification -- The Mondex...”
View full text

Electronic eBook

CONCUR 2007 - Concurrency Theory 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings /

Published 2007

Table of Contents: “... Analysis of Programs with Thread-Creation and Procedures -- Automatic Derivation of Compositional Rules...”
View full text

Electronic eBook

CONCUR 2005 - Concurrency Theory 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings /

Published 2005

Table of Contents: “... of Exposing Calls and Returns -- A Compositional Approach to the Stochastic Dynamics of Gene Networks...”
View full text

Electronic eBook

Learn OpenGL ES For Mobile Game and Graphics Development /

by Mehta, Prateek., Mehta, Prateek.
Published 2013

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

Electronic eBook

Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /

Published 2008

Table of Contents: “...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...”
View full text

Electronic eBook

Handbook of Partial Least Squares Concepts, Methods and Applications /

Published 2010

Table of Contents: “... by Endo- and Exo-LPLS Regression -- Regression Modelling Analysis on Compositional Data -- APPLICATIONS...”
View full text

Electronic eBook

FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings /

Published 2014

Table of Contents: “... Interaction Models -- Log Analysis for Data Protection Accountability -- Automatic Compositional Synthesis...”
View full text

Electronic eBook

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings /

Published 2014

Table of Contents: “... for GAP -- SgpDec: Cascade (De)Compositions of Finite Transformation Semigroups and Permutation Groups...”
View full text

Electronic eBook

Security in Pervasive Computing Third International Conference, SPC 2006, York, UK, April 18-21, 2006, Proceedings /

Published 2006

Table of Contents: “...Invited Talk -- Trust Without Identification -- Protocols -- Constant-Round Password-Based Group...”
View full text

Electronic eBook

Digital Libraries: Achievements, Challenges and Opportunities 9th International Conference on Asian Digial Libraries, ICADL 2006, Kyoto, Japan, November 27-30, 2006, Proceedings /

Published 2006

Table of Contents: “... Information from Digital Document Archives -- Topic Structure Mining Using PageRank Without Hyperlinks...”
View full text

Electronic eBook

Autonomic and Trusted Computing 7th International Conference, ATC 2010, Xi'an, China, October 26-29, 2010, Proceedings /

Published 2010

Table of Contents: “... in Smart Cameras -- A Formal Framework for Compositional Verification of Organic Computing Systems...”
View full text

Electronic eBook

Technologies for E-Services 5th International Workshop, TES 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers /

Published 2005

Table of Contents: “... -- : A Tool for Automatic Composition of e-Services Based on Logics of Programs -- Dynamically Self...”
View full text

Electronic eBook

Advances in Cryptology – EUROCRYPT 2006 25th International Conference on the Theory and Applications of Cryptographic Techniques, St. Petersburg, Russia, May 28 - June 1, 2006, Pro...

Published 2006

Table of Contents: “... Reductions Between Oblivious Transfers Using Interactive Hashing -- Oblivious Transfer Is Symmetric...”
View full text

Electronic eBook

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

Published 2015

Table of Contents: “... identification through camera video -- Interactive platform to include human-Structure interaction effects...”
View full text

Electronic eBook

Advances in Artificial Intelligence and Its Applications 12th Mexican International Conference, MICAI 2013, Mexico City, Mexico, November 24-30, 2013, Proceedings, Part I /

Published 2013

Table of Contents: “... Interpolation Framework for First-Order Theories -- Dalal’s Revision without Hamming Distance -- Default...”
View full text

Electronic eBook

Alcohol, Nutrition, and Health Consequences

Published 2013

Table of Contents: “... composition -- Alcohol Nutrition and health inequalities -- The effect of diet on protein modification...”
View full text

Electronic eBook

Narrow Search