Search Results for Languages. - Narrowed by: 2014SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLanguages.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092014$0025092014$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?dt=list2024-12-23T17:54:21ZIntroduction to programming languagesent://SD_ILS/0/SD_ILS:3123742024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Bansal, Arvind Kumar.<br/>Preferred Shelf Number QA76.5 B36 2014<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Foundations of Programming Languagesent://SD_ILS/0/SD_ILS:4882652024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Lee, Kent D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-13314-0">https://doi.org/10.1007/978-3-319-13314-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Natural Language Processing of Semitic Languagesent://SD_ILS/0/SD_ILS:4883732024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Zitouni, Imed. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-45358-8">https://doi.org/10.1007/978-3-642-45358-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Languages of the unsayable : the play of negativity in literature and literary theoryent://SD_ILS/0/SD_ILS:636772024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Budick, Sanford, 1942- ed. Iser, Wolfgang, ed.<br/>Preferred Shelf Number PN 56.S55 L36 1989<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Information on music : a handbook of reference sources in European languagesent://SD_ILS/0/SD_ILS:1155292024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Marco, Guy A 1927- Ferris, Sharon Paugh<br/>Preferred Shelf Number REF ML113 .M33 1975- V.1<br/>Format: Books<br/>Availability Conservatory Library~1<br/>Discourse grammar : studies in indiggenous languages of Colombia, Panama, and Ecuadorent://SD_ILS/0/SD_ILS:690972024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Longacre, R. E., ed. Woods, F., ed.<br/>Preferred Shelf Number P 302 D631 1976-<br/>Format: Books<br/>Availability Beytepe Library~3<br/>Doğu dilleri ve edebiyatlarının kaynakları : Türkçe kaynaklar = Sources of Oriental languages and literatures : Turkic sourcesent://SD_ILS/0/SD_ILS:737202024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Tekin, Şinasi, ed. Alpay, Gönül.<br/>Preferred Shelf Number PJ 307 D679 1970- V.3<br/>Format: Books<br/>Availability Beytepe Library~2<br/>Foundations of fuzzy logic and semantic web languagesent://SD_ILS/0/SD_ILS:3427522024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Straccia, Umberto.<br/>Preferred Shelf Number ONLINE(342752.1)<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439853481">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4854462024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Flatt, Matthew. editor. Guo, Hai-Feng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-04132-2">https://doi.org/10.1007/978-3-319-04132-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Coordination Models and Languages 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4874542024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Kühn, Eva. editor. Pugliese, Rosario. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-43376-8">https://doi.org/10.1007/978-3-662-43376-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal languages, automata and numeration systems. 1, Introduction to combinatorics on wordsent://SD_ILS/0/SD_ILS:3421652024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Rigo, Michel.<br/>Preferred Shelf Number ONLINE(342165.1)<br/>Electronic Access John Wiley <a href="http://dx.doi.org/10.1002/9781119008200">http://dx.doi.org/10.1002/9781119008200</a>
John Wiley <a href="http://dx.doi.org/10.1002/9781119042853">http://dx.doi.org/10.1002/9781119042853</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A prehistory of western North America the impact of Uto-Aztecan languagesent://SD_ILS/0/SD_ILS:3230432024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Shaul, David Leedom. Project Muse.<br/>Preferred Shelf Number ONLINE(323043.1)<br/>Electronic Access <a href="http://muse.jhu.edu/books/9780826354815/">Full text available: </a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Operational Semantics A Concise Overviewent://SD_ILS/0/SD_ILS:4845612024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Fernández, Maribel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4471-6368-8">https://doi.org/10.1007/978-1-4471-6368-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4857242024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Dingel, Juergen. editor. Schulte, Wolfram. editor. Ramos, Isidro. editor. Abrahao, Silvia. editor. Insfran, Emilio. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11653-2">https://doi.org/10.1007/978-3-319-11653-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agent-Oriented Software Engineering Reflections on Architectures, Methodologies, Languages, and Frameworksent://SD_ILS/0/SD_ILS:4879292024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Shehory, Onn. editor. Sturm, Arnon. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54432-3">https://doi.org/10.1007/978-3-642-54432-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semanticsent://SD_ILS/0/SD_ILS:4892732024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Majkić, Zoran. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-04156-8">https://doi.org/10.1007/978-3-319-04156-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Languages and Compilers for Parallel Computing 26th International Workshop, LCPC 2013, San Jose, CA, USA, September 25--27, 2013. Revised Selected Papersent://SD_ILS/0/SD_ILS:4894212024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Cașcaval, Călin. editor. Montesinos, Pablo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09967-5">https://doi.org/10.1007/978-3-319-09967-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4894342024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Shao, Zhong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54833-8">https://doi.org/10.1007/978-3-642-54833-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Speech and Language Technologies for Iberian Languages IberSPEECH 2014 Conference, Las Palmas de Gran Canaria, Spain, November 19-21, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4878062024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Navarro Mesa, Juan Luis. editor. Ortega, Alfonso. editor. Teixeira, António. editor. Hernández Pérez, Eduardo. editor. Quintana Morales, Pedro. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-13623-3">https://doi.org/10.1007/978-3-319-13623-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4890812024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Garrigue, Jacques. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-12736-1">https://doi.org/10.1007/978-3-319-12736-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4890532024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Esparza, Javier. editor. Fraigniaud, Pierre. editor. Husfeldt, Thore. editor. Koutsoupias, Elias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-43951-7">https://doi.org/10.1007/978-3-662-43951-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4889762024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Quintao Pereira, Fernando Magno. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11863-5">https://doi.org/10.1007/978-3-319-11863-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4875012024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Esparza, Javier. editor. Fraigniaud, Pierre. editor. Husfeldt, Thore. editor. Koutsoupias, Elias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-43948-7">https://doi.org/10.1007/978-3-662-43948-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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)ent://SD_ILS/0/SD_ILS:5068842024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Abacı, Nurcan.<br/>Preferred Shelf Number KKX1610 O8812 2007 V.2<br/>Format: Books<br/>Availability Law Library~2<br/>Türk şiveleri lügati = (Divanü Lugat-it-Türk)ent://SD_ILS/0/SD_ILS:5069102024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Mahmud Kashgari, 11th cent. Dankoff, Robert.<br/>Preferred Shelf Number PL27 M34 1982 V.1<br/>Format: Books<br/>Availability Beytepe Library~3<br/>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 facsimileent://SD_ILS/0/SD_ILS:5069152024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Sağol, Gülden. Tekin, Şinasi, 1933-2004. Alpay-Tekin, Gönül.<br/>Preferred Shelf Number BP131.13 K67 1993 V.1<br/>Format: Books<br/>Availability Beytepe Library~4<br/>Saltuk-name : the legend of Sarı Saltuk = Ebu'l Hayr Rumi'nin sözlü rivayetlerinden topladığı Sarı Saltuk menakibient://SD_ILS/0/SD_ILS:5072702024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Ebü'l-Hayr-ı Rumî, active 1480-1489. İz, Fahir. Tekin, Şinasi.<br/>Preferred Shelf Number PL248.E28 S3 1974- V.1<br/>Format: Books<br/>Availability Beytepe Library~7<br/>Measured language quantitative studies of acquisition, assessment, and variationent://SD_ILS/0/SD_ILS:3223242024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Amoroso, Luke Wander., editor. Connor-Linton, Jeff., editor. Project Muse.<br/>Preferred Shelf Number ONLINE(322324.1)<br/>Electronic Access <a href="http://muse.jhu.edu/books/9781626160385/">Full text available: </a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Juan de Segovia and the fight for peace Christians and Muslims in the fifteenth centuryent://SD_ILS/0/SD_ILS:3228322024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Wolf, Anne Marie. Project Muse.<br/>Preferred Shelf Number ONLINE(322832.1)<br/>Electronic Access <a href="http://muse.jhu.edu/books/9780268096700/">Full text available: </a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Profession.ent://SD_ILS/0/SD_ILS:2292692024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Modern Language Association of America. Association of Departments of English. ADE bulletin. Association of Departments of Foreign Languages (U.S.). ADFL bulletin.<br/>Format: Continuing Resources Other<br/>Availability ~0<br/>Semantic theoryent://SD_ILS/0/SD_ILS:176472024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Kempson, Ruth M.<br/>Preferred Shelf Number P 325 K44 1977<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Decolonising the mind : The politics of language in African literatureent://SD_ILS/0/SD_ILS:808772024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Ngugi wa Thiong'o, 1938-<br/>Preferred Shelf Number PL 8010 N48 1986<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Context and culture in language teachingent://SD_ILS/0/SD_ILS:847922024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Kramsch, Claire J.<br/>Preferred Shelf Number P 53.45 K73 1993<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Reflective teaching in second language classroomsent://SD_ILS/0/SD_ILS:785462024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Richards, Jack C. Lockhart, Charles, 1954- ort. yaz.<br/>Preferred Shelf Number P 51 R485 1996<br/>Format: Books<br/>Availability Beytepe Library~1<br/>A companion to the philosophy of languageent://SD_ILS/0/SD_ILS:790062024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Hale, Bob, ed.<br/>Preferred Shelf Number P 106 C5945 1999<br/>Format: Books<br/>Availability Beytepe Library~1<br/>The theory of speech and languageent://SD_ILS/0/SD_ILS:838342024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Gardiner, Alan Henderson, Sir, 1879-1963.<br/>Preferred Shelf Number P 105 G25 1951<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Language test construction and evaluationent://SD_ILS/0/SD_ILS:844742024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Alderson, J. Charles. Clapham, Caroline, ort. yaz. Wall, Dianne, ort. yaz.<br/>Preferred Shelf Number P 53.4 A43 1995<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Teaching language as communication / H. G. Widdowson.ent://SD_ILS/0/SD_ILS:846872024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Widdowson, H. G.<br/>Preferred Shelf Number P 51 W49 1978<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Türkbilig : Türkoloji araştırmaları.ent://SD_ILS/0/SD_ILS:2279472024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Hacettepe Üniversitesi. Türk Dili ve Edebiyatı Bölümü.<br/>Preferred Shelf Number ALFABETİK V.2005<br/>Electronic Access <a href="http://www.turkbilig.com/">Elektronik eri?im</a><br/>Format: Continuing Resources Other<br/>Availability Beytepe Library~1 ~0<br/>Translation Studies in the New Millennium : An international journal of translation and interpretingent://SD_ILS/0/SD_ILS:2293822024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Bilkent Üniversitesi<br/>Format: Continuing Resources Other<br/>Availability ~0<br/>Kontaktlinguistik : ein internationales Handbuch zeitgenössischer Forschungent://SD_ILS/0/SD_ILS:1544172024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Goebl, Hans.<br/>Format: Books<br/>Availability ~0<br/>The art of computer programmingent://SD_ILS/0/SD_ILS:443242024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Knuth, Donald E.<br/>Preferred Shelf Number QA 76.5 K57 1968- V.1<br/>Format: Books<br/>Availability Beytepe Library~7<br/>The spirit of language in civilizationent://SD_ILS/0/SD_ILS:724972024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Vossler, Karl, 1872-1949.<br/>Preferred Shelf Number P 105 V5713 1932 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Communication : a philosophical study of languageent://SD_ILS/0/SD_ILS:725002024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Britton, Karl, 1909-<br/>Preferred Shelf Number P 105 B75 1939 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Introducing language in use a coursebookent://SD_ILS/0/SD_ILS:3445342024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Bloomer, Aileen, 1947-<br/>Preferred Shelf Number ONLINE(344534.1)<br/>Electronic Access <a href="http://www.tandfebooks.com/isbn/9781315884318">Click here to view</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The syntax of roots and the roots of syntaxent://SD_ILS/0/SD_ILS:3571782024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Alexiadou, Artemis, editor. Borer, Hagit, editor. Schäfer, Florian, editor.<br/>Preferred Shelf Number P291 S957 2014<br/>Format: Books<br/>Availability Beytepe Library~1<br/>An introduction to languageent://SD_ILS/0/SD_ILS:3573142024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Fromkin, Victoria. Rodman, Robert, author. Hyams, Nina M., 1952- author.<br/>Preferred Shelf Number P107 F76 2014<br/>Format: Books<br/>Availability Beytepe Library~1<br/>The social origins of languageent://SD_ILS/0/SD_ILS:3578242024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Dor, Danny, 1951- editor of compilation. Knight, Chris, 1942- editor of compilation. Lewis, Jerome, editor of compilation.<br/>Preferred Shelf Number P116 S637 2014<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Çağdaş Türk yazı dillerient://SD_ILS/0/SD_ILS:3624612024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Buran, Ahmet. Alkaya, Ercan. Yalçın, Süleyman Kaya.<br/>Preferred Shelf Number PL21 B87 2014 V.1<br/>Format: Books<br/>Availability Beytepe Library~1<br/>The impact of self-concept on language learningent://SD_ILS/0/SD_ILS:3911182024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Csizér, Kata, 1971- editor. Magid, Michael, 1974- editor.<br/>Preferred Shelf Number P53.445 I67 2014<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4831002024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54862-8">https://doi.org/10.1007/978-3-642-54862-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4854922024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Badger, Julia M. editor. Rozier, Kristin Yvonne. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-06200-6">https://doi.org/10.1007/978-3-319-06200-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4868222024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Combemale, Benoit. editor. Pearce, David. editor. Barais, Olivier. editor. Vinju, Jurgen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11245-9">https://doi.org/10.1007/978-3-319-11245-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:4874192024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Cohen, Ernie. editor. Rybalchenko, Andrey. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54108-7">https://doi.org/10.1007/978-3-642-54108-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Schriften zur Spracheent://SD_ILS/0/SD_ILS:3168612024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Humboldt, Wilhelm, Freiherr von, 1767-1835. Böhler, Michael.<br/>Preferred Shelf Number P105 H77 2014<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Interaktionsforschung : gesprächsanalytische fallstudien und forschungspraxisent://SD_ILS/0/SD_ILS:3169442024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Schwarze, Cordula, editor. Konzett, Carmen, editor. Weidner, Claudia, cover designer.<br/>Preferred Shelf Number P105 I584 2014<br/>Format: Books<br/>Availability Beytepe Library~1<br/>The Hellenistic Far East archaeology, language, and identity in Greek Central Asiaent://SD_ILS/0/SD_ILS:3240392024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Mairs, Rachel. Project Muse.<br/>Preferred Shelf Number ONLINE(324039.1)<br/>Electronic Access <a href="http://muse.jhu.edu/books/9780520959545/">Full text available: </a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Afro-Bolivian Spanish determiner phrase a microparametric accountent://SD_ILS/0/SD_ILS:3242722024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Sessarego, Sandro. Project Muse.<br/>Preferred Shelf Number ONLINE(324272.1)<br/>Electronic Access <a href="http://muse.jhu.edu/books/9780814273210/">Full text available: </a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Le langage au bout des doigts les liens fonctionnels entre la motricite et le langageent://SD_ILS/0/SD_ILS:3243812024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Nazir, Tatjana, editor of compilation. Frak, Victor, editor of compilation. Project Muse.<br/>Preferred Shelf Number ONLINE(324381.1)<br/>Electronic Access <a href="http://muse.jhu.edu/books/9782760540057/">Full text available: </a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Dil öğretiminde teknik ve ilkelerent://SD_ILS/0/SD_ILS:3390562024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Freeman, Diane Larsen. Calp, Mehrali çev.<br/>Preferred Shelf Number PE1128.A2 F87 2014<br/>Format: Books<br/>Availability Beytepe Library~1<br/>The origins of language : a slim guideent://SD_ILS/0/SD_ILS:3572012024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Hurford, James R., author.<br/>Preferred Shelf Number P140 H87 2014<br/>Format: Books<br/>Availability Beytepe Library~1<br/>The handbook of language socializationent://SD_ILS/0/SD_ILS:3579402024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Duranti, Alessandro. Ochs, Elinor. Schieffelin, Bambi B.<br/>Preferred Shelf Number P118 H3485 2012<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Propaganda ve toplumsal zihinent://SD_ILS/0/SD_ILS:3607652024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Chomsky, Noam. Barsamian, David. Atam, Zahit.<br/>Preferred Shelf Number P85.C47 A519 2014<br/>Format: Books<br/>Availability Beytepe Library~2<br/>Dil bilimient://SD_ILS/0/SD_ILS:3612932024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Bayraktar, Nesrin.<br/>Preferred Shelf Number P121 B39 2014<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Türk dili tarihi : dönem, eser, bibliyografyaent://SD_ILS/0/SD_ILS:3116252024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Akar, Ali.<br/>Preferred Shelf Number PL21 A73 2014<br/>Format: Books<br/>Availability Beytepe Library~2<br/>Türk dilinin yurtları.ent://SD_ILS/0/SD_ILS:3116902024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Özkan, Nevzat.<br/>Preferred Shelf Number PL21 O95 2014<br/>Format: Books<br/>Availability Beytepe Library~2<br/>Reworking English in rhetoric and composition global interrogations, local interventionsent://SD_ILS/0/SD_ILS:3233192024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Kopelson, Karen, 1967- editor of compilation. Horner, Bruce, 1957- editor of compilation. Project Muse.<br/>Preferred Shelf Number ONLINE(323319.1)<br/>Electronic Access <a href="http://muse.jhu.edu/books/9780809333394/">Full text available: </a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Routledge handbook of language and professional communicationent://SD_ILS/0/SD_ILS:3635962024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Bhatia, V. K. (Vijay Kumar), 1942- editor. Bremner, Stephen, editor.<br/>Preferred Shelf Number P91.3 R685 2014<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:4845312024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Giannakopoulou, Dimitra. editor. Kroening, Daniel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-12154-3">https://doi.org/10.1007/978-3-319-12154-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reliable Software Technologies – Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4855972024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor George, Laurent. editor. Vardanega, Tullio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-08311-7">https://doi.org/10.1007/978-3-319-08311-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4856032024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Di Ruscio, Davide. editor. Varró, Dániel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-08789-4">https://doi.org/10.1007/978-3-319-08789-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4856242024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Seidl, Martina. editor. Tillmann, Nikolai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09099-3">https://doi.org/10.1007/978-3-319-09099-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4856442024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Le Goues, Claire. editor. Yoo, Shin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09940-8">https://doi.org/10.1007/978-3-319-09940-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4856452024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Avgeriou, Paris. editor. Zdun, Uwe. editor. (orcid)0000-0002-6233-2591 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09970-5">https://doi.org/10.1007/978-3-319-09970-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4856672024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Giannakopoulou, Dimitra. editor. Salaün, Gwen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10431-7">https://doi.org/10.1007/978-3-319-10431-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4856682024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Albert, Elvira. editor. Sekerinski, Emil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10181-1">https://doi.org/10.1007/978-3-319-10181-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Concrete Semantics With Isabelle/HOLent://SD_ILS/0/SD_ILS:4856722024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Nipkow, Tobias. author. Klein, Gerwin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10542-0">https://doi.org/10.1007/978-3-319-10542-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Using and Improving OpenMP for Devices, Tasks, and More 10th International Workshop on OpenMP, IWOMP 2014, Salvador, Brazil, September 28-30, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4856912024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor DeRose, Luiz. editor. de Supinski, Bronis R. editor. Olivier, Stephen L. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11454-5">https://doi.org/10.1007/978-3-319-11454-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4856932024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Müller-Olm, Markus. editor. Seidl, Helmut. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10936-7">https://doi.org/10.1007/978-3-319-10936-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4857252024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Merz, Stephan. editor. Pang, Jun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11737-9">https://doi.org/10.1007/978-3-319-11737-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4857312024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Amyot, Daniel. editor. Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736 Mussbacher, Gunter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11743-0">https://doi.org/10.1007/978-3-319-11743-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>JRuby Rails Web Application Developmentent://SD_ILS/0/SD_ILS:4869522024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Vohra, Deepak. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-03934-3">https://doi.org/10.1007/978-3-319-03934-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4872462024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-45234-9">https://doi.org/10.1007/978-3-662-45234-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Python Workbook A Brief Introduction with Exercises and Solutionsent://SD_ILS/0/SD_ILS:4873572024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Stephenson, Ben. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-14240-1">https://doi.org/10.1007/978-3-319-14240-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theoretical Aspects of Computing – ICTAC 2014 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4873712024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Ciobanu, Gabriel. editor. Méry, Dominique. editor. (orcid)0000-0001-5231-6611 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10882-7">https://doi.org/10.1007/978-3-319-10882-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Application and Theory of Petri Nets and Concurrency 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4874842024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Ciardo, Gianfranco. editor. Kindler, Ekkart. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-07734-5">https://doi.org/10.1007/978-3-319-07734-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:4877632024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Counsell, Steve. editor. Núñez, Manuel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-05032-4">https://doi.org/10.1007/978-3-319-05032-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Analyzing Discourse and Text Complexity for Learning and Collaborating A Cognitive Approach Based on Natural Language Processingent://SD_ILS/0/SD_ILS:4888972024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Dascălu, Mihai. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-03419-5">https://doi.org/10.1007/978-3-319-03419-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:4890032024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X Peña, Ricardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-12466-7">https://doi.org/10.1007/978-3-319-12466-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4890132024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421 Rensink, Arend. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54804-8">https://doi.org/10.1007/978-3-642-54804-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Stochastic Model Checking International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lecturesent://SD_ILS/0/SD_ILS:4890172024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Remke, Anne. editor. Stoelinga, Mariëlle. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-45489-3">https://doi.org/10.1007/978-3-662-45489-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modelling Foundations and Applications 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4892512024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Cabot, Jordi. editor. Rubin, Julia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09195-2">https://doi.org/10.1007/978-3-319-09195-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4875402024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Fischbach, Kai. editor. Krieger, Udo R. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-05359-2">https://doi.org/10.1007/978-3-319-05359-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Reuse for Dynamic Systems in the Cloud and Beyond 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedingsent://SD_ILS/0/SD_ILS:4875452024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Schaefer, Ina. editor. Stamelos, Ioannis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-14130-5">https://doi.org/10.1007/978-3-319-14130-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Subtitles and Language Learning.ent://SD_ILS/0/SD_ILS:5075052024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Gambier, Yves. Caimi, Annamaria. Mariotti, Cristina.<br/>Preferred Shelf Number ONLİNE<br/>Electronic Access <a href="https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=904681">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=904681</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Teaching and researching motivationent://SD_ILS/0/SD_ILS:3779492024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Dörnyei, Zoltán. Ushioda, Ema.<br/>Preferred Shelf Number P118.2 D68 2014<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Guide to Java A Concise Introduction to Programmingent://SD_ILS/0/SD_ILS:4843642024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Streib, James T. author. Soma, Takako. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4471-6317-6">https://doi.org/10.1007/978-1-4471-6317-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Beginner's Guide to Scala, Object Orientation and Functional Programmingent://SD_ILS/0/SD_ILS:4878592024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Hunt, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-06776-6">https://doi.org/10.1007/978-3-319-06776-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Technologies 8th International Joint Conference, ICSOFT 2013, Reykjavik, Iceland, July 29-31, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:4884252024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Cordeiro, José. editor. van Sinderen, Marten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-44920-2">https://doi.org/10.1007/978-3-662-44920-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4889142024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Cohen, Albert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54807-9">https://doi.org/10.1007/978-3-642-54807-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proofent://SD_ILS/0/SD_ILS:4889192024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Kovalev, Mikhail. author. Müller, Silvia M. author. Paul, Wolfgang J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-13906-7">https://doi.org/10.1007/978-3-319-13906-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4889262024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Cassez, Franck. editor. Raskin, Jean-Francois. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11936-6">https://doi.org/10.1007/978-3-319-11936-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4889362024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Lang, Frédéric. editor. Flammini, Francesco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10702-8">https://doi.org/10.1007/978-3-319-10702-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4889492024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Muscholl, Anca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54830-7">https://doi.org/10.1007/978-3-642-54830-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4889652024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Bensalem, Saddek. editor. Lakhnech, Yassine. editor. Legay, Axel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54848-2">https://doi.org/10.1007/978-3-642-54848-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4894022024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Merayo, Mercedes G. editor. Montes de Oca, Edgardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-44857-1">https://doi.org/10.1007/978-3-662-44857-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Concurrent Objects and Beyond Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:4894162024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Agha, Gul. editor. Igarashi, Atsushi. editor. Kobayashi, Naoki. editor. Masuhara, Hidehiko. editor. Matsuoka, Satoshi. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-44471-9">https://doi.org/10.1007/978-3-662-44471-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4896222024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Yahav, Eran. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-13338-6">https://doi.org/10.1007/978-3-319-13338-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Trends in Functional Programming 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:4896342024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor McCarthy, Jay. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-45340-3">https://doi.org/10.1007/978-3-642-45340-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Politik der Sprache in der "konservativen Revolution"ent://SD_ILS/0/SD_ILS:4903672024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Hornacek, Milan, author.<br/>Preferred Shelf Number PT405 H676 2014<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Assertion : new philosophical essaysent://SD_ILS/0/SD_ILS:3647982024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Brown, Jessica (Jessica Anne) Cappelen, Herman.<br/>Preferred Shelf Number P95.55 A87 2014<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Dictionary of building and civil engineering : English, German, French, Dutch, Russianent://SD_ILS/0/SD_ILS:3713562024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Korchomkin, S. N., author. Kurbatov, S. V. (Sergeĭ Vasilʹevich), author. Sheikhon, N. B. author. Viljkovyskaja, G. B. author.<br/>Preferred Shelf Number TA9 K67 2014<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Matlab ile programlama : çözümlü ve açıklamalı uygulamalarent://SD_ILS/0/SD_ILS:3152832024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Dal, Deniz<br/>Preferred Shelf Number QA76 .7 D25 2014<br/>Format: Books<br/>Availability Beytepe Library~2<br/>Türkoloji için dilbilim: konular kavramlar teorilerent://SD_ILS/0/SD_ILS:3115652024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Demirci, Kerim.<br/>Preferred Shelf Number PL121 D46 2014<br/>Format: Books<br/>Availability Beytepe Library~4<br/>Perspectives of gender and language in Cameroonian contextsent://SD_ILS/0/SD_ILS:3226882024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Atanga, Lilian Lem, editor. Project Muse, distributor. Project Muse.<br/>Preferred Shelf Number ONLINE(322688.1)<br/>Electronic Access <a href="http://muse.jhu.edu/books/9789956791309/">Full text available: </a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Plateau Indian Ways with Words the Rhetorical Tradition of the Tribes of the Inland Pacific Northwestent://SD_ILS/0/SD_ILS:3230982024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Monroe, Barbara. Project Muse.<br/>Preferred Shelf Number ONLINE(323098.1)<br/>Electronic Access <a href="http://muse.jhu.edu/books/9780822979562/">Full text available: </a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The rose and geryon the poetics of fraud and violence in Jean de Meun and Danteent://SD_ILS/0/SD_ILS:3231472024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Baika, Gabriella I. Project Muse.<br/>Preferred Shelf Number ONLINE(323147.1)<br/>Electronic Access <a href="http://muse.jhu.edu/books/9780813226101/">Full text available: </a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>English-German glossary of Namibian termsent://SD_ILS/0/SD_ILS:3218182024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Teichmann, Regine von, editor. Lowe, Andrea, editor. Hügel, Hanne, editor. Grassmann, Heide, editor. Eichoff, Hella, editor.<br/>Preferred Shelf Number ONLINE(321818.1)<br/>Electronic Access <a href="http://muse.jhu.edu/books/9789991642048/">Full text available: </a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Incapacity Wittgenstein, anxiety, and performance behaviorent://SD_ILS/0/SD_ILS:3233892024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Golub, Spencer, author. Project Muse.<br/>Preferred Shelf Number ONLINE(323389.1)<br/>Electronic Access <a href="http://muse.jhu.edu/books/9780810167797/">Full text available: </a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Duns Scotus on time and existence the questions on Aristotle's On interpretationent://SD_ILS/0/SD_ILS:3239732024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Duns Scotus, John, approximately 1266-1308. Buckner, Edward, 1955- translator. Project Muse.<br/>Preferred Shelf Number ONLINE(323973.1)<br/>Electronic Access <a href="http://muse.jhu.edu/books/9780813226040/">Full text available: </a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The linguistic dimension of Kant's thought historical and critical essaysent://SD_ILS/0/SD_ILS:3240252024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Velkley, Richard L., editor of compilation. Schalow, Frank, 1956- editor of compilation. Project Muse.<br/>Preferred Shelf Number ONLINE(324025.1)<br/>Electronic Access <a href="http://muse.jhu.edu/books/9780810167841/">Full text available: </a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Python Programming Fundamentalsent://SD_ILS/0/SD_ILS:4876062024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Lee, Kent D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4471-6642-9">https://doi.org/10.1007/978-1-4471-6642-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Evolution of Social Communication in Primates A Multidisciplinary Approachent://SD_ILS/0/SD_ILS:4882982024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Pina, Marco. editor. Gontier, Nathalie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-02669-5">https://doi.org/10.1007/978-3-319-02669-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Aspect-Oriented Software Development XIent://SD_ILS/0/SD_ILS:4890822024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Chiba, Shigeru. editor. Tanter, Éric. editor. Bodden, Eric. editor. Maoz, Shahar. editor. Kienzle, Jörg. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-55099-7">https://doi.org/10.1007/978-3-642-55099-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4890892024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Codish, Michael. editor. Sumii, Eijiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-07151-0">https://doi.org/10.1007/978-3-319-07151-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Euro-Par 2014: Parallel Processing 20th International Conference, Porto, Portugal, August 25-29, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4890932024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Silva, Fernando. editor. Dutra, Inês. editor. Santos Costa, Vitor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09873-9">https://doi.org/10.1007/978-3-319-09873-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Web Services and Formal Methods 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:4894002024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281 Ouyang, Chun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-08260-8">https://doi.org/10.1007/978-3-319-08260-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>ECOOP 2014 -- Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4891372024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Jones, Richard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-44202-9">https://doi.org/10.1007/978-3-662-44202-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4890282024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Bonakdarpour, Borzoo. editor. Smolka, Scott A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11164-3">https://doi.org/10.1007/978-3-319-11164-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lecturesent://SD_ILS/0/SD_ILS:4890352024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Bernardo, Marco. editor. Damiani, Ferruccio. editor. Haehnle, Reiner. editor. (orcid)0000-0001-8000-7613 Johnsen, Einar Broch. editor. Schaefer, Ina. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-07317-0">https://doi.org/10.1007/978-3-319-07317-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:4890412024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Liu, Shaoying. editor. Duan, Zhenhua. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-04915-1">https://doi.org/10.1007/978-3-319-04915-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4890592024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Poole, Stephen. editor. Hernandez, Oscar. editor. (orcid)0000-0002-5380-6951 Shamis, Pavel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-05215-1">https://doi.org/10.1007/978-3-319-05215-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4889802024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-45231-8">https://doi.org/10.1007/978-3-662-45231-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Sprachwissenschaft und Fremdsprachenunterricht : Spracherwerb und Sprachkompetenzen im Fokusent://SD_ILS/0/SD_ILS:4904842024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Bürgel, Christoph, 1971- editor. Siepmann, Dirk, 1966- editor.<br/>Preferred Shelf Number P51 S65 2014<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Dil kültür ilişkisi ve edebi eserlerdeki yansımasıent://SD_ILS/0/SD_ILS:5057242024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Kurt, Gülnaz.<br/>Preferred Shelf Number P35 K878 2014<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Numerical Computations with GPUsent://SD_ILS/0/SD_ILS:4875792024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Kindratenko, Volodymyr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-06548-9">https://doi.org/10.1007/978-3-319-06548-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>An introduction to discourse analysis : theory and methodent://SD_ILS/0/SD_ILS:3651312024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Gee, James Paul, author.<br/>Preferred Shelf Number P302 G4 2014<br/>Format: Books<br/>Availability Beytepe Library~1<br/>50 soruda dil felsefesient://SD_ILS/0/SD_ILS:3665412024-12-23T17:54:21Z2024-12-23T17:54:21ZAuthor Altınörs, Atakan<br/>Preferred Shelf Number B809.15 A48 2012<br/>Format: Books<br/>Availability Beytepe Library~1<br/>