Результаты поиска - ((section computational) or (functions computation)) programming modeling methods tools*

1

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

Оглавление: “... CLUSTERING METHOD -- ACTIVATING IRREGULAR DIMENSIONS IN OLAP -- A NEW COMPUTATIONAL METHOD OF INTERSECTION...”
Полный текст

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

2

Emotion Modeling Towards Pragmatic Computational Models of Affective Processes /

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

Оглавление: “...From Habits to Standards: Towards Systematic Design of Emotion Models and Affective Architectures...”
Полный текст

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

3

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

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

Оглавление: “... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”
Полный текст

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

4

Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods...

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

Оглавление: “... of Region-Based Memory Management for Object-Oriented Paradigm -- Program Models for Compositional...”
Полный текст

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

5

Modeling Decisions for Artificial Intelligence 5th International Conference, MDAI 2008, Sabadell, Spain, October 30-31, 2008, Proceedings /

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

Оглавление: “... Operations -- WOWA Enhancement of the Preference Modeling in the Reference Point Method -- Uninorms and Non...”
Полный текст

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

6

Computational Processing of the Portuguese Language 7th International Workshop, PROPOR 2006, Itatiaia, Brazil, May 13-17, 2006, Proceedings /

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

Оглавление: “... and Syllable Information in European Portuguese Grapheme-Phone Conversion -- A Model to Computational Speech...”
Полный текст

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

7

Regression Modeling Strategies With Applications to Linear Models, Logistic and Ordinal Regression, and Survival Analysis /

по Harrell , Jr., Frank E., Harrell , Jr., Frank E.
Опубликовано 2015

Оглавление: “...Introduction -- General Aspects of Fitting Regression Models -- Missing Data -- Multivariable...”
Полный текст

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

8

Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013...

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

Оглавление: “...Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification...”
Полный текст

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

9

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques...

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

Оглавление: “... for Concurrent Objects with Cooperative Scheduling -- Fault Model Design Space for Cooperative Concurrency...”
Полный текст

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

10

Agile Processes in Software Engineering and Extreme Programming 9th International Conference, XP 2008, Limerick, Ireland, June 10-14, 2008, Proceedings /

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

Оглавление: “... -- Adaptation of Agile -- Method Configuration: The eXtreme Programming Case -- Adopting Agile in a Large...”
Полный текст

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

11

Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings /

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

Оглавление: “... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”
Полный текст

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

12

Recent Advances in Parallel Virtual Machine and Message Passing Interface 15th European PVM/MPI Users' Group Meeting, Dublin, Ireland, September 7-10, 2008, Proceedings /

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

Оглавление: “... -- MPI and Hybrid Programming Models for Petascale Computing -- Some Aspects of Message-Passing on Future...”
Полный текст

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

13

Modeling of Curves and Surfaces with MATLAB®

по Rovenski, Vladimir., Rovenski, Vladimir.
Опубликовано 2010

Оглавление: “...Functions and Transformations -- Functions and Graphs -- Rigid Motions (Isometries) -- Affine...”
Полный текст

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

14

MATLAB Matrix Algebra

по Lopez, Cesar., Lopez, Cesar.
Опубликовано 2014

Предметы: “...Programming languages (Electronic computers)....”
Полный текст

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

15

Systems, Software and Services Process Improvement 17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010. Proceedings /

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

Оглавление: “... to Support the Teaching/Learning Process of Software Process Reference Models -- Harnessing ISO/IEC 12207...”
Полный текст

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

16

Statistical Analysis and Data Display An Intermediate Course with Examples in R /

по Heiberger, Richard M., Heiberger, Richard M., Holland, Burt.
Опубликовано 2015

Предметы: “...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...”
Полный текст

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

17

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

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

Оглавление: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Полный текст

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

18

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings /

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

Оглавление: “... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”
Полный текст

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

19

Product-Focused Software Process Improvement 9th International Conference, PROFES 2008, Monte Porzio Catone, Italy, June 23-25, 2008, Proceedings /

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

Оглавление: “... -- The Effect of Entity Generalization on Software Functional Sizing: A Case Study -- Towards a Capability Model...”
Полный текст

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

20

Hardware and Software: Verification and Testing 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers /

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

Оглавление: “... of Probabilistic Cloud Deployment Patterns -- Interpolation-Based Function Summaries in Bounded Model Checking...”
Полный текст

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

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