Search Results for - Narrowed by: Parker, David - Control Structures and Microprogramming - linguisticsSirsiDynix Enterprisehttps://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dAUTHOR$002509Author$002509Parker$00252C$002bDavid$002509Parker$00252C$002bDavid$0026qf$003dSUBJECT$002509Subject$002509Control$002bStructures$002band$002bMicroprogramming$002509Control$002bStructures$002band$002bMicroprogramming$0026qf$003dSUBJECT$002509Subject$002509linguistics$002509linguistics$0026ps$003d300?2024-09-22T04:20:05ZTools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part IIent://SD_ILS/0/SD_ILS:22005122024-09-22T04:20:05Z2024-09-22T04:20:05Zby Biere, Armin<br/><a href="https://library.oapen.org/bitstream/20.500.12657/37724/1/2020_Book_ToolsAndAlgorithmsForTheConstr.pdf">DOAB: download the publication</a>
<a href="https://directory.doabooks.org/handle/20.500.12854/33908">DOAB: description of the publication</a><br/>Format: Books<br/>Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part Ient://SD_ILS/0/SD_ILS:21989822024-09-22T04:20:05Z2024-09-22T04:20:05Zby Biere, Armin<br/><a href="https://library.oapen.org/bitstream/20.500.12657/37722/1/2020_Book_ToolsAndAlgorithmsForTheConstr.pdf">DOAB: download the publication</a>
<a href="https://directory.doabooks.org/handle/20.500.12854/31311">DOAB: description of the publication</a><br/>Format: Books<br/>