Search Results for Kirchner, Claude. - Narrowed by: Electronic Library SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dKirchner$00252C$002bClaude.$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253AELEKKUTUPH$002509Electronic$002bLibrary$0026ps$003d300? 2024-11-06T06:33:26Z Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II ent://SD_ILS/0/SD_ILS:192566 2024-11-06T06:33:26Z 2024-11-06T06:33:26Z Author&#160;Abramsky, Samson. editor.&#160;Gavoille, Cyril. editor.&#160;Kirchner, Claude. editor.&#160;Meyer auf der Heide, Friedhelm. editor.&#160;Spirakis, Paul G. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14162-1">http://dx.doi.org/10.1007/978-3-642-14162-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I ent://SD_ILS/0/SD_ILS:192567 2024-11-06T06:33:26Z 2024-11-06T06:33:26Z Author&#160;Abramsky, Samson. editor.&#160;Gavoille, Cyril. editor.&#160;Kirchner, Claude. editor.&#160;Meyer auf der Heide, Friedhelm. editor.&#160;Spirakis, Paul G. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14165-2">http://dx.doi.org/10.1007/978-3-642-14165-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal to Practical Security Papers Issued from the 2005-2008 French-Japanese Collaboration ent://SD_ILS/0/SD_ILS:190185 2024-11-06T06:33:26Z 2024-11-06T06:33:26Z Author&#160;Cortier, V&eacute;ronique. editor.&#160;Kirchner, Claude. editor.&#160;Okada, Mitsuhiro. editor.&#160;Sakurada, Hideki. 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-642-02002-5">http://dx.doi.org/10.1007/978-3-642-02002-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:186759 2024-11-06T06:33:26Z 2024-11-06T06:33:26Z Author&#160;Comon-Lundh, Hubert. editor.&#160;Kirchner, Claude. editor.&#160;Kirchner, H&eacute;l&egrave;ne. 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-73147-4">http://dx.doi.org/10.1007/978-3-540-73147-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>