Gotowe bibliografie tematyczne / Separation logic / Książki

Książki na temat „Separation logic”

Kliknij ten link, aby zobaczyć inne rodzaje publikacji na ten 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 i 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 are identified, the trends of constitutional transformations in the spheres of federal relations and local self-government, ensuring the fulfillment by public authorities of international obligations of the Russian Federation are investigated. Particular attention is paid to the development of the legal mechanism of interaction between public authorities and civil society. The authors of the book take into account the results of legislative support for the reform of public power in 2020-2021, a forecast assessment of the implementation of the relevant constitutional and legislative novelties is given, including taking into account the existing legal risks. Solutions are proposed to a number of legal issues of legislative regulation of public power, which can increase the efficiency of its functioning. For researchers, teachers, students and postgraduates, deputies of representative authorities, state and municipal employees, as well as anyone interested in constitutional law issues.
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 i Barry R. Weingast. The New Separation‐of‐Powers Approach to American Politics. Redaktorzy Donald A. Wittman i 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, i 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 leaders and groups of constituents. There is even a separation between appearances and reality at the level of the governance system. Symbolic management comprises the agentic practices by which decoupling is maintained at different levels of the system, including internal and external communications by firm leaders that conform to prevailing cultural values. The symbolic management perspective not only provides an integrative, behavioral alternative to economic theories of governance such as agency theory, but it subsumes economic theory. Agency theory is reconceived as a historically contingent, institutional logic, or a set of cultural values, assumptions, and prescriptions that became taken for granted among key stakeholders for a period of time. We reveal a gradual shift in institutional logics of governance, away from the traditional agency logic, and toward an alternative “neo-corporate” logic that reinterprets agency prescriptions and drops fundamental economic assumptions of agency theory. Our theory and research ultimately demonstrate how the symbolic management activities of firm leaders have contributed to this historical shift in prevailing logics of governance.
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 (rather than naïve) than all dialectical logic for paradox management, since it is the only system that can truly accommodate and appreciate paradox and has the potential to absorb all Western systems into a geocentric (East-meets-West) meta-system. The chapter concludes with an application of yin-yang balancing to the geocentric integration of the Eastern philosophy of wisdom with the Western philosophy of knowledge, toward a new geocentric meta-paradigm.
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 variety of ways of considering a proposition. This diversity of ‘postures’ is poorly expressed by the limited number of syncategorematic terms, ‘particles’. The first fact fosters a one-act view of the assent we give to propositions. The second opens the way to a multiple-act view.
Style APA, Harvard, Vancouver, ISO itp.
14

Witte, John. Sex and Marriage in the Protestant Tradition, 1500–1900. Redaktor 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 to church courts, subject to state oversight and legislation. The early Enlightenment philosophers, many of them Protestants, pressed for a sharper separation of church and state in the governance of marriage, and for stronger protections of the rights and equality of women and children within and beyond the marital household. But they maintained traditional Protestant prohibitions on extramarital sex and no-fault divorce in an effort to protect especially women and children from exploitation.
Style APA, Harvard, Vancouver, ISO itp.
15

Rusnock, Paul, i 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 semantics of natural kind terms, or his anticipations of Cantor’s set theory. To his contemporaries, however, he was best known as an intelligent and determined advocate for reform of Church and state. Based in large part on a carefully argued utilitarian practical philosophy, he developed a program for the non-violent reform of the authoritarian institutions of the Habsburg Empire, a program which he himself helped to set in motion through his teaching and other activities. Rarely has a philosopher had such a great impact on the political culture of his homeland. Persecuted in his lifetime by secular and ecclesiastical authorities, long ignored or misunderstood by philosophers, Bolzano’s reputation has nevertheless steadily increased over the past century and a half. Much discussed and respected in Central Europe for over a century, he is finally beginning to receive the recognition he deserves in the English-speaking world. This book provides a comprehensive and detailed critical introduction to Bolzano, covering both life and works. (245 words)
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 the needs of his central project (after logic itself): showing arithmetic to be logic. Part III applies the general picture in presenting a view of truth (and its irreducibility), logic of logic’s independence both of thinkers and of the world (its indifference to anything in how things happen to be), and of objectivity.
Style APA, Harvard, Vancouver, ISO itp.
17

Ranganathan, Malini. Rethinking Urban Water (In)formality. Redaktorzy Ken Conca i 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 strictly separate from “formal” water. Rather, informal water is a product of historically specific forms of state practice that have shaped differentiated and fractured forms of space and infrastructure over time. Central to an understanding of informal water provision is the relationship between state practice, space, and infrastructure. The essay draws from the case of Bangalore, India, to critically rethink urban water informality.
Style APA, Harvard, Vancouver, ISO itp.
Możesz być także zainteresowany bibliografiami na temat „Separation logic” dla innych typów źródeł:
Artykuły w czasopismach Rozprawy doktorskie
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!

Do bibliografii