Search Results for Languages. - Narrowed by: 2019

Formal Languages and Compilation

2024-11-08T04:14:17Z

Author Crespi Reghizzi, Stefano. author. Breveglieri, Luca. author. (orcid)0000-0001-5294-6840 Morzenti, Angelo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04879-2
Format: Electronic Resources
Availability Online Library~1

Business Process Management Concepts, Languages, Architectures

2024-11-08T04:14:17Z

Author Weske, Mathias. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-59432-2
Format: Electronic Resources
Availability Online Library~1

Transactions on Pattern Languages of Programming IV

2024-11-08T04:14:17Z

Author Noble, James. editor. Johnson, Ralph. editor. Zdun, Uwe. editor. Wallingford, Eugene. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-14291-9
Format: Electronic Resources
Availability Online Library~1

Doğu dilleri ve edebiyatlarının kaynakları : Türkçe kaynaklar = Sources of Oriental languages and literatures : Turkic sources

2024-11-08T04:14:17Z

Author Tekin, Şinasi, ed. Alpay, Gönül.
Preferred Shelf Number PJ 307 D679 1970- V.3
Format: Books
Availability Beytepe Library~2

Information on music : a handbook of reference sources in European languages

2024-11-08T04:14:17Z

Author Marco, Guy A 1927- Ferris, Sharon Paugh
Preferred Shelf Number REF ML113 .M33 1975- V.1
Format: Books
Availability Conservatory Library~1

Languages of the unsayable : the play of negativity in literature and literary theory

2024-11-08T04:14:17Z

Author Budick, Sanford, 1942- ed. Iser, Wolfgang, ed.
Preferred Shelf Number PN 56.S55 L36 1989
Format: Books
Availability Beytepe Library~1

Discourse grammar : studies in indiggenous languages of Colombia, Panama, and Ecuador

2024-11-08T04:14:17Z

Author Longacre, R. E., ed. Woods, F., ed.
Preferred Shelf Number P 302 D631 1976-
Format: Books
Availability Beytepe Library~3

Programming Languages and Systems 28th European Symposium on Programming, ESOP 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

2024-11-08T04:14:17Z

Author Caires, Luís. editor. (orcid)0000-0002-3215-6734 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17184-1
Format: Electronic Resources
Availability Online Library~1

Languages of Care in Narrative Medicine Words, Space and Time in the Healthcare Ecosystem

2024-11-08T04:14:17Z

Author Marini, Maria Giulia. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94727-3
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T04:14:17Z

Author Lin, Anthony Widjaja. editor. (orcid)0000-0003-4715-5096 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-34175-6
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T04:14:17Z

Author Rauchwerger, Lawrence. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-35225-7
Format: Electronic Resources
Availability Online Library~1

Formalizing Natural Languages with NooJ 2018 and Its Natural Language Processing Applications 12th International Conference, NooJ 2018, Palermo, Italy, June 20–22, 2018, Revised Selected Papers

2024-11-08T04:14:17Z

Author Mirto, Ignazio Mauro. editor. Monteleone, Mario. editor. Silberztein, Max. editor. (orcid)0000-0003-0930-6463 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-10868-7
Format: Electronic Resources
Availability Online Library~1

System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings

2024-11-08T04:14:17Z

Author Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736 Sancho, Maria-Ribera. editor. (orcid)0000-0002-5904-8709 Sherratt, Edel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30690-8
Format: Electronic Resources
Availability Online Library~1

Practical Aspects of Declarative Languages 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings

2024-11-08T04:14:17Z

Author Alferes, José Júlio. editor. Johansson, Moa. editor. (orcid)0000-0002-1097-8278 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-05998-9
Format: Electronic Resources
Availability Online Library~1

Coordination Models and Languages 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings

2024-11-08T04:14:17Z

Author Riis Nielson, Hanne. editor. (orcid)0000-0002-2484-5580 Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-22397-7
Format: Electronic Resources
Availability Online Library~1

Languages and Compilers for Parallel Computing 31st International Workshop, LCPC 2018, Salt Lake City, UT, USA, October 9–11, 2018, Revised Selected Papers

2024-11-08T04:14:17Z

Author Hall, Mary. editor. (orcid)0000-0002-3058-7573 Sundar, Hari. editor. (orcid)0000-0001-9001-5107 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-34627-0
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T04:14:17Z

Author 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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-21485-2
Format: Electronic Resources
Availability Online Library~1

Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2017

2024-11-08T04:14:17Z

Author Große, Daniel. editor. Vinco, Sara. editor. Patel, Hiren. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02215-0
Format: Electronic Resources
Availability Online Library~1

Saltuk-name : the legend of Sarı Saltuk = Ebu'l Hayr Rumi'nin sözlü rivayetlerinden topladığı Sarı Saltuk menakibi

2024-11-08T04:14:17Z

Author Ebü'l-Hayr-ı Rumî, active 1480-1489. İz, Fahir. Tekin, Şinasi.
Preferred Shelf Number PL248.E28 S3 1974- V.1
Format: Books
Availability Beytepe Library~7

The Ottoman judges and their registers : The Bursa Court register B-90/295 (Dated AH 1081/ AD 1670-71 = Osmanlı kadıları ve sicilleri : Bursa mahkemesi B-90/250 numaralı sicili (Tarih: 1081/1670-1671)

2024-11-08T04:14:17Z

Author Abacı, Nurcan.
Preferred Shelf Number KKX1610 O8812 2007 V.2
Format: Books
Availability Law Library~2

Türk şiveleri lügati = (Divanü Lugat-it-Türk)

2024-11-08T04:14:17Z

Author Mahmud Kashgari, 11th cent. Dankoff, Robert.
Preferred Shelf Number PL27 M34 1982 V.1
Format: Books
Availability Beytepe Library~3

Harezm Türkçesi satır arası Kur'an tercümesi : giriş, metin, sözlük ve tıpkıbasım = an Inter-linear translation of the Qur'an into Khwarazm Turkish : introduction, text, glossary and facsimile

2024-11-08T04:14:17Z

Author Sağol, Gülden. Tekin, Şinasi, 1933-2004. Alpay-Tekin, Gönül.
Preferred Shelf Number BP131.13 K67 1993 V.1
Format: Books
Availability Beytepe Library~4

Yazıcıoğlu Ahmed Bîcân and his Envârü'l-âşıkîn : (introduction and critical edition)

2024-11-08T04:14:17Z

Author Ahmet Bican, 15th cent. Uğur, Abdullah. dt
Preferred Shelf Number BP189 A36 2019 V.2
Format: Books
Availability Beytepe Library~3

Profession.

2024-11-08T04:14:17Z

Author Modern Language Association of America. Association of Departments of English. ADE bulletin. Association of Departments of Foreign Languages (U.S.). ADFL bulletin.
Format: Continuing Resources Other
Availability ~0

The theory of speech and language

2024-11-08T04:14:17Z

Author Gardiner, Alan Henderson, Sir, 1879-1963.
Preferred Shelf Number P 105 G25 1951
Format: Books
Availability Beytepe Library~1

Teaching language as communication / H. G. Widdowson.

2024-11-08T04:14:17Z

Author Widdowson, H. G.
Preferred Shelf Number P 51 W49 1978
Format: Books
Availability Beytepe Library~1

Language test construction and evaluation

2024-11-08T04:14:17Z

Author Alderson, J. Charles. Clapham, Caroline, ort. yaz. Wall, Dianne, ort. yaz.
Preferred Shelf Number P 53.4 A43 1995
Format: Books
Availability Beytepe Library~1

The spirit of language in civilization

2024-11-08T04:14:17Z

Author Vossler, Karl, 1872-1949.
Preferred Shelf Number P 105 V5713 1932 (SET)
Format: Books
Availability Beytepe Library~1

Communication : a philosophical study of language

2024-11-08T04:14:17Z

Author Britton, Karl, 1909-
Preferred Shelf Number P 105 B75 1939 (SET)
Format: Books
Availability Beytepe Library~1

Reflective teaching in second language classrooms

2024-11-08T04:14:17Z

Author Richards, Jack C. Lockhart, Charles, 1954- ort. yaz.
Preferred Shelf Number P 51 R485 1996
Format: Books
Availability Beytepe Library~1

A companion to the philosophy of language

2024-11-08T04:14:17Z

Author Hale, Bob, ed.
Preferred Shelf Number P 106 C5945 1999
Format: Books
Availability Beytepe Library~1

Decolonising the mind : The politics of language in African literature

2024-11-08T04:14:17Z

Author Ngugi wa Thiong'o, 1938-
Preferred Shelf Number PL 8010 N48 1986
Format: Books
Availability Beytepe Library~1

Context and culture in language teaching

2024-11-08T04:14:17Z

Author Kramsch, Claire J.
Preferred Shelf Number P 53.45 K73 1993
Format: Books
Availability Beytepe Library~1

Translation Studies in the New Millennium : An international journal of translation and interpreting

2024-11-08T04:14:17Z

Author Bilkent Üniversitesi
Format: Continuing Resources Other
Availability ~0

Türkbilig : Türkoloji araştırmaları.

2024-11-08T04:14:17Z

Author Hacettepe Üniversitesi. Türk Dili ve Edebiyatı Bölümü.
Preferred Shelf Number ALFABETİK V.2005
Electronic Access Elektronik eri?im
Format: Continuing Resources Other
Availability Beytepe Library~1 ~0

Kontaktlinguistik : ein internationales Handbuch zeitgenössischer Forschung

2024-11-08T04:14:17Z

Author Goebl, Hans.
Format: Books
Availability ~0

Semantic theory

2024-11-08T04:14:17Z

Author Kempson, Ruth M.
Preferred Shelf Number P 325 K44 1977
Format: Books
Availability Beytepe Library~1

The art of computer programming

2024-11-08T04:14:17Z

Author Knuth, Donald E.
Preferred Shelf Number QA 76.5 K57 1968- V.1
Format: Books
Availability Beytepe Library~7

Arduino ile kodlama : ve mikrodenetleyici uygulamaları

2024-11-08T04:14:17Z

Author Ocak, Mehmet Akif. Efe, Abdullah Alper.
Preferred Shelf Number QA76.76.A73 O23 2018
Format: Books
Availability Beytepe Library~1

Dil ve zihin incelemelerinde yeni ufuklar

2024-11-08T04:14:17Z

Author Chomsky, Noam.
Preferred Shelf Number P106 C4619 2019
Format: Books
Availability Beytepe Library~1

Her yönüyle C# 8.0

2024-11-08T04:14:17Z

Author Aktaş, Volkan.
Preferred Shelf Number QA76.73.C154 A39 2019
Format: Books
Availability Beytepe Library~1

Social interaction in language teacher education

2024-11-08T04:14:17Z

Author Farr, Fiona, 1971- Farrell, Angela. Riordan, Elaine.
Preferred Shelf Number P53 F37 2019
Format: Books
Availability Beytepe Library~1

Handbook of research on assessment literacy and teacher-made testing in the language classroom

2024-11-08T04:14:17Z

Author White, Eddy, 1966- editor. Delaney, Thomas, 1972- editor. IGI Global, publisher.
Preferred Shelf Number ONLINE
Electronic Access Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-6986-2
Format: Electronic Resources
Availability Online Library~1

Computer-assisted language learning : concepts, methodologies, tools, and applications

2024-11-08T04:14:17Z

Author IGI Global, publisher. Information Resources Management Association, editor.
Preferred Shelf Number ONLINE
Electronic Access Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-7663-1
Format: Electronic Resources
Availability Online Library~1

Intercultural foreign language teaching and learning in higher education contexts

2024-11-08T04:14:17Z

Author Romanowski, Piotr, 1973- editor. Bandura, Ewa, editor. IGI Global, publisher.
Preferred Shelf Number ONLINE
Electronic Access Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-8128-4
Format: Electronic Resources
Availability Online Library~1

Engaging teacher candidates and language learners with authentic practice

2024-11-08T04:14:17Z

Author Lenkaitis, Chesla Ann, 1978- editor. Hilliker, Shannon M., 1976- editor. IGI Global, publisher.
Preferred Shelf Number ONLINE
Electronic Access Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-8543-5
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T04:14:17Z

Author 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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30985-5
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T04:14:17Z

Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Graf, Susanne. editor. Larsen, Kim G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-22348-9
Format: Electronic Resources
Availability Online Library~1

The Routledge handbook of second language acquisition and pragmatics

2024-11-08T04:14:17Z

Author Taguchi, Naoko.
Preferred Shelf Number P118.2 R685 2019
Format: Books
Availability Beytepe Library~1

Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings

2024-11-08T04:14:17Z

Author Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834 Leone, Nicola. editor. Manna, Marco. editor. (orcid)0000-0003-3323-9328 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-19570-0
Format: Electronic Resources
Availability Online Library~1

A Beginners Guide to Python 3 Programming

2024-11-08T04:14:17Z

Author Hunt, John. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-20290-3
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T04:14:17Z

Author Chang, Bor-Yuh Evan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-32304-2
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T04:14:17Z

Author Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-12988-0
Format: Electronic Resources
Availability Online Library~1

Answer Set Programming

2024-11-08T04:14:17Z

Author Lifschitz, Vladimir. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-24658-7
Format: Electronic Resources
Availability Online Library~1

Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings

2024-11-08T04:14:17Z

Author Franch, Xavier. editor. (orcid)0000-0001-9733-8830 Männistö, Tomi. editor. (orcid)0000-0001-7470-5183 Martínez-Fernández, Silverio. editor. (orcid)0000-0001-9928-133X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-35333-9
Format: Electronic Resources
Availability Online Library~1

Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings

2024-11-08T04:14:17Z

Author Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555 Tapia Tarifa, Silvia Lizeth. editor. (orcid)0000-0001-9948-2748 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-34968-4
Format: Electronic Resources
Availability Online Library~1

Data Structures and Algorithms with Scala A Practitioner's Approach with Emphasis on Functional Programming

2024-11-08T04:14:17Z

Author Upadhyaya, Bhim P. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-12561-5
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T04:14:17Z

Author Fan, Xing. editor. de Supinski, Bronis R. editor. Sinnen, Oliver. editor. Giacaman, Nasser. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-28596-8
Format: Electronic Resources
Availability Online Library~1

Transactions on High-Performance Embedded Architectures and Compilers V

2024-11-08T04:14:17Z

Author Silvano, Cristina. editor. (orcid)0000-0003-1668-0883 Bertels, Koen. editor. (orcid)0000-0001-9310-4885 Schulte, Michael. editor. (orcid)0000-0002-0213-4155 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-58834-5
Format: Electronic Resources
Availability Online Library~1

Automatic Speech Recognition of Arabic Phonemes with Neural Networks A Contrastive Study of Arabic and English

2024-11-08T04:14:17Z

Author Dib, Mohammed. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-97710-2
Format: Electronic Resources
Availability Online Library~1

Advanced Guide to Python 3 Programming

2024-11-08T04:14:17Z

Author Hunt, John. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-25943-3
Format: Electronic Resources
Availability Online Library~1

Graph Transformation 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings

2024-11-08T04:14:17Z

Author Guerra, Esther. editor. (orcid)0000-0002-2818-2278 Orejas, Fernando. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-23611-3
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T04:14:17Z

Author Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507 Petre, Luigia. editor. Smith, Graeme. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-32441-4
Format: Electronic Resources
Availability Online Library~1

Foundations and Practice of Security 11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13–15, 2018, Revised Selected Papers

2024-11-08T04:14:17Z

Author Zincir-Heywood, Nur. editor. Bonfante, Guillaume. editor. Debbabi, Mourad. editor. (orcid)0000-0003-3015-3043 Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-18419-3
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T04:14:17Z

Author Thomsen, Michael Kirkedal. editor. (orcid)0000-0003-0922-3609 Soeken, Mathias. editor. (orcid)0000-0002-0229-8766 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-21500-2
Format: Electronic Resources
Availability Online Library~1

Introduction to Software Design with Java

2024-11-08T04:14:17Z

Author Robillard, Martin P. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-24094-3
Format: Electronic Resources
Availability Online Library~1

Geographical Information Systems Theory, Applications and Management 4th International Conference, GISTAM 2018, Funchal, Madeira, Portugal, March 17–19, 2018, Revised Selected Papers

2024-11-08T04:14:17Z

Author Ragia, Lemonia. editor. Grueau, Cédric. editor. Laurini, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-29948-4
Format: Electronic Resources
Availability Online Library~1

End-User Development 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10–12, 2019, Proceedings

2024-11-08T04:14:17Z

Author Malizia, Alessio. editor. Valtolina, Stefano. editor. Morch, Anders. editor. Serrano, Alan. editor. Stratton, Andrew. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-24781-2
Format: Electronic Resources
Availability Online Library~1

The governance of China

2024-11-08T04:14:17Z

Author Xi, Jinping.
Preferred Shelf Number JQ1510 X53 2019 V.1
Format: Books
Availability Beytepe Library~3

C ile ileri bilgisayar programlama ve fonksiyon grafikleri çizme

2024-11-08T04:14:17Z

Author Abuşoğlu, Atakan.
Preferred Shelf Number QA76.73.C15 A28 2019
Format: Books
Availability Beytepe Library~1

The Cambridge handbook of language learning

2024-11-08T04:14:17Z

Author Schwieter, John W., 1979- editor. Benati, Alessandro G., editor.
Preferred Shelf Number P118.2 .C3554 2019
Electronic Access https://doi.org/10.1017/9781108333603
Format: Electronic Resources
Availability Online Library~1

Grammatical voice

2024-11-08T04:14:17Z

Author Zúñiga, Fernando, author. Kittilä, Seppo, author.
Preferred Shelf Number P240.5 .Z86 2019
Electronic Access https://doi.org/10.1017/9781316671399
Format: Electronic Resources
Availability Online Library~1

The Cambridge handbook of bilingualism

2024-11-08T04:14:17Z

Author De Houwer, Annick, editor. Ortega, Lourdes, editor.
Preferred Shelf Number P115 .C36 2019
Electronic Access https://doi.org/10.1017/9781316831922
Format: Electronic Resources
Availability Online Library~1

Algoritma tasarlama ve C ile temel bilgisayar programlama

2024-11-08T04:14:17Z

Author Abuşoğlu, Atakan.
Preferred Shelf Number QA76.75 A28 2019
Format: Books
Availability Beytepe Library~1

Tarihöncesinde dil

2024-11-08T04:14:17Z

Author Barnard, Alan. Doğan, Mehmet.
Preferred Shelf Number P116 B3419 2019
Format: Books
Availability Beytepe Library~1

Yedinci meleğe dair yedi bahis

2024-11-08T04:14:17Z

Author Foucault, Michel. Özyıldırım, Nihan.
Preferred Shelf Number P106 F6819 2019
Format: Books
Availability Beytepe Library~1

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

2024-11-08T04:14:17Z

Author Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Keller, Chantal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-31157-5
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T04:14:17Z

Author 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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30942-8
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T04:14:17Z

Author 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.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-33246-4
Format: Electronic Resources
Availability Online Library~1

Central European Functional Programming School 6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers

2024-11-08T04:14:17Z

Author Zsók, Viktória. editor. Porkoláb, Zoltán. editor. Horváth, Zoltán. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-28346-9
Format: Electronic Resources
Availability Online Library~1

Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings

2024-11-08T04:14:17Z

Author Nejati, Shiva. editor. Gay, Gregory. editor. (orcid)0000-0001-6794-9585 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-27455-9
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

2024-11-08T04:14:17Z

Author Ölveczky, Peter Csaba. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30446-1
Format: Electronic Resources
Availability Online Library~1

Agreement Technologies 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers

2024-11-08T04:14:17Z

Author Lujak, Marin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17294-7
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

2024-11-08T04:14:17Z

Author Larsen, Kim Guldstrand. editor. Willemse, Tim. editor. (orcid)0000-0003-3049-7962 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-27008-7
Format: Electronic Resources
Availability Online Library~1

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

2024-11-08T04:14:17Z

Author Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-25540-4
Format: Electronic Resources
Availability Online Library~1

Java in Two Semesters Featuring JavaFX

2024-11-08T04:14:17Z

Author Charatan, Quentin. author. Kans, Aaron. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99420-8
Format: Electronic Resources
Availability Online Library~1

Requirements Engineering: Foundation for Software Quality 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019, Proceedings

2024-11-08T04:14:17Z

Author Knauss, Eric. editor. (orcid)0000-0002-6631-872X Goedicke, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-15538-4
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T04:14:17Z

Author Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441 Mariani, Leonardo. editor. (orcid)0000-0001-9527-7042 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-32079-9
Format: Electronic Resources
Availability Online Library~1

The Python Workbook A Brief Introduction with Exercises and Solutions

2024-11-08T04:14:17Z

Author Stephenson, Ben. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-18873-3
Format: Electronic Resources
Availability Online Library~1

NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings

2024-11-08T04:14:17Z

Author Badger, Julia M. editor. Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-20652-9
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T04:14:17Z

Author Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. (orcid)0000-0002-3474-8696 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-05807-4
Format: Electronic Resources
Availability Online Library~1

Trends in Functional Programming 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers

2024-11-08T04:14:17Z

Author Pałka, Michał. editor. Myreen, Magnus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-18506-0
Format: Electronic Resources
Availability Online Library~1

Formal Techniques for Distributed Objects, Components, and Systems 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings

2024-11-08T04:14:17Z

Author Pérez, Jorge A. editor. (orcid)0000-0002-1452-6180 Yoshida, Nobuko. editor. (orcid)0000-0002-3925-8557 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-21759-4
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T04:14:17Z

Author Mesnard, Fred. editor. Stuckey, Peter J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-13838-7
Format: Electronic Resources
Availability Online Library~1

Trends in Functional Programming 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers

2024-11-08T04:14:17Z

Author Van Horn, David. editor. Hughes, John. editor. (orcid)0000-0001-8042-0969 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-14805-8
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T04:14:17Z

Author Silva, Josep. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-16202-3
Format: Electronic Resources
Availability Online Library~1

Graphical Models for Security 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers

2024-11-08T04:14:17Z

Author Cybenko, George. editor. (orcid)0000-0001-7734-2912 Pym, David. editor. (orcid)0000-0002-6504-5838 Fila, Barbara. editor. (orcid)0000-0002-1824-7621 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-15465-3
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T04:14:17Z

Author Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Massink, Mieke. editor. (orcid)0000-0001-5089-002X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-31517-7
Format: Electronic Resources
Availability Online Library~1

Fundamental Approaches to Software Engineering 22nd International Conference, FASE 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

2024-11-08T04:14:17Z

Author Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613 van der Aalst, Wil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-16722-6
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T04:14:17Z

Author Guttman, Joshua D. editor. Landwehr, Carl E. editor. Meseguer, José. editor. Pavlovic, Dusko. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-19052-1
Format: Electronic Resources
Availability Online Library~1

Computing and Software Science State of the Art and Perspectives

2024-11-08T04:14:17Z

Author Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Woeginger, Gerhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91908-9
Format: Electronic Resources
Availability Online Library~1

Learning C# by Programming Games

2024-11-08T04:14:17Z

Author van Toll, Wouter. author. Egges, Arjan. author. Fokker, Jeroen D. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-59252-6
Format: Electronic Resources
Availability Online Library~1

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

2024-11-08T04:14:17Z

Author Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-18744-6
Format: Electronic Resources
Availability Online Library~1

Her yönüyle C# 8.0

2024-11-08T04:14:17Z

Author Aktaş, Volkan.
Preferred Shelf Number QA76.73.C154 A39 2019
Format: Books
Availability Beytepe Library~1

Her yönüyle Go programlamaya giriş

2024-11-08T04:14:17Z

Author Küçüksille, Ecir Uğur. Kemaloğlu, Nazan.
Preferred Shelf Number QA76.73 K57 2019
Format: Books
Availability Beytepe Library~1

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

2024-11-08T04:14:17Z

Author Slavkovik, Marija. editor. (orcid)0000-0003-2548-8623 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-14174-5
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T04:14:17Z

Author Bojańczyk, Mikołaj. editor. Simpson, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17127-8
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T04:14:17Z

Author 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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-12274-4
Format: Electronic Resources
Availability Online Library~1

Computer Music Instruments II Realtime and Object-Oriented Audio

2024-11-08T04:14:17Z

Author Lazzarini, Victor. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-13712-0
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T04:14:17Z

Author Ribeiro, Pedro. editor. (orcid)0000-0003-4319-4872 Sampaio, Augusto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-31038-7
Format: Electronic Resources
Availability Online Library~1

Data Analytics and Management in Data Intensive Domains 20th International Conference, DAMDID/RCDL 2018, Moscow, Russia, October 9–12, 2018, Revised Selected Papers

2024-11-08T04:14:17Z

Author Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 Stupnikov, Sergey. editor. (orcid)0000-0003-4720-8215 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-23584-0
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T04:14:17Z

Author Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336 Cheng, Chih-Hong. editor. Esparza, Javier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-31784-3
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T04:14:17Z

Author Bhatele, Abhinav. editor. (orcid)0000-0003-3069-3701 Boehme, David. editor. Levine, Joshua A. editor. Malony, Allen D. editor. Schulz, Martin. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17872-7
Format: Electronic Resources
Availability Online Library~1