Search Results for Compiler.

1.

Compiler techniques

Author

Pollack, Bary W. comp.

Preferred Shelf Number

QA 76.6 P65 1972

Format:

Availability

Beytepe Library~1

Available:
Copies:

2.

Modern Compiler Design

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:

Availability

Online Library~1

Available:
Copies:

3.

Compiler design theory

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:

Availability

Beytepe Library~1

Available:
Copies:

4.

A compiler generator

Author

McKeeman, William Marshall. Horning, James J., ed. Wortman, David B., ed.

Preferred Shelf Number

QA 76.5 M1874 1970

Format:

Availability

Beytepe Library~1

Available:
Copies:

5.

Engineering a compiler

Author

Cooper, Keith D. (Keith Daniel) Torczon, Linda.

Preferred Shelf Number

QA76.76.C65 C675 2012

Format:

Availability

Beytepe Library~1

Available:
Copies:

6.

Principles of compiler design

Author

Raghavan, V.

Preferred Shelf Number

QA76.76.C65 P75 2012

Format:

Availability

Beytepe Library~1

Available:
Copies:

7.

Compiler Design Virtual Machines

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:

Availability

Online Library~1

Available:
Copies:

8.

Elements of compiler construction

Author

Maginnis, James B.

Preferred Shelf Number

QA 76.6 M34 1972

Format:

Availability

Beytepe Library~1

Available:
Copies:

9.

Introduction to Compiler Design

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:

Availability

Online Library~1

Available:
Copies:

10.

The Austin Protocol Compiler

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:

Availability

Online Library~1

Available:
Copies:

11.

Compiler Design Syntactic and Semantic Analysis

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:

Availability

Online Library~1

Available:
Copies:

12.

Compiler Design Analysis and Transformation

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:

Availability

Online Library~1

Available:
Copies:

13.

The anatomy of a compiler

Author

Lee, John A.

Preferred Shelf Number

QA 76.6 L37 1974

Format:

Availability

Beytepe Library~1

Available:
Copies:

14.

Compiler construction for digital computers

Author

Gries, David, 1939-

Preferred Shelf Number

QA 76.5 G73 1971

Format:

Availability

Beytepe Library~4

Available:
Copies:

15.

Putting linguistics into speech recognition : the Regulus grammar compiler

Author

Rayner, Manny. Hockey, Beth Ann, ed. Bouillon, Pierrette, ed.

Preferred Shelf Number

TK7895.S65 R34 2006

Format:

Availability

Beytepe Library~1

Available:
Copies:

16.

Compiler construction using Java, JavaCC, and Yacc

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:

Availability

Online Library~1

Available:
Copies:

17.

The theory and practice of compiler writing

Author

Tremblay, Jean Paul. Sorenson, P. G., ort. yaz.

Preferred Shelf Number

QA 76.6 T734 1985

Format:

Availability

Beytepe Library~1

Available:
Copies:

18.

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

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

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:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for 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

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

Author

Cohen, Albert. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-642-54807-9

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

22.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

24.

C Compilers for ASIPs Automatic Compiler Generation with LISA

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:

Availability

Online Library~1

Available:
Copies:

25.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

26.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

27.

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

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:

Availability

Online Library~1

Available:
Copies:

28.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

29.

The compiler design handbook optimizations and machine code generation

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:

Availability

Online Library~1

Available:
Copies:

30.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

31.

Cover image for 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

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

Author

Mycroft, Alan. editor. Zeller, Andreas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11688839

Format:

Availability

Online Library~1

Available:
Copies:

32.

Cover image for 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

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

Author

Bodik, Rastislav. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b107108

Format:

Availability

Online Library~1

Available:
Copies:

33.

The compiler design handbook optimizations and machine code generation

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:

Availability

Online Library~1

Available:
Copies:

34.

A laboratory manual for compiler and operating system implementation

Author

Halstead, Maurice Howard, 1918-

Preferred Shelf Number

QA 76.6 H32 1974

Format:

Availability

Beytepe Library~2

Available:
Copies:

35.

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

Preferred Shelf Number

QA 76.6 S521 1980

Format:

Availability

Beytepe Library~1

Available:
Copies:

36.

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

Author

Baga, Elif, compiler. Bilgin, Zehra, compiler.

Preferred Shelf Number

QA41.7 V59 2021

Format:

Availability

Beytepe Library~1

Available:
Copies:

37.

Guide to the pianist's repertoire

Author

Hinson, Maurice, compiler. Roberts, Wesley, compiler. Project Muse.

Preferred Shelf Number

ONLINE

Electronic Access

Full text available:

Format:

Availability

Online Library~1

Available:
Copies:

38.

William Byrd a research and information guide

Author

Turbet, Richard, compiler. Bowers, Roger, author. Greenhalgh, M. J. (Michael J.), compiler.

Preferred Shelf Number

ONLINE

Electronic Access

Click here to view

Format:

Availability

Online Library~1

Available:
Copies:

39.

Durorp-English dictionary

Author

Inyang, Ekpe, compiler. Project Muse, distributor. Project Muse.

Preferred Shelf Number

ONLINE

Electronic Access

Full text available:

Format:

Availability

Online Library~1

Available:
Copies:

40.

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

Author

Kır, Oğuzhan, compiler. Kofoğlu, Mücahit, graphic designer. Genç, Davut, photographer.

Preferred Shelf Number

DS51.S25 K63 2023

Format:

Availability

Beytepe Library~1

Available:
Copies:

41.

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

Author

Mouffe, Chantal, compiler. Atay, Hivren Demir, translator. Atay, Hakan, translator.

Preferred Shelf Number

JC263.S34 C3420 2019

Format:

Availability

Beytepe Library~1

Available:
Copies:

42.

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

Author

Uğur, Abdullah, compiler. Demir, Meral Nayman, translator. Schick, İrvin Cemil, contributor.

Preferred Shelf Number

TX725.T8 O86 2019

Format:

Availability

Beytepe Library~1

Available:
Copies:

43.

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

Author

Duben, Alan, compiler. Okan Gezmiş, Elif, translator. Ünsal, Merve, translator.

Preferred Shelf Number

HQ1061 Y37 2018

Format:

Availability

Beytepe Library~1

Available:
Copies:

44.

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

Author

Koçak, Zeynep, compiler.

Preferred Shelf Number

HM281 K58 2017

Format:

Availability

Beytepe Library~1

Available:
Copies:

45.

Ancient Chinese bronzes : a personal appreciation

Author

Shapiro, Daniel, compiler Lally, James J., contributor Jacobsen, Robert D., contributor Lawton, Thomas, contributor

Preferred Shelf Number

NK7983.22 S537 2013

Format:

Availability

Beytepe Library~1

Available:
Copies:

46.

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

Author

Feilchenfeldt, Walter, compiler. Gogh, Vincent van, 1853-1890. Works. Selections.

Preferred Shelf Number

ND653.G7 A4 2013

Format:

Availability

Beytepe Library~1

Available:
Copies:

47.

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

Author

Hadzibegovic, Darmin, compiler.

Preferred Shelf Number

PL248.P34 K3734 2013

Format:

Availability

Beytepe Library~1

Available:
Copies:

48.

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

Author

Shumanova, Nina, compiler. Sofiĭski universitet "Sv. Kliment Okhridski". Filosofski fakultet, issuing body.

Preferred Shelf Number

LF5080.5 B53 2013

Format:

Availability

Beytepe Library~1

Available:
Copies:

49.

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

Author

Coşkun, Bezen Balamir, compiler. Rüma, Şadan İnan, compiler.

Preferred Shelf Number

JZ1310 D57 2020

Format:

Availability

Beytepe Library~1

Available:
Copies:

50.

Nomenclature of Organic Chemistry : IUPAC Recommendations and Preferred Names 2013

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:

Availability

Online Library~1

Available:
Copies:

51.

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

Author

Kocabıyıkoğlu Çeçen, Zeynep, compiler.

Preferred Shelf Number

CB351 O78 2019

Format:

Availability

Beytepe Library~1

Available:
Copies:

52.

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

Author

Dündar, Can, 1961- compiler.

Preferred Shelf Number

DR592.K4 Y38 2015

Format:

Availability

Beytepe Library~1

Available:
Copies:

53.

Penny Dreadfuls : sensational tales of terror

Author

Dziemianowicz, Stefan R., compiler.

Preferred Shelf Number

PR1309.H6 P46 2014

Format:

Availability

Beytepe Library~1

Available:
Copies:

54.

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

Author

Sünbüloğlu, Nurseli Yeşim, compiler. Bora, Tanıl, editor.

Preferred Shelf Number

UA810 E75 2013

Format:

Availability

Beytepe Library~1

Available:
Copies:

55.

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

Author

Bali, Rıfat N., 1948- compiler.

Preferred Shelf Number

Z720.O94 B89 2014

Format:

Availability

Beytepe Library~1

Available:
Copies:

56.

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

Author

Dimchev, Alexander Georgiev, author, compiler.

Preferred Shelf Number

Z665.2.B8 D56 2013

Format:

Availability

Beytepe Library~1

Available:
Copies:

57.

American slavery as it is : testimony of a thousand witnesses

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:

Availability

Online Library~1

Available:
Copies:

58.

High energy physics

Author

Burhop, E. H. S. (Eric Henry Stoneley), compiler.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780121443054

Format:

Availability

Online Library~1

Available:
Copies:

59.

Cover image for 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

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

Author

Güvenç, Kudret, cartographer. Güvenç, Sefer, compiler. Lozan Mübadilleri Vakfı.

Preferred Shelf Number

G2001.E3 G8 2010

Format:

Availability

Beytepe Library~2

Available:
Copies:

60.

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

Author

Bahro, Rudolf, 1935- author. Bora, Tanıl, 1963- translator, compiler.

Preferred Shelf Number

HX550.E25 B34 1996

Format:

Availability

Beytepe Library~1

Available:
Copies:

61.

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

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:

Availability

Beytepe Library~3

Available:
Copies:

62.

A sleepless eye aphorisms from the Sahara

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:

Availability

Online Library~1

Available:
Copies:

63.

Professor Unrat, oder, Das Ende eines Tyrannen : roman

Author

Mann, Heinrich, 1871-1950. Wolff, Rudolf, writer of afterword. Schneider, Peter-Paul, compiler.

Preferred Shelf Number

PT2625.A43 P7 1994

Format:

Availability

Beytepe Library~1

Available:
Copies:

64.

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

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

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:

Availability

Online Library~1

Available:
Copies:

65.

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

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

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:

Availability

Online Library~1

Available:
Copies:

66.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

67.

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

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

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:

Availability

Online Library~1

Available:
Copies:

68.

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

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

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:

Availability

Online Library~1

Available:
Copies:

69.

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

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

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:

Availability

Online Library~1

Available:
Copies:

70.

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

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

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:

Availability

Online Library~1

Available:
Copies:

71.

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

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

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:

Availability

Online Library~1

Available:
Copies:

72.

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

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:

Availability

Online Library~1

Available:
Copies:

73.

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

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

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:

Availability

Online Library~1

Available:
Copies:

74.

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

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

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:

Availability

Online Library~1

Available:
Copies:

75.

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

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

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:

Availability

Online Library~1

Available:
Copies:

76.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

77.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

78.

Multi-core embedded systems

Author

Kornaros, Georgios.

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

79.

Warren's abstract machine a tutorial reconstruction

Author

Aït-Kaci, Hassan, 1954-

Preferred Shelf Number

ONLINE

Electronic Access

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267208

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}