Search Results for Theoretische Informatik. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dTheoretische$002bInformatik.$0026ic$003dtrue$0026ps$003d300?dt=list 2026-03-21T22:50:56Z Theoretische Informatik - kurzgefasst ent://SD_ILS/0/SD_ILS:387347 2026-03-21T22:50:56Z 2026-03-21T22:50:56Z Author&#160;Sch&ouml;ning, Uwe.<br/>Preferred Shelf Number&#160;QA76 S36 2003<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Theoretische Informatik Eine umfassende Einf&uuml;hrung ent://SD_ILS/0/SD_ILS:187575 2026-03-21T22:50:56Z 2026-03-21T22:50:56Z Author&#160;Erk, Katrin. author.&#160;Priese, Lutz. author.&#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-76320-8">http://dx.doi.org/10.1007/978-3-540-76320-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theoretische Informatik Formale Sprachen, Berechenbarkeit, Komplexit&auml;tstheorie,Algorithmik, Kommunikation und Kryptographie ent://SD_ILS/0/SD_ILS:199920 2026-03-21T22:50:56Z 2026-03-21T22:50:56Z Author&#160;Hromkovi&#269;, Juraj. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-8348-9853-1">http://dx.doi.org/10.1007/978-3-8348-9853-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theoretische Informatik Formale Sprachen, Berechenbarkeit, Komplexit&auml;tstheorie, Algorithmik, Kommunikation und Kryptographie ent://SD_ILS/0/SD_ILS:203804 2026-03-21T22:50:56Z 2026-03-21T22:50:56Z Author&#160;Hromkovi&#269;, Juraj. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-8351-9115-0">http://dx.doi.org/10.1007/978-3-8351-9115-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cryptography, information theory, and error-correction : a handbook for the 21st century ent://SD_ILS/0/SD_ILS:593044 2026-03-21T22:50:56Z 2026-03-21T22:50:56Z Author&#160;Bruen, Aiden A., 1941-&#160;Forcinito, Mario, 1962-<br/>Preferred Shelf Number&#160;QA76.9 .A25 B79 2005<br/>Electronic Access&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781118033296">https://onlinelibrary.wiley.com/doi/book/10.1002/9781118033296</a> <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119582397">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119582397</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Proof, language, and interaction essays in honour of Robin Milner ent://SD_ILS/0/SD_ILS:219901 2026-03-21T22:50:56Z 2026-03-21T22:50:56Z Author&#160;Plotkin, G. (Gordon), 1946-&#160;Stirling, Colin P.&#160;Tofte, Mads.&#160;Milner, R. (Robin), 1934-2010.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267426">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267426</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>