Search Results for Logic.

1.

Advances in Information Retrieval 45th European Conference on Information Retrieval, ECIR 2023, Dublin, Ireland, April 2-6, 2023, Proceedings, Part I

Yazar

Kamps, Jaap. editor. Goeuriot, Lorraine. editor. Crestani, Fabio. editor. Maistro, Maria. editor. Joho, Hideo. editor. (orcid)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-28244-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Artificial General Intelligence 16th International Conference, AGI 2023, Stockholm, Sweden, June 16-19, 2023, Proceedings

Yazar

Hammer, Patrick. editor. Alirezaie, Marjan. editor. Strannegård, Claes. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-33469-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Discovery Science 26th International Conference, DS 2023, Porto, Portugal, October 9-11, 2023, Proceedings

Yazar

Bifet, Albert. editor. Lorena, Ana Carolina. editor. Ribeiro, Rita P. editor. Gama, João. editor. Abreu, Pedro H. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-45275-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Medical Persuasion Understanding the Impact on Medical Argumentation

Yazar

Velanovich, Vic. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-30371-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Handbook of Abductive Cognition

Yazar

Magnani, Lorenzo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-10135-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Nucleic Acid Biology and its Application in Human Diseases

Yazar

Chatterjee, Subhrangsu. editor. Chattopadhyay, Samit. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-19-8520-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Communications, Signal Processing, and Systems Proceedings of the 11th International Conference on Communications, Signal Processing, and Systems, Vol. 3

Yazar

Liang, Qilian. editor. Wang, Wei. editor. Liu, Xin. editor. Na, Zhenyu. editor. Zhang, Baoju. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-2362-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

NATURE OF EXPLANATION IN SOCIAL SCIENCES

Yazar

Tiwari, Rajesh Ranjan.

Yer Numarası

H61

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003405719
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

The Routledge handbook of propositions

Yazar

Murray, Adam Russell, 1979- editor. Tillman, Chris, 1976- editor.

Yer Numarası

BC181

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781315270500
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

The baseball mysteries : challenging puzzles for logical detectives

Yazar

Butters, Jerry, author. Henle, James M., author.

Yer Numarası

QA95

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003332602
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

PHILOSOPHICAL INTRODUCTION TO HIGHER ORDER LOGICS

Yazar

Bacon, Andrew, 1985-

Yer Numarası

BC135

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003039181
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

How we argue : 30 lessons in persuasive communication

Yazar

Tindale, Christopher W. (Christopher William), author.

Yer Numarası

P301.5 .P47 T56 2023

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003326328
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

13.

Information Technologies and Intelligent Decision Making Systems Second International Conference, ITIDMS 2022, Virtual Event, December 12-14, 2022, Revised Selected Papers

Yazar

Gibadullin, Arthur. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-31353-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

Paradigms of Smart and Intelligent Communication, 5G and Beyond

Yazar

Rai, Amrita. editor. Kumar Singh, Dinesh. editor. Sehgal, Amit. editor. Cengiz, Korhan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-0109-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

Intelligent Systems and Machine Learning First EAI International Conference, ICISML 2022, Hyderabad, India, December 16-17, 2022, Proceedings, Part II

Yazar

Nandan Mohanty, Sachi. editor. Garcia Diaz, Vicente. editor. Satish Kumar, G. A. E. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-35081-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

Digital Transformation in Education and Artificial Intelligence Application First International Conference, MoStart 2023, Mostar, Bosnia and Herzegovina, April 18-20, 2023, Revised Selected Papers

Yazar

Vasić, Daniel. editor. Kundid Vasić, Mirela. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-36833-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

Computational Intelligence in Data Science 6th IFIP TC 12 International Conference, ICCIDS 2023, Chennai, India, February 23-25, 2023, Revised Selected Papers

Yazar

Chandran K R, Sarath. editor. N, Sujaudeen. editor. A, Beulah. editor. Hamead H, Shahul. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-38296-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

Concise Guide to Software Verification From Model Checking to Annotation Checking

Yazar

Huisman, Marieke. author. Wijs, Anton. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-30167-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

Artificial Intelligence for Communications and Networks 4th EAI International Conference, AICON 2022, Hiroshima, Japan, November 30 - December 1, 2022, Proceedings

Yazar

Kambayashi, Yasushi. editor. Nguyen, Ngoc Thanh. editor. Chen, Shu-Heng. editor. Dini, Petre. editor. Takimoto, Munehiro. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-29126-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

Information and Communication Technologies 11th Ecuadorian Conference, TICEC 2023, Cuenca, Ecuador, October 18-20, 2023, Proceedings

Yazar

Maldonado-Mahauad, Jorge. editor. Herrera-Tapia, Jorge. editor. Zambrano-Martínez, Jorge Luis. editor. Berrezueta, Santiago. editor. (orcid) SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-45438-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

21.

PRIMA 2022: Principles and Practice of Multi-Agent Systems 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedings

Yazar

Aydoğan, Reyhan. editor. Criado, Natalia. editor. Lang, Jérôme. editor. Sanchez-Anguix, Victor. editor. Serramia, Marc. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-21203-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings

Yazar

Hanus, Michael. editor. Inclezan, Daniela. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-24841-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

23.

Artificial General Intelligence 15th International Conference, AGI 2022, Seattle, WA, USA, August 19-22, 2022, Proceedings

Yazar

Goertzel, Ben. editor. Iklé, Matt. editor. Potapov, Alexey. editor. Ponomaryov, Denis. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-19907-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

24.

Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers

Yazar

Lal, Akash. editor. Tonetta, Stefano. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-25803-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

25.

Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

Yazar

Kupferman, Orna. editor. Sobocinski, Pawel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-30829-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

Advances in Intelligent Data Analysis XXI 21st International Symposium on Intelligent Data Analysis, IDA 2023, Louvain-la-Neuve, Belgium, April 12-14, 2023, Proceedings

Yazar

Crémilleux, Bruno. editor. Hess, Sibylle. editor. Nijssen, Siegfried. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-30047-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II

Yazar

Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-30820-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

Combinatorics on Words 14th International Conference, WORDS 2023, Umeå, Sweden, June 12-16, 2023, Proceedings

Yazar

Frid, Anna. editor. Mercaş, Robert. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-33180-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

Knowledge Science, Engineering and Management 16th International Conference, KSEM 2023, Guangzhou, China, August 16-18, 2023, Proceedings, Part III

Yazar

Jin, Zhi. editor. Jiang, Yuncheng. editor. Buchmann, Robert Andrei. editor. Bi, Yaxin. editor. Ghiran, Ana-Maria. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-40289-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

Formal Modeling and Analysis of Timed Systems 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings

Yazar

Petrucci, Laure. editor. Sproston, Jeremy. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-42626-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Data and Applications Security and Privacy XXXVII 37th Annual IFIP WG 11.3 Conference, DBSec 2023, Sophia-Antipolis, France, July 19-21, 2023, Proceedings

Yazar

Atluri, Vijayalakshmi. editor. Ferrara, Anna Lisa. editor. (orcid) SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-37586-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

Machine Learning and Knowledge Extraction 7th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2023, Benevento, Italy, August 29 - September 1, 2023, Proceedings

Yazar

Holzinger, Andreas. editor. Kieseberg, Peter. editor. Cabitza, Federico. editor. Campagner, Andrea. editor. Tjoa, A Min. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-40837-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

Flexible Query Answering Systems 15th International Conference, FQAS 2023, Mallorca, Spain, September 5-7, 2023, Proceedings

Yazar

Larsen, Henrik Legind. editor. Martin-Bautista, Maria J. editor. Ruiz, M. Dolores. editor. Andreasen, Troels. editor. Bordogna, Gloria. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-42935-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

Multi-Agent Systems 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings

Yazar

Malvone, Vadim. editor. Murano, Aniello. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-43264-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

35.

Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings

Yazar

Ramanayake, Revantha. editor. Urban, Josef. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-43513-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

36.

Computer Information Systems and Industrial Management 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22-24, 2023, Proceedings

Yazar

Saeed, Khalid. editor. (orcid) Dvorský, Jiří. editor. Nishiuchi, Nobuyuki. editor. Fukumoto, Makoto. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-42823-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

37.

Rules and Reasoning 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings

Yazar

Fensel, Anna. editor. Ozaki, Ana. editor. Roman, Dumitru. editor. Soylu, Ahmet. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-45072-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

38.

Runtime Verification 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings

Yazar

Katsaros, Panagiotis. editor. Nenzi, Laura. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-44267-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

39.

Prolog: The Next 50 Years

Yazar

Warren, David S. editor. Dahl, Veronica. editor. Eiter, Thomas. editor. Hermenegildo, Manuel V. editor. Kowalski, Robert. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-35254-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

40.

Intelligent Systems 12th Brazilian Conference, BRACIS 2023, Belo Horizonte, Brazil, September 25-29, 2023, Proceedings, Part I

Yazar

Naldi, Murilo C. editor. Bianchi, Reinaldo A. C. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-45368-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

41.

Knowledge Graphs and Semantic Web 5th Iberoamerican Conference and 4th Indo-American Conference, KGSWC 2023, Zaragoza, Spain, November 13-15, 2023, Proceedings

Yazar

Ortiz-Rodriguez, Fernando. editor. Villazón-Terrazas, Boris. editor. Tiwari, Sanju. editor. Bobed, Carlos. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-47745-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

42.

Practical Aspects of Declarative Languages 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings

Yazar

Gebser, Martin. editor. Sergey, Ilya. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-52038-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

43.

Perspectives and Trends in Education and Technology Selected Papers from ICITED 2022

Yazar

Mesquita, Anabela. editor. Abreu, António. editor. (orcid)0000-0001-5958-9188 Carvalho, João Vidal. editor. (orcid)0000-0001-9727-0557 de Mello, Cristina Helena Pinto. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-19-6585-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

44.

Algorithmic Foundations of Robotics XV Proceedings of the Fifteenth Workshop on the Algorithmic Foundations of Robotics

Yazar

LaValle, Steven M. editor. O'Kane, Jason M. editor. Otte, Michael. editor. Sadigh, Dorsa. editor. Tokekar, Pratap. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-21090-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

45.

Embedded Systems Design using the MSP430FR2355 LaunchPad™

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-20888-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

46.

Reliability Engineering and Computational Intelligence for Complex Systems Design, Analysis and Evaluation

Yazar

van Gulijk, Coen. editor. (orcid)0000-0003-4541-2693 Zaitseva, Elena. editor. Kvassay, Miroslav. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-40997-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

47.

Taking AIMS at Digital Design Analysis, Improvement, Modeling, and Synthesis

Yazar

Jantsch, Axel. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-35605-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

48.

Machine Learning and the Internet of Things in Education Models and Applications

Yazar

Idoko, John Bush. editor. Abiyev, Rahib. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-42924-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

49.

Intelligent Information Processing with Matlab

Yazar

Zhang, Xiu. author. Zhang, Xin. author. Wang, Wei. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-6449-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

50.

Digital Design from the VLSI Perspective Concepts for VLSI Beginners

Yazar

Taraate, Vaibbhav. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-19-4652-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

51.

Advances in VLSI and Embedded Systems Select Proceedings of AVES 2021

Yazar

Darji, Anand D. editor. Joshi, Deepak. editor. Joshi, Amit. editor. Sheriff, Ray. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-19-6780-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

52.

Real Life Applications of Multiple Criteria Decision Making Techniques in Fuzzy Domain

Yazar

Sahoo, Laxminarayan. editor. Senapati, Tapan. editor. Yager, Ronald R. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-19-4929-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

53.

Communications, Signal Processing, and Systems Proceedings of the 11th International Conference on Communications, Signal Processing, and Systems, Vol. 2

Yazar

Liang, Qilian. editor. Wang, Wei. editor. Liu, Xin. editor. Na, Zhenyu. editor. Zhang, Baoju. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-1260-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

54.

Analytic listening in clinical dialogue : basic assumptions

Yazar

Bürgin, Dieter, author. Staehle, Angelika, author. Westhoff, Kerstin, author. Wyler von Ballmoos, Anna, author. Leighton, Sophie, translator.

Yer Numarası

RC480.5 .B87 2023

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003304340
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

55.

Advances in semiconductor technologies : selected topics beyond conventional CMOS

Yazar

Chen, An (Electronics engineer), editor.

Yer Numarası

TK7871.85 .A3565 2023

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119869610

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

56.

$Mechanics of hydraulic fracturing : experiment, model, and monitoring için kapak resmi$

Mechanics of hydraulic fracturing : experiment, model, and monitoring

Yazar

Zhang, Xi (Geologist), editor.

Yer Numarası

TN871.255 .M43 2023

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119742487

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

57.

Quantum computing : a new era of computing

Yazar

Kaswan, Kuldeep Singh, author. Dhatterwal, Jagjit Singh, author. Baliyan, Anupam, 1976- author. Rani, Shalli, author.

Yer Numarası

QA76.889 .K37 2023

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394157846

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

58.

Artificial Intelligence-based smart power systems

Yazar

Sanjeevikumar, Padmanaban, 1978- editor. Palanisamy, Sivaraman, 1991- editor. Chenniappan, Sharmeela, 1977- editor. Holm-Nielsen, Jens Bo, editor.

Yer Numarası

TK3105 .A784 2023

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119893998

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

59.

Handbook of computational sciences : a multi and interdisciplinary approach

Yazar

Elngar, Ahmed A., editor.

Yer Numarası

QA76 .H36 2023

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119763468

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

60.

Fuzzy systems modeling in environmental and health risk assessment

Yazar

Faybishenko, Boris, editor. Sadiq, Rehan, editor. Deshpande, Ashok, editor.

Yer Numarası

RA427.3 .F89 2023

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119569503

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

61.

Beyond-CMOS : state of the art and trends

Yazar

Cresti, Alessandro, editor.

Yer Numarası

TK7871.99 .M44 B49 2023

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394228713

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

62.

Robust and Intelligent Control of a Typical Underactuated Robot Mobile Wheeled Inverted Pendulum

Yazar

Huang, Jian. author. Zhang, Mengshi. author. Fukuda, Toshio. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-19-7157-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

63.

Sentiment Analysis and Deep Learning Proceedings of ICSADL 2022

Yazar

Shakya, Subarna. editor. Du, Ke-Lin. editor. Ntalianis, Klimis. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-19-5443-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

64.

Software Defined Chips Volume II

Yazar

Liu, Leibo. author. Wei, Shaojun. author. Zhu, Jianfeng. author. Deng, Chenchen. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-19-7636-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

65.

Modern Electronics Devices and Communication Systems Select Proceedings of MEDCOM 2021

Yazar

Agrawal, Rajeev. editor. Kishore Singh, Chandramani. editor. Goyal, Ayush. editor. Singh, Dinesh Kumar. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-19-6383-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

66.

Understanding Behaviour of Distributed Systems Using mCRL2

Yazar

Atif, Muhammad. author. Groote, Jan Friso. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-23008-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

67.

Embracing Machines and Humanity Through Cognitive Computing and IoT

Yazar

Usman, Mohammed. editor. Gao, Xiao-Zhi. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-19-4522-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

68.

Emerging Computing: From Devices to Systems Looking Beyond Moore and Von Neumann

Yazar

Aly, Mohamed M. Sabry. editor. Chattopadhyay, Anupam. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-16-7487-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

69.

Machine Learning Support for Fault Diagnosis of System-on-Chip

Yazar

Girard, Patrick. editor. Blanton, Shawn. editor. Wang, Li-C. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-19639-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

70.

Intelligent Manufacturing and Energy Sustainability Proceedings of ICIMES 2022

Yazar

Manchuri, Amaranadha Reddy. editor. Marla, Deepak. editor. Rao, V. Vasudeva. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-19-8497-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

71.

Microelectronics, Circuits and Systems Select Proceedings of Micro2021

Yazar

Biswas, Abhijit. editor. Islam, Aminul. editor. Chaujar, Rishu. editor. Jaksic, Olga. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-0412-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

72.

Intelligent and Fuzzy Systems Intelligence and Sustainable Future Proceedings of the INFUS 2023 Conference, Volume 1

Yazar

Kahraman, Cengiz. editor. Sari, Irem Ucal. editor. Oztaysi, Basar. editor. Cebi, Selcuk. editor. Cevik Onar, Sezi. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-39774-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

73.

Intelligent and Fuzzy Systems Intelligence and Sustainable Future Proceedings of the INFUS 2023 Conference, Volume 2

Yazar

Kahraman, Cengiz. editor. Sari, Irem Ucal. editor. Oztaysi, Basar. editor. Cebi, Selcuk. editor. Cevik Onar, Sezi. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-39777-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

74.

Hardware Security Training, Hands-on!

Yazar

Tehranipoor, Mark. author. Anandakumar, N. Nalla. author. Farahmandi, Farimah. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-31034-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

75.

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-031-21908-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

76.

Recent Advances in Mechanical Engineering Select Proceedings of CAMSE 2021

Yazar

Manik, Gaurav. editor. Kalia, Susheel. editor. Verma, Om Prakash. editor. Sharma, Tarun K. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-19-2188-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

77.

Optical and Wireless Technologies Proceedings of OWT 2021

Yazar

Tiwari, Manish. editor. Ismail, Yaseera. editor. Verma, Karan. editor. Garg, Amit Kumar. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-19-1645-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

78.

Innovations in Signal Processing and Embedded Systems Proceedings of ICISPES 2021

Yazar

Mandal, Jyotsna Kumar. editor. Hinchey, Mike. editor. Rao, K. Sreenivas. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-19-1669-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

79.

Soft Computing Applications Proceedings of the 9th International Workshop Soft Computing Applications (SOFA 2020)

Yazar

Balas, Valentina Emilia. editor. Jain, Lakhmi C. editor. Balas, Marius Mircea. editor. Baleanu, Dumitru. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-23636-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

80.

Advances in Automation IV Proceedings of the International Russian Automation Conference, RusAutoCon2022, September 4-10, 2022, Sochi, Russia

Yazar

Radionov, Andrey A. editor. Gasiyarov, Vadim R. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-22311-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

81.

MULTIPLE-VALUED COMPUTING IN QUANTUM MOLECULAR BIOLOGY arithmetic and combinational circuits.

Yazar

Babu, Hafiz Md. Hasan, 1966-

Yer Numarası

QH506

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003381938
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

82.

EPISTEMOLOGY OF MODALITY AND PHILOSOPHICAL METHODOLOGY

Yazar

Vaidya, Anand. Prelević, Duško.

Yer Numarası

BC199 .M6

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003002192
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

83.

ELECTRONIC DIGITAL SYSTEM FUNDAMENTALS

Yazar

Patrick, Dale R., author. Fardo, Stephen W., author. Chandra, Vigyan, 1968- author. Fardo, Brian W., author.

Yer Numarası

TK7868 .D5

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781032634234
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

84.

The philosophy of exemplarity : singularity, particularity, and self-reference

Yazar

Mácha, Jakub, author.

Yer Numarası

B105 .I3

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003299370
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

85.

Counterfactualism in the fine arts

Yazar

Reinhuber, Elke, 1970- author.

Yer Numarası

N70 .R38 2023

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003148449
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

86.

PLEA FOR PLAUSIBILITY toward a comparative decision theory.

Yazar

Welch, John R.

Yer Numarası

BC143

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003352334
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

87.

Multimodal methods in anthropology

Yazar

Collins, Samuel Gerald, author. Durington, Matthew Slover, author.

Yer Numarası

GN33

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003330851
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

88.

Artificial intelligence in games

Yazar

Roberts, Paul (Game programmer), author. Dent, Nicholas (Illustrator), illustrator.

Yer Numarası

QA76.76 .C672 R6327 2023 EB

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003305835
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

89.

Lectures on digital design principles

Yazar

Mazumder, Pinaki, author. Ebong, Idongesit E., author

Yer Numarası

TK7868 .D5

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003425762
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

90.

Fuzzy optimization techniques in the areas of science and management

Yazar

Das, Santosh Kumar (Professor of computer science), editor. Giacalone, Massimiliano, editor.

Yer Numarası

QA402.5

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003321712
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

91.

Bernard Schmitt's quantum macroeconomic analysis

Yazar

Cencini, Alvaro, author.

Yer Numarası

HB172.5 .C416 2023

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781351271325
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

92.

Power converters, drives and controls for sustainable operations

Yazar

Kumar, S. Ganesh, author Abarca, Marco Rivera, author. Patnaik, S. K., author.

Yer Numarası

TK7872 .C8 K86 2023

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119792918

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

93.

Ondes Martenot with tubes

Yazar

Courrier, Thierry, author. Quartier, Laurent, author.

Yer Numarası

MT724 .C68 2023

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394225675

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

94.

Cartographic communication : graphic semiology, semiotics and geovisualization

Yazar

Mericskay, Boris, editor.

Yer Numarası

GA108.7

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394265022

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

95.

Territorial Inequalities

Yazar

Talandier, Magali, editor. Tallec, Josselin, 1982- editor.

Yer Numarası

JQ1830 .A56 .T477 2023

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394257409

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

96.

Nuclear Economy. 1, Nuclear fuel cycle economic analysis

Yazar

Percebois, Jacques, editor. Thiolliére, Nicolas, editor.

Yer Numarası

TJ163.2 .N835 2023

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394257348

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

97.

Urbanism and town planning : understanding and anticipating urban renewal

Yazar

Antoni, Jean-Philippe, author.

Yer Numarası

HT170

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394256266

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

98.

Fuzzy computing in data science : applications and challenges

Yazar

Mohanty, Sachi Nandan, editor. Chatterjee, Prasenjit, editor. Hung, Bui Thanh, editor.

Yer Numarası

QA9.64 .F89 2023

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394156887

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

99.

Systems biology modelling and analysis : formal bioinformatics methods and tools

Yazar

Maria, Elisabetta de, editor.

Yer Numarası

QH324.2 .S9763 2023

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119716600

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

100.

Smart grids and green energy systems

Yazar

Chitra, A., editor Indragandhi, . V., editor. Sultana, W. Razia, editor.

Yer Numarası

TK3105 .S64 2023

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119872061

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

101.

Guidelines for revalidating a process hazard analysis

Yazar

American Institute of Chemical Engineers. Center for Chemical Process Safety, author.

Yer Numarası

TP150 .S24 A44 2023

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119643753

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

102.

Mathematical foundations of fuzzy sets

Yazar

Wu, Hsien-Chung, author.

Yer Numarası

QA248 .W82 2023

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119981558

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

103.

Optimization techniques in engineering : advances and applications

Yazar

Khosla, Anita.

Yer Numarası

TA342 .O68 2023

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119906391

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

104.

Symbolic approaches to modeling and analysis of biological systems

Yazar

Lhoussaine, Cédric, editor. Rémy, Elisabeth, editor.

Yer Numarası

QH324.2 .S96 2023

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394229086

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

105.

Decision-making tools to support innovation : guidelines and case studies

Yazar

Enjolras, Manon, author. Galvez, Daniel, author. Camargo, Mauricio, author.

Yer Numarası

HM846 .E55 2023

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394228997

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

106.

Aklın kaderi : Kant’tan Fichte’ye Alman felsefesi

Yazar

Beiser, Frederick C. Bilgiç, Emre, çeviri

Yer Numarası

B2799.M52 B3919 2022

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

107.

Mantığa giriş : klasik mantık ve modern mantık

Yazar

Özkan, Cengiz İskender.

Yer Numarası

BC117.T8 O953 2022

Format:

Durum

Beytepe Kütüphanesi~2

Rafta:
Kopya:

108.

PICI6F877A temelli PLC sürüm 2.0

Yazar

Uzam, Murat.

Yer Numarası

TJ223.P76 U936 2022 V.1

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

109.

Black thought : a theory of articulation

Yazar

Peterson, Victor, II, author.

Yer Numarası

HT1581

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003147930
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

110.

Model-based systems architecting : using CESAM to architect complex systems

Yazar

Krob, Daniel, author.

Yer Numarası

QA76.9 .S88

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119988496

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

111.

Transition to advanced mathematics

Yazar

Diedrichs, Danilo R., author. Lovett, Stephen (Stephen T.), author.

Yer Numarası

QA11.2 .D535 2022

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003046202
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

112.

Principles of Verilog digital design

Yazar

Chin, Wen-Long, author.

Yer Numarası

TK7885.7

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003187196
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

113.

Origins and varieties of logicism : on the logico-philosophical foundations of mathematics

Yazar

Boccuni, Francesca, editor. Sereni, Andrea, editor.

Yer Numarası

QA141 .O75 2022 EB

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9780429277894
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

114.

Indian Buddhist studies on non-Buddhist theories of a self : the studies of Śāntarakṣita and Kamalaśīla on the Nyāya-Vaiśeṣika, Mīmāṃsā, Sāṃkhya, Jain, Vedānta and Vātsīputrīya theories of a self

Yazar

Duerlinger, James, author.

Yer Numarası

BQ3287

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003302773
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

115.

BCC-ALGEBRAS

Yazar

Thomys, Janus.

Yer Numarası

QA10

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003331568
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

116.

Digital VLSI design and simulation with Verilog

Yazar

Tripathi, Suman Lata, author. Saxena, Sobhit, author. Sinha, Sanjeet Kumar, author. Patel, Govind Singh, author.

Yer Numarası

TK7874.75 .T75 2022

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119778097

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

117.

Electronics in advanced research industries : industry 4.0 to industry 5.0 advances

Yazar

Massaro, Alessandro, 1974- author.

Yer Numarası

T59.6 .M37 2022

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119716907

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

118.

Deep learning approaches to cloud security

Yazar

Rathore, Pramod Singh, 1988- editor.

Yer Numarası

QA76.585

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119760542

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

119.

Power system protection

Yazar

Anderson, Paul M., author. Henville, Charles, author. Rifaat, Rasheek, author. Johnson, Brian, author. Meliopoulos, Sakis, author.

Yer Numarası

TK1010

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119513100

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

120.

The philosophy of philosophy

Yazar

Williamson, Timothy, author.

Yer Numarası

B53

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119616702

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

121.

Optimization and machine learning : optimization for machine learning and machine learning for optimization

Yazar

Chelouah, Rachid, editor. Siarry, Patrick, editor.

Yer Numarası

Q325.5

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119902881

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

122.

Handbook of intelligent computing and optimization for sustainable development

Yazar

Manshahia, Mukhdeep Singh, editor.

Yer Numarası

Q335

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119792642

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

123.

Mathematics in computational science and engineering

Yazar

Bhardwaj, Ramakant, editor.

Yer Numarası

QA76.9 .M35

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119777557

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

124.

Molecular photoswitches : chemistry, properties, and applications

Yazar

Pianowski, Zbigniew L., editor.

Yer Numarası

TP248.25 .M645

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9783527827626

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

125.

Artificial intelligence and data analytics for exploration and production

Yazar

Aminzadeh, Fred, author. Temizel, Cenk, author. Hajizadeh, Yasin, author.

Yer Numarası

Q335 .A45 2022

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119879893

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

126.

The Expanse and philosophy : so far out into the darkness

Yazar

Nicholas, Jeffery, 1969- editor.

Yer Numarası

PN1992.77 .E97

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119755630

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

127.

Machine learning and the city : applications in architecture and urban design

Yazar

Carta, Silvio, editor.

Yer Numarası

NA2543 .T43 C375 2022

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119815075

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

128.

Automation and computational intelligence for road maintenance and management : advances and applications

Yazar

Zakeri, Hamzeh, author. Nejad, Fereidoon Moghadas, author. Gandomi, Amir Hossein, author.

Yer Numarası

HD9717.5 .R62

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119800675

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

129.

Akıldışının mantığı : kararlarımızı biçimlendiren gizli kuvvetler

Yazar

Ariely, Dan Gül ,Asiye Hekimoğlu. Bolat, Filiz.

Yer Numarası

BC177 A7619 2021

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

130.

Force, content, and the unity of the proposition

Yazar

Mras, Gabriele, editor. Schmitz, Michael (Assistant professor), editor.

Yer Numarası

BC181

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003105152
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

131.

Control of mechatronic systems : model-driven design and implementation guidelines

Yazar

Kaltjob, Patrick O. J., author.

Yer Numarası

TJ163.12

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119505730

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

132.

Microgrid technologies

Yazar

Sharmeela, C., editor. Sivaraman, P. (Pandarinathan), editor. Sanjeevikumar, Padmanaban, 1978- editor. Holm-Nielsen, Jens Bo, editor.

Yer Numarası

TK3106 .M54 2021

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119710905

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

133.

Linear algebra

Yazar

O'Leary, Michael L., author.

Yer Numarası

QA184

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119437437

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

134.

Digital cities roadmap : IoT-based architecture and sustainable buildings

Yazar

Solanki, Arun, 1985- editor. Kumar, Adarsh, editor. Nayyar, Anand, editor.

Yer Numarası

TD159.4 .D54 2021

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119792079

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

135.

The digital revolution in health

Yazar

Béranger, Jérôme. Rizoulières, Roland.

Yer Numarası

R855.3

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119842446

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

136.

Digital health communications

Yazar

Cordelier, Benoit. Galibert, Olivier, 1973-

Yer Numarası

R118

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119842651

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

137.

Electronic circuit analysis using LTSpice XVII simulator : a practical guide for beginners.

Yazar

Mohindru, Pooja.

Yer Numarası

TK7867 .M64 2021

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003199489
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

138.

Proofs 101 : an introduction to formal mathematics

Yazar

Kirtland, Joseph (Mathematics professor), author.

Yer Numarası

QA9.54

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003082927
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

139.

Grey behaviors after logical fallacies in public and professional communication

Yazar

Kord, Homayoon, author. Thornton, George C., 1940- author.

Yer Numarası

HF5718

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003179610
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

140.

Multiplier-cum-divider circuits principles, design, and applications

Yazar

Selvam, K. C., author.

Yer Numarası

TK7867

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003168515
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

141.

Tractatus in context : the essential background for appreciating Wittgenstein's Tractatus logico-philosophicus

Yazar

Klagge, James Carl, 1954- author.

Yer Numarası

B3376 .W563

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003030072
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

142.

Architecture of mathematics

Yazar

Serovajsky, Simon, author.

Yer Numarası

QA9

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9780429470370
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

143.

The Routledge handbook of modality

Yazar

Bueno, Otávio, editor. Shalkowski, Scott A., editor.

Yer Numarası

BC199 .M6 R68 2021

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781315742144
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

144.

A beginner's guide to multilevel image thresholding

Yazar

Rajinikanth, Venkatesan, author. Raja, Nadaradjane Sri Madhava, author. Dey, Nilanjan, 1984- author.

Yer Numarası

TA1638.4 .R35 2021

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003049449
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

145.

The gamification of society

Yazar

Le Lay, Stéphane, editor. Savignac, Emmanuelle, editor. Frances, Jean, editor. Lénel, Pierre, editor.

Yer Numarası

GV1201.38 .G36 2021 EB

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119821557

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

146.

Foundations of familiar language : formulaic expressions, lexical bundles, and collocations at work and play

Yazar

Sidtis, Diana, author.

Yer Numarası

P326.5 .P45 S54 2021

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119163305

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

147.

Strategic engineering

Yazar

Arcade, Jacques, author.

Yer Numarası

TA190

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119821342

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

148.

Digital system design using FSMs : a practical learning approach

Yazar

Minns, Peter D., author.

Yer Numarası

QA267.5 .S4 M56 2021

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119782735

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

149.

Fuzzy intelligent systems : methodologies, techniques, and applications

Yazar

Chandrasekaran, E. Anandan, R. Suseendran, G. Balamurugan, S. (Shanmugam), 1985- Hachimi, Hanaa.

Yer Numarası

QA402

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119763437

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

150.

Introduction to programming with C++ for engineers

Yazar

Cyganek, Bogusław, author.

Yer Numarası

QA76.73 .C153 C94 2021

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119431152

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

151.

DNA- and RNA-based computing systems

Yazar

Katz, Evgeny, editor.

Yer Numarası

QA76.887 .D53 2021

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9783527825424

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

152.

Magnetic memory technology : spin-transfer-torque MRAM and beyond

Yazar

Tang, Denny D., author. Pai, Chi-Feng, author.

Yer Numarası

TK7895 .M3 T365 2021

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119562269

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

153.

Infoselves : the value of online identity

Yazar

Garbaşevschi, Demetra, author.

Yer Numarası

HM851 .G349 2021

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119642312

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

154.

Intelligent data analytics for terror threat prediction : architectures, methodologies, techniques and applications

Yazar

Pani, Subhendu Kumar, 1980- editor. Singh, Sanjay Kumar, 1963- editor. Garg, Lalit, 1977- editor.

Yer Numarası

HV6431 .I58 2021

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119711629

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

155.

Data structure and algorithms using C++ : a practical implementation

Yazar

Mohanty, Sachi Nandan, editor. Tripathy, Pabitra Kumar, editor.

Yer Numarası

QA76.73 .C153 D38 2021

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119752059

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

156.

Cloud and IoT-based vehicular ad hoc networks

Yazar

Singh, Gurinder, editor. Jain, Vishal, 1983- editor. Chatterjee, Jyotir Moy, editor. Gaur, Loveleen, editor.

Yer Numarası

TE228.37 .C557 2021

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119761846

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

157.

Heterogeneous photocatalysis : from fundamentals to applications in energy conversion and depollution

Yazar

Strunk, Jennifer.

Yer Numarası

QD716 .P45

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9783527815296

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

158.

Artificial intelligence and data mining approaches in security frameworks

Yazar

Bhargava, Neeraj. Bhargava, Ritu. Rathore, Pramod Singh, 1988- Agrawal, Rashmi, 1978-

Yer Numarası

Q335

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119760429

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

159.

Website design and development with HTML5 and CSS3

Yazar

Rebah, Hassen Ben, author. Boukthir, Hafedh, author. Chédebois, Antoine, author.

Yer Numarası

TK5105.888 .R433 2021

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119885122

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

160.

İbn Sina sonrası kavram mantığı : Kâtibî ve Kutbüddin Râzî örneği

Yazar

Özturan, Mehmet .

Yer Numarası

BC78 O98 2020

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

161.

The process of argument : an introduction

Yazar

Boylan, Michael, 1952- author.

Yer Numarası

PE1431

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9780367853310
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

162.

Path planning of cooperative mobile robots using discrete event models

Yazar

Mahulea, Cristian, author. Kloetzer, Marius, author. González, Ramón, author.

Yer Numarası

TJ211.415 M34 2020 EB

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119486305

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

163.

Climatic impact of activities : methodological guide for analysis and action

Yazar

Rossignol, Jean-Yves, author.

Yer Numarası

QC903 .R67 2020

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119695097

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

164.

Anyone can code : the art and science of logical creativity

Yazar

Arya, Ali, author.

Yer Numarası

QA76.6

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9780429244421
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

165.

Advanced mathematics : a transitional reference

Yazar

Farlow, Stanley J., 1937- author.

Yer Numarası

QA37.3

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119563549

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

166.

UNESCO Global Geoparks : Tension Between Territorial Development and Heritage Enhancement

Yazar

Girault, Yves.

Yer Numarası

QE33

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119681489

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

167.

The restaurant, a geographical approach : from invention to gourmet tourist destinations

Yazar

Etcheverria, Olivier.

Yer Numarası

TX945

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119721376

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

168.

Semiconductor basics : a qualitative, non-mathematical explanation of how semiconductors work and how they are used

Yazar

Domingo, George, 1937- author.

Yer Numarası

TK7871.85 .D66 2020

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119597124

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

169.

Artificial intelligent techniques for electric and hybrid electric vehicles

Yazar

Himavathi, S. Holm-Nielsen, Jens Bo. A., Chitra. Padmanaban, S.

Yer Numarası

Q335

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119682035

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

170.

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:

171.

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:

172.

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:

173.

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:

174.

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:

175.

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:

176.

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:

177.

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:

178.

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:

179.

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:

180.

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:

181.

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:

182.

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:

183.

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:

184.

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:

185.

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:

186.

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:

187.

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:

188.

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:

189.

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:

190.

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:

191.

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:

192.

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:

193.

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:

194.

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:

195.

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:

196.

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:

197.

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:

198.

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:

199.

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:

200.

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:

201.

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:

202.

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:

203.

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:

204.

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:

205.

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:

206.

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:

207.

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:

208.

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:

209.

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:

210.

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:

211.

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:

212.

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:

213.

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:

214.

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:

215.

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:

216.

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:

217.

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:

218.

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:

219.

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:

220.

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:

221.

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:

222.

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:

223.

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:

224.

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:

225.

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:

226.

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:

227.

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:

228.

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:

229.

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:

230.

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:

231.

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:

232.

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:

233.

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:

234.

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:

235.

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:

236.

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:

237.

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:

238.

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:

239.

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:

240.

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:

241.

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:

242.

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:

243.

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:

244.

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:

245.

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:

246.

Mantık tarihi : ortaçağ

Yazar

İnönü, Nazlı.

Yer Numarası

BC28 I561 2019

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

247.

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:

248.

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:

249.

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:

250.

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:

251.

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:

252.

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:

253.

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:

254.

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:

255.

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:

256.

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:

257.

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:

258.

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:

259.

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:

260.

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:

261.

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:

262.

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:

263.

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:

264.

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:

265.

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:

266.

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:

267.

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:

268.

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:

269.

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:

270.

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:

271.

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:

272.

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:

273.

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:

274.

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:

275.

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:

276.

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:

277.

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:

278.

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:

279.

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:

280.

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:

281.

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:

282.

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:

283.

Tutarsızlıklar

Yazar

Steinweg, Marcus Ünal, Erkal.

Yer Numarası

BC199.I45 S7419 2019

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

284.

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:

285.

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:

286.

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:

287.

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:

288.

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:

289.

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:

290.

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:

291.

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)