Search Results - programs containing https function changes https

Search alternatives:
programs containing » programs maintaining , programs combining , programs concerning
containing https » containing herpes , containing crops , containing his
function changes » function change , functional changes , function charles
https function » its function , sites function , ups function
changes https » change https , change http , changes his

Programs, Proofs, Processes 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings /

Published 2010

Table of Contents: “...Avoiding Simplicity Is Complex -- Higher-Order Containers -- On the Completeness of Quantum...”
View full text

Electronic eBook

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

Published 2008

Table of Contents: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
View full text

Electronic eBook

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

Published 2013

Table of Contents: “... Programming -- Belief Change in Nonmonotonic Multi-Context Systems -- On optimal solutions of answer set...”
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

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

Published 2010

Table of Contents: “... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”
View full text

Electronic eBook

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: “... -- Redesign of Organizations as a Basis for Organizational Change -- MODELLING AND ANALYZING INSTITUTIONS...”
View full text

Electronic eBook

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

Advanced Statistical Methods for the Analysis of Large Data-Sets

Published 2012

Table of Contents: “... (Marino M., Palumbo F., Tortora C.) -- Clustering geostatistical functional data (Romano E., Verde R...”
View full text

Electronic eBook

Simulation-based Algorithms for Markov Decision Processes

by Chang, Hyeong Soo., Chang, Hyeong Soo., Fu, Michael C., Hu, Jiaqiao., Marcus, Steven I.
Published 2007

Subjects: “...Operations Research/Decision Theory. https://scigraph.springernature.com/ontologies/product-market...”
View full text

Electronic eBook

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

Published 2013

Subjects: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
View full text

Electronic eBook

Logics in Artificial Intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings /

Published 2014

Table of Contents: “... -- Opportunities for Argument-Centric Persuasion in Behaviour Change -- The Fuzzy Description Logic G-FL0...”
View full text

Electronic eBook

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

Pro C# 2005 and the .NET 2.0 Platform

by Troelsen, Andrew., Troelsen, Andrew.
Published 2005

Table of Contents: “...# Programming Language -- C# Language Fundamentals -- Object-Oriented Programming with C# 2.0 -- Understanding...”
View full text

Electronic eBook

UML Modeling Languages and Applications <<UML>> 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers /

Published 2005

Table of Contents: “... Engineering (WiSME’2004) -- Open Issues in Industrial Use Case Modeling -- Models for Non-functional Aspects...”
View full text

Electronic eBook

Membrane Computing 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers /

Published 2015

Table of Contents: “... -- Dynamically Changing Environment for Generalized Communicating P Systems -- Spiking Neural P Systems...”
View full text

Electronic eBook

Simulation and Inference for Stochastic Differential Equations With R Examples /

by Iacus, Stefano M., Iacus, Stefano M.
Published 2008

Subjects: “...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

Advanced Techniques in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
View full text

Electronic eBook

Graph Transformations 5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings /

Published 2010

Table of Contents: “... Specifications -- Saturated LTSs for Adhesive Rewriting Systems -- A Hoare Calculus for Graph Programs -- Session...”
View full text

Electronic eBook

Computer Science -- Theory and Applications 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings /

Published 2015

Table of Contents: “... Precise Ranking Functions for Deterministic Size-Change Systems....”
View full text

Electronic eBook

Information Computing and Applications, Part II International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II /

Published 2010

Table of Contents: “... Compatibility -- An Improved Text Retrieval Algorithm Based on Suffix Tree Similarity Measure -- Land-Use Change...”
View full text

Electronic eBook

Narrow Search