Search Results for Europe. - Narrowed by: Logic design.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dEurope.$0026qf$003dSUBJECT$002509Subject$002509Logic$002bdesign.$002509Logic$002bdesign.$0026ps$003d300?
2024-12-13T04:50:31Z
Reliable Software Technologies – Ada-Europe 2018 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400146
2024-12-13T04:50:31Z
2024-12-13T04:50:31Z
Author Casimiro, António. editor. (orcid)0000-0002-5522-5739 Ferreira, Pedro M. editor. (orcid)0000-0003-2369-0115 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92432-8">https://doi.org/10.1007/978-3-319-92432-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334718
2024-12-13T04:50:31Z
2024-12-13T04:50:31Z
Author Bonizzoni, Paola. editor. Brattka, Vasco. editor. Löwe, Benedikt. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334718.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39053-1">http://dx.doi.org/10.1007/978-3-642-39053-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reliable Software Technologies – Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334631
2024-12-13T04:50:31Z
2024-12-13T04:50:31Z
Author Keller, Hubert B. editor. Plödereder, Erhard. editor. Dencker, Peter. editor. Klenk, Herbert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334631.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38601-5">http://dx.doi.org/10.1007/978-3-642-38601-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reliable Software Technologies – Ada-Europe 2012 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196925
2024-12-13T04:50:31Z
2024-12-13T04:50:31Z
Author Brorsson, Mats. editor. Pinho, Luís Miguel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30598-6">http://dx.doi.org/10.1007/978-3-642-30598-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reliable Software Technologies - Ada-Europe 2011 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194668
2024-12-13T04:50:31Z
2024-12-13T04:50:31Z
Author Romanovsky, Alexander. editor. Vardanega, Tullio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21338-0">http://dx.doi.org/10.1007/978-3-642-21338-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reliable Software Technologiey – Ada-Europe 2010 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192372
2024-12-13T04:50:31Z
2024-12-13T04:50:31Z
Author Real, Jorge. editor. Vardanega, Tullio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13550-7">http://dx.doi.org/10.1007/978-3-642-13550-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
FM 2005: Formal Methods International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182846
2024-12-13T04:50:31Z
2024-12-13T04:50:31Z
Author Fitzgerald, John. editor. Hayes, Ian J. editor. Tarlecki, Andrzej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b27882">http://dx.doi.org/10.1007/b27882</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>