Arama Sonuçları Computers. - Daraltılmış: Liu, Shaoying. editor. - Mathematical Logic and Formal Languages.
SirsiDynix Enterprise
https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dComputers.$0026qf$003dAUTHOR$002509Yazar$002509Liu$00252C$002bShaoying.$002beditor.$002509Liu$00252C$002bShaoying.$002beditor.$0026qf$003dSUBJECT$002509Konu$002509Mathematical$002bLogic$002band$002bFormal$002bLanguages.$002509Mathematical$002bLogic$002band$002bFormal$002bLanguages.$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue?dt=list
2024-09-11T04:49:24Z
Structured Object-Oriented Formal Language and Method 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:17613
2024-09-11T04:49:24Z
2024-09-11T04:49:24Z
Yazar Liu, Shaoying. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-31220-0">http://dx.doi.org/10.1007/978-3-319-31220-0</a><br/>Format: Electronic Resources<br/>
Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:20566
2024-09-11T04:49:24Z
2024-09-11T04:49:24Z
Yazar Liu, Shaoying. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-04915-1">http://dx.doi.org/10.1007/978-3-319-04915-1</a><br/>Format: Electronic Resources<br/>
Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:22684
2024-09-11T04:49:24Z
2024-09-11T04:49:24Z
Yazar Liu, Shaoying. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-17404-4">http://dx.doi.org/10.1007/978-3-319-17404-4</a><br/>Format: Electronic Resources<br/>