IUKL Library

Your search returned 6 results. Subscribe to this search

Not what you expected? Check for suggestions
|
Logic for concurrency and synchronisation [electronic resource] / edited by Ruy J.G.B. de Queiroz.

by Queiroz, Ruy J. G. B. de | ebrary, Inc.

Material type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Dordrecht ; Boston : Kluwer Academic Publishers, c2003Online access: An electronic book accessible through the World Wide Web; click to view Availability: No items available
Log in to add tags. Add to cart
Logic for concurrency and synchronisation [electronic resource] / edited by Ruy J.G.B. de Queiroz.

by Queiroz, Ruy J. G. B. de | ProQuest (Firm).

Material type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Dordrecht ; Boston : Kluwer Academic Publishers, c2003Online access: Click to View Availability: Items available for loan: IUKL Library (1).
The Logical Writings of Karl Popper.

by Binder, David | Piecha, Thomas | Schroeder-Heister, Peter.

Edition: 1st ed.Material type: book Book; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2022Copyright date: �2022Online access: Click to View Availability: Items available for loan: IUKL Library (1).
Inquisitive Logic : Consequence and Inference in the Realm of Questions.

by Ciardelli, Ivano.

Edition: 1st ed.Material type: book Book; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2023Copyright date: �2022Online access: Click to View Availability: Items available for loan: IUKL Library (1).
Advances in Proof-Theoretic Semantics.

by Piecha, Thomas | Schroeder-Heister, Peter.

Edition: 1st ed.Material type: book Book; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2015Copyright date: �2016Online access: Click to View Availability: Items available for loan: IUKL Library (1).
Harmony and Paradox : Intensional Aspects of Proof-Theoretic Semantics.

by Tranchini, Luca.

Edition: 1st ed.Material type: book Book; Format: available online remote; Literary form: Not fiction Online access: Click to View Availability: Items available for loan: IUKL Library (1).
The Library's homepage is at http://library.iukl.edu.my/.