Search Results for K&ouml;nig, Barbara. - Narrowed by: Artificial intelligence. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dK$0025C3$0025B6nig$00252C$002bBarbara.$0026qf$003dSUBJECT$002509Subject$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026te$003dILS$0026ps$003d300?dt=list 2024-12-24T13:19:03Z Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 &ndash; April 1, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196526 2024-12-24T13:19:03Z 2024-12-24T13:19:03Z Author&#160;Flanagan, Cormac. editor.&#160;K&ouml;nig, Barbara. 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-28756-5">http://dx.doi.org/10.1007/978-3-642-28756-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> CONCUR 2011 &ndash; Concurrency Theory 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195275 2024-12-24T13:19:03Z 2024-12-24T13:19:03Z Author&#160;Katoen, Joost-Pieter. editor.&#160;K&ouml;nig, Barbara. 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-23217-6">http://dx.doi.org/10.1007/978-3-642-23217-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>