Search Results for Family.

6 sonuç bulundu

Tümünü Seç

000000DEFAULTTR

Programming Languages and Operational Semantics A Concise Overview

Yazar

Fernández, Maribel. author.

http://dx.doi.org/10.1007/978-1-4471-6368-8

Format:

Electronic Resources

Alıntı:

. Following a general description of each family of languages, their semantics are studied using abstract

A Polynomial Translation of Mobile Ambients into Safe Petri Nets Understanding a Calculus of Hierarchical Protection Domains

Yazar

Göbel, Susanne. author.

http://dx.doi.org/10.1007/978-3-658-11765-8

Format:

Electronic Resources

Alıntı:

and practice. While devoting most of her free time to her family she still finds time to work as women

Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Yazar

Gnesi, Stefania. editor.

http://dx.doi.org/10.1007/978-3-642-54804-8

Format:

Electronic Resources

Alıntı:

Systems -- Family-Based Performance Analysis of Variant-Rich Software Systems -- Touch Cost: Cost Analysis

Fundamental Approaches to Software Engineering 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Yazar

Stevens, Perdita. editor.

http://dx.doi.org/10.1007/978-3-662-49665-7

Format:

Electronic Resources

Alıntı:

Self-Adaptive Systems -- Family-Based Modeling and Analysis for Probabilistic Systems – Featuring ProFeat

Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi

Yazar

Iida, Shusaku. editor.

http://dx.doi.org/10.1007/978-3-642-54624-2

Format:

Electronic Resources

Alıntı:

k-ary Grid Graph Models of Tabular Forms -- Everlasting Challenges with the OBJ Language Family

Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday

Yazar

Lutz, Carsten. editor.

https://doi.org/10.1007/978-3-030-22102-7

Format:

Electronic Resources

Alıntı:

Reason with E-Matchers? -- Pseudo-contractions as gentle repairs -- FunDL: A Family of Feature-Based

Tümünü Seç

6 sonuç bulundu

	{displayName}	{count}
{error}