Results of search for 'ccl=su:"Programming Languages Electronic computers "'

Refine your search

Availability
- Limit to currently available items
Authors
- Allen, James (3)
- Association for Comp... (14)
- Barthe, Gilles (2)
- Bjorner, Dines (2)
- Bozapalidis, Symeon (2)
- Brainerd, Walter S. (3)
- Ciancarini, Paolo (4)
- Cousot, Radhia (3)
- Garlan, David (1)
- Ghezzi, Carlo (3)
- Gschwind, Thomas (1)
- Institute of Electri... (7)
- Jazayeri, Mehdi (3)
- Joshi, Rushikesh K. (4)
- Nielson, Hanne Riis (2)
- Palsberg, Jens (2)
- Pratt, Terrence W. (5)
- Tennent, R.D. (3)
- Yi, Kwangkeun (2)
- Show more
- Show less
Item types
- BC Books (10)
- Books (407)
- E-Books (52)
- Reference Books (4)
- Theses and Dissertations (16)
- TLL Books (4)
- Show more
- Show less
Locations
- Compact Storage - Basement Area (233)
- Online (41)
- Pamphlet Section (Theses, Standards, Reports) (2)
Series
- International comput... (2)
- Lecture Notes in Art... (2)
- Lecture Notes in Com... (26)
- Lecture notes in com... (6)
- Lecture notes in com... (3)
- Lecture notes in com... (1)
- Lecture notes in com... (1)
- Lecture notes in com... (1)
- Lecture notes in com... (1)
- Lecture notes in com... (1)
- Lecture notes in com... (1)
- Lecture notes in com... (1)
- Lecture notes in com... (1)
- Lecture notes in com... (1)
- Lecture notes in com... (1)
- LNCS Sublibrary : SL... (7)
- LNCS Sublibrary : SL... (5)
- LNCS Sublibrary : SL... (4)
- Pearson Education se... (2)
- Synthesis lectures o... (1)
- Show more
- Show less
Topics
- Algorithms (6)
- Computer logic (7)
- Computer programming (13)
- Computer Science (15)
- Computer Science and... (127)
- Computer science and... (29)
- Electronic data proc... (6)
- Electronic digital c... (14)
- Logic programming-Co... (8)
- Machine theory-Congr... (21)
- Programming (Electro... (17)
- Programming language... (143)
- Programming language... (78)
- Programming language... (55)
- Programming language... (29)
- Programming language... (26)
- Programming language... (9)
- Software engineering (7)
- Theses and Dissertat... (16)
- Show more
- Show less

		Logic, language, and computation : 8th international Tbilisi symposium on logic, language, and computation, TbiLLC, Bakuriani, Georgia, Sept. 21-25, 2009 (e-book) by Bezhanishvili, Nick ...[et al.] [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6618 \| Lecture Notes in Artificial Intelligence (LNAI) Language: English Publication details: Berlin Springer 2011Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Declarative agent languages and technologies VII : 7th international workshop, DALT, Budapest, Hungary, May 11, 2009 (e-book) by Baldoni, Matteo ...[et al.] [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.5948 \| Lecture Notes in Artificial Intelligence (LNAI) Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Software language engineering : second international conference, SLE, Denver, CO, USA, Oct. 5-6, 2009 (e-book) by Brand, Mark [Editor] \| Gaševic, Dragan [Editor] \| Gray, Jeff [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.5969 \| LNCS Sublibrary : SL 2 – Programming and Software Engineering \| Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Service research challenges and solutions for the future internet : s-cube - towards engineering, managing and adapting service-based systems (e-book) by Papazoglou, Mike ...[et al.] [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6500 \| LNCS Sublibrary : SL 5 – Computer communication networks and telecommunications Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Automata, languages, and programming : 39th international Colloquium : proceedings, ICALP, Warwick, UK, July 9-13, 2012 (e-book) by Czumaj, Artur ...[et al.] [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.7391 Language: English Publication details: Berlin Springer 2012Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Static analysis : 19th international symposium : proceedings, SAS, Deauville, France, Sept. 11-13, 2012 (e-book) by . Series: Lecture notes in computer science ; v.7460 ; Advanced research in computing and software scienceEdition: Language: null Publication details: Berlin ; Springer ; 2012Online access: Click here to access online Availability: Items available for reference: Not for loan (1) . Add to cart (remove)
		Programming languages : 16th Brazilian symposium : proceedings, SBLP, Natal, Brazil, Sept. 23-28, 2012 (e-book) by . Series: Lecture notes in computer science ; v.7554Edition: Language: null Publication details: Berlin ; Springer ; 2012Online access: Click here to access online Availability: Items available for reference: Not for loan (1) . Add to cart (remove)
		Programming Languages and Systems : 19th European Symposium on Programming : proceedings, ESOP, held as part of the joint European conferences on theory and practice of software, ETAPS, Paphos, Cyprus, Mar. 20-28, 2010 (e-book) by Gordon, Andrew D [Editor]. Series: Lecture notes in computer science ; v.6012 \| LNCS Sublibrary : SL 1 – Theoretical computer science and general issues Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Languages, methodologies, and development tools for multi-agent systems : second international workshop, LADS 2009, Torino, Italy, Sept. 7-9, 2009 (e-book) by Dastani, Mehdi ...[et al.] [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6039 \| LNCS Sublibrary : SL 7 – Artificial Intelligence Language: eng Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Formal methods for quantitative aspects of programming languages : 10th international school on formal methods for the design of computer, communication and software systems, SFM, Bertinoro, Italy, June 21-26, 2010 (e-book) by Aldini, Alessandro ...[et al.] [Editor]. Series: Lecture Notes in Computer Science (LNCS) \| LNCS Sublibrary : SL 2 – Programming and Software Engineering Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)

Refine your search

Availability

Authors

Item types

Locations

Series

Topics

Your search returned 493 results.