Search Results for CZECH REPUBLIC. - Narrowed by: 2019SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dCZECH$002bREPUBLIC.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092019$0025092019$0026ic$003dtrue$0026ps$003d300?dt=list2024-10-04T09:27:53ZTools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:4852822024-10-04T09:27:53Z2024-10-04T09:27:53ZAuthor Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17502-3">https://doi.org/10.1007/978-3-030-17502-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4863042024-10-04T09:27:53Z2024-10-04T09:27:53ZAuthor Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17462-0">https://doi.org/10.1007/978-3-030-17462-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modelling and Simulation for Autonomous Systems 5th International Conference, MESAS 2018, Prague, Czech Republic, October 17–19, 2018, Revised Selected papersent://SD_ILS/0/SD_ILS:4862722024-10-04T09:27:53Z2024-10-04T09:27:53ZAuthor Mazal, Jan. editor. (orcid)0000-0001-5741-558X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-14984-0">https://doi.org/10.1007/978-3-030-14984-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Graph Drawing and Network Visualization 27th International Symposium, GD 2019, Prague, Czech Republic, September 17–20, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4863502024-10-04T09:27:53Z2024-10-04T09:27:53ZAuthor Archambault, Daniel. editor. (orcid)0000-0003-4978-8479 Tóth, Csaba D. editor. (orcid)0000-0002-8769-3190 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-35802-0">https://doi.org/10.1007/978-3-030-35802-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>World Congress on Medical Physics and Biomedical Engineering 2018 June 3-8, 2018, Prague, Czech Republic (Vol.2)ent://SD_ILS/0/SD_ILS:4871692024-10-04T09:27:53Z2024-10-04T09:27:53ZAuthor Lhotska, Lenka. editor. Sukupova, Lucie. editor. Lacković, Igor. editor. Ibbott, Geoffrey S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-9038-7">https://doi.org/10.1007/978-981-10-9038-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Research and Practical Issues of Enterprise Information Systems 13th IFIP WG 8.9 International Conference, CONFENIS 2019, Prague, Czech Republic, December 16–17, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4837482024-10-04T09:27:53Z2024-10-04T09:27:53ZAuthor Doucek, Petr. editor. (orcid)0000-0002-5647-661X Basl, Josef. editor. Tjoa, A Min. editor. Raffai, Maria. editor. (orcid)0000-0001-6934-6366 Pavlicek, Antonin. editor. (orcid)0000-0002-1230-5982<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-37632-1">https://doi.org/10.1007/978-3-030-37632-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intelligent Computer Mathematics 12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4850192024-10-04T09:27:53Z2024-10-04T09:27:53ZAuthor Kaliszyk, Cezary. editor. (orcid)0000-0002-8273-6059 Brady, Edwin. editor. (orcid)0000-0002-9734-367X Kohlhase, Andrea. editor. Sacerdoti Coen, Claudio. editor. (orcid)0000-0002-4360-6016 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-23250-4">https://doi.org/10.1007/978-3-030-23250-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4860312024-10-04T09:27:53Z2024-10-04T09:27:53ZAuthor Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613 van der Aalst, Wil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-16722-6">https://doi.org/10.1007/978-3-030-16722-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>World Congress on Medical Physics and Biomedical Engineering 2018 June 3-8, 2018, Prague, Czech Republic (Vol.3)ent://SD_ILS/0/SD_ILS:4860912024-10-04T09:27:53Z2024-10-04T09:27:53ZAuthor Lhotska, Lenka. editor. Sukupova, Lucie. editor. Lacković, Igor. editor. Ibbott, Geoffrey S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-9023-3">https://doi.org/10.1007/978-981-10-9023-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agents and Artificial Intelligence 11th International Conference, ICAART 2019, Prague, Czech Republic, February 19–21, 2019, Revised Selected Papersent://SD_ILS/0/SD_ILS:4864602024-10-04T09:27:53Z2024-10-04T09:27:53ZAuthor van den Herik, Jaap. editor. Rocha, Ana Paula. editor. Steels, Luc. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-37494-5">https://doi.org/10.1007/978-3-030-37494-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Blended Learning: Educational Innovation for Personalized Learning 12th International Conference, ICBL 2019, Hradec Kralove, Czech Republic, July 2–4, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4866132024-10-04T09:27:53Z2024-10-04T09:27:53ZAuthor Cheung, Simon K. S. editor. Lee, Lap-Kei. editor. Simonova, Ivana. editor. Kozel, Tomas. editor. Kwok, Lam-For. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-21562-0">https://doi.org/10.1007/978-3-030-21562-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4840332024-10-04T09:27:53Z2024-10-04T09:27:53ZAuthor Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17465-1">https://doi.org/10.1007/978-3-030-17465-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Principles of Security and Trust 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4845232024-10-04T09:27:53Z2024-10-04T09:27:53ZAuthor Nielson, Flemming. editor. (orcid)0000-0001-7362-6176 Sands, David. editor. (orcid)0000-0001-6221-0503 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17138-4">https://doi.org/10.1007/978-3-030-17138-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>World Congress on Medical Physics and Biomedical Engineering 2018 June 3-8, 2018, Prague, Czech Republic (Vol.1)ent://SD_ILS/0/SD_ILS:4876862024-10-04T09:27:53Z2024-10-04T09:27:53ZAuthor Lhotska, Lenka. editor. Sukupova, Lucie. editor. Lacković, Igor. editor. Ibbott, Geoffrey S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-9035-6">https://doi.org/10.1007/978-981-10-9035-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4827462024-10-04T09:27:53Z2024-10-04T09:27:53ZAuthor Caires, Luís. editor. (orcid)0000-0002-3215-6734 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17184-1">https://doi.org/10.1007/978-3-030-17184-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Hybrid Systems Biology 6th International Workshop, HSB 2019, Prague, Czech Republic, April 6-7, 2019, Revised Selected Papersent://SD_ILS/0/SD_ILS:4828192024-10-04T09:27:53Z2024-10-04T09:27:53ZAuthor Češka, Milan. editor. (orcid)0000-0002-0300-9727 Paoletti, Nicola. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-28042-0">https://doi.org/10.1007/978-3-030-28042-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4830522024-10-04T09:27:53Z2024-10-04T09:27:53ZAuthor Bojańczyk, Mikołaj. editor. Simpson, Alex. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17127-8">https://doi.org/10.1007/978-3-030-17127-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Statistika.ent://SD_ILS/0/SD_ILS:3390542024-10-04T09:27:53Z2024-10-04T09:27:53ZAuthor Czechoslovakia. Ústřední komise lidové kontroly a statistiky. Czechoslovakia. Státní statistický úřad. Czechoslovakia. Federální statistický úřad. Český statistický úřad. Česká statistická společnost.<br/>Preferred Shelf Number GG22 2005 V.1<br/>Format: Continuing Resources<br/>Availability Beytepe Library~2<br/>