Результаты поиска - processing implications program functionality from https

1

Agile Processes in Software Engineering and Extreme Programming 15th International Conference, XP 2014, Rome, Italy, May 26-30, 2014, Proceedings /

Опубликовано 2014

Оглавление: “... to Support Continuous Integration: A Multiple Case Study -- Comparing a Hybrid Testing Process with Scripted...”
Полный текст

Электронный ресурс eКнига

2

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

Опубликовано 2008

Оглавление: “... -- History-Independent Cuckoo Hashing -- Building a Collision-Resistant Compression Function from Non...”
Полный текст

Электронный ресурс eКнига

3

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International...

Опубликовано 2010

Оглавление: “... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...”
Полный текст

Электронный ресурс eКнига

4

New Aspects of Axonal Structure and Function

Опубликовано 2010

Оглавление: “... and Their Significance for Axonal Function -- New Insights in Information Processing in the Axon -- Electrical Coupling...”
Полный текст

Электронный ресурс eКнига

5

Scalable Optimization via Probabilistic Modeling From Algorithms to Applications /

Опубликовано 2006

Оглавление: “... Algorithms -- A Survey of Probabilistic Model Building Genetic Programming -- Efficiency Enhancement...”
Полный текст

Электронный ресурс eКнига

6

Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings /

Опубликовано 2007

Оглавление: “...Invited Papers -- Refactoring Using Type Constraints -- Programming Language Design and Analysis...”
Полный текст

Электронный ресурс eКнига

7

International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings /

Опубликовано 2007

Оглавление: “... -- Implication-Based Approximating Bounded Model Checking -- Logical Bisimulations and Functional Languages...”
Полный текст

Электронный ресурс eКнига

8

Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings /

Опубликовано 2010

Оглавление: “...-Valued Semantics -- Solving the Implication Problem for XML Functional Dependencies with Properties...”
Полный текст

Электронный ресурс eКнига

9

Computational Intelligence for Knowledge-Based System Design 13th IPMU Conference, Dortmund, Germany, June 28 - July 2, 2010. Proceedings /

Опубликовано 2010

Оглавление: “... Aggregation Functions and Their Derived S-Implications -- Aggregation Functions with Stronger Types...”
Полный текст

Электронный ресурс eКнига

10

Applied Demography in the 21st Century Selected Papers from the Biennial Conference on Applied Demography, San Antonio, Teas, Januara 7-9, 2007 /

Опубликовано 2008

Оглавление: “... in Anchorage, Alaska: Policy Implications -- Dispersion of Registered Death Causes as a Function of Age...”
Полный текст

Электронный ресурс eКнига

11

Foundations of Augmented Cognition Third International Conference, FAC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings /

Опубликовано 2007

Оглавление: “...: Implications for Sustaining Aviator Performance -- Exploring Calibration Techniques for Functional Near...”
Полный текст

Электронный ресурс eКнига

12

Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings /

Опубликовано 2008

Оглавление: “... and Limiting Ratio of Boolean Functions over Implication -- Succinctness of Regular Expressions...”
Полный текст

Электронный ресурс eКнига

13

Research and Advanced Technology for Digital Libraries 14th European Conference, ECDL 2010, Glasgow, UK, September 6-10, 2010, Proceedings /

Опубликовано 2010

Оглавление: “... -- Cooperative Work in DLs -- Examining Group Work: Implications for the Digital Library as Sharium...”
Полный текст

Электронный ресурс eКнига

14

HCI and Usability for Medicine and Health Care Third Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2007 Gra...

Опубликовано 2007

Оглавление: “... Practices and Implications for Electronic Patient Record Design -- Ambient Assisted Living and Life Long...”
Полный текст

Электронный ресурс eКнига

15

Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings /

Опубликовано 2014

Оглавление: “... implication as encryption -- Processing Succinct Matrices and Vectors -- Constraint Satisfaction with Counting...”
Полный текст

Электронный ресурс eКнига

16

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

Опубликовано 2008

Оглавление: “... Conversational Agents -- A Functional Spreadsheet Framework for Authoring Logic Implication Rules -- RuleML-2008...”
Полный текст

Электронный ресурс eКнига

17

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings /

Опубликовано 2014

Оглавление: “... -- Implicational Rewriting Tactics in HOL -- A Heuristic Prover for Real Inequalities -- A Formal Library...”
Полный текст

Электронный ресурс eКнига

18

Human Benefit through the Diffusion of Information Systems Design Science Research IFIP WG 8.2/8.6 International Working Conference, Perth, Australia, March 30 - April 1, 2010, Pro...

Опубликовано 2010

Оглавление: “...: Implications for Creating Knowledge -- The Design and Engineering of Mobile Data Services: Developing...”
Полный текст

Электронный ресурс eКнига

19

Computer Safety, Reliability, and Security 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010, Proceedings /

Опубликовано 2010

Оглавление: “... Measurement for Reactor Protection System Software Implemented in Function Block Diagram -- Session 6...”
Полный текст

Электронный ресурс eКнига

20

Apoptosome An up-and-coming therapeutical tool /

Опубликовано 2010

Оглавление: “...? -- Apoptosome Pharmacological Manipulation: From Current Developments in the Laboratory to Clinical Implications...”
Полный текст

Электронный ресурс eКнига

Сужение результатов поиска