Search Results for Computer logic. - Narrowed by: SpringerLink (Online service) - Electronic Book - Simulation and Modeling. - Special Purpose and Application-Based Systems. SirsiDynix Enterprise https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dComputer$002blogic.$0026qf$003dAUTHOR$002509Yazar$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026qf$003dITYPE$002509Materyal$002bT$0025C3$0025BCr$0025C3$0025BC$0025091$00253AE-BOOKS$002509Electronic$002bBook$0026qf$003dSUBJECT$002509Konu$002509Simulation$002band$002bModeling.$002509Simulation$002band$002bModeling.$0026qf$003dSUBJECT$002509Konu$002509Special$002bPurpose$002band$002bApplication-Based$002bSystems.$002509Special$002bPurpose$002band$002bApplication-Based$002bSystems.$0026ps$003d300$0026isd$003dtrue? 2024-08-20T13:55:34Z Collaborative Design for Embedded Systems Co-modelling and Co-simulation ent://SD_ILS/0/SD_ILS:23956 2024-08-20T13:55:34Z 2024-08-20T13:55:34Z Yazar&#160;Fitzgerald, John. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54118-6">http://dx.doi.org/10.1007/978-3-642-54118-6</a><br/>Format:&#160;Electronic Resources<br/> Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures ent://SD_ILS/0/SD_ILS:17390 2024-08-20T13:55:34Z 2024-08-20T13:55:34Z Yazar&#160;Liu, Zhiming. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-29628-9">http://dx.doi.org/10.1007/978-3-319-29628-9</a><br/>Format:&#160;Electronic Resources<br/> Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27&ndash;29, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428190 2024-08-20T13:55:34Z 2024-08-20T13:55:34Z Yazar&#160;Andr&eacute;, &Eacute;tienne. editor. (orcid)0000-0001-8473-9555<br/><a href="https://doi.org/10.1007/978-3-030-29662-9">https://doi.org/10.1007/978-3-030-29662-9</a><br/>Format:&#160;Electronic Resources<br/>