Central Library

Your search returned 3 results. Subscribe to this search

Unhighlight Highlight
|
Advanced Boolean Techniques Selected Papers from the 13th International Workshop on Boolean Problems

by Drechsler, Rolf | Soeken, Mathias.

Publisher: Switzerland Springer 2020Availability: Items available for loan: [Call number: 511.324 D76A] (1).

Place hold
Advanced Boolean Techniques [electronic resource] : Selected Papers from the 13th International Workshop on Boolean Problems / edited by Rolf Drechsler, Mathias Soeken.

by Drechsler, Rolf [editor.] | Soeken, Mathias [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available

Reversible Computation [electronic resource] : 11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019, Proceedings / edited by Michael Kirkedal Thomsen, Mathias Soeken.

by Thomsen, Michael Kirkedal [editor.] | Soeken, Mathias [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available