Search Results for Algorithms. - Narrowed by: E-Book - English - Online Library - 2008 - Logic design. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dAlgorithms.$0026qf$003dITYPE$002509Material$002bType$0025091$00253AE-KITAP$002509E-Book$0026qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026qf$003dPUBDATE$002509Publication$002bDate$0025092008$0025092008$0026qf$003dSUBJECT$002509Subject$002509Logic$002bdesign.$002509Logic$002bdesign.$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue? 2024-09-11T15:39:31Z Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188246 2024-09-11T15:39:31Z 2024-09-11T15:39:31Z Author&#160;Ramakrishnan, C. R. editor.&#160;Rehof, Jakob. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-78800-3">http://dx.doi.org/10.1007/978-3-540-78800-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Grammatical Inference: Algorithms and Applications 9th International Colloquium, ICGI 2008 Saint-Malo, France, September 22-24, 2008 Proceedings ent://SD_ILS/0/SD_ILS:188966 2024-09-11T15:39:31Z 2024-09-11T15:39:31Z Author&#160;Clark, Alexander. editor.&#160;Coste, Fran&ccedil;ois. editor.&#160;Miclet, Laurent. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-88009-7">http://dx.doi.org/10.1007/978-3-540-88009-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Toru&acute;n, Poland, August 25-29, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188648 2024-09-11T15:39:31Z 2024-09-11T15:39:31Z Author&#160;Ochma&#324;ski, Edward. editor.&#160;Tyszkiewicz, Jerzy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-85238-4">http://dx.doi.org/10.1007/978-3-540-85238-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>