Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(69)
Ait Ameur, Yamine. editor.
(2)
Hospodár, Michal. editor.
(2)
Jirásková, Galina. editor.
(2)
Roman, Dumitru. editor.
(2)
Dil
Yayın Yılı
-
2014
(38)
2019
(31)
Konu
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
69 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings için kapak resmi
Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
Yazar 
Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555 Tapia Tarifa, Silvia Lizeth. editor. (orcid)0000-0001-9948-2748 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-34968-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Computing with Foresight and Industry 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings için kapak resmi
Computing with Foresight and Industry 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings
Yazar 
Manea, Florin. editor. Martin, Barnaby. editor. Paulusma, Daniël. editor. Primiero, Giuseppe. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-22996-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Theory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings için kapak resmi
Theory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings
Yazar 
Janota, Mikoláš. editor. (orcid)0000-0003-3487-784X Lynce, Inês. editor. (orcid)0000-0003-4868-415X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-24258-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Unconventional Computation and Natural Computation 18th International Conference, UCNC 2019, Tokyo, Japan, June 3–7, 2019, Proceedings için kapak resmi
Unconventional Computation and Natural Computation 18th International Conference, UCNC 2019, Tokyo, Japan, June 3–7, 2019, Proceedings
Yazar 
McQuillan, Ian. editor. Seki, Shinnosuke. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-19311-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Descriptional Complexity of Formal Systems 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, Proceedings için kapak resmi
Descriptional Complexity of Formal Systems 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, Proceedings
Yazar 
Hospodár, Michal. editor. Jirásková, Galina. editor. Konstantinidis, Stavros. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-23247-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Testing Software and Systems 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings için kapak resmi
Testing Software and Systems 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings
Yazar 
Gaston, Christophe. editor. (orcid)0000-0001-6865-5108 Kosmatov, Nikolai. editor. (orcid)0000-0003-1557-2813 Le Gall, Pascale. editor. (orcid)0000-0002-8955-6835 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-31280-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Rules and Reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings için kapak resmi
Rules and Reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings
Yazar 
Fodor, Paul. editor. (orcid)0000-0002-2978-676X Montali, Marco. editor. (orcid)0000-0002-8021-3430 Calvanese, Diego. editor. (orcid)0000-0001-5174-9693 Roman, Dumitru. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-31095-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Scalable Uncertainty Management 13th International Conference, SUM 2019, Compiègne, France, December 16–18, 2019, Proceedings için kapak resmi
Scalable Uncertainty Management 13th International Conference, SUM 2019, Compiègne, France, December 16–18, 2019, Proceedings
Yazar 
Ben Amor, Nahla. editor. Quost, Benjamin. editor. Theobald, Martin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-35514-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
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 I için kapak resmi
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 I
Yazar 
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-17462-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings için kapak resmi
Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings
Yazar 
Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834 Leone, Nicola. editor. Manna, Marco. editor. (orcid)0000-0003-3323-9328 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-19570-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Logic Programming and Nonmonotonic Reasoning 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings için kapak resmi
Logic Programming and Nonmonotonic Reasoning 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings
Yazar 
Balduccini, Marcello. editor. (orcid)0000-0001-5445-3054 Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X Woltran, Stefan. editor. (orcid)0000-0003-1594-8972 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-20528-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II için kapak resmi
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
Yazar 
Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-25543-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets