Search Results - program specification program functionality adding https

Search alternatives:
program specification » programs specifications , program specialization , program verification
specification program » specifications program , verification program , purification program
program functionality » protein functionality , programs functional , supra functionality
functionality adding » functionality using , functionality amino , functionality setting
adding https » aging https , auditing https , banking https

Functional Magnetic Resonance Imaging Processing

by Li, Xingfeng., Li, Xingfeng.
Published 2014

Table of Contents: “... -- Activation detection: model free and model based methods -- Models for hemodynamic response function...”
View full text

Electronic eBook

Dependable Systems: Software, Computing, Networks Research Results of the DICS Program /

Published 2006

Table of Contents: “... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”
View full text

Electronic eBook

Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programming /

by Kormanyos, Christopher., Kormanyos, Christopher.
Published 2015

Table of Contents: “... with a Real-Time C++ Program on a Board -- 3 An Easy Jump-Start in Real-Time C++ -- 4 Object-Oriented...”
View full text

Electronic eBook

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

Published 2010

Table of Contents: “... Functionality and Usage -- Loosely-Coupled Distributed Reactive Programming in Mobile Ad Hoc Networks...”
View full text

Electronic eBook

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: “...-Functional MDA Framework -- Information Preserving Bidirectional Model Transformations -- Activity-Driven...”
View full text

Electronic eBook

Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers /

Published 2010

Table of Contents: “... -- Typing Asymmetric Client-Server Interaction -- Equational Reasoning on Ad Hoc Networks -- Towards a...”
View full text

Electronic eBook

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: “... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...”
View full text

Electronic eBook

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Published 2008

Table of Contents: “...Invited Talks -- Architecture Based Specification and Verification of Embedded Software Systems...”
View full text

Electronic eBook

Innovations in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “... Specifications for a Document Management Assistant -- Towards a Spatial-Temporal Processing Model -- Structure...”
View full text

Electronic eBook

Pro Microsoft Speech Server 2007 Developing Speech Enabled Applications with .NET /

by Dunn, Andrew., Dunn, Andrew.
Published 2007

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

Electronic eBook

Recent Advances in Algorithmic Differentiation

Published 2012

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

Electronic eBook

Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings /

Published 2005

Table of Contents: “... Functions -- Fast Generic Model-Checking for Data-Based Systems -- Logic and Model Checking for Hidden...”
View full text

Electronic eBook

Computer Science and Its Applications 5th IFIP TC 5 International Conference, CIIA 2015, Saida, Algeria, May 20-21, 2015, Proceedings /

Published 2015

Table of Contents: “...Binary Bat Algorithm: On the Efficiency of Mapping Functions When Handling Binary Problems Using...”
View full text

Electronic eBook

Rule Representation, Interchange and Reasoning on the Web International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings /

Published 2008

Table of Contents: “... Representation Languages and Reasoning Engines -- On Extending RuleML for Modal Defeasible Logic -- Adding...”
View full text

Electronic eBook

Service-Oriented Computing - ICSOC 2006 4th International Conference, Chicago, IL, USA, December 4-7, Proceedings /

Published 2006

Table of Contents: “... Preference Specifications for Application Sessions -- Mobile Ad Hoc Services: Semantic Service Discovery...”
View full text

Electronic eBook

Micro-Econometrics Methods of Moments and Limited Dependent Variables /

by Lee, Myoung-jae., Lee, Myoung-jae.
Published 2010

Subjects: “...Statistics for Business, Management, Economics, Finance, Insurance. https...”
View full text

Electronic eBook

Numerical Mathematics

by Quarteroni, Alfio., Quarteroni, Alfio., Sacco, Riccardo., Saleri, Fausto.
Published 2007

Table of Contents: “... -- III Around Functions and Functionals -- 6 Rootfinding for Nonlinear Equations -- 7 Nonlinear Systems...”
View full text

Electronic eBook

Acid Rain - Deposition to Recovery

Published 2007

Table of Contents: “... in Sulfate and Ammonium in US Precipitation: Results from the National Atmospheric Deposition Program...”
View full text

Electronic eBook

Introduction to Network Simulator NS2

by Issariyakul, Teerawat., Issariyakul, Teerawat., Hossain, Ekram.
Published 2012

Table of Contents: “...) -- Application: User Demand Indicator -- Wireless Mobile Ad Hoc Networks -- Developing New Modules for NS2...”
View full text

Electronic eBook

SOFSEM 2007: Theory and Practice of Computer Science 33nd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, P...

Published 2007

Table of Contents: “... Software Architecture for Shared Resource Management in Mobile Ad Hoc Networks -- Compressed Prefix Sums...”
View full text

Electronic eBook

Narrow Search