De queiroz r (30 Ergebnisse)

Zustand: As New. Unread book in perfect condition.

Zustand: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. Re-bound by library. Possibly signed by author. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,400grams, ISBN.…

Zustand: As New. Unread book in perfect condition.

Zustand: As New. Unread book in perfect condition.

Zustand: As New. Unread book in perfect condition.

Zustand: As New. Unread book in perfect condition.

Zustand: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. Clean from markings In fair condition, suitable as a study copy. No dust jacket. Re-bound by library. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,450grams, ISBN.…

Zustand: As New. Unread book in perfect condition.

Zustand: As New. Unread book in perfect condition.

Zustand: As New. Unread book in perfect condition.

Zustand: As New. Unread book in perfect condition.

Zustand: As New. Unread book in perfect condition.

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Zustand: Bon. Merci, votre achat aide à financer des programmes de lutte contre l'illettrisme.

Zustand: New. In English.

Zustand: New. In English.

Zustand: As New. Unread book in perfect condition.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The study of information-based actions and processes has been a vibrant - terface between logic and computer science for several decades now. Indeed, several natural perspectives come together here. On the one hand, logical s- tems may be used to describe the dynamics of arbitrary computational p- cesses - as in the many sophisticated process logics available today. But also, key logical notions such as model checking or proof search are themselves informational processes involving agents with goals. The interplay between these descriptive and dynamic aspects shows even in our ordinary language. A word like 'proof' hdenotes both a static 'certificate' of truth, and an activity which humans or machines engage in. Increasing our understanding of l- ics of this sort tells us something about computer science, and about cognitive actions in general. The individual chapters of this book show the state of the art in current - vestigations of process calculi such as linear logic, and - with mainly two major paradigms at work, namely, linear logic and modal logic. These techniques are applied to the title themes of concurrency and synchronisation, but there are also many repercussions for topics such as the geometry of proofs, categorial semantics, and logics of graphs. Viewed - gether, the chapters also offer exciting glimpses of future integration, as the reader moves back and forth through the book. …

Taschenbuch. Zustand: Neu. Logic for Concurrency and Synchronisation | R. J. De Queiroz | Taschenbuch | xxi | Englisch | 2013 | Springer | EAN 9789401740005 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Paperback. Zustand: Brand New. 308 pages. 9.25x6.10x0.70 inches. In Stock.

Zustand: Used. pp. 310 Illus.

Zustand: Used. pp. 310.

Gebunden. Zustand: New. Includes supplementary material: sn.pub/extrasThis book is for researchers in computer science, mathematical logic, and philosophical logic. It shows the state of the art in current investigations of process calculi with mainly two major parad.

Buch. Zustand: Neu. Neuware - The study of information-based actions and processes has been a vibrant - terface between logic and computer science for several decades now. Indeed, several natural perspectives come together here. On the one hand, logical s- tems may be used to describe the dynamics of arbitrary computational p- cesses - as in the many sophisticated process logics available today. But also, key logical notions such as model checking or proof search are themselves informational processes involving agents with goals. The interplay between these descriptive and dynamic aspects shows even in our ordinary language. A word like 'proof' hdenotes both a static 'certificate' of truth, and an activity which humans or machines engage in. Increasing our understanding of l- ics of this sort tells us something about computer science, and about cognitive actions in general. The individual chapters of this book show the state of the art in current - vestigations of process calculi such as linear logic, and - with mainly two major paradigms at work, namely, linear logic and modal logic. These techniques are applied to the title themes of concurrency and synchronisation, but there are also many repercussions for topics such as the geometry of proofs, categorial semantics, and logics of graphs. Viewed - gether, the chapters also offer exciting glimpses of future integration, as the reader moves back and forth through the book.…

Zustand: As New. Unread book in perfect condition.

paperback. Sobre a obra Lei de Seguros Interpretada - Lei 15.040/2024 Artigo por Artigo - 1ª Ed - 2025 Após duas décadas de debates, o Brasil finalmente possui uma lei específica para os contratos de seguro: a Lei 15.040, de 2024. Publicada em 10 de dezembro de 2024, esta legislação revoga dispositivos do Código Civil e do Decreto-Lei 73/1966, entrando em vigor em 11 de dezembro de 2025. O livro em questão é resultado de um estudo aprofundado por um Grupo de Estudos Jurídicos, que analisou artigo por artigo para fornecer uma interpretação sistemática da nova lei. A Lei 15.040/2024 é composta por 134 artigos, distribuídos em seis capítulos, abordando temas essenciais como interesse, risco, prêmio, interpretação do contrato, sinistro, regulação e liquidação de sinistro. Ela estabelece um microssistema jurídico para contratos de seguro, alinhando o Brasil com países como Itália, França e Argentina, que também possuem leis específicas para o setor. A nova lei não afetará contratos firmados antes de sua vigência, mas será aplicada imediatamente aos novos contratos. Ela promove transparência e clareza nas relações jurídicas, facilitando a compreensão dos aspectos técnicos do seguro. A previdência complementar, já regulada pela Lei Complementar nº 109/2001, não será abrangida pela nova legislação. O livro visa facilitar o entendimento da nova lei, esclarecer dúvidas e disseminar conhecimento jurídico sobre contratos de seguro. Seu objetivo é contribuir para a aplicação eficaz da legislação, ampliando o acesso ao seguro no Brasil e consolidando a solvência e sustentabilidade do setor.…

Zustand: New.

Kartoniert / Broschiert. Zustand: New.

Paperback. Zustand: Brand New. 240 pages. 8.66x5.91x0.55 inches. In Stock.

Paperback. Zustand: Brand New. 188 pages. 8.66x5.91x0.43 inches. In Stock.