Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(104)
Bouchon-Meunier, Bernadette. editor.
(3)
Laurent, Anne. editor.
(3)
Strauss, Olivier. editor.
(3)
Yager, Ronald R. editor.
(3)
Dil
English
(104)
Yayın Yılı
-
2019
(52)
2014
(51)
2023
(1)
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ç
Eylem Seç
104 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
49. 
Metadata and Semantic Research 13th International Conference, MTSR 2019, Rome, Italy, October 28–31, 2019, Revised Selected Papers için kapak resmi
Metadata and Semantic Research 13th International Conference, MTSR 2019, Rome, Italy, October 28–31, 2019, Revised Selected Papers
Yazar 
Garoufallou, Emmanouel. editor. (orcid)0000-0001-8232-6634 Fallucchi, Francesca. editor. (orcid)0000-0002-3288-044X William De Luca, Ernesto. editor. (orcid)0000-0003-3621-4118 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-36599-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
50. 
At the Intersection of Language, Logic, and Information ESSLLI 2018 Student Session, Sofia, Bulgaria, August 6–17, 2018, Selected Papers için kapak resmi
At the Intersection of Language, Logic, and Information ESSLLI 2018 Student Session, Sofia, Bulgaria, August 6–17, 2018, Selected Papers
Yazar 
Sikos, Jennifer. editor. Pacuit, Eric. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-59620-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
51. 
Formal Grammar 19th International Conference, Formal Grammar 2014, Tübingen, Germany, August 16-17, 2014. Proceedings için kapak resmi
Formal Grammar 19th International Conference, Formal Grammar 2014, Tübingen, Germany, August 16-17, 2014. Proceedings
Yazar 
Morrill, Glyn. editor. Muskens, Reinhard. editor. Osswald, Rainer. editor. Richter, Frank. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-44121-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
52. 
Introduction to Software Quality için kapak resmi
Introduction to Software Quality
Yazar 
O’Regan, Gerard. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-06106-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
53. 
ABZ 2014: The Landing Gear Case Study Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings için kapak resmi
ABZ 2014: The Landing Gear Case Study Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings
Yazar 
Boniol, Frederic. editor. Wiels, Virginie. editor. Ait Ameur, Yamine. editor. Schewe, Klaus-Dieter. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-07512-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
54. 
Rewriting and Typed Lambda Calculi Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings için kapak resmi
Rewriting and Typed Lambda Calculi Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Yazar 
Dowek, Gilles. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-08918-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
55. 
Computers and Games 8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013, Revised Selected Papers için kapak resmi
Computers and Games 8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013, Revised Selected Papers
Yazar 
van den Herik, H. Jaap. editor. Iida, Hiroyuki. editor. Plaat, Aske. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-09165-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
56. 
Information Processing and Management of Uncertainty 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014, Montpellier, France, July 15-19, 2014. Proceedings, Part III için kapak resmi
Information Processing and Management of Uncertainty 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014, Montpellier, France, July 15-19, 2014. Proceedings, Part III
Yazar 
Laurent, Anne. editor. Strauss, Olivier. editor. Bouchon-Meunier, Bernadette. editor. Yager, Ronald R. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-08852-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
57. 
Implementation and Application of Automata 19th International Conference, CIAA 2014, Giessen, Germany, July 30 -- August 2, 2014, Proceedings için kapak resmi
Implementation and Application of Automata 19th International Conference, CIAA 2014, Giessen, Germany, July 30 -- August 2, 2014, Proceedings
Yazar 
Holzer, Markus. editor. Kutrib, Martin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-08846-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
58. 
Stochastic Model Checking International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures için kapak resmi
Stochastic Model Checking International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures
Yazar 
Remke, Anne. editor. Stoelinga, Mariëlle. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-45489-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
59. 
Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings için kapak resmi
Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Yazar 
Klein, Gerwin. editor. Gamboa, Ruben. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-08970-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
60. 
Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday için kapak resmi
Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday
Yazar 
van Breugel, Franck. editor. Kashefi, Elham. editor. Palamidessi, Catuscia. editor. Rutten, Jan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-06880-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç