Search Results for Semantics.

103 sonuç bulundu

Tümünü Seç

1 2 3 4 5 .. 9

000000000000DEFAULTTR

Refinement Semantics, Languages and Applications

Yazar

Derrick, John. author.

https://doi.org/10.1007/978-3-319-92711-4

Format:

Electronic Resources

Alıntı:

Refinement Semantics, Languages and Applications / Derrick, John. author.

Concrete Semantics With Isabelle/HOL

Yazar

Nipkow, Tobias. author.

http://dx.doi.org/10.1007/978-3-319-10542-0

Format:

Electronic Resources

Alıntı:

Concrete Semantics With Isabelle/HOL / Nipkow, Tobias. author.

Semantics of Probabilistic Processes An Operational Approach

Yazar

Deng, Yuxin. author.

http://dx.doi.org/10.1007/978-3-662-45198-4

Format:

Electronic Resources

Alıntı:

Semantics of Probabilistic Processes An Operational Approach / Deng, Yuxin. author.

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ı:

Programming Languages and Operational Semantics A Concise Overview / Fernández, Maribel. author.

Generalized Jeffrey Conditionalization A Frequentist Semantics of Partial Conditionalization

Yazar

Draheim, Dirk. author.

https://doi.org/10.1007/978-3-319-69868-7

Format:

Electronic Resources

Alıntı:

Generalized Jeffrey Conditionalization A Frequentist Semantics of Partial Conditionalization /

Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semantics

Yazar

Majkić, Zoran. author.

http://dx.doi.org/10.1007/978-3-319-04156-8

Format:

Electronic Resources

Alıntı:

Semantics / Majkić, Zoran. author.

Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

Yazar

Probst, Christian W. editor.

http://dx.doi.org/10.1007/978-3-319-27810-0

Format:

Electronic Resources

Alıntı:

Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the

Programming Languages and Systems 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings

Yazar

Feng, Xinyu. editor.

http://dx.doi.org/10.1007/978-3-319-26529-2

Format:

Electronic Resources

Alıntı:

, Hoare logic and types, functional programming and semantics, model checking, program analysis, medley

Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings

Yazar

Legay, Axel. editor.

http://dx.doi.org/10.1007/978-3-319-10512-3

Format:

Electronic Resources

Alıntı:

topics of foundations and semantics; comparison between different models, such as timed automata, timed

10.

Towards Paraconsistent Engineering

Yazar

Akama, Seiki. editor.

http://dx.doi.org/10.1007/978-3-319-40418-9

Format:

Electronic Resources

Alıntı:

-- Programming with Annotated Logics -- A Review on Rough Sets and Possible World Semantics for Modal Logics

11.

Foundational and Practical Aspects of Resource Analysis 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers

Yazar

van Eekelen, Marko. editor.

http://dx.doi.org/10.1007/978-3-319-46559-3

Format:

Electronic Resources

Alıntı:

energy augmented semantics of programs -- Call-by-value, Elementary Time and Intersection Types

12.

Mathematics of Program Construction 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings

Yazar

Hinze, Ralf. editor.

http://dx.doi.org/10.1007/978-3-319-19797-5

Format:

Electronic Resources

Alıntı:

typical areas are type systems, program analysis and transformation, programming-language semantics

Tümünü Seç

1 2 3 4 5 .. 9

103 sonuç bulundu

	{displayName}	{count}
{error}