Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(108)
Bloem, Roderick. editor.
(2)
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
(2)
Legay, Axel. editor.
(2)
Liu, Zhiming. editor. (orcid)0000-0001-9771-3071
(2)
Dil
English
(108)
Yayın Yılı
-
Konu
Computer science.
(60)
Mathematical logic.
(54)
Mathematical Logic and Formal Languages.
(43)
Artificial intelligence.
(39)
Logic design.
(39)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
108 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
25. 
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings için kapak resmi
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings
Yazar 
Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-18744-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
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:
27. 
Developments in Language Theory 23rd International Conference, DLT 2019, Warsaw, Poland, August 5–9, 2019, Proceedings için kapak resmi
Developments in Language Theory 23rd International Conference, DLT 2019, Warsaw, Poland, August 5–9, 2019, Proceedings
Yazar 
Hofman, Piotrek. editor. Skrzypczak, Michał. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-24886-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
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:
29. 
Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings için kapak resmi
Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings
Yazar 
Hutton, Graham. editor. (orcid)0000-0001-9584-5150 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-33636-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
Handbook of Model Checking için kapak resmi
Handbook of Model Checking
Yazar 
Clarke, Edmund M. editor. Henzinger, Thomas A. editor. Veith, Helmut. editor. Bloem, Roderick. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-10575-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
31. 
Formal Concept Analysis 14th International Conference, ICFCA 2017, Rennes, France, June 13-16, 2017, Proceedings için kapak resmi
Formal Concept Analysis 14th International Conference, ICFCA 2017, Rennes, France, June 13-16, 2017, Proceedings
Yazar 
Bertet, Karell. editor. Borchmann, Daniel. editor. Cellier, Peggy. editor. (orcid)0000-0002-1495-2534 Ferré, Sébastien. editor. (orcid)0000-0002-6302-2333 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-59271-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers için kapak resmi
Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers
Yazar 
James, Phillip. editor. Roggenbach, Markus. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-72044-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
Process Algebras for Petri Nets The Alphabetization of Distributed Systems için kapak resmi
Process Algebras for Petri Nets The Alphabetization of Distributed Systems
Yazar 
Gorrieri, Roberto. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-55559-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
34. 
Models of Computation için kapak resmi
Models of Computation
Yazar 
Bruni, Roberto. author. Montanari, Ugo. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-42900-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
35. 
Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings için kapak resmi
Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings
Yazar 
Ghosh, Sujata. editor. Prasad, Sanjiva. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-54069-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
36. 
Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Yazar 
Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-642-54862-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç