Search Results for Logic

1.

Introduction to logic

Yazar

Suppes, Patrick Colonel, 1922-

Yer Numarası

BC 108 S85 1957

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

2.

Advances in modal logic

Yazar

Kracht, Marcus, ed.

Yer Numarası

BC 199.M6 A38 1998- V.1

Format:

Durum

Beytepe Kütüphanesi~2

Rafta:
Kopya:

3.

The logic of practice

Yazar

Bourdieu, Pierre, 1930-2002

Yer Numarası

GN 468 B6813 1990

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

4.

Chance, love and logic : philosophical essays

Yazar

Peirce, Charles Sanders, 1839-1914. Cohen, Morris Raphael, 1880-1947. Dewey, John, 1859-1952.

Yer Numarası

B 945.P43 C5 1923 (SET)

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

5.

Mathematical logic : A course with exercises

Yazar

Cori, Rene. Lascar, Daniel, 1942- ort. yaz.

Yer Numarası

QA 9 C742513 2000 PT.1

Format:

Durum

Beytepe Kütüphanesi~2

Rafta:
Kopya:

6.

Studies in inductive logic and probability

Yazar

Carnap, Rudolf, 1891-1970. Jeffrey, Richard C., ed.

Yer Numarası

QA 273.4 C37 1971-

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

7.

Logic : the theory of formal inference

Yazar

Ambrose, Alice, 1906- Lazerowitz, Morris, ort. yaz.

Yer Numarası

BC 108 A55 1972

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

8.

Advanced fuzzy logic approaches in engineering science

Yazar

Ram, Mangey, editor. IGI Global, publisher.

Yer Numarası

ONLINE

Elektronik Erişim

Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-5709-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

The rise of modern logic from Leibniz to Frege

Yazar

Gabbay, Dov M., 1945- Woods, John (John Hayden)

Yer Numarası

ONLINE

Elektronik Erişim

ScienceDirect http://www.sciencedirect.com/science/book/9780444516114

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

The technique of controversy : principles of dynamic logic

Yazar

Bogoslovsky, Boris Basil, 1890-

Yer Numarası

BC 108 B65 1928 (SET)

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

11.

The limits of science : outline of logic and of the methodology of the exact sciences

Yazar

Chwistek, Leon, 1884- Brodie, Helen Charlotte, 1915-

Yer Numarası

Q 175 C494 1948 A (SET)

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

12.

Postmodernism, or, The cultural logic of late capitalism

Yazar

Jameson, Fredric.

Yer Numarası

PN 98.P67 J3 1991

Format:

Durum

Beytepe Kütüphanesi~2

Rafta:
Kopya:

13.

Logic Functions and Equations Binary Models for Computer Science

Yazar

Posthoff, Christian. author. Steinbach, Bernd. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-02420-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

Introduction to Logic Circuits & Logic Design with Verilog

Yazar

LaMeres, Brock J. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-13605-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

Logic, Language, Information, and Computation 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings

Yazar

Iemhoff, Rosalie. editor. Moortgat, Michael. editor. de Queiroz, Ruy. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-59533-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

Language, Logic, and Computation 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers

Yazar

Silva, Alexandra. editor. Staton, Sam. editor. Sutton, Peter. editor. Umbach, Carla. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-59565-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings

Yazar

Blackburn, Patrick. editor. Lorini, Emiliano. editor. Guo, Meiyun. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-60292-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

Fuzzy Logic and Applications 12th International Workshop, WILF 2018, Genoa, Italy, September 6–7, 2018, Revised Selected Papers

Yazar

Fullér, Robert. editor. Giove, Silvio. editor. Masulli, Francesco. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-12544-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

Representation Theorems in Computer Science A Treatment in Logic Engineering

Yazar

Özçep, Özgür Lütfü. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-25785-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday

Yazar

Alvim, Mário S. editor. Chatzikokolakis, Kostas. editor. Olarte, Carlos. editor. Valencia, Frank. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-31175-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

21.

Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings

Yazar

Khan, Md. Aquil. editor. Manuel, Amaldev. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-58771-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

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:

23.

Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday

Yazar

Lutz, Carsten. editor. Sattler, Uli. editor. Tinelli, Cesare. editor. Turhan, Anni-Yasmin. editor. Wolter, Frank. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-22102-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

24.

Molecular Logic and Computational Synthetic Biology First International Symposium, MLCSB 2018, Santiago, Chile, December 17–18, 2018, Revised Selected Papers

Yazar

Chaves, Madalena. editor. Martins, Manuel A. editor. (orcid)0000-0002-5109-8066 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-19432-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

25.

Functional and Constraint Logic Programming 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers

Yazar

Silva, Josep. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-16202-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

Introduction to Logic Circuits & Logic Design with VHDL

Yazar

LaMeres, Brock J. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-12489-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers

Yazar

Mesnard, Fred. editor. Stuckey, Peter J. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-13838-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

Design Automation for Differential MOS Current-Mode Logic Circuits

Yazar

Badel, Stéphane. author. Baltaci, Can. author. Cevrero, Alessandro. author. Leblebici, Yusuf. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-91307-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

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:

30.

A treatise on induction and probability

Yazar

Wright, Georg Henrik von, 1916-

Yer Numarası

BC 91 W72 1951 (SET)

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

31.

Foundations of geometry and induction : containing geometry in the sensible world and the logical problem of induction

Yazar

Nicod, Jean, 1893-1924.

Yer Numarası

QA 681 N5 1930 (SET)

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

32.

Logical studies

Yazar

Wright, Georg Henrik von, 1916-

Yer Numarası

BC 6 W72 1957 (SET)

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

33.

Cylindric algebras

Yazar

Henkin, Leon. Monk, J. Donald, ort. yaz. Tarski, Alfred, ort. yaz.

Yer Numarası

QA 9 H415 1971- V.1

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

34.

The foundations of mathematics : and other logical essays

Yazar

Ramsey, Frank Plumpton, 1903-1930. Braithwaite, Richard Bevan, ed.

Yer Numarası

QA 9 R23 1931

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

35.

The nature of mathematics : a critical survey

Yazar

Black, Max, 1909-

Yer Numarası

QA 9 B62 1933 (SET)

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

36.

An examination of logical positivism

Yazar

Weinberg, Julius Rudolf, 1908-

Yer Numarası

B 824.6 W434 1936 (SET)

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

37.

Nonlinear biomedical signal processing

Yazar

Akay, Metin, ed. IEEE Engineering in Medicine and Biology Society.

Yer Numarası

R 857.S47 N66 2000- V.2

Format:

Durum

Beytepe Kütüphanesi~3

Rafta:
Kopya:

38.

Communication : a philosophical study of language

Yazar

Britton, Karl, 1909-

Yer Numarası

P 105 B75 1939 (SET)

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

39.

Dialectic

Yazar

Adler, Mortimer Jerome, 1902-

Yer Numarası

BC 177 A4 1927 (SET)

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

40.

The logical syntax of language

Yazar

Carnap, Rudolf, 1891-1970.

Yer Numarası

BC 135 C323 1937 P (SET)

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

41.

Nonlinear biomedical signal processing

Yazar

Akay, Metin.

Yer Numarası

QT 26.5 N813 2000-

Format:

Durum

Sağlık Bilimleri Kütüphanesi~1

Rafta:
Kopya:

42.

İslam mantık tarihi ve Farabi mantığı

Yazar

Keklik, Nihat.

Yer Numarası

BC 34 K4 1969-70

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

43.

Tutarsızlıklar

Yazar

Steinweg, Marcus Ünal, Erkal.

Yer Numarası

BC199.I45 S7419 2019

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

44.

Euro-Par 2018: Parallel Processing Workshops Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018, Revised Selected Papers

Yazar

Mencagli, Gabriele. editor. B. Heras, Dora. editor. Cardellini, Valeria. editor. Casalicchio, Emiliano. editor. Jeannot, Emmanuel. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-10549-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

45.

Modeling Decisions for Artificial Intelligence 16th International Conference, MDAI 2019, Milan, Italy, September 4–6, 2019, Proceedings

Yazar

Torra, Vicenç. editor. (orcid)0000-0002-0368-8037 Narukawa, Yasuo. editor. Pasi, Gabriella. editor. (orcid)0000-0002-6080-8170 Viviani, Marco. editor. (orcid)0000-0002-2274-9050 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-26773-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

46.

Tests and Proofs 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings

Yazar

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Keller, Chantal. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-31157-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

47.

Computer Science – Theory and Applications 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019, Proceedings

Yazar

van Bevern, René. editor. (orcid)0000-0002-4805-218X Kucherov, Gregory. editor. (orcid)0000-0001-5899-5424 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-19955-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

48.

Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Yazar

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Oliveira, José N. editor. (orcid)0000-0002-0196-4229 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-30942-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

49.

AI*IA 2019 – Advances in Artificial Intelligence XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19–22, 2019, Proceedings

Yazar

Alviano, Mario. editor. (orcid)0000-0002-2052-2063 Greco, Gianluigi. editor. (orcid)0000-0002-5799-6828 Scarcello, Francesco. editor. (orcid)0000-0001-7765-1563 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-35166-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

50.

Algorithmic Aspects of Cloud Computing 4th International Symposium, ALGOCLOUD 2018, Helsinki, Finland, August 20–21, 2018, Revised Selected Papers

Yazar

Disser, Yann. editor. (orcid)0000-0002-2085-0454 Verykios, Vassilios S. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-19759-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

51.

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:

52.

Theoretical Aspects of Computing – ICTAC 2019 16th International Colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, Proceedings

Yazar

Hierons, Robert Mark. editor. (orcid)0000-0002-4771-1446 Mosbah, Mohamed. editor. (orcid)0000-0001-6031-4237 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-32505-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

53.

DNA Computing and Molecular Programming 25th International Conference, DNA 25, Seattle, WA, USA, August 5–9, 2019, Proceedings

Yazar

Thachuk, Chris. editor. Liu, Yan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-26807-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

54.

Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Yazar

Chang, Bor-Yuh Evan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-32304-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

55.

Biomimetic and Biohybrid Systems 8th International Conference, Living Machines 2019, Nara, Japan, July 9–12, 2019, Proceedings

Yazar

Martinez-Hernandez, Uriel. editor. (orcid)0000-0002-9922-7912 Vouloutsi, Vasiliki. editor. (orcid)0000-0001-6425-1026 Mura, Anna. editor. Mangan, Michael. editor. (orcid)0000-0002-0293-8874 Asada, Minoru. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-24741-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

56.

On the Move to Meaningful Internet Systems: OTM 2019 Conferences Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedings

Yazar

Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Debruyne, Christophe. editor. (orcid)0000-0003-4734-3847 Hepp, Martin. editor. Lewis, Dave. editor. Ardagna, Claudio Agostino. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-33246-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

57.

Research in Computational Molecular Biology 23rd Annual International Conference, RECOMB 2019, Washington, DC, USA, May 5-8, 2019, Proceedings

Yazar

Cowen, Lenore J. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-17083-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

58.

Advances in Soft Computing 18th Mexican International Conference on Artificial Intelligence, MICAI 2019, Xalapa, Mexico, October 27 – November 2, 2019, Proceedings

Yazar

Martínez-Villaseñor, Lourdes. editor. (orcid)0000-0002-9038-7821 Batyrshin, Ildar. editor. Marín-Hernández, Antonio. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-33749-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

59.

Cyber Physical Systems. Design, Modeling, and Evaluation 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers

Yazar

Chamberlain, Roger. editor. Taha, Walid. editor. (orcid)0000-0003-3160-9188 Törngren, Martin. editor. (orcid)0000-0002-4300-885X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-17910-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

60.

Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings

Yazar

Lin, Anthony Widjaja. editor. (orcid)0000-0003-4715-5096 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-34175-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

61.

Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings

Yazar

Guan, Nan. editor. Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Sun, Jun. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-35540-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

62.

Quantum Interaction 11th International Conference, QI 2018, Nice, France, September 3–5, 2018, Revised Selected Papers

Yazar

Coecke, Bob. editor. (orcid)0000-0002-5310-8723 Lambert-Mogiliansky, Ariane. editor. (orcid)0000-0003-4065-2049 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-35895-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

63.

Computational Intelligence Methods for Bioinformatics and Biostatistics 14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers

Yazar

Bartoletti, Massimo. editor. (orcid)0000-0003-3796-9774 Barla, Annalisa. editor. (orcid)0000-0002-3436-035X Bracciali, Andrea. editor. (orcid)0000-0003-1451-9260 Klau, Gunnar W. editor. (orcid)0000-0002-6340-0090 Peterson, Leif. editor. (orcid)0000-0002-1187-0883

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-14160-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

64.

Automated Reasoning with Analytic Tableaux and Related Methods 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings

Yazar

Cerrito, Serenella. editor. Popescu, Andrei. editor. (orcid)0000-0001-8747-0619 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-29026-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

65.

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:

66.

Formal Languages and Compilation

Yazar

Crespi Reghizzi, Stefano. author. Breveglieri, Luca. author. (orcid)0000-0001-5294-6840 Morzenti, Angelo. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-04879-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

67.

Parameterized Complexity in the Polynomial Hierarchy Extending Parameterized Complexity Theory to Higher Levels of the Hierarchy

Yazar

de Haan, Ronald. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-60670-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

68.

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:

69.

Big Data Analytics and Knowledge Discovery 21st International Conference, DaWaK 2019, Linz, Austria, August 26–29, 2019, Proceedings

Yazar

Ordonez, Carlos. editor. Song, Il-Yeol. editor. Anderst-Kotsis, Gabriele. editor. Tjoa, A Min. editor. (orcid)0000-0002-8295-9252 Khalil, Ismail. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-27520-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

70.

Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings

Yazar

Herzig, Andreas. editor. (orcid)0000-0003-0833-2782 Popescu, Andrei. editor. (orcid)0000-0001-8747-0619 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-29007-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

71.

Euro-Par 2019: Parallel Processing 25th International Conference on Parallel and Distributed Computing, Göttingen, Germany, August 26–30, 2019, Proceedings

Yazar

Yahyapour, Ramin. editor. (orcid)0000-0002-9057-4395 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-29400-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

72.

Automated Deduction – CADE 27 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings

Yazar

Fontaine, Pascal. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-29436-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

73.

Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings

Yazar

André, Étienne. editor. (orcid)0000-0001-8473-9555 Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-29662-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

74.

Beyond-CMOS Technologies for Next Generation Computer Design

Yazar

Topaloglu, Rasit O. editor. Wong, H.-S. Philip. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-90385-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

75.

Introduction to Digital Systems Design

Yazar

Donzellini, Giuliano. author. Oneto, Luca. author. Ponta, Domenico. author. Anguita, Davide. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-92804-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

76.

Implementation and Application of Automata 24th International Conference, CIAA 2019, Košice, Slovakia, July 22–25, 2019, Proceedings

Yazar

Hospodár, Michal. editor. Jirásková, Galina. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-23679-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

77.

Computer Information Systems and Industrial Management 18th International Conference, CISIM 2019, Belgrade, Serbia, September 19–21, 2019, Proceedings

Yazar

Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Chaki, Rituparna. editor. (orcid)0000-0003-1060-5778 Janev, Valentina. editor. (orcid)0000-0002-9794-8505 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-28957-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

78.

Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

Yazar

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-17601-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

79.

Interpretability of Machine Intelligence in Medical Image Computing and Multimodal Learning for Clinical Decision Support Second International Workshop, iMIMIC 2019, and 9th International Workshop, ML-CDS 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 17, 2019, Proceedings

Yazar

Suzuki, Kenji. editor. Reyes, Mauricio. editor. Syeda-Mahmood, Tanveer. editor. Konukoglu, Ender. editor. Glocker, Ben. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-33850-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

80.

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:

81.

Flexible Query Answering Systems 13th International Conference, FQAS 2019, Amantea, Italy, July 2–5, 2019, Proceedings

Yazar

Cuzzocrea, Alfredo. editor. Greco, Sergio. editor. Larsen, Henrik Legind. editor. Saccà, Domenico. editor. Andreasen, Troels. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-27629-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

82.

Learning and Intelligent Optimization 12th International Conference, LION 12, Kalamata, Greece, June 10–15, 2018, Revised Selected Papers

Yazar

Battiti, Roberto. editor. (orcid)0000-0002-0259-8603 Brunato, Mauro. editor. (orcid)0000-0002-7885-4255 Kotsireas, Ilias. editor. (orcid)0000-0003-2126-8383 Pardalos, Panos M. editor. (orcid)0000-0003-2824-101X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-05348-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

83.

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings

Yazar

Kern-Isberner, Gabriele. editor. (orcid)0000-0001-8689-5391 Ognjanović, Zoran. editor. (orcid)0000-0003-2508-6480 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-29765-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

84.

Variant Construction from Theoretical Foundation to Applications

Yazar

Zheng, Jeffrey. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-13-2282-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

85.

Bioinformatics and Biomedical Engineering 7th International Work-Conference, IWBBIO 2019, Granada, Spain, May 8-10, 2019, Proceedings, Part I

Yazar

Rojas, Ignacio. editor. Valenzuela, Olga. editor. Rojas, Fernando. editor. Ortuño, Francisco. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-17938-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

86.

Bioinformatics Research and Applications 15th International Symposium, ISBRA 2019, Barcelona, Spain, June 3–6, 2019, Proceedings

Yazar

Cai, Zhipeng. editor. Skums, Pavel. editor. Li, Min. editor. (orcid)0000-0002-0188-1394 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-20242-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

87.

Quick Start Guide to Verilog

Yazar

LaMeres, Brock J. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-10552-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

88.

Tools 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 III

Yazar

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)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-17502-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

89.

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:

90.

Rough Sets International Joint Conference, IJCRS 2019, Debrecen, Hungary, June 17–21, 2019, Proceedings

Yazar

Mihálydeák, Tamás. editor. (orcid)0000-0002-4382-5921 Min, Fan. editor. (orcid)0000-0002-3290-1036 Wang, Guoyin. editor. (orcid)0000-0002-8521-5232 Banerjee, Mohua. editor. (orcid)0000-0002-7517-0923 Düntsch, Ivo. editor. (orcid)0000-0001-8907-2382

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-22815-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

91.

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:

92.

Unifying Theories of Programming 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings

Yazar

Ribeiro, Pedro. editor. (orcid)0000-0003-4319-4872 Sampaio, Augusto. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-31038-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

93.

Transactions on Large-Scale Data- and Knowledge-Centered Systems XLII

Yazar

Hameurlain, Abdelkader. editor. Wagner, Roland. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-60531-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

94.

Theoretical Computer Science 37th National Conference, NCTCS 2019, Lanzhou, China, August 2–4, 2019, Revised Selected Papers

Yazar

Sun, Xiaoming. editor. He, Kun. editor. Chen, Xiaoyun. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-15-0105-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

95.

Software Engineering and Methodology for Emerging Domains 16th National Conference, NASAC 2017, Harbin, China, November 4–5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23–25, 2018, Revised Selected Papers

Yazar

Li, Zheng. editor. (orcid)0000-0002-3938-7033 Jiang, He. editor. (orcid)0000-0001-8674-4948 Li, Ge. editor. Zhou, Minghui. editor. Li, Ming. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-15-0310-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

96.

Foundations of Security, Protocols, and Equational Reasoning Essays Dedicated to Catherine A. Meadows

Yazar

Guttman, Joshua D. editor. Landwehr, Carl E. editor. Meseguer, José. editor. Pavlovic, Dusko. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-19052-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

97.

Machine Translation 15th China Conference, CCMT 2019, Nanchang, China, September 27–29, 2019, Revised Selected Papers

Yazar

Huang, Shujian. editor. Knight, Kevin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-15-1721-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

98.

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:

99.

Machine Learning and Knowledge Extraction Third IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2019, Canterbury, UK, August 26–29, 2019, Proceedings

Yazar

Holzinger, Andreas. editor. (orcid)0000-0002-6786-5194 Kieseberg, Peter. editor. (orcid)0000-0002-2847-2152 Tjoa, A Min. editor. Weippl, Edgar. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-29726-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

100.

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:

101.

Metadata and Semantic Research 12th International Conference, MTSR 2018, Limassol, Cyprus, October 23-26, 2018, Revised Selected Papers

Yazar

Garoufallou, Emmanouel. editor. (orcid)0000-0001-8232-6634 Sartori, Fabio. editor. (orcid)0000-0002-5038-9785 Siatri, Rania. editor. Zervas, Marios. editor. (orcid)0000-0002-4466-7910 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-14401-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

102.

Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings

Yazar

Biondi, Fabrizio. editor. Given-Wilson, Thomas. editor. Legay, Axel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-30923-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

103.

Software Engineering Proceedings of CSI 2015

Yazar

Hoda, M. N. editor. Chauhan, Naresh. editor. Quadri, S. M. K. editor. Srivastava, Praveen Ranjan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-8848-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

104.

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:

105.

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:

106.

Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

Yazar

Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336 Cheng, Chih-Hong. editor. Esparza, Javier. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-31784-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

107.

Mantık tarihi : ortaçağ

Yazar

İnönü, Nazlı.

Yer Numarası

BC28 I561 2019

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

108.

Integer Programming and Combinatorial Optimization 20th International Conference, IPCO 2019, Ann Arbor, MI, USA, May 22-24, 2019, Proceedings

Yazar

Lodi, Andrea. editor. (orcid)0000-0001-9269-633X Nagarajan, Viswanath. editor. (orcid)0000-0002-9514-5581 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-17953-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

109.

Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings

Yazar

Thomsen, Michael Kirkedal. editor. (orcid)0000-0003-0922-3609 Soeken, Mathias. editor. (orcid)0000-0002-0229-8766 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-21500-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

110.

Principles and Practice of Constraint Programming 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings

Yazar

Schiex, Thomas. editor. (orcid)0000-0001-6049-3415 de Givry, Simon. editor. (orcid)0000-0002-2242-0458 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-30048-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

111.

New Trends in Databases and Information Systems ADBIS 2019 Short Papers, Workshops BBIGAP, QAUCA, SemBDM, SIMPDA, M2P, MADEISD, and Doctoral Consortium, Bled, Slovenia, September 8–11, 2019, Proceedings

Yazar

Welzer, Tatjana. editor. (orcid)0000-0002-6865-4946 Eder, Johann. editor. (orcid)0000-0001-6050-468X Podgorelec, Vili. editor. (orcid)0000-0001-6955-7868 Wrembel, Robert. editor. (orcid)0000-0001-6037-5718 Ivanović, Mirjana. editor. (orcid)0000-0003-1946-0384

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-30278-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

112.

Programming and Performance Visualization Tools International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers

Yazar

Bhatele, Abhinav. editor. (orcid)0000-0003-3069-3701 Boehme, David. editor. Levine, Joshua A. editor. Malony, Allen D. editor. Schulz, Martin. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-17872-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

113.

Artificial Intelligence Applications and Innovations 15th IFIP WG 12.5 International Conference, AIAI 2019, Hersonissos, Crete, Greece, May 24–26, 2019, Proceedings

Yazar

MacIntyre, John. editor. Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X Iliadis, Lazaros. editor. Pimenidis, Elias. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-19823-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

114.

VLSI-SoC: Opportunities and Challenges Beyond the Internet of Things 25th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2017, Abu Dhabi, United Arab Emirates, October 23–25, 2017, Revised and Extended Selected Papers

Yazar

Maniatakos, Michail. editor. (orcid)0000-0001-6899-0651 Elfadel, Ibrahim (Abe) M. editor. (orcid)0000-0003-3220-9987 Sonza Reorda, Matteo. editor. (orcid)0000-0003-2899-7669 Ugurdag, H. Fatih. editor. (orcid)0000-0002-6256-0850 Monteiro, José. editor. (orcid)0000-0003-0603-2268

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-15663-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

115.

Alfarabi's Book of dialectic (Kitāb al-jadal) : on the starting point of Islamic philosophy

Yazar

Fārābī, author.

Yer Numarası

B753 .F33 J2313 2019

Elektronik Erişim

https://doi.org/10.1017/9781108277822

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

116.

Artificial Intelligence in Health First International Workshop, AIH 2018, Stockholm, Sweden, July 13-14, 2018, Revised Selected Papers

Yazar

Koch, Fernando. editor. (orcid)0000-0001-7136-3253 Koster, Andrew. editor. (orcid)0000-0001-5976-7183 Riaño, David. editor. (orcid)0000-0002-1608-0215 Montagna, Sara. editor. (orcid)0000-0001-5390-4319 Schumacher, Michael. editor. (orcid)0000-0001-6522-4556

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-12738-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

117.

The Semantic Web 16th International Conference, ESWC 2019, Portorož, Slovenia, June 2–6, 2019, Proceedings

Yazar

Hitzler, Pascal. editor. (orcid)0000-0001-6192-3472 Fernández, Miriam. editor. (orcid)0000-0001-5939-4321 Janowicz, Krzysztof. editor. Zaveri, Amrapali. editor. Gray, Alasdair J.G. editor. (orcid)0000-0002-5711-4872

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-21348-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

118.

Recent Trends in Algebraic Development Techniques 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected Papers

Yazar

Fiadeiro, José Luiz. editor. Țuțu, Ionuț. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-23220-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

119.

From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

Yazar

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667 Semini, Laura. editor. (orcid)0000-0001-8774-2346 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-30985-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

120.

Applied Computer Sciences in Engineering 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019, Proceedings

Yazar

Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 Duarte-González, Mario. editor. Jaramillo-Isaza, Sebastián. editor. (orcid)0000-0002-2134-772X Orjuela-Cañon, Alvaro David. editor. (orcid)0000-0002-2057-7603 Díaz-Gutierrez, Yesid. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-31019-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

121.

Verification, Model Checking, and Abstract Interpretation 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings

Yazar

Enea, Constantin. editor. Piskac, Ruzica. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-11245-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

122.

Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Yazar

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Graf, Susanne. editor. Larsen, Kim G. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-22348-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

123.

Quick Start Guide to VHDL

Yazar

LaMeres, Brock J. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-04516-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

124.

Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers

Yazar

Slavkovik, Marija. editor. (orcid)0000-0003-2548-8623 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-14174-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

125.

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, Proceedings

Yazar

Bojańczyk, Mikołaj. editor. Simpson, Alex. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-17127-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

126.

Artificial Life and Evolutionary Computation 13th Italian Workshop, WIVACE 2018, Parma, Italy, September 10–12, 2018, Revised Selected Papers

Yazar

Cagnoni, Stefano. editor. (orcid)0000-0003-4669-512X Mordonini, Monica. editor. (orcid)0000-0002-5916-9770 Pecori, Riccardo. editor. (orcid)0000-0002-5948-5845 Roli, Andrea. editor. (orcid)0000-0001-9891-5441 Villani, Marco. editor. (orcid)0000-0002-5991-5470

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-21733-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

127.

High Performance Computing 34th International Conference, ISC High Performance 2019, Frankfurt/Main, Germany, June 16–20, 2019, Proceedings

Yazar

Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Juckeland, Guido. editor. (orcid)0000-0002-9935-4428 Trinitis, Carsten. editor. (orcid)0000-0002-6750-3652 Sadayappan, Ponnuswamy. editor. (orcid)0000-0002-4737-2034 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-20656-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

128.

Perspectives of System Informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers

Yazar

Bjørner, Nikolaj. editor. Virbitskaite, Irina. editor. Voronkov, Andrei. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-37487-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

129.

Knowledge Management in Organizations 14th International Conference, KMO 2019, Zamora, Spain, July 15–18, 2019, Proceedings

Yazar

Uden, Lorna. editor. Ting, I-Hsien. editor. Corchado, Juan Manuel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-21451-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

130.

Formal Grammar 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings

Yazar

Bernardi, Raffaella. editor. Kobele, Greg. editor. Pogodalla, Sylvain. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-59648-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

131.

Accelerator Programming Using Directives 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings

Yazar

Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428 Juckeland, Guido. editor. (orcid)0000-0002-9935-4428 Wienke, Sandra. editor. (orcid)0000-0002-5794-3662 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-12274-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

132.

Models, Languages, and Tools for Concurrent and Distributed Programming Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday

Yazar

Boreale, Michele. editor. (orcid)0000-0002-1972-7491 Corradini, Flavio. editor. Loreti, Michele. editor. (orcid)0000-0003-3061-863X Pugliese, Rosario. editor. (orcid)0000-0002-1419-1405 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-21485-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

133.

Answer Set Programming

Yazar

Lifschitz, Vladimir. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-24658-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

134.

Analog Circuit Theory and Filter Design in the Digital World With an Introduction to the Morphological Method for Creative Solutions and Design

Yazar

Moschytz, George S. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-00096-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

135.

Computer Engineering and Technology 22nd CCF Conference, NCCET 2018, Yinchuan, China, August 15–17, 2018, Revised Selected Papers

Yazar

Xu, Weixia. editor. Xiao, Liquan. editor. Li, Jinwen. editor. Zhu, Zhenzhen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-13-5919-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

136.

Text, Speech, and Dialogue 22nd International Conference, TSD 2019, Ljubljana, Slovenia, September 11–13, 2019, Proceedings

Yazar

Ekštein, Kamil. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-27947-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

137.

KI 2019: Advances in Artificial Intelligence 42nd German Conference on AI, Kassel, Germany, September 23–26, 2019, Proceedings

Yazar

Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Stuckenschmidt, Heiner. editor. (orcid)0000-0002-0209-3859 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-30179-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

138.

Quantitative Evaluation of Systems 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings

Yazar

Parker, David. editor. (orcid)0000-0003-4137-8862 Wolf, Verena. editor. (orcid)0000-0001-8460-6007 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-30281-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

139.

Graph-Theoretic Concepts in Computer Science 45th International Workshop, WG 2019, Vall de Núria, Spain, June 19–21, 2019, Revised Papers

Yazar

Sau, Ignasi. editor. (orcid)0000-0002-8981-9287 Thilikos, Dimitrios M. editor. (orcid)0000-0003-0470-1800 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-30786-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

140.

Reachability Problems 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings

Yazar

Filiot, Emmanuel. editor. Jungers, Raphaël. editor. Potapov, Igor. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-30806-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

141.

High-Performance Computing Applications in Numerical Simulation and Edge Computing ACM ICS 2018 International Workshops, HPCMS and HiDEC, Beijing, China, June 12, 2018, Revised Selected Papers

Yazar

Hu, Changjun. editor. Yang, Wen. editor. Jiang, Congfeng. editor. Dai, Dong. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-32-9987-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

142.

Harnessing Performance Variability in Embedded and High-performance Many/Multi-core Platforms A Cross-layer Approach

Yazar

Fornaciari, William. editor. Soudris, Dimitrios. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-91962-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

143.

Causation in Population Health Informatics and Data Science

Yazar

Dammann, Olaf. author. Smart, Benjamin. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-96307-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

144.

Pervasive Computing: A Networking Perspective and Future Directions

Yazar

Bhargava, Deepshikha. editor. Vyas, Sonali. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-13-3462-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

145.

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:

146.

Computer Science – CACIC 2018 24th Argentine Congress, Tandil, Argentina, October 8–12, 2018, Revised Selected Papers

Yazar

Pesado, Patricia. editor. (orcid)0000-0003-0000-3482 Aciti, Claudio. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-20787-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

147.

OpenMP: Conquering the Full Hardware Spectrum 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings

Yazar

Fan, Xing. editor. de Supinski, Bronis R. editor. Sinnen, Oliver. editor. Giacaman, Nasser. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-28596-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

148.

Transactions on High-Performance Embedded Architectures and Compilers V

Yazar

Silvano, Cristina. editor. (orcid)0000-0003-1668-0883 Bertels, Koen. editor. (orcid)0000-0001-9310-4885 Schulte, Michael. editor. (orcid)0000-0002-0213-4155 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-58834-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

149.

Joint Training for Neural Machine Translation

Yazar

Cheng, Yong. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-32-9748-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

150.

Reasoning Web. Explainable Artificial Intelligence 15th International Summer School 2019, Bolzano, Italy, September 20–24, 2019, Tutorial Lectures

Yazar

Krötzsch, Markus. editor. (orcid)0000-0002-9172-2601 Stepanova, Daria. editor. (orcid)0000-0001-8654-5121 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-31423-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

151.

Language and Automata Theory and Applications 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings

Yazar

Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Okhotin, Alexander. editor. (orcid)0000-0002-1615-2725 Shapira, Dana. editor. (orcid)0000-0002-2320-9064 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-13435-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

152.

Natural Language Processing and Chinese Computing 8th CCF International Conference, NLPCC 2019, Dunhuang, China, October 9–14, 2019, Proceedings, Part II

Yazar

Tang, Jie. editor. Kan, Min-Yen. editor. Zhao, Dongyan. editor. Li, Sujian. editor. Zan, Hongying. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-32236-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

153.

Bioinformatics and Biomedical Engineering 7th International Work-Conference, IWBBIO 2019, Granada, Spain, May 8-10, 2019, Proceedings, Part II

Yazar

Rojas, Ignacio. editor. Valenzuela, Olga. editor. Rojas, Fernando. editor. Ortuño, Francisco. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-17935-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

154.

From Reactive Systems to Cyber-Physical Systems Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday

Yazar

Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601 Cleaveland, Rance. editor. Grosu, Radu. editor. (orcid)0000-0001-5715-2142 Sokolsky, Oleg. editor. (orcid)0000-0001-5282-0658 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-31514-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

155.

Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

Yazar

Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507 Petre, Luigia. editor. Smith, Graeme. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-32441-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

156.

Software Architecture 13th European Conference, ECSA 2019, Paris, France, September 9–13, 2019, Proceedings

Yazar

Bures, Tomas. editor. Duchien, Laurence. editor. (orcid)0000-0002-4517-5862 Inverardi, Paola. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-29983-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

157.

Machine Learning in VLSI Computer-Aided Design

Yazar

Elfadel, Ibrahim (Abe) M. editor. Boning, Duane S. editor. Li, Xin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-04666-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

158.

High-Performance Modelling and Simulation for Big Data Applications Selected Results of the COST Action IC1406 cHiPSet

Yazar

Kołodziej, Joanna. editor. (orcid)0000-0002-5181-8713 González-Vélez, Horacio. editor. (orcid)0000-0003-0241-6053 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-16272-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

159.

Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers

Yazar

Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Massink, Mieke. editor. (orcid)0000-0001-5089-002X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-31517-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

160.

Algebraic Informatics 8th International Conference, CAI 2019, Niš, Serbia, June 30–July 4, 2019, Proceedings

Yazar

Ćirić, Miroslav. editor. (orcid)0000-0001-8625-4682 Droste, Manfred. editor. (orcid)0000-0001-9128-8844 Pin, Jean-Éric. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-21363-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

161.

Model-Based Safety and Assessment 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings

Yazar

Papadopoulos, Yiannis. editor. (orcid)0000-0001-7007-5153 Aslansefat, Koorosh. editor. (orcid)0000-0001-9318-8177 Katsaros, Panagiotis. editor. Bozzano, Marco. editor. (orcid)0000-0002-4135-103X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-32872-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

162.

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:

163.

Applications of Evolutionary Computation 22nd International Conference, EvoApplications 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings

Yazar

Kaufmann, Paul. editor. (orcid)0000-0001-7196-389X Castillo, Pedro A. editor. (orcid)0000-0002-5258-0620 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-16692-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

164.

Cellular Automata and Discrete Complex Systems 25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26–28, 2019, Proceedings

Yazar

Castillo-Ramirez, Alonso. editor. (orcid)0000-0002-2020-8699 de Oliveira, Pedro P. B. editor. (orcid)0000-0002-6022-0270 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-20981-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

165.

Architecture of Computing Systems – ARCS 2019 32nd International Conference, Copenhagen, Denmark, May 20–23, 2019, Proceedings

Yazar

Schoeberl, Martin. editor. Hochberger, Christian. editor. Uhrig, Sascha. editor. Brehm, Jürgen. editor. Pionteck, Thilo. editor. (orcid)0000-0001-6518-1226

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-18656-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

166.

Progress in Cryptology – LATINCRYPT 2017 5th International Conference on Cryptology and Information Security in Latin America, Havana, Cuba, September 20–22, 2017, Revised Selected Papers

Yazar

Lange, Tanja. editor. Dunkelman, Orr. editor. (orcid)0000-0001-5799-2635 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-25283-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

167.

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:

168.

Knowledge Graph and Semantic Computing. Knowledge Computing and Language Understanding Third China Conference, CCKS 2018, Tianjin, China, August 14–17, 2018, Revised Selected Papers

Yazar

Zhao, Jun. editor. Harmelen, Frank van. editor. Tang, Jie. editor. Han, Xianpei. editor. Wang, Quan. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-13-3146-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

169.

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:

170.

Tetralog : Ben haklıyım sen haksızsın

Yazar

Williamson, Timothy. Şener, İbrahim.

Yer Numarası

BD21 W4719 2019

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

171.

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 II

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-17465-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

172.

Pattern Recognition 40th German Conference, GCPR 2018, Stuttgart, Germany, October 9-12, 2018, Proceedings

Yazar

Brox, Thomas. editor. (orcid)0000-0002-6282-8861 Bruhn, Andrés. editor. Fritz, Mario. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-12939-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

173.

Combinatorics on Words 12th International Conference, WORDS 2019, Loughborough, UK, September 9–13, 2019, Proceedings

Yazar

Mercaş, Robert. editor. (orcid)0000-0001-6034-433X Reidenbach, Daniel. editor. (orcid)0000-0001-7996-5291 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-28796-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

174.

Fundamentals of Modern Electric Circuit Analysis and Filter Synthesis A Transfer Function Approach

Yazar

Izadian, Afshin. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-02484-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

175.

Advances in Conceptual Modeling ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4–7, 2019, Proceedings

Yazar

Guizzardi, Giancarlo. editor. Gailly, Frederik. editor. Suzana Pitangueira Maciel, Rita. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-34146-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

176.

Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Yazar

Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441 Mariani, Leonardo. editor. (orcid)0000-0001-9527-7042 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-32079-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

177.

Stochastic Computing: Techniques and Applications

Yazar

Gross, Warren J. editor. Gaudet, Vincent C. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-03730-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

178.

Theory and Applications of Models of Computation 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13–16, 2019, Proceedings

Yazar

Gopal, T.V. editor. Watada, Junzo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-14812-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

179.

Application and Theory of Petri Nets and Concurrency 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings

Yazar

Donatelli, Susanna. editor. (orcid)0000-0002-0911-8457 Haar, Stefan. editor. (orcid)0000-0002-1892-2703 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-21571-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

180.

Advanced HDL Synthesis and SOC Prototyping RTL Design Using Verilog

Yazar

Taraate, Vaibbhav. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-8776-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

181.

Numerical Software Verification 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings

Yazar

Zamani, Majid. editor. Zufferey, Damien. editor. (orcid)0000-0002-3197-8736 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-28423-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

182.

Supercomputing 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papers

Yazar

Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. (orcid)0000-0002-3474-8696 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-05807-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

183.

Artificial Intelligence 17th Russian Conference, RCAI 2019, Ulyanovsk, Russia, October 21–25, 2019, Proceedings

Yazar

Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001 Panov, Aleksandr I. editor. (orcid)0000-0002-9747-3837 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-30763-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

184.

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:

185.

Languages and Compilers for Parallel Computing 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11–13, 2017, Revised Selected Papers

Yazar

Rauchwerger, Lawrence. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-35225-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

186.

Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

Yazar

Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-12988-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

187.

VLSI Design and Test 23rd International Symposium, VDAT 2019, Indore, India, July 4–6, 2019, Revised Selected Papers

Yazar

Sengupta, Anirban. editor. Dasgupta, Sudeb. editor. Singh, Virendra. editor. Sharma, Rohit. editor. Kumar Vishvakarma, Santosh. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-32-9767-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

188.

Knowledge Discovery, Knowledge Engineering and Knowledge Management 9th International Joint Conference, IC3K 2017, Funchal, Madeira, Portugal, November 1-3, 2017, Revised Selected Papers

Yazar

Fred, Ana. editor. Aveiro, David. editor. (orcid)0000-0001-6453-3648 Dietz, Jan L. G. editor. Liu, Kecheng. editor. Bernardino, Jorge. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-15640-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

189.

VLSI-SoC: Design and Engineering of Electronics Systems Based on New Computing Paradigms 26th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2018, Verona, Italy, October 8–10, 2018, Revised and Extended Selected Papers

Yazar

Bombieri, Nicola. editor. Pravadelli, Graziano. editor. Fujita, Masahiro. editor. Austin, Todd. editor. Reis, Ricardo. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-23425-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

190.

Algorithms for Computational Biology 6th International Conference, AlCoB 2019, Berkeley, CA, USA, May 28–30, 2019, Proceedings

Yazar

Holmes, Ian. editor. (orcid)0000-0001-7639-5369 Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Vega-Rodríguez, Miguel A. editor. (orcid)0000-0002-3003-758X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-18174-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

191.

Integrated Uncertainty in Knowledge Modelling and Decision Making 7th International Symposium, IUKM 2019, Nara, Japan, March 27–29, 2019, Proceedings

Yazar

Seki, Hirosato. editor. Nguyen, Canh Hao. editor. Huynh, Van-Nam. editor. Inuiguchi, Masahiro. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-14815-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

192.

Information Search, Integration, and Personalization 12th International Workshop, ISIP 2018, Fukuoka, Japan, May 14–15, 2018, Revised Selected Papers

Yazar

Kotzinos, Dimitris. editor. Laurent, Dominique. editor. (orcid)0000-0002-7264-9576 Spyratos, Nicolas. editor. Tanaka, Yuzuru. editor. Taniguchi, Rin-ichiro. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-30284-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

193.

OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity 5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21–23, 2018, Revised Selected Papers

Yazar

Pophale, Swaroop. editor. (orcid)0000-0001-8544-6367 Imam, Neena. editor. (orcid)0000-0001-8860-4738 Aderholdt, Ferrol. editor. (orcid)0000-0002-4208-6493 Gorentla Venkata, Manjunath. editor. (orcid)0000-0002-5282-1682 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-04918-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}