Central Library

Your search returned 4 results. Subscribe to this search

Unhighlight Highlight
|
Formal Specification Level [electronic resource] : Concepts, Methods, and Algorithms / by Mathias Soeken, Rolf Drechsler.

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

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

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