Arama Sonuçları Languages. - Daraltılmış: 2013

Concepts of programming languages

2024-10-15T10:26:46Z

Yazar Sebesta, Robert W. Mukherjee, Soumen. Bhattacharjee, Arup Kumar. Sebesta, Robert W. Concepts of programming languages.
Yer Numarası QA76.7 S43 2013
Format: Kitap
Durum Beytepe Kütüphanesi~2

Formal Languages and Compilation

2024-10-15T10:26:46Z

Yazar Crespi Reghizzi, Stefano. author. Breveglieri, Luca. author. Morzenti, Angelo. author. SpringerLink (Online service)
Yer Numarası ONLINE(331210.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-5514-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Languages of the world : an introduction

2024-10-15T10:26:46Z

Yazar Pereltsvaig, Asya.
Yer Numarası P53 P4443 2013
Format: Kitap
Durum Beytepe Kütüphanesi~1

Usability Evaluation of Modeling Languages

2024-10-15T10:26:46Z

Yazar Schalles, Christian. author. SpringerLink (Online service)
Yer Numarası ONLINE(335230.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-658-00051-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Compendium of the world's languages

2024-10-15T10:26:46Z

Yazar Campbell, George L. King, Gareth, 1955-
Yer Numarası ONLINE(344482.1)
Elektronik Erişim Click here to view
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Languages of Western Tonality

2024-10-15T10:26:46Z

Yazar Agmon, Eytan. author. SpringerLink (Online service)
Yer Numarası ONLINE(334818.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39587-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Different Kinds of Specificity Across Languages

2024-10-15T10:26:46Z

Yazar Ebert, Cornelia. editor. Hinterwimmer, Stefan. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335944.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-5310-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Pattern Languages of Programming III

2024-10-15T10:26:46Z

Yazar Noble, James. editor. Johnson, Ralph. editor. Zdun, Uwe. editor. Wallingford, Eugene. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334647.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38676-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-10-15T10:26:46Z

Yazar Budick, Sanford, 1942- ed. Iser, Wolfgang, ed.
Yer Numarası PN 56.S55 L36 1989
Format: Kitap
Durum Beytepe Kütüphanesi~1

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

2024-10-15T10:26:46Z

Yazar Tekin, Şinasi, ed. Alpay, Gönül.
Yer Numarası PJ 307 D679 1970- V.3
Format: Kitap
Durum Beytepe Kütüphanesi~2

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

2024-10-15T10:26:46Z

Yazar Marco, Guy A 1927- Ferris, Sharon Paugh
Yer Numarası REF ML113 .M33 1975- V.1
Format: Kitap
Durum Konservatuvar Kütüphanesi~1

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

2024-10-15T10:26:46Z

Yazar Longacre, R. E., ed. Woods, F., ed.
Yer Numarası P 302 D631 1976-
Format: Kitap
Durum Beytepe Kütüphanesi~3

Living languages an integrated approach to teaching foreign languages in primary schools

2024-10-15T10:26:46Z

Yazar Watts, Catherine. Forder, Clare. Phillips, Hilary.
Yer Numarası ONLINE
Elektronik Erişim Click here to view
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modern foreign languages, 5-11 a guide for teachers

2024-10-15T10:26:46Z

Yazar Jones, Jane. Coffey, Simon.
Yer Numarası ONLINE
Elektronik Erişim Click here to view
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Key concepts of Romanian history alternative approaches to socio-political languages

2024-10-15T10:26:46Z

Yazar Heinen, Armin, author, editor of compilation. Neumann, Victor, author editor of compilation. Project Muse.
Yer Numarası ONLINE
Elektronik Erişim Full text available:
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Shan, Chung-chieh. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332981.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03542-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Puzzles in Logic, Languages and Computation The Red Book

2024-10-15T10:26:46Z

Yazar Radev, Dragomir. editor. SpringerLink (Online service)
Yer Numarası ONLINE(333842.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-34378-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Sagonas, Kostis. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335204.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45284-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Puzzles in Logic, Languages and Computation The Green Book

2024-10-15T10:26:46Z

Yazar Radev, Dragomir. editor. SpringerLink (Online service)
Yer Numarası ONLINE(333840.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-34372-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Languages and Compilers for Parallel Computing 24th International Workshop, LCPC 2011, Fort Collins, CO, USA, September 8-10, 2011. Revised Selected Papers

2024-10-15T10:26:46Z

Yazar Rajopadhye, Sanjay. editor. Mills Strout, Michelle. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334104.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36036-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automata, Languages, and Programming 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II

2024-10-15T10:26:46Z

Yazar Fomin, Fedor V. editor. Freivalds, Rūsiņš. editor. Kwiatkowska, Marta. editor. Peleg, David. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334753.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39212-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multilingual Information Access in South Asian Languages Second International Workshop, FIRE 2010, Gandhinagar, India, February 19-21, 2010 and Third International Workshop, FIRE 2011, Bombay, India, December 2-4, 2011, Revised Selected Papers

2024-10-15T10:26:46Z

Yazar Majumder, Prasenjit. editor. Mitra, Mandar. editor. Bhattacharyya, Pushpak. editor. Subramaniam, L. Venkata. editor. Contractor, Danish. editor.
Yer Numarası ONLINE(334889.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40087-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Bois, André Rauber. editor. Trinder, Phil. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335028.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40922-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Language Issues in Comparative Education Inclusive Teaching and Learning in Non-Dominant Languages and Cultures

2024-10-15T10:26:46Z

Yazar Benson, Carol. author. Kosonen, Kimmo. author. SpringerLink (Online service)
Yer Numarası ONLINE(336401.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-94-6209-218-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook for teachıng foreıgn languages to young learners in prımary schools

2024-10-15T10:26:46Z

Yazar Kıkgöz, Yasemin Haznedar, Belma Uysal, Hacer Hande
Yer Numarası LB1555 H36 2013
Format: Kitap
Durum Beytepe Kütüphanesi~1

Investigations in Teaching and Learning Languages Studies in Honour of Hanna Komorowska

2024-10-15T10:26:46Z

Yazar Gabryś-Barker, Danuta. editor. Piechurska-Kuciel, Ewa. editor. Zybert, Jerzy. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332665.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-00044-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Domain Engineering Product Lines, Languages, and Conceptual Models

2024-10-15T10:26:46Z

Yazar Reinhartz-Berger, Iris. editor. Sturm, Arnon. editor. Clark, Tony. editor. Cohen, Sholom. editor. Bettin, Jorn. editor.
Yer Numarası ONLINE(334257.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36654-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Felleisen, Matthias. editor. Gardner, Philippa. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334348.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37036-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Languages and Compilers for Parallel Computing 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers

2024-10-15T10:26:46Z

Yazar Kasahara, Hironori. editor. Kimura, Keiji. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334469.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37658-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Declarative Agent Languages and Technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers

2024-10-15T10:26:46Z

Yazar Baldoni, Matteo. editor. Dennis, Louise. editor. Mascardi, Viviana. editor. Vasconcelos, Wamberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334494.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37890-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Nicola, Rocco. editor. Julien, Christine. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334610.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38493-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automata, Languages, and Programming 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I

2024-10-15T10:26:46Z

Yazar Fomin, Fedor V. editor. Freivalds, Rūsiņš. editor. Kwiatkowska, Marta. editor. Peleg, David. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334751.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39206-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Moreira, Ana. editor. Schätz, Bernhard. editor. Gray, Jeff. editor. Vallecillo, Antonio. editor. Clarke, Peter. editor.
Yer Numarası ONLINE(335120.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41533-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers

2024-10-15T10:26:46Z

Yazar Hinze, Ralf. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335126.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41582-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Wisconsin talk linguistic diversity in the Badger State

2024-10-15T10:26:46Z

Yazar Salmons, Joe, 1956- Raimy, Eric. Purnell, Thomas C. Project Muse.
Yer Numarası ONLINE
Elektronik Erişim Full text available:
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The tamburitza tradition from the Balkans to the American Midwest

2024-10-15T10:26:46Z

Yazar March, Richard, 1946- author. Project Muse.
Yer Numarası ONLINE
Elektronik Erişim Full text available:
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-10-15T10:26:46Z

Yazar Mahmud Kashgari, 11th cent. Dankoff, Robert.
Yer Numarası PL27 M34 1982 V.1
Format: Kitap
Durum Beytepe Kütüphanesi~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-10-15T10:26:46Z

Yazar Sağol, Gülden. Tekin, Şinasi, 1933-2004. Alpay-Tekin, Gönül.
Yer Numarası BP131.13 K67 1993 V.1
Format: Kitap
Durum Beytepe Kütüphanesi~4

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-10-15T10:26:46Z

Yazar Abacı, Nurcan.
Yer Numarası KKX1610 O8812 2007 V.2
Format: Kitap
Durum Hukuk Kütüphanesi~2

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

2024-10-15T10:26:46Z

Yazar Ebü'l-Hayr-ı Rumî, active 1480-1489. İz, Fahir. Tekin, Şinasi.
Yer Numarası PL248.E28 S3 1974- V.1
Format: Kitap
Durum Beytepe Kütüphanesi~7

A reference grammar of Kotiria (Wanano)

2024-10-15T10:26:46Z

Yazar Stenzel, Kristine, author. Project Muse.
Yer Numarası ONLINE
Elektronik Erişim Full text available:
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Profession.

2024-10-15T10:26:46Z

Yazar Modern Language Association of America. Association of Departments of English. ADE bulletin. Association of Departments of Foreign Languages (U.S.). ADFL bulletin.
Format: Devam Eden Süreli Yayınlar Diğer
Durum ~0

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

2024-10-15T10:26:46Z

Yazar Hacettepe Üniversitesi. Türk Dili ve Edebiyatı Bölümü.
Yer Numarası ALFABETİK V.2005
Elektronik Erişim Elektronik eri?im
Format: Devam Eden Süreli Yayınlar Diğer
Durum Beytepe Kütüphanesi~1 ~0

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

2024-10-15T10:26:46Z

Yazar Bilkent Üniversitesi
Format: Devam Eden Süreli Yayınlar Diğer
Durum ~0

Semantic theory

2024-10-15T10:26:46Z

Yazar Kempson, Ruth M.
Yer Numarası P 325 K44 1977
Format: Kitap
Durum Beytepe Kütüphanesi~1

The spirit of language in civilization

2024-10-15T10:26:46Z

Yazar Vossler, Karl, 1872-1949.
Yer Numarası P 105 V5713 1932 (SET)
Format: Kitap
Durum Beytepe Kütüphanesi~1

Communication : a philosophical study of language

2024-10-15T10:26:46Z

Yazar Britton, Karl, 1909-
Yer Numarası P 105 B75 1939 (SET)
Format: Kitap
Durum Beytepe Kütüphanesi~1

Reflective teaching in second language classrooms

2024-10-15T10:26:46Z

Yazar Richards, Jack C. Lockhart, Charles, 1954- ort. yaz.
Yer Numarası P 51 R485 1996
Format: Kitap
Durum Beytepe Kütüphanesi~1

A companion to the philosophy of language

2024-10-15T10:26:46Z

Yazar Hale, Bob, ed.
Yer Numarası P 106 C5945 1999
Format: Kitap
Durum Beytepe Kütüphanesi~1

Decolonising the mind : The politics of language in African literature

2024-10-15T10:26:46Z

Yazar Ngugi wa Thiong'o, 1938-
Yer Numarası PL 8010 N48 1986
Format: Kitap
Durum Beytepe Kütüphanesi~1

The theory of speech and language

2024-10-15T10:26:46Z

Yazar Gardiner, Alan Henderson, Sir, 1879-1963.
Yer Numarası P 105 G25 1951
Format: Kitap
Durum Beytepe Kütüphanesi~1

Context and culture in language teaching

2024-10-15T10:26:46Z

Yazar Kramsch, Claire J.
Yer Numarası P 53.45 K73 1993
Format: Kitap
Durum Beytepe Kütüphanesi~1

The art of computer programming

2024-10-15T10:26:46Z

Yazar Knuth, Donald E.
Yer Numarası QA 76.5 K57 1968- V.1
Format: Kitap
Durum Beytepe Kütüphanesi~7

Language test construction and evaluation

2024-10-15T10:26:46Z

Yazar Alderson, J. Charles. Clapham, Caroline, ort. yaz. Wall, Dianne, ort. yaz.
Yer Numarası P 53.4 A43 1995
Format: Kitap
Durum Beytepe Kütüphanesi~1

Teaching language as communication / H. G. Widdowson.

2024-10-15T10:26:46Z

Yazar Widdowson, H. G.
Yer Numarası P 51 W49 1978
Format: Kitap
Durum Beytepe Kütüphanesi~1

Kontaktlinguistik : ein internationales Handbuch zeitgenössischer Forschung

2024-10-15T10:26:46Z

Yazar Goebl, Hans.
Format: Kitap
Durum ~0

Perspectives of gender and language in Cameroonian contexts

2024-10-15T10:26:46Z

Yazar Atanga, Lilian Lem, editor. Project Muse, distributor. Project Muse.
Yer Numarası ONLINE(322688.1)
Elektronik Erişim Full text available:
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

English-German glossary of Namibian terms

2024-10-15T10:26:46Z

Yazar Teichmann, Regine von, editor. Lowe, Andrea, editor. Hügel, Hanne, editor. Grassmann, Heide, editor. Eichoff, Hella, editor.
Yer Numarası ONLINE(321818.1)
Elektronik Erişim Full text available:
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Talking Appalachian voice, Identity, and Community

2024-10-15T10:26:46Z

Yazar Hayward, Nancy M., 1945- editor of compilation. Clark, Amy (Amy D.) editor of compilation. Project Muse.
Yer Numarası ONLINE
Elektronik Erişim Full text available:
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Language & power in the early Middle ages

2024-10-15T10:26:46Z

Yazar Geary, Patrick J., 1948- Project Muse.
Yer Numarası ONLINE
Elektronik Erişim Full text available:
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Wellness beyond words Maya compositions of speech and silence in medical care

2024-10-15T10:26:46Z

Yazar Harvey, T. S., 1972- Project Muse.
Yer Numarası ONLINE
Elektronik Erişim Full text available:
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Routledge encyclopedia of second language acquisition

2024-10-15T10:26:46Z

Yazar Robinson, Peter Jake.
Yer Numarası ONLINE
Elektronik Erişim Click here to view
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Language, education and citizenship in Japan

2024-10-15T10:26:46Z

Yazar Castro-Vázquez, Genaro, 1966-
Yer Numarası ONLINE
Elektronik Erişim Click here to view
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reference and structure in the philosophy of language a defense of the Russellian orthodoxy

2024-10-15T10:26:46Z

Yazar Sullivan, Arthur, 1970-
Yer Numarası ONLINE
Elektronik Erişim Click here to view
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

African American, Creole and other vernacular Englishes in education a bibliographic resource

2024-10-15T10:26:46Z

Yazar Rickford, John R., 1949- National Council of Teachers of English.
Yer Numarası ONLINE
Elektronik Erişim Click here to view
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Python for data analysis

2024-10-15T10:26:46Z

Yazar McKinney, Wes.
Yer Numarası QA76.73.P98 M42 2013
Format: Kitap
Durum Beytepe Kütüphanesi~1

Reconstructing identities in higher education the rise of Third space professionals

2024-10-15T10:26:46Z

Yazar Whitchurch, Celia.
Yer Numarası ONLINE
Elektronik Erişim Click here to view
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intercultural Language Teaching And Learning

2024-10-15T10:26:46Z

Yazar Liddicoat, Anthony. Scarino, Angela, author.
Yer Numarası P53.45 L53 2013
Format: Kitap
Durum Beytepe Kütüphanesi~1

Music in the twentieth and twenty-first centuries

2024-10-15T10:26:46Z

Yazar Auner, Joseph Henry, 1959-
Yer Numarası ML197 A87 2013
Format: Kitap
Durum Konservatuvar Kütüphanesi~3

Redeeming words language and the promise of happiness in the stories of Döblin and Sebald

2024-10-15T10:26:46Z

Yazar Kleinberg-Levin, David Michael, 1939- Project Muse.
Yer Numarası ONLINE
Elektronik Erişim Full text available:
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Silence and the rest verbal skepticism in Russian poetry

2024-10-15T10:26:46Z

Yazar Khagi, Sofya. Project Muse.
Yer Numarası ONLINE
Elektronik Erişim Full text available:
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming with mobile applications : Android, iOS, and Windows Phone 7

2024-10-15T10:26:46Z

Yazar Duffy, Thomas J.
Yer Numarası QA76.76.A65 D84 2013
Format: Kitap
Durum Beytepe Kütüphanesi~1

English as a contact language

2024-10-15T10:26:46Z

Yazar Schreier, Daniel, 1971- Hundt, Marianne.
Yer Numarası ONLINE
Elektronik Erişim EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=508345
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Linguistics for intercultural education

2024-10-15T10:26:46Z

Yazar Dervin, Fred. Liddicoat, Anthony J.
Yer Numarası ONLINE
Elektronik Erişim EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=563321
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Policing global movement tourism, migration, human trafficking, and terrorism

2024-10-15T10:26:46Z

Yazar Taylor, S. Caroline. Torpy, Daniel Joseph. Das, Dilip K., 1941-
Yer Numarası ONLINE
Elektronik Erişim Distributed by publisher. Purchase or institutional license may be required for access.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Wittgenstein's <I>Philosophical Investigations</I> A Critical Guide

2024-10-15T10:26:46Z

Yazar Ahmed, Arif.
Yer Numarası ONLINE
Elektronik Erişim Access by subscription
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Heidegger and language

2024-10-15T10:26:46Z

Yazar Powell, Jeffrey, 1954- Project Muse.
Yer Numarası ONLINE
Elektronik Erişim Full text available:
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Communities of practice an Alaskan native model for language teaching and learning

2024-10-15T10:26:46Z

Yazar Siekmann, Sabine. Marlow, Patrick E., 1966- Alaska Native Language Center. Project Muse.
Yer Numarası ONLINE
Elektronik Erişim Full text available:
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cinema and language loss displacement, visuality and the filmic image

2024-10-15T10:26:46Z

Yazar Mamula, Tijana, 1981-
Yer Numarası ONLINE(344388.1)
Elektronik Erişim Click here to view
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Creativity and Innovation in Language Education

2024-10-15T10:26:46Z

Yazar Argondizzo, Carmen.
Yer Numarası P53.45 C74 2013
Format: Kitap
Durum Beytepe Kütüphanesi~1

English for Academic Research: Vocabulary Exercises

2024-10-15T10:26:46Z

Yazar Wallwork, Adrian. author. SpringerLink (Online service)
Yer Numarası ONLINE(331463.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-4268-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

English for Academic Research: Grammar Exercises

2024-10-15T10:26:46Z

Yazar Wallwork, Adrian. author. SpringerLink (Online service)
Yer Numarası ONLINE(331467.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-4289-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

English for Academic Research: Writing Exercises

2024-10-15T10:26:46Z

Yazar Wallwork, Adrian. author. SpringerLink (Online service)
Yer Numarası ONLINE(331470.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-4298-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Course on Mathematical Logic

2024-10-15T10:26:46Z

Yazar Srivastava, Shashi Mohan. author. SpringerLink (Online service)
Yer Numarası ONLINE(331853.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-5746-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A General Framework for Reasoning On Inconsistency

2024-10-15T10:26:46Z

Yazar Martinez, Maria Vanina. author. Molinaro, Cristian. author. Subrahmanian, V.S. author. Amgoud, Leila. author. SpringerLink (Online service)
Yer Numarası ONLINE(332107.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-6750-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modelling Computing Systems Mathematics for Computer Science

2024-10-15T10:26:46Z

Yazar Moller, Faron. author. Struth, Georg. author. SpringerLink (Online service)
Yer Numarası ONLINE(332574.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84800-322-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

2024-10-15T10:26:46Z

Yazar Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332962.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03077-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fuzzy Logic and Applications 10th International Workshop, WILF 2013, Genoa, Italy, November 19-22, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Masulli, Francesco. editor. Pasi, Gabriella. editor. Yager, Ronald. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332970.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03200-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

AI*IA 2013: Advances in Artificial Intelligence XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Baldoni, Matteo. editor. Baroglio, Cristina. editor. Boella, Guido. editor. Micalizio, Roberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332979.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03524-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings

2024-10-15T10:26:46Z

Yazar Gonthier, Georges. editor. Norrish, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332982.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03545-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Compiler Design Syntactic and Semantic Analysis

2024-10-15T10:26:46Z

Yazar Wilhelm, Reinhard. author. Seidl, Helmut. author. Hack, Sebastian. author. SpringerLink (Online service)
Yer Numarası ONLINE(333076.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-17540-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Crossroads in Literature and Culture

2024-10-15T10:26:46Z

Yazar Fabiszak, Jacek. editor. Urbaniak-Rybicka, Ewa. editor. Wolski, Bartosz. editor. SpringerLink (Online service)
Yer Numarası ONLINE(333106.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-21994-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software and Data Technologies 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers

2024-10-15T10:26:46Z

Yazar Cordeiro, José. editor. Virvou, Maria. editor. Shishkov, Boris. editor. SpringerLink (Online service)
Yer Numarası ONLINE(333246.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29578-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Essential Speech and Language Technology for Dutch Results by the STEVIN-programme

2024-10-15T10:26:46Z

Yazar Spyns, Peter. editor. Odijk, Jan. editor. SpringerLink (Online service)
Yer Numarası ONLINE(333372.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-30910-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Industrial Deployment of System Engineering Methods

2024-10-15T10:26:46Z

Yazar Romanovsky, Alexander. editor. Thomas, Martyn. editor. SpringerLink (Online service)
Yer Numarası ONLINE(333675.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33170-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Communication Skills for Foreign and Mobile Medical Professionals

2024-10-15T10:26:46Z

Yazar Poel, Kris. author. Vanagt, Eddy. author. Schrimpf, Ulrike. author. Gasiorek, Jessica. author. SpringerLink (Online service)
Yer Numarası ONLINE(333939.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35112-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers

2024-10-15T10:26:46Z

Yazar Păsăreanu, Corina S. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334069.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35861-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

2024-10-15T10:26:46Z

Yazar Wolff, Burkhart. editor. Gaudel, Marie-Claude. editor. Feliachi, Abderrahmane. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334034.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35705-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Assurances for Self-Adaptive Systems Principles, Models, and Techniques

2024-10-15T10:26:46Z

Yazar Cámara, Javier. editor. Lemos, Rogério. editor. Ghezzi, Carlo. editor. Lopes, Antónia. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334156.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36249-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Reasoning and Mathematics Essays in Memory of William W. McCune

2024-10-15T10:26:46Z

Yazar Bonacina, Maria Paola. editor. Stickel, Mark E. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334264.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36675-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ada 2012 Rationale The Language, The Standard Libraries

2024-10-15T10:26:46Z

Yazar Barnes, John. author. SpringerLink (Online service)
Yer Numarası ONLINE(335195.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45210-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar McMillan, Ken. editor. Middeldorp, Aart. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335196.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45221-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Combinatorial Algorithms 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers

2024-10-15T10:26:46Z

Yazar Lecroq, Thierry. editor. Mouchard, Laurent. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335202.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45278-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers

2024-10-15T10:26:46Z

Yazar Wu, Chenggang. editor. Cohen, Albert. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335206.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45293-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software and Data Technologies 7th International Conference, ICSOFT 2012, Rome, Italy, July 24-27, 2012, Revised Selected Papers

2024-10-15T10:26:46Z

Yazar Cordeiro, José. editor. Hammoudi, Slimane. editor. Sinderen, Marten. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335215.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45404-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E)

2024-10-15T10:26:46Z

Yazar Taft, S. Tucker. editor. Duff, Robert A. editor. Brukardt, Randall L. editor. Ploedereder, Erhard. editor. Leroy, Pascal. editor.
Yer Numarası ONLINE(335216.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45419-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evaluation of Novel Approaches to Software Engineering 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, Revised Selected Papers

2024-10-15T10:26:46Z

Yazar Maciaszek, Leszek A. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335217.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45422-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evaluation of Novel Approaches to Software Engineering 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers

2024-10-15T10:26:46Z

Yazar Filipe, Joaquim. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335227.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-54092-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Teoria degli Automi Finiti

2024-10-15T10:26:46Z

Yazar Luca, Aldo. author. D’Alessandro, Flavio. author. SpringerLink (Online service)
Yer Numarası ONLINE(335644.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-88-470-5474-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Research on Old French: The State of the Art

2024-10-15T10:26:46Z

Yazar Arteaga, Deborah L. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335818.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-4768-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Competency-based Language Teaching in Higher Education

2024-10-15T10:26:46Z

Yazar Pérez Cañado, María Luisa. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335963.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-5386-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ubiquitous Information Technologies and Applications CUTE 2012

2024-10-15T10:26:46Z

Yazar Han, Youn-Hee. editor. Park, Doo-Soon. editor. Jia, Weijia. editor. Yeo, Sang-Soo. editor. SpringerLink (Online service)
Yer Numarası ONLINE(336087.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-5857-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method

2024-10-15T10:26:46Z

Yazar Cellucci, Carlo. author. SpringerLink (Online service)
Yer Numarası ONLINE(336157.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-6091-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Yearbook of Corpus Linguistics and Pragmatics 2013 New Domains and Methodologies

2024-10-15T10:26:46Z

Yazar Romero-Trillo, Jesús. editor. SpringerLink (Online service)
Yer Numarası ONLINE(336200.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-6250-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Brunei English A New Variety in a Multilingual Society

2024-10-15T10:26:46Z

Yazar Deterding, David. author. Sharbawi, Salbrina. author. SpringerLink (Online service)
Yer Numarası ONLINE(336220.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-6347-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Argument of Mathematics

2024-10-15T10:26:46Z

Yazar Aberdein, Andrew. editor. Dove, Ian J. editor. SpringerLink (Online service)
Yer Numarası ONLINE(336263.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-6534-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Universal Grammar and the Second Language Classroom

2024-10-15T10:26:46Z

Yazar Whong, Melinda. editor. Gil, Kook-Hee. editor. Marsden, Heather. editor. SpringerLink (Online service)
Yer Numarası ONLINE(336225.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-6362-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Language Alternation, Language Choice and Language Encounter in International Tertiary Education

2024-10-15T10:26:46Z

Yazar Haberland, Hartmut. editor. Lønsmann, Dorte. editor. Preisler, Bent. editor. SpringerLink (Online service)
Yer Numarası ONLINE(336252.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-6476-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics

2024-10-15T10:26:46Z

Yazar Mogavero, Fabio. author. SpringerLink (Online service)
Yer Numarası ONLINE(336496.1)
Elektronik Erişim http://dx.doi.org/10.2991/978-94-91216-95-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hititler : bir Anadolu imparatorluğu = Hittites : an Anatolian empire

2024-10-15T10:26:46Z

Yazar Doğan-Alparslan, Meltem, editor. Alparslan, Metin, editor.
Yer Numarası DS66 H543 2013
Format: Kitap
Durum Beytepe Kütüphanesi~1

Language online investigating digital texts and practices

2024-10-15T10:26:46Z

Yazar Barton, David, 1949- Lee, Carman.
Yer Numarası ONLINE(344471.1)
Elektronik Erişim Click here to view
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Routledge encyclopedia of language teaching and learning

2024-10-15T10:26:46Z

Yazar Byram, Michael. Hu, Adelheid.
Yer Numarası ONLINE(344483.1)
Elektronik Erişim Click here to view
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

English-language pedagogies for a Northeast Asian context developing and contextually framing the transition theory

2024-10-15T10:26:46Z

Yazar Hadzantonis, Dimitrios Michael.
Yer Numarası ONLINE(344484.1)
Elektronik Erişim Click here to view
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Analysing twenty-first century British English conceptual and methodological aspects of the Voices project

2024-10-15T10:26:46Z

Yazar Upton, Clive, 1946- Davies, Bethan L.
Yer Numarası ONLINE(344537.1)
Elektronik Erişim Click here to view
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Makaleler 1 : altayistik

2024-10-15T10:26:46Z

Yazar Tekin, Talat. Yılmaz, Emine. Demir, Nurettin.
Yer Numarası PL 1 T44 2013
Format: Kitap
Durum Beytepe Kütüphanesi~1

Makaleler

2024-10-15T10:26:46Z

Yazar Tekin,Talat. Yılmaz, Emine. Demir, Nurettin.
Yer Numarası PL21 T45 2013 V.2
Format: Kitap
Durum Beytepe Kütüphanesi~1

Türk dili ve edebiyatı öğretimi

2024-10-15T10:26:46Z

Yazar Cemiloğlu, Mustafa.
Yer Numarası PL111 C3324 2013
Format: Kitap
Durum Beytepe Kütüphanesi~1

Plato's Cratylus the comedy of language

2024-10-15T10:26:46Z

Yazar Ewegen, S. Montgomery. Project Muse.
Yer Numarası ONLINE(321567.1)
Elektronik Erişim Full text available:
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Language after Heidegger

2024-10-15T10:26:46Z

Yazar Ziarek, Krzysztof, 1961- Project Muse.
Yer Numarası ONLINE(321568.1)
Elektronik Erişim Full text available:
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Belief Revision in Non-Classical Logics

2024-10-15T10:26:46Z

Yazar Ribeiro, Márcio Moretto. author. SpringerLink (Online service)
Yer Numarası ONLINE(330925.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4186-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz

2024-10-15T10:26:46Z

Yazar Davis, Martin. editor. Schonberg, Edmond. editor. SpringerLink (Online service)
Yer Numarası ONLINE(330942.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4282-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to Image Processing Using R Learning by Examples

2024-10-15T10:26:46Z

Yazar Frery, Alejandro C. author. Perciano, Talita. author. SpringerLink (Online service)
Yer Numarası ONLINE(331107.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4950-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Programming with Prolog

2024-10-15T10:26:46Z

Yazar Bramer, Max. author. SpringerLink (Online service)
Yer Numarası ONLINE(331207.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-5487-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Analysis of Terrorist Groups: Lashkar-e-Taiba Lashkar-e-Taiba

2024-10-15T10:26:46Z

Yazar Subrahmanian, V.S. author. Mannes, Aaron. author. Sliva, Amy. author. Shakarian, Jana. author. Dickerson, John P. author.
Yer Numarası ONLINE(331582.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-4769-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Hung, Dang. editor. Ogawa, Mizuhito. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332921.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-02444-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Erwig, Martin. editor. Paige, Richard F. editor. Wyk, Eric. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332934.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-02654-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ernst Zermelo - Collected Works/Gesammelte Werke II Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Physik

2024-10-15T10:26:46Z

Yazar Zermelo, Ernst. author. Ebbinghaus, Heinz-Dieter. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)
Yer Numarası ONLINE(333036.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-70856-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Asian Punches A Transcultural Affair

2024-10-15T10:26:46Z

Yazar Harder, Hans. editor. Mittler, Barbara. editor. SpringerLink (Online service)
Yer Numarası ONLINE(333192.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28607-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introducing Writing Across the Curriculum into China Feasibility and Adaptation

2024-10-15T10:26:46Z

Yazar Wu, Dan. author. SpringerLink (Online service)
Yer Numarası ONLINE(333662.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33096-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cylindric-like Algebras and Algebraic Logic

2024-10-15T10:26:46Z

Yazar Andréka, Hajnal. editor. Ferenczi, Miklós. editor. Németi, István. editor. SpringerLink (Online service)
Yer Numarası ONLINE(333922.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35025-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

2024-10-15T10:26:46Z

Yazar Qadeer, Shaz. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334014.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35632-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

On Fuzziness A Homage to Lotfi A. Zadeh – Volume 1

2024-10-15T10:26:46Z

Yazar Seising, Rudolf. editor. Trillas, Enric. editor. Moraga, Claudio. editor. Termini, Settimo. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334017.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35641-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evaluation of Natural Language and Speech Tools for Italian International Workshop, EVALITA 2011, Rome, January 24-25, 2012, Revised Selected Papers

2024-10-15T10:26:46Z

Yazar Magnini, Bernardo. editor. Cutugno, Francesco. editor. Falcone, Mauro. editor. Pianta, Emanuele. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334059.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35828-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334038.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35722-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers

2024-10-15T10:26:46Z

Yazar Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.
Yer Numarası ONLINE(334041.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35737-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers

2024-10-15T10:26:46Z

Yazar Lemos, Rogério. editor. Giese, Holger. editor. Müller, Hausi A. editor. Shaw, Mary. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334055.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35813-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Giacobazzi, Roberto. editor. Berdine, Josh. editor. Mastroeni, Isabella. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334073.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35873-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

2024-10-15T10:26:46Z

Yazar Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334077.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35887-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Uncertainty Reasoning for the Semantic Web II International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers

2024-10-15T10:26:46Z

Yazar Bobillo, Fernando. editor. Costa, Paulo C. G. editor. d’Amato, Claudia. editor. Fanizzi, Nicola. editor. Laskey, Kathryn B. editor.
Yer Numarası ONLINE(334092.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35975-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers

2024-10-15T10:26:46Z

Yazar Lämmel, Ralf. editor. Saraiva, João. editor. Visser, Joost. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334096.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35992-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Lodaya, Kamal. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334105.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36039-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering International Summer Schools, ISSSE 2009-2011, Salerno, Italy. Revised Tutorial Lectures

2024-10-15T10:26:46Z

Yazar Lucia, Andrea. editor. Ferrucci, Filomena. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334109.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36054-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

System Modeling and Optimization 25th IFIP TC 7 Conference, CSMO 2011, Berlin, Germany, September 12-16, 2011, Revised Selected Papers

2024-10-15T10:26:46Z

Yazar Hömberg, Dietmar. editor. Tröltzsch, Fredi. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334111.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36062-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Language Phenomenon Human Communication from Milliseconds to Millennia

2024-10-15T10:26:46Z

Yazar Binder, P.-M. editor. Smith, K. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334119.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36086-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers

2024-10-15T10:26:46Z

Yazar Czarnecki, Krzysztof. editor. Hedin, Görel. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334120.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36089-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Construction and Evolution of Code Generators A Model-Driven and Service-Oriented Approach

2024-10-15T10:26:46Z

Yazar Jörges, Sven. author. SpringerLink (Online service)
Yer Numarası ONLINE(334129.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36127-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

System Analysis and Modeling: Theory and Practice 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers

2024-10-15T10:26:46Z

Yazar Haugen, Øystein. editor. Reed, Rick. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334282.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36757-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Aliasing in Object-Oriented Programming. Types, Analysis and Verification

2024-10-15T10:26:46Z

Yazar Clarke, Dave. editor. Noble, James. editor. Wrigstad, Tobias. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334327.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36946-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Aspect-Oriented Software Development X

2024-10-15T10:26:46Z

Yazar Leavens, Gary T. editor. Chiba, Shigeru. editor. Tanter, Éric. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334333.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36964-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, Language, and Computation 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers

2024-10-15T10:26:46Z

Yazar Bezhanishvili, Guram. editor. Löbner, Sebastian. editor. Marra, Vincenzo. editor. Richter, Frank. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334337.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36976-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers

2024-10-15T10:26:46Z

Yazar Machado, Ricardo J. editor. Maciel, Rita Suzana P. editor. Rubin, Julia. editor. Botterweck, Goetz. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334556.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38209-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Brat, Guillaume. editor. Rungta, Neha. editor. Venet, Arnaud. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334533.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38088-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday

2024-10-15T10:26:46Z

Yazar Coecke, Bob. editor. Ong, Luke. editor. Panangaden, Prakash. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334547.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38164-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers

2024-10-15T10:26:46Z

Yazar Liu, Shaoying. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334772.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39277-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Jurgensen, Helmut. editor. Reis, Rogério. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334778.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39310-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Logozzo, Francesco. editor. Fähndrich, Manuel. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334683.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38856-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Carette, Jacques. editor. Aspinall, David. editor. Lange, Christoph. editor. Sojka, Petr. editor. Windsteiger, Wolfgang. editor.
Yer Numarası ONLINE(334781.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39320-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SDL 2013: Model-Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Khendek, Ferhat. editor. Toeroe, Maria. editor. Gherbi, Abdelouahed. editor. Reed, Rick. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334697.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38911-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Veanes, Margus. editor. Viganò, Luca. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334698.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38916-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Safe and Secure Software Reuse 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings

2024-10-15T10:26:46Z

Yazar Favaro, John. editor. Morisio, Maurizio. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334706.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38977-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Gorp, Pieter. editor. Ritter, Tom. editor. Rose, Louis M. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334711.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39013-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial General Intelligence 6th International Conference, AGI 2013, Beijing, China, July 31 – August 3, 2013 Proceedings

2024-10-15T10:26:46Z

Yazar Kühnberger, Kai-Uwe. editor. Rudolph, Sebastian. editor. Wang, Pei. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334814.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39521-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

2024-10-15T10:26:46Z

Yazar Biere, Armin. editor. Nahir, Amir. editor. Vos, Tanja. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334820.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39611-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Binder, Walter. editor. Bodden, Eric. editor. Löwe, Welf. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334821.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39614-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Blazy, Sandrine. editor. Paulin-Mohring, Christine. editor. Pichardie, David. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334825.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39634-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Ruhe, Günther. editor. Zhang, Yuanyuan. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334844.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39742-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reasoning Web. Semantic Technologies for Intelligent Data Access 9th International Summer School 2013, Mannheim, Germany, July 30 – August 2, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Rudolph, Sebastian. editor. Gottlob, Georg. editor. Horrocks, Ian. editor. Harmelen, Frank. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334848.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39784-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

New Frontiers in Artificial Intelligence JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1, 2012, Revised Selected Papers

2024-10-15T10:26:46Z

Yazar Motomura, Yoichi. editor. Butler, Alastair. editor. Bekki, Daisuke. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334868.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39931-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Lourenço, João M. editor. Farchi, Eitan. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334870.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39955-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Libkin, Leonid. editor. Kohlenbach, Ulrich. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334875.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39992-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Grammar 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Morrill, Glyn. editor. Nederhof, Mark-Jan. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334877.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39998-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Euro-Par 2013 Parallel Processing 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Wolf, Felix. editor. Mohr, Bernd. editor. Mey, Dieter. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334882.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40047-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Chatterjee, Krishnendu. editor. Sgall, Jirí. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334925.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40313-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday

2024-10-15T10:26:46Z

Yazar Achten, Peter. editor. Koopman, Pieter. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334934.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40355-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Trends in Functional Programming 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers

2024-10-15T10:26:46Z

Yazar Loidl, Hans-Wolfgang. editor. Peña, Ricardo. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334946.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40447-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

2024-10-15T10:26:46Z

Yazar Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334962.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40537-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Hierons, Robert M. editor. Merayo, Mercedes G. editor. Bravetti, Mario. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334968.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40561-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334969.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40564-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings

2024-10-15T10:26:46Z

Yazar Karhumäki, Juhani. editor. Lepistö, Arto. editor. Zamboni, Luca. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334973.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40579-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

2024-10-15T10:26:46Z

Yazar Giachino, Elena. editor. Hähnle, Reiner. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334978.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40615-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Leite, João. editor. Son, Tran Cao. editor. Torroni, Paolo. editor. Torre, Leon. editor. Woltran, Stefan. editor.
Yer Numarası ONLINE(334979.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40624-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Schulte, Christian. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334980.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40627-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Muntean, Traian. editor. Poulakis, Dimitrios. editor. Rolland, Robert. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334985.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40663-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

2024-10-15T10:26:46Z

Yazar Ida, Tetsuo. editor. Fleuriot, Jacques. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334987.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40672-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

OpenMP in the Era of Low Power Devices and Accelerators 9th International Workshop on OpenMP, IWOMP 2013, Canberra, ACT, Australia, September 16-18, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Rendell, Alistair P. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334990.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40698-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Legay, Axel. editor. Bensalem, Saddek. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335003.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40787-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Fontaine, Pascal. editor. Ringeissen, Christophe. editor. Schmidt, Renate A. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335023.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40885-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithmic Learning Theory 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Jain, Sanjay. editor. Munos, Rémi. editor. Stephan, Frank. editor. Zeugmann, Thomas. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335030.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40935-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

KI 2013: Advances in Artificial Intelligence 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Timm, Ingo J. editor. Thimm, Matthias. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335031.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40942-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings

2024-10-15T10:26:46Z

Yazar Grossi, Davide. editor. Roy, Olivier. editor. Huang, Huaxin. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335032.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40948-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modeling and Using Context 8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 -31, 2013, Proceedings

2024-10-15T10:26:46Z

Yazar Brézillon, Patrick. editor. Blackburn, Patrick. editor. Dapoigny, Richard. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335034.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40972-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Pecheur, Charles. editor. Dierkes, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335040.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41010-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings

2024-10-15T10:26:46Z

Yazar Abdulla, Parosh Aziz. editor. Potapov, Igor. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335046.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41036-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Using Microsoft Dynamics AX 2012 Updated for Version R2

2024-10-15T10:26:46Z

Yazar Luszczak, Andreas. author. SpringerLink (Online service)
Yer Numarası ONLINE(335271.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-658-01709-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Collected Papers VI. Literary Reality and Relationships

2024-10-15T10:26:46Z

Yazar Schutz, Alfred. author. Barber, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335707.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-1518-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Paraconsistency: Logic and Applications

2024-10-15T10:26:46Z

Yazar Tanaka, Koji. editor. Berto, Francesco. editor. Mares, Edwin. editor. Paoli, Francesco. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335759.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-4438-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Successful Family Language Policy Parents, Children and Educators in Interaction

2024-10-15T10:26:46Z

Yazar Schwartz, Mila. editor. Verschik, Anna. editor. SpringerLink (Online service)
Yer Numarası ONLINE(336373.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-7753-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fachenglisch für Pflege und Pflegewissenschaft English for Professional Nursing

2024-10-15T10:26:46Z

Yazar Huss, Norma. author. Schiller, Sandra. author. Schmidt, Matthias. author. SpringerLink (Online service)
Yer Numarası ONLINE(336997.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-30005-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multilingual identities : new global perspectives

2024-10-15T10:26:46Z

Yazar Du Bois, Inke. editor of compilation.
Yer Numarası P115.45 M73 2013
Format: Kitap
Durum Beytepe Kütüphanesi~1

New perspectives on the origins of language

2024-10-15T10:26:46Z

Yazar Lefebvre, Claire. Comrie, Bernard, 1947- Cohen, Henri, 1945-
Yer Numarası P116 N49 2013
Format: Kitap
Durum Beytepe Kütüphanesi~1

The study of language

2024-10-15T10:26:46Z

Yazar Yule, George.
Yer Numarası P107 Y85 2013
Format: Kitap
Durum Beytepe Kütüphanesi~1

Trading tongues merchants, multilingualism, and medieval literature

2024-10-15T10:26:46Z

Yazar Hsy, Jonathan Horng. Project Muse.
Yer Numarası ONLINE
Elektronik Erişim Full text available:
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Native-speakerism in Japan intergroup dynamics in foreign language education

2024-10-15T10:26:46Z

Yazar Houghton, Stephanie, 1969- Rivers, Damian J.
Yer Numarası ONLINE
Elektronik Erişim EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=578491
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Silence and concealment in political discourse

2024-10-15T10:26:46Z

Yazar Schröter, Melani.
Yer Numarası ONLINE
Elektronik Erişim EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=578624
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Grammaticalization and first language acquisition : crosslinguistic perspectives

2024-10-15T10:26:46Z

Yazar Bassano, Dominique, editor of compilation. Hickmann, Maya, editor of compilation.
Yer Numarası ONLINE
Elektronik Erişim EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=578690
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Limits of computation an introduction to the undecidable and the intractable

2024-10-15T10:26:46Z

Yazar Reiter, Edna E. (Edna Elizabeth) Johnson, Clayton Matthew.
Yer Numarası ONLINE
Elektronik Erişim Distributed by publisher. Purchase or institutional license may be required for access.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Language across Difference Ethnicity, Communication, and Youth Identities in Changing Urban Schools

2024-10-15T10:26:46Z

Yazar Paris, Django.
Yer Numarası ONLINE
Elektronik Erişim Access by subscription
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Plato's Account of Falsehood A Study of the <I>Sophist</I>

2024-10-15T10:26:46Z

Yazar Crivelli, Paolo.
Yer Numarası ONLINE
Elektronik Erişim Access by subscription
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The language of secular Islam Urdu nationalism and colonial India

2024-10-15T10:26:46Z

Yazar Datla, Kavita Saraswathi, author. Project Muse.
Yer Numarası ONLINE
Elektronik Erişim Full text available:
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The materiality of language gender, politics, and the university

2024-10-15T10:26:46Z

Yazar Bleich, David. Project Muse.
Yer Numarası ONLINE
Elektronik Erişim Full text available:
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Speaking code coding as aesthetic and political expression

2024-10-15T10:26:46Z

Yazar Cox, Geoff. McLean, Alex (Christopher Alex), 1975-
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6451062
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Sprachwissenschaft - Fremdsprachendidaktik : neue Impulse

2024-10-15T10:26:46Z

Yazar Symposium "Sprachwissenschaft - Fremdsprachendidaktik : Neue Impulse" (2011 : Universität Osnabrück) Bürgel, Christoph, 1971- editor of compilation. Siepmann, Dirk, 1966- editor of compilation.
Yer Numarası P51 S93 2013
Format: Kitap
Durum Beytepe Kütüphanesi~1

Dil ve iletişim

2024-10-15T10:26:46Z

Yazar Günay, V. Doğan.
Yer Numarası P121 G863 2013
Format: Kitap
Durum Beytepe Kütüphanesi~1

Yabancı Dil Öğretim Yöntemleri

2024-10-15T10:26:46Z

Yazar Demircan, Ömer
Yer Numarası P53 D46 2013
Format: Kitap
Durum Beytepe Kütüphanesi~3

Learn Cocoa on the Mac

2024-10-15T10:26:46Z

Yazar Nutting, Jack. author. Clark, Peter. author. SpringerLink (Online service)
Yer Numarası ONLINE(330613.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-4543-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Learn Lua for iOS Game Development

2024-10-15T10:26:46Z

Yazar Varma, Jayant. author. SpringerLink (Online service)
Yer Numarası ONLINE(330623.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-4663-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

TouchDevelop: Programming on the Go

2024-10-15T10:26:46Z

Yazar Horspool, R. Nigel. author. Tillmann, Nikolai. author. SpringerLink (Online service)
Yer Numarası ONLINE(330757.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-6137-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Objective-C Programmer’s Reference

2024-10-15T10:26:46Z

Yazar Oliveira, Carlos. author. SpringerLink (Online service)
Yer Numarası ONLINE(330726.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-5906-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Node.js Recipes

2024-10-15T10:26:46Z

Yazar Gackenheimer, Cory. author. SpringerLink (Online service)
Yer Numarası ONLINE(330745.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-6059-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts

2024-10-15T10:26:46Z

Yazar O’Regan, Gerard. author. SpringerLink (Online service)
Yer Numarası ONLINE(331002.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4534-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Using Event-B for Critical Device Software Systems

2024-10-15T10:26:46Z

Yazar Singh, Neeraj Kumar. author. SpringerLink (Online service)
Yer Numarası ONLINE(331181.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-5260-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Guide to Programming and Algorithms Using R

2024-10-15T10:26:46Z

Yazar Ergül, Özgür. author. SpringerLink (Online service)
Yer Numarası ONLINE(331192.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-5328-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Giants of Computing A Compendium of Select, Pivotal Pioneers

2024-10-15T10:26:46Z

Yazar O’Regan, Gerard. author. SpringerLink (Online service)
Yer Numarası ONLINE(331194.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-5340-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

English for Research: Usage, Style, and Grammar

2024-10-15T10:26:46Z

Yazar Wallwork, Adrian. author. SpringerLink (Online service)
Yer Numarası ONLINE(331275.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-1593-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Astrolinguistics Design of a Linguistic System for Interstellar Communication Based on Logic

2024-10-15T10:26:46Z

Yazar Ollongren, Alexander. author. SpringerLink (Online service)
Yer Numarası ONLINE(331780.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-5468-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Bayesian Networks in R with Applications in Systems Biology

2024-10-15T10:26:46Z

Yazar Nagarajan, Radhakrishnan. author. Scutari, Marco. author. Lèbre, Sophie. author. SpringerLink (Online service)
Yer Numarası ONLINE(332033.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-6446-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The R Software Fundamentals of Programming and Statistical Analysis

2024-10-15T10:26:46Z

Yazar Lafaye de Micheaux, Pierre. author. Drouilhet, Rémy. author. Liquet, Benoit. author. SpringerLink (Online service)
Yer Numarası ONLINE(332463.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-9020-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Correspondences and Contrasts in Foreign Language Pedagogy and Translation Studies

2024-10-15T10:26:46Z

Yazar Piątkowska, Katarzyna. editor. Kościałkowska-Okońska, Ewa. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332689.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-00161-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Concise Computer Mathematics Tutorials on Theory and Problems

2024-10-15T10:26:46Z

Yazar Bagdasar, Ovidiu. author. SpringerLink (Online service)
Yer Numarası ONLINE(332887.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-01751-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Perspectives on Linguistic Pragmatics

2024-10-15T10:26:46Z

Yazar Capone, Alessandro. editor. Lo Piparo, Franco. editor. Carapezza, Marco. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332831.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-01014-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers

2024-10-15T10:26:46Z

Yazar Maciaszek, Leszek A. editor. Zhang, Kang. editor. SpringerLink (Online service)
Yer Numarası ONLINE(333558.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32341-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers

2024-10-15T10:26:46Z

Yazar Ayala, José L. editor. Shang, Delong. editor. Yakovlev, Alex. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334136.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36157-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334278.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36742-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software and Data Technologies 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers

2024-10-15T10:26:46Z

Yazar Escalona, María José. editor. Cordeiro, José. editor. Shishkov, Boris. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334142.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36177-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Rough Sets XVI

2024-10-15T10:26:46Z

Yazar Peters, James F. editor. Skowron, Andrzej. editor. Ramanna, Sheela. editor. Suraj, Zbigniew. editor. Wang, Xin. editor.
Yer Numarası ONLINE(334220.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36505-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Learning C# by Programming Games

2024-10-15T10:26:46Z

Yazar Egges, Arjan. author. Fokker, Jeroen D. author. Overmars, Mark H. author. SpringerLink (Online service)
Yer Numarası ONLINE(334239.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36580-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Pfenning, Frank. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334358.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37075-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Language of Mathematics A Linguistic and Philosophical Investigation

2024-10-15T10:26:46Z

Yazar Ganesalingam, Mohan. author. SpringerLink (Online service)
Yer Numarası ONLINE(334341.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37012-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Jhala, Ranjit. editor. Bosschere, Koen. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334353.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37051-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Cortellessa, Vittorio. editor. Varró, Dániel. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334354.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37057-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334355.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37064-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers

2024-10-15T10:26:46Z

Yazar Martí-Oliet, Narciso. editor. Palomino, Miguel. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334465.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37635-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Logics Essays in Memory of Harald Ganzinger

2024-10-15T10:26:46Z

Yazar Voronkov, Andrei. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334468.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37651-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Services and Formal Methods 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers

2024-10-15T10:26:46Z

Yazar Beek, Maurice H. editor. Lohmann, Niels. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334562.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38230-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Chan, T-H. Hubert. editor. Lau, Lap Chi. editor. Trevisan, Luca. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334564.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38236-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Concept Analysis 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Cellier, Peggy. editor. Distel, Felix. editor. Ganter, Bernhard. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334580.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38317-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

2024-10-15T10:26:46Z

Yazar Albert, Elvira. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334552.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38197-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Bulatov, Andrei A. editor. Shur, Arseny M. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334617.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38536-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Bonacina, Maria Paola. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334626.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38574-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Beyer, Dirk. editor. Boreale, Michele. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334630.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38592-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reliable Software Technologies – Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Keller, Hubert B. editor. Plödereder, Erhard. editor. Dencker, Peter. editor. Klenk, Herbert. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334631.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38601-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Johnsen, Einar Broch. editor. Petre, Luigia. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334634.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38613-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Colom, José-Manuel. editor. Desel, Jörg. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334651.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38697-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ontology Matching

2024-10-15T10:26:46Z

Yazar Euzenat, Jérôme. author. Shvaiko, Pavel. author. SpringerLink (Online service)
Yer Numarası ONLINE(334659.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38721-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Developments in Language Theory 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Béal, Marie-Pierre. editor. Carton, Olivier. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334666.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38771-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers

2024-10-15T10:26:46Z

Yazar Riguzzi, Fabrizio. editor. Železný, Filip. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334673.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38812-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Implementation and Application of Automata 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Konstantinidis, Stavros. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334771.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39274-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Erdős Centennial

2024-10-15T10:26:46Z

Yazar Lovász, László. editor. Ruzsa, Imre Z. editor. Sós, Vera T. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334774.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39286-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Practice of Model Transformations 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Duddy, Keith. editor. Kappel, Gerti. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334691.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38883-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Hasegawa, Masahito. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334702.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38946-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Drira, Khalil. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334714.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39031-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

ECOOP 2013 – Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Castagna, Giuseppe. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334715.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39038-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334724.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39071-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Unconventional Computation and Natural Computation 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Mauri, Giancarlo. editor. Dennunzio, Alberto. editor. Manzoni, Luca. editor. Porreca, Antonio E. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334725.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39074-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Gaag, Linda C. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334728.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39091-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings

2024-10-15T10:26:46Z

Yazar Bartocci, Ezio. editor. Ramakrishnan, C. R. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334743.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39176-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings

2024-10-15T10:26:46Z

Yazar Groves, Lindsay. editor. Sun, Jing. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335072.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41202-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reactive Kripke Semantics

2024-10-15T10:26:46Z

Yazar Gabbay, Dov M. author. SpringerLink (Online service)
Yer Numarası ONLINE(335100.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41389-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers

2024-10-15T10:26:46Z

Yazar Duchier, Denys. editor. Parmentier, Yannick. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335125.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41578-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

In Search of Elegance in the Theory and Practice of Computation Essays Dedicated to Peter Buneman

2024-10-15T10:26:46Z

Yazar Tannen, Val. editor. Wong, Limsoon. editor. Libkin, Leonid. editor. Fan, Wenfei. editor. Tan, Wang-Chiew. editor.
Yer Numarası ONLINE(335138.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41660-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings

2024-10-15T10:26:46Z

Yazar Yenigün, Hüsnü. editor. Yilmaz, Cemal. editor. Ulrich, Andreas. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335141.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41707-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Technology as a Support for Literacy Achievements for Children at Risk

2024-10-15T10:26:46Z

Yazar Shamir, Adina. editor. Korat, Ofra. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335892.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-5119-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements

2024-10-15T10:26:46Z

Yazar Geldsetzer, Lutz. author. Schwartz, Richard L. author. SpringerLink (Online service)
Yer Numarası ONLINE(335941.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-5301-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fakülteler ve yüksekokullar için Türk dili ve anlatım bilgileri

2024-10-15T10:26:46Z

Yazar Yelten, Muhammet.
Yer Numarası PL123 Y45 2013
Format: Kitap
Durum Beytepe Kütüphanesi~4

Introducing language typology

2024-10-15T10:26:46Z

Yazar Moravcsik, Edith A.
Yer Numarası P204 M66 2013
Format: Kitap
Durum Beytepe Kütüphanesi~1

Evolutionary linguistics

2024-10-15T10:26:46Z

Yazar McMahon, April M. S. McMahon, Robert, 1964-
Yer Numarası P116 M45 2013
Format: Kitap
Durum Beytepe Kütüphanesi~1

Saf içkin yaşam : Deleuze'ün "Kritik ve Klinik" projesi

2024-10-15T10:26:46Z

Yazar Smith, Daniel W. Koyuncu, Emre.
Yer Numarası B2430.D454 S24 2013
Format: Kitap
Durum Beytepe Kütüphanesi~2

Demokrasi ve eğitim

2024-10-15T10:26:46Z

Yazar Chomsky, Noam. Otero, Carlos Peregrín, 1930-, editor. Abadoğlu, Ender, çeviren.
Yer Numarası LB885.C5215 C46 2013
Format: Kitap
Durum Beytepe Kütüphanesi~1

Le recours à la fiction dans le discours philosophique

2024-10-15T10:26:46Z

Yazar Temmar, Malika.
Yer Numarası P106 T46 2013
Format: Kitap
Durum Beytepe Kütüphanesi~1

Applied linguistics and materials development

2024-10-15T10:26:46Z

Yazar Tomlinson, Brian.
Yer Numarası P53.15 A63 2013
Format: Kitap
Durum Beytepe Kütüphanesi~1

Research for materials development in language learning : evidence for best practice

2024-10-15T10:26:46Z

Yazar Tomlinson, Brian. Masuhara, Hitomi.
Yer Numarası P53.15 R43 2013
Format: Kitap
Durum Beytepe Kütüphanesi~1

Türkiye Türkçesinin temeli : Oğuz Türkçesinin gelişimi

2024-10-15T10:26:46Z

Yazar Korkmaz, Zeynep.
Yer Numarası PL95 K776 2013
Format: Kitap
Durum Beytepe Kütüphanesi~1