Zaloguj się

Gotowe bibliografie tematyczne / Separation logic / Książki

Kliknij ten link, aby zobaczyć inne rodzaje publikacji na ten temat: Separation logic.

Książki na temat „Separation logic”

Autor: Grafiati

Data publikacji: 4 czerwca 2021

Data aktualizacji: 25 maja 2024

Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych

Wybierz rodzaj źródła:

Sprawdź 17 najlepszych książek naukowych na temat „Separation logic”.

Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.

Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.

Przeglądaj książki z różnych dziedzin i twórz odpowiednie bibliografie.

1

Winterstein, Felix. Separation Logic for High-level Synthesis. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-53222-6.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

2

Feldman, Daniel L. The logic of American government: Applying the Constitution to the contemporary world. New York: Morrow, 1990.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

3

Logics of separation: Exile and transcendence in aesthetic modernity. New York: Peter Lang, 2010.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

4

Stone-Richards, Michael. Logics of separation: Exile and transcendence in aesthetic modernity. New York: Peter Lang, 2010.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

5

Masella, Maria Grazia. Dall'altare al tribunale: Per una nuova logica della separazione. Milano: Feltrinelli, 2003.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

6

Andrichenko, Lyudmila, A. Postnikov, L. Vasil'eva, Zh Gaunova, E. Nikitina, and Inna Plyugina. Reform of the organization of public power: the main directions of implementation. ru: INFRA-M Academic Publishing LLC., 2021. http://dx.doi.org/10.12737/1839416.

Pełny tekst źródła

Streszczenie:

The monograph examines topical issues of reforming the organization of public power in our country in connection with the adoption in 2020 of the Law on Amendments to the Constitution of the Russian Federation. The logic of changes in the organization of public power and the directions of concretization of constitutional values, taking into account the laws of the development of the constitutional system of Russia, are revealed. The most significant characteristics of the updated model of interaction of federal public authorities in accordance with the principle of separation of powers a

Style APA, Harvard, Vancouver, ISO itp.

7

Winterstein, Felix. Separation Logic for High-level Synthesis. Springer, 2018.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

8

Winterstein, Felix. Separation Logic for High-level Synthesis. Springer, 2017.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

9

de Figueiredo, Rui J. P., Tonja Jacobi, and Barry R. Weingast. The New Separation‐of‐Powers Approach to American Politics. Edited by Donald A. Wittman and Barry R. Weingast. Oxford University Press, 2009. http://dx.doi.org/10.1093/oxfordhb/9780199548477.003.0011.

Pełny tekst źródła

Streszczenie:

This article aims to elaborate on the logic of the new separation-of-powers approach and draw its implications for American politics. The first three sections in the article discuss the new separation of powers as it applies to the bureaucracy, the courts, and the presidency. A survey of a series of works that emphasize the new separation-of-powers approach to American politics is provided in the article as well.

Style APA, Harvard, Vancouver, ISO itp.

10

Westphal, James, and Sun Hyun Park. Symbolic Management. Oxford University Press, 2020. http://dx.doi.org/10.1093/oso/9780198792055.001.0001.

Pełny tekst źródła

Streszczenie:

This book presents the symbolic management perspective as a comprehensive, behavioral theory of corporate governance. It describes a pervasive pattern of symbolic decoupling, or separation between appearances and reality, at each level of the governance system. The processes of governance are less efficient or effective than they appear, at every level: from interpersonal relations within organizations, such as relations between chief executive officers and directors and between top managers and lower-level employees, between firm leaders and external stakeholders, and between communities of l

Style APA, Harvard, Vancouver, ISO itp.

11

Stone-Richards, Michael. Logics of Separation: Exile and Transcendence in Aesthetic Modernity. Lang AG International Academic Publishers, Peter, 2011.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

12

Li, Peter Ping. The Epistemology of Yin-Yang Balancing as the Root of Chinese Cultural Traditions. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780199348541.003.0002.

Pełny tekst źródła

Streszczenie:

Most Eastern traditional philosophies, such as Taoism, from China, share a set of core themes that constitute a philosophy of wisdom (science–art integration), in contrast to Western philosophies with a focus on knowledge (science–art separation). This chapter argues that the epistemological system of yin-yang balancing is the root of Eastern culture traditions. Building on this theme, the chapter elaborates on the unique features of yin-yang balancing, in contrast to Aristotle’s formal logic and Hegel’s dialectics in the West. It is posited that yin-yang balancing is more sophisticated (rathe

Style APA, Harvard, Vancouver, ISO itp.

13

Jaffro, Laurent. Locke and Port-Royal on Affirmation, Negation, and Other Postures of the Mind. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198815037.003.0011.

Pełny tekst źródła

Streszczenie:

The chapter claims that in order to understand Locke’s doctrine of assent, his philosophy of mind needs to be seen in conjunction with his philosophy of language, which in turn gains from being compared with Port-Royal’s logic and grammar. It points out two conflicting facts in Locke’s account of affirmation and negation in the Essay. First, Locke entrusts affirmation and negation with the task of signifying both the assertion by which we manifest our assent to a proposition and the junction or separation of the ideas constituting the proposition. The other fact is that Locke accepts a great v

Style APA, Harvard, Vancouver, ISO itp.

14

Witte, John. Sex and Marriage in the Protestant Tradition, 1500–1900. Edited by Adrian Thatcher. Oxford University Press, 2014. http://dx.doi.org/10.1093/oxfordhb/9780199664153.013.012.

Pełny tekst źródła

Streszczenie:

The chapter analyses the mainline Lutheran, Calvinist, and Anglican models of sex, marriage, and family and their gradual liberalization by Enlightenment liberalism. The theological differences between these models can be traced to their grounding in Lutheran two kingdoms doctrines, Calvinist covenantal theology, Anglican commonwealth theory, and Enlightenment contractarian logic. Lutherans consigned primary marital jurisdiction to the territorial prince or urban council. Calvinists assigned interlocking marital roles to local consistories and city councils. Anglicans left marital jurisdiction

Style APA, Harvard, Vancouver, ISO itp.

15

Rusnock, Paul, and Jan Sebestík. Bernard Bolzano. Oxford University Press, 2019. http://dx.doi.org/10.1093/oso/9780198823681.001.0001.

Pełny tekst źródła

Streszczenie:

Bernard Bolzano (1781–1850) is increasingly recognized as one of the greatest nineteenth-century philosophers. A philosopher and mathematician of rare talent, he made groundbreaking contributions to logic, the foundations and philosophy of mathematics, metaphysics, and the philosophy of religion. Many of the larger features of later analytic philosophy, but also many of the details, first appear in his work: for example, the separation of logic from psychology, his sophisticated understanding of mathematical proof, his definition, so similar to Tarski’s, of logical consequence, his work on the

Style APA, Harvard, Vancouver, ISO itp.

16

Travis, Charles. Frege. Oxford University Press, 2021. http://dx.doi.org/10.1093/oso/9780198844129.001.0001.

Pełny tekst źródła

Streszczenie:

This book is about Frege and his contribution to philosophy. It has three parts. Part I presents his general picture of thought, that is, the object of a capacity for thought (what may be thought). The point is to stress the value of separating the business of being true from thinkers’ engagement with such business, thus from issues specifically about language, and this as a model for philosophy in general. It also expands on Frege’s case for the intrinsic publicity (sharability) of thought. Part II concerns some particular developments of the general view made by Frege with a view to serving

Style APA, Harvard, Vancouver, ISO itp.

17

Ranganathan, Malini. Rethinking Urban Water (In)formality. Edited by Ken Conca and Erika Weinthal. Oxford University Press, 2016. http://dx.doi.org/10.1093/oxfordhb/9780199335084.013.23.

Pełny tekst źródła

Streszczenie:

Most urban residents around the world access water through a variety of so-called informal means. While “informal” water access is often equated with private water vendors operating outside of the state, this essay argues that informal practices and logics pervade the entire water system, cutting across perceived boundaries separating the formal and informal, state and private, and utility and nonutility. This essay reconceptualizes urban water informality through a postcolonial theoretical lens, arguing that “informal” water does not lie outside of state control and oversight, nor is it stric

Style APA, Harvard, Vancouver, ISO itp.

Oferujemy zniżki na wszystkie plany premium dla autorów, których prace zostały uwzględnione w tematycznych zestawieniach literatury. Skontaktuj się z nami, aby uzyskać unikalny kod promocyjny!