Limit Search Results
Author
SpringerLink (Online service)
(301)
Algan, Sefer.
(6)
Aktaş, Volkan.
(5)
Noble, James. editor.
(5)
Aceto, Luca. editor.
(4)
Language
Publication Date
-
Subject
Software engineering.
(184)
Computer science.
(155)
Programming languages (Electronic computers).
(130)
Programming Languages, Compilers, Interpreters.
(92)
Logic design.
(77)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
408 Results Found Subscribe to search results
000000000000DEFAULT
Print
97. 
Cover image for Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings
Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings
Author 
Kobayashi, Naoki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11924661
Format: 
Availability 
Online Library~1
Available:
Copies:
98. 
Cover image for Automata, Languages and Programming 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings
Automata, Languages and Programming 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings
Author 
Caires, Luís. editor. Italiano, Giuseppe F. editor. Monteiro, Luís. editor. Palamidessi, Catuscia. editor. Yung, Moti. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11523468
Format: 
Availability 
Online Library~1
Available:
Copies:
99. 
Cover image for Database Programming Languages 10th International Workshop, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers
Database Programming Languages 10th International Workshop, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers
Author 
Bierman, Gavin. editor. Koch, Christoph. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11601524
Format: 
Availability 
Online Library~1
Available:
Copies:
100. 
Cover image for Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
Programming Languages and Systems 14th European Symposium on Programming, ESOP 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 
Sagiv, Mooly. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b107380
Format: 
Availability 
Online Library~1
Available:
Copies:
101. 
Cover image for Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings
Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings
Author 
Yi, Kwangkeun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11575467
Format: 
Availability 
Online Library~1
Available:
Copies:
102. 
Cover image for The formal semantics of programming languages an introduction
The formal semantics of programming languages an introduction
Author 
Winskel, G. (Glynn)
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276826
Format: 
Availability 
Online Library~1
Available:
Copies:
103. 
Cover image for Computer languages : a practical guide to the chief programming languages
Computer languages : a practical guide to the chief programming languages
Author 
Sanderson, Peter C.
Preferred Shelf Number 
QA 76 S29 1970
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
104. 
Cover image for Fundamentals of COBOL
Fundamentals of COBOL
Author 
U.S. Navy Programming Languages Group.
Preferred Shelf Number 
QA 76.5 U5 1971
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
105. 
Cover image for Proceedings of the ACM 2001 Java Grande/ISCOPE Conference : Palo Alto, Calif., June 2-4, 2001
Proceedings of the ACM 2001 Java Grande/ISCOPE Conference : Palo Alto, Calif., June 2-4, 2001
Author 
ACM Java Grande/ISCOPE Conference (2001 : Palo Alto, Calif.) ACM Special Interest Group on Programming Languages. ACM Java Grande Conference (6th : 2001 : Palo Alto, Calif.) ISCOPE (Conference) (4th : 2001 : Palo Alto, Calif.)
Preferred Shelf Number 
QA 76.73.J38 A265 2001
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
106. 
Cover image for Proceedings of the 2001 ACM SIGPLAN--SIGSOFT Workshop on Program Analysis for Software Tools and Engineering : PASTE'01 ; Snowbird, Utah, USA June 18-19, 2001
Proceedings of the 2001 ACM SIGPLAN--SIGSOFT Workshop on Program Analysis for Software Tools and Engineering : PASTE'01 ; Snowbird, Utah, USA June 18-19, 2001
Author 
ACM SIGPLAN--SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (2001 : Snowbird, Utah) Association for Computing Machinery. ACM, Special Interest Group on Programming Languages. ACM, Special Interest Group on Software Engineering.
Preferred Shelf Number 
QA 76.758 A345 2001
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
107. 
Cover image for Augmented Intelligence and Intelligent Tutoring Systems 19th International Conference, ITS 2023, Corfu, Greece, June 2-5, 2023, Proceedings
Augmented Intelligence and Intelligent Tutoring Systems 19th International Conference, ITS 2023, Corfu, Greece, June 2-5, 2023, Proceedings
Author 
Frasson, Claude. editor. Mylonas, Phivos. editor. Troussas, Christos. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521187.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-32883-1
Format: 
Availability 
Online Library~1
Available:
Copies:
108. 
Cover image for Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings
Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings
Author 
Glück, Robert. editor. Kafle, Bishoksan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521245.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-45784-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action