Search Results for Compiler.

Compiler techniques

2024-11-13T21:52:04Z

Author Pollack, Bary W. comp.
Preferred Shelf Number QA 76.6 P65 1972
Format: Books
Availability Beytepe Library~1

Modern Compiler Design

2024-11-13T21:52:04Z

Author Grune, Dick. author. van Reeuwijk, Kees. author. Bal, Henri E. author. Jacobs, Ceriel J.H. author. Langendoen, Koen. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4699-6
Format: Electronic Resources
Availability Online Library~1

Compiler design theory

2024-11-13T21:52:04Z

Author Lewis, Philip M., 1931- Lewis, Philip M. Rosenkrantz, J. Daniel, ort. yaz. Stearns, Richard E., ort. yaz.
Preferred Shelf Number QA 76.6 L47 1976
Format: Books
Availability Beytepe Library~1

A compiler generator

2024-11-13T21:52:04Z

Author McKeeman, William Marshall. Horning, James J., ed. Wortman, David B., ed.
Preferred Shelf Number QA 76.5 M1874 1970
Format: Books
Availability Beytepe Library~1

Engineering a compiler

2024-11-13T21:52:04Z

Author Cooper, Keith D. (Keith Daniel) Torczon, Linda.
Preferred Shelf Number QA76.76.C65 C675 2012
Format: Books
Availability Beytepe Library~1

Principles of compiler design

2024-11-13T21:52:04Z

Author Raghavan, V.
Preferred Shelf Number QA76.76.C65 P75 2012
Format: Books
Availability Beytepe Library~1

Compiler Design Virtual Machines

2024-11-13T21:52:04Z

Author Wilhelm, Reinhard. author. Seidl, Helmut. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14909-2
Format: Electronic Resources
Availability Online Library~1

Elements of compiler construction

2024-11-13T21:52:04Z

Author Maginnis, James B.
Preferred Shelf Number QA 76.6 M34 1972
Format: Books
Availability Beytepe Library~1

Introduction to Compiler Design

2024-11-13T21:52:04Z

Author Mogensen, Torben Ægidius. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-829-4
Format: Electronic Resources
Availability Online Library~1

The Austin Protocol Compiler

2024-11-13T21:52:04Z

Author McGuire, Tommy M. author. Gouda, Mohamed G. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b101038
Format: Electronic Resources
Availability Online Library~1

Compiler Design Syntactic and Semantic Analysis

2024-11-13T21:52:04Z

Author Wilhelm, Reinhard. author. Seidl, Helmut. author. Hack, Sebastian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333076.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-17540-4
Format: Electronic Resources
Availability Online Library~1

Compiler Design Analysis and Transformation

2024-11-13T21:52:04Z

Author Seidl, Helmut. author. Wilhelm, Reinhard. author. Hack, Sebastian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17548-0
Format: Electronic Resources
Availability Online Library~1

The anatomy of a compiler

2024-11-13T21:52:04Z

Author Lee, John A.
Preferred Shelf Number QA 76.6 L37 1974
Format: Books
Availability Beytepe Library~1

Compiler construction for digital computers

2024-11-13T21:52:04Z

Author Gries, David, 1939-
Preferred Shelf Number QA 76.5 G73 1971
Format: Books
Availability Beytepe Library~4

Putting linguistics into speech recognition : the Regulus grammar compiler

2024-11-13T21:52:04Z

Author Rayner, Manny. Hockey, Beth Ann, ed. Bouillon, Pierrette, ed.
Preferred Shelf Number TK7895.S65 R34 2006
Format: Books
Availability Beytepe Library~1

Compiler construction using Java, JavaCC, and Yacc

2024-11-13T21:52:04Z

Author Dos Reis, Anthony J. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6381794
Format: Electronic Resources
Availability Online Library~1

The theory and practice of compiler writing

2024-11-13T21:52:04Z

Author Tremblay, Jean Paul. Sorenson, P. G., ort. yaz.
Preferred Shelf Number QA 76.6 T734 1985
Format: Books
Availability Beytepe Library~1

OpenMP: Advanced Task-Based, Device and Compiler Programming 19th International Workshop on OpenMP, IWOMP 2023, Bristol, UK, September 13-15, 2023, Proceedings

2024-11-13T21:52:04Z

Author McIntosh-Smith, Simon. editor. Klemm, Michael. editor. de Supinski, Bronis R. editor. Deakin, Tom. editor. Klinkenberg, Jannis. editor. (orcid)
Preferred Shelf Number XX(520881.1)
Electronic Access https://doi.org/10.1007/978-3-031-40744-4
Format: Electronic Resources
Availability Online Library~1

Compiler Construction 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

2024-11-13T21:52:04Z

Author Franke, Björn. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519059.1)
Electronic Access https://doi.org/10.1007/978-3-662-46663-6
Format: Electronic Resources
Availability Online Library~1

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

2024-11-13T21:52:04Z

Author Cohen, Albert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54807-9
Format: Electronic Resources
Availability Online Library~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-11-13T21:52:04Z

Author Jhala, Ranjit. editor. Bosschere, Koen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334353.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37051-9
Format: Electronic Resources
Availability Online Library~1

Compiler Construction 21st International Conference, CC 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings

2024-11-13T21:52:04Z

Author O’Boyle, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28652-0
Format: Electronic Resources
Availability Online Library~1

Compiler Construction 20th International Conference, CC 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

2024-11-13T21:52:04Z

Author Knoop, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19861-8
Format: Electronic Resources
Availability Online Library~1

C Compilers for ASIPs Automatic Compiler Generation with LISA

2024-11-13T21:52:04Z

Author Hohenauer, Manuel. author. Leupers, Rainer. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-1176-6
Format: Electronic Resources
Availability Online Library~1

Compiler Construction 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

2024-11-13T21:52:04Z

Author Gupta, Rajiv. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11970-5
Format: Electronic Resources
Availability Online Library~1

Formale Sprachen, abstrakte Automaten und Compiler Lehr- und Arbeitsbuch für Grundstudium und Fortbildung

2024-11-13T21:52:04Z

Author Wagenknecht, Christian. author. Hielscher, Michael. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-8348-9972-9
Format: Electronic Resources
Availability Online Library~1

Compiler Construction 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

2024-11-13T21:52:04Z

Author Moor, Oege. editor. Schwartzbach, Michael I. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00722-4
Format: Electronic Resources
Availability Online Library~1

The compiler design handbook optimizations and machine code generation

2024-11-13T21:52:04Z

Author Srikant, Y. N. Shankar, P. (Priti)
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Compiler Construction 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings

2024-11-13T21:52:04Z

Author Hendren, Laurie. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78791-4
Format: Electronic Resources
Availability Online Library~1

Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings

2024-11-13T21:52:04Z

Author Krishnamurthi, Shriram. editor. Odersky, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71229-9
Format: Electronic Resources
Availability Online Library~1

Compiler Construction 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedings

2024-11-13T21:52:04Z

Author Mycroft, Alan. editor. Zeller, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11688839
Format: Electronic Resources
Availability Online Library~1

Compiler Construction 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

2024-11-13T21:52:04Z

Author Bodik, Rastislav. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b107108
Format: Electronic Resources
Availability Online Library~1

The compiler design handbook optimizations and machine code generation

2024-11-13T21:52:04Z

A laboratory manual for compiler and operating system implementation

2024-11-13T21:52:04Z

Author Halstead, Maurice Howard, 1918-
Preferred Shelf Number QA 76.6 H32 1974
Format: Books
Availability Beytepe Library~2

Semantics-directed compiler generation : proceedings of a workshop, Aarhus, Denmark, January 14-18

2024-11-13T21:52:04Z

Preferred Shelf Number QA 76.6 S521 1980
Format: Books
Availability Beytepe Library~1

Viyana'da matematikçi bir subay Hamdi Efendi ve Beyân-ı Kâide-i Cedîde

2024-11-13T21:52:04Z

Author Baga, Elif, compiler. Bilgin, Zehra, compiler.
Preferred Shelf Number QA41.7 V59 2021
Format: Books
Availability Beytepe Library~1

Aktör, müttefik, şakî : Kürt aşiretleri

2024-11-13T21:52:04Z

Author Şur, Tuncay, compiler. Çakmak, Yalçın, compiler. Koçak, Kıvanç, editor.
Preferred Shelf Number DS51.K7 A38 2023
Format: Books
Availability Beytepe Library~1

Guide to the pianist's repertoire

2024-11-13T21:52:04Z

Author Hinson, Maurice, compiler. Roberts, Wesley, compiler. Project Muse.
Preferred Shelf Number ONLINE
Electronic Access Full text available:
Format: Electronic Resources
Availability Online Library~1

William Byrd a research and information guide

2024-11-13T21:52:04Z

Author Turbet, Richard, compiler. Bowers, Roger, author. Greenhalgh, M. J. (Michael J.), compiler.
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

Durorp-English dictionary

2024-11-13T21:52:04Z

Author Inyang, Ekpe, compiler. Project Muse, distributor. Project Muse.
Preferred Shelf Number ONLINE
Electronic Access Full text available:
Format: Electronic Resources
Availability Online Library~1

Tarihi ve kültürel mirasıyla : Kocaali, geçmişten günümüze

2024-11-13T21:52:04Z

Author Kır, Oğuzhan, compiler. Kofoğlu, Mücahit, graphic designer. Genç, Davut, photographer.
Preferred Shelf Number DS51.S25 K63 2023
Format: Books
Availability Beytepe Library~1

Carl Schmitt'in meydan okuması = The challenge of Carl Schmitt

2024-11-13T21:52:04Z

Author Mouffe, Chantal, compiler. Atay, Hivren Demir, translator. Atay, Hakan, translator.
Preferred Shelf Number JC263.S34 C3420 2019
Format: Books
Availability Beytepe Library~1

"Osmanlı Hanımları" mutfakta : Osmanlıca kadın dergilerinde yemek ve mutfağa dair makaleler

2024-11-13T21:52:04Z

Author Uğur, Abdullah, compiler. Demir, Meral Nayman, translator. Schick, İrvin Cemil, contributor.
Preferred Shelf Number TX725.T8 O86 2019
Format: Books
Availability Beytepe Library~1

Yaşlanma ve yaşlılık : disiplinlerarası bakış açıları

2024-11-13T21:52:04Z

Author Duben, Alan, compiler. Okan Gezmiş, Elif, translator. Ünsal, Merve, translator.
Preferred Shelf Number HQ1061 Y37 2018
Format: Books
Availability Beytepe Library~1

Kitleleri yeniden düşünmek : hukuk, şiddet ve demokrasi

2024-11-13T21:52:04Z

Author Koçak, Zeynep, compiler.
Preferred Shelf Number HM281 K58 2017
Format: Books
Availability Beytepe Library~1

Ancient Chinese bronzes : a personal appreciation

2024-11-13T21:52:04Z

Author Shapiro, Daniel, compiler Lally, James J., contributor Jacobsen, Robert D., contributor Lawton, Thomas, contributor
Preferred Shelf Number NK7983.22 S537 2013
Format: Books
Availability Beytepe Library~1

Vincent van Gogh : the years in France : complete paintings 1886-1890 : dealers, collectors, exhibitions, provenance

2024-11-13T21:52:04Z

Author Feilchenfeldt, Walter, compiler. Gogh, Vincent van, 1853-1890. Works. Selections.
Preferred Shelf Number ND653.G7 A4 2013
Format: Books
Availability Beytepe Library~1

Kara kitap'ın sırları : Orhan Pamuk'un yazı ve resimleriyle

2024-11-13T21:52:04Z

Author Hadzibegovic, Darmin, compiler.
Preferred Shelf Number PL248.P34 K3734 2013
Format: Books
Availability Beytepe Library~1

IUbileen sbornik na katedra "Bibliotekoznanie, nauchna informatsiia i kulturna politika"

2024-11-13T21:52:04Z

Author Shumanova, Nina, compiler. Sofiĭski universitet "Sv. Kliment Okhridski". Filosofski fakultet, issuing body.
Preferred Shelf Number LF5080.5 B53 2013
Format: Books
Availability Beytepe Library~1

Dış politika analizi : konu, kuram, yöntem

2024-11-13T21:52:04Z

Author Coşkun, Bezen Balamir, compiler. Rüma, Şadan İnan, compiler.
Preferred Shelf Number JZ1310 D57 2020
Format: Books
Availability Beytepe Library~1

Nomenclature of Organic Chemistry : IUPAC Recommendations and Preferred Names 2013

2024-11-13T21:52:04Z

Author Favre, Henri A., compiler. Powell, Warren H., 1934- compiler. International Union of Pure and Applied Chemistry.
Preferred Shelf Number ONLINE(343136.1)
Electronic Access ebrary An electronic book accessible through the World Wide Web; click to view Royal Society of Chemistry http://dx.doi.org/10.1039/9781849733069
Format: Electronic Resources
Availability Online Library~1

Orta çağ'a yeni yaklaşımlar : ekonomi, savaş, kilise, yaşam

2024-11-13T21:52:04Z

Author Kocabıyıkoğlu Çeçen, Zeynep, compiler.
Preferred Shelf Number CB351 O78 2019
Format: Books
Availability Beytepe Library~1

Yaveri Atatürk'ü anlatıyor : Salih Bozok'un anıları

2024-11-13T21:52:04Z

Author Dündar, Can, 1961- compiler.
Preferred Shelf Number DR592.K4 Y38 2015
Format: Books
Availability Beytepe Library~1

Penny Dreadfuls : sensational tales of terror

2024-11-13T21:52:04Z

Author Dziemianowicz, Stefan R., compiler.
Preferred Shelf Number PR1309.H6 P46 2014
Format: Books
Availability Beytepe Library~1

Erkek millet asker millet : Türkiye'de militarizm, milliyetçilik, erkek(lik)ler

2024-11-13T21:52:04Z

Author Sünbüloğlu, Nurseli Yeşim, compiler. Bora, Tanıl, editor.
Preferred Shelf Number UA810 E75 2013
Format: Books
Availability Beytepe Library~1

Büyük bir kitabiyat âlimi ve bibliyografyacı M. Seyfettin Özege

2024-11-13T21:52:04Z

Author Bali, Rıfat N., 1948- compiler.
Preferred Shelf Number Z720.O94 B89 2014
Format: Books
Availability Beytepe Library~1

To libraries with love : the library-information policy of Bulgaria 1989-2013 : (a collection of papers, projects and articles)

2024-11-13T21:52:04Z

Author Dimchev, Alexander Georgiev, author, compiler.
Preferred Shelf Number Z665.2.B8 D56 2013
Format: Books
Availability Beytepe Library~1

American slavery as it is : testimony of a thousand witnesses

2024-11-13T21:52:04Z

Author Weld, Theodore Dwight, 1803-1895, compiler. American Anti-Slavery Society. University of North Carolina at Chapel Hill. Documenting the American South (Project) University of North Carolina at Chapel Hill. Library, publisher.
Preferred Shelf Number ONLINE
Electronic Access http://www.jstor.org/stable/10.5149/9780807869581_weld
Format: Electronic Resources
Availability Online Library~1

High energy physics

2024-11-13T21:52:04Z

Author Burhop, E. H. S. (Eric Henry Stoneley), compiler.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780121443054
Format: Electronic Resources
Availability Online Library~1

Mübadele öncesi ve sonrası eski ve yeni adları ile kuzey Yunanistan yer adları atlası = Atlas of old and new toponyms of northern Greece : before and after the population exchange

2024-11-13T21:52:04Z

Author Güvenç, Kudret, cartographer. Güvenç, Sefer, compiler. Lozan Mübadilleri Vakfı.
Preferred Shelf Number G2001.E3 G8 2010
Format: Maps
Availability Beytepe Library~2

Nasıl sosyalizm? hangi yeşil? niçin tinsellik?

2024-11-13T21:52:04Z

Author Bahro, Rudolf, 1935- author. Bora, Tanıl, 1963- translator, compiler.
Preferred Shelf Number HX550.E25 B34 1996
Format: Books
Availability Beytepe Library~1

Aynü’l-hayat : fi tefsiri kelami halıkı’l-beriyyat bi-iradi ahseni’l-i’tirazat

2024-11-13T21:52:04Z

Author İlyâs B. Muhammed B. Ali, author. Alpaydın, Mehmet Akif, 1986- compiler. Duman, Musa, editor.
Preferred Shelf Number BP130.4 I49 2021 V.1
Format: Books
Availability Beytepe Library~3

A sleepless eye aphorisms from the Sahara

2024-11-13T21:52:04Z

Author Kūnī, Ibrāhīm, author. Sebe, Alain, photographer. Allen, Roger, translator. Fähndrich, Hartmut, compiler. Project Muse, distributor.
Preferred Shelf Number ONLINE(322939.1)
Electronic Access Full text available:
Format: Electronic Resources
Availability Online Library~1

Professor Unrat, oder, Das Ende eines Tyrannen : roman

2024-11-13T21:52:04Z

Author Mann, Heinrich, 1871-1950. Wolff, Rudolf, writer of afterword. Schneider, Peter-Paul, compiler.
Preferred Shelf Number PT2625.A43 P7 1994
Format: Books
Availability Beytepe Library~1

New Trends in Database and Information Systems ADBIS 2023 Short Papers, Doctoral Consortium and Workshops: AIDMA, DOING, K-Gals, MADEISD, PeRS, Barcelona, Spain, September 4-7, 2023, Proceedings

2024-11-13T21:52:04Z

Author Abelló, Alberto. editor. Vassiliadis, Panos. editor. Romero, Oscar. editor. Wrembel, Robert. editor. Bugiotti, Francesca. editor.
Preferred Shelf Number XX(520343.1)
Electronic Access https://doi.org/10.1007/978-3-031-42941-5
Format: Electronic Resources
Availability Online Library~1

Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part II

2024-11-13T21:52:04Z

Author Hong, Wenxing. editor. Weng, Yang. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520319.1)
Electronic Access https://doi.org/10.1007/978-981-99-2446-2
Format: Electronic Resources
Availability Online Library~1

Information Security and Privacy 28th Australasian Conference, ACISP 2023, Brisbane, QLD, Australia, July 5-7, 2023, Proceedings

2024-11-13T21:52:04Z

Author Simpson, Leonie. editor. Rezazadeh Baee, Mir Ali. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520995.1)
Electronic Access https://doi.org/10.1007/978-3-031-35486-1
Format: Electronic Resources
Availability Online Library~1

High Performance Computing ISC High Performance 2023 International Workshops, Hamburg, Germany, May 21-25, 2023, Revised Selected Papers

2024-11-13T21:52:04Z

Author Bienz, Amanda. editor. Weiland, Michèle. editor. Baboulin, Marc. editor. Kruse, Carola. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521305.1)
Electronic Access https://doi.org/10.1007/978-3-031-40843-4
Format: Electronic Resources
Availability Online Library~1

High Performance Computing 38th International Conference, ISC High Performance 2023, Hamburg, Germany, May 21-25, 2023, Proceedings

2024-11-13T21:52:04Z

Author Bhatele, Abhinav. editor. Hammond, Jeff. editor. Baboulin, Marc. editor. Kruse, Carola. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520857.1)
Electronic Access https://doi.org/10.1007/978-3-031-32041-5
Format: Electronic Resources
Availability Online Library~1

Economics of Grids, Clouds, Systems, and Services 19th International Conference, GECON 2022, Izola, Slovenia, September 13-15, 2022, Proceedings

2024-11-13T21:52:04Z

Author Bañares, José Ángel. editor. Altmann, Jörn. editor. Agmon Ben-Yehuda, Orna. editor. Djemame, Karim. editor. Stankovski, Vlado. editor.
Preferred Shelf Number XX(520919.1)
Electronic Access https://doi.org/10.1007/978-3-031-29315-3
Format: Electronic Resources
Availability Online Library~1

Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings

2024-11-13T21:52:04Z

Author Li, Yi. editor. Tahar, Sofiène. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521324.1)
Electronic Access https://doi.org/10.1007/978-981-99-7584-6
Format: Electronic Resources
Availability Online Library~1

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

2024-11-13T21:52:04Z

Author Hanus, Michael. editor. Inclezan, Daniela. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520788.1)
Electronic Access https://doi.org/10.1007/978-3-031-24841-2
Format: Electronic Resources
Availability Online Library~1

Verification, Model Checking, and Abstract Interpretation 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings

2024-11-13T21:52:04Z

Author Dragoi, Cezara. editor. Emmi, Michael. editor. Wang, Jingbo. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520797.1)
Electronic Access https://doi.org/10.1007/978-3-031-24950-1
Format: Electronic Resources
Availability Online Library~1

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

2024-11-13T21:52:04Z

Author Lal, Akash. editor. Tonetta, Stefano. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520802.1)
Electronic Access https://doi.org/10.1007/978-3-031-25803-9
Format: Electronic Resources
Availability Online Library~1

Computational Methods in Systems Biology 21st International Conference, CMSB 2023, Luxembourg City, Luxembourg, September 13-15, 2023, Proceedings

2024-11-13T21:52:04Z

Author Pang, Jun. editor. Niehren, Joachim. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521132.1)
Electronic Access https://doi.org/10.1007/978-3-031-42697-1
Format: Electronic Resources
Availability Online Library~1

Fundamental Approaches to Software Engineering 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

2024-11-13T21:52:04Z

Author Egyed, Alexander. editor. Schaefer, Ina. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519136.1)
Electronic Access https://doi.org/10.1007/978-3-662-46675-9
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers

2024-11-13T21:52:04Z

Author Dastani, Mehdi. editor. Sirjani, Marjan. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519046.1)
Electronic Access https://doi.org/10.1007/978-3-319-24644-4
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

2024-11-13T21:52:04Z

Author Vitek, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519237.1)
Electronic Access https://doi.org/10.1007/978-3-662-46669-8
Format: Electronic Resources
Availability Online Library~1

Multi-core embedded systems

2024-11-13T21:52:04Z

Author Kornaros, Georgios.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Warren's abstract machine a tutorial reconstruction

2024-11-13T21:52:04Z

Author Aït-Kaci, Hassan, 1954-
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267208
Format: Electronic Resources
Availability Online Library~1