Your search returned 260 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
61.
GAG, a practical compiler generator / Uwe Kastens, Brigitte Hutt, Erich Zimmermann. by Series: Lecture notes in computer science ; 141.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 1982
Other title:
  • G.A.G., a practical compiler generator
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
62.
High performance embedded architectures and compilers : 5th international conference, HiPEAC 2010, Pisa, Italy, January 25-27, 2010 : proceedings / Yale N. Patt [and others] (eds.). by Series: Lecture notes in computer science ; 5952. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, ©2010
Other title:
  • HiPEAC 2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
63.
Semantics-directed compiler generation : proceedings of a workshop, Aarhus, Denmark, January, 1980 / edited by Neil D. Jones. by Series: Lecture notes in computer science ; 94.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, 1980
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
64.
An Optimized translation process and its application to ALGOL 68 / P. Branquart [and others]. by Series: Lecture notes in computer science ; 38.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, 1976
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
65.
Compiler construction an advanced course. [by] F.L. Bauer [and others] Edited by F.L. Bauer and J. Eickel. by Series: Lecture notes in computer science ; 21.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin, New York, Springer-Verlag, 1974
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
66.
Optimal interprocedural program optimization : a new framework and its application / Jens Knoop. by Series: Lecture notes in computer science ; 1428.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1998
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
67.
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 / Rajiv Gupta (ed.). by Series: Lecture notes in computer science ; 6011. | Lecture notes in computer science. Advanced research in computing and software science. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, ©2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
68.
A Concurrent PASCAL compiler for minicomputers / Alfred C. Hartmann. by Series: Lecture notes in computer science ; 50.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, 1977
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
69.
Languages and compilers for parallel computing : 22nd international workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009, revised selected papers / [edited by] Guang R. Gao [and others]. by Series: Lecture notes in computer science ; 5898. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Edition: 1st ed.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2010
Other title:
  • LCPC 2009
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
70.
Compiler specification and verification / Wolfgang Polak. by Series: Lecture notes in computer science ; 124.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin ; New York : Springer-Verlag, 1981
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
71.
72.
Conceptual structures : from information to intelligence, 18th International Conference on Conceptual Structures, ICCS 2010, Kuching, Sarawak, Malaysia, July 26-30, 2010 : proceedings / Madalina Croitoru, Sébastein Ferré, Dickson Lukose (eds.). Ferréѓ, Sébastien. by Series: Lecture notes in computer science ; 6208. | Lecture notes in computer science. Lecture notes in artificial intelligence. | LNCS sublibrary. SL 7, Artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2010
Other title:
  • ICCS 2010
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
73.
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 / Jens Knoop (ed.). by Series: Lecture notes in computer science ; 6601. | Lecture notes in computer science. Advanced research in computing and software science. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Heidelberg ; New York : Springer, ©2011
Other title:
  • CC 2011
  • ETAPS 2011
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
74.
Languages and compilers for parallel computing : 10th international workshop, LCPC'97, Minneapolis, Minnesota, USA, August 7-9, 1997 : proceedings / Zhiyuan Li [and others], (eds.). by Series: Lecture notes in computer science ; 1366.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1998
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
75.
CONCUR 2011--concurrency theory : 22nd international conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011 : proceedings / Joost-Pieter Katoen, Barbara König (eds.). by Series: Lecture notes in computer science ; 6901. | Lecture notes in computer science. Advanced research in computing and software science. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Heidelberg ; New York : Springer, ©2011
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
76.
77.
Automated technology for verification and analysis : 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011 : proceedings / Tevfik Bultan, Pao-Ann Hsiung (eds.). by Series: Lecture notes in computer science ; 6996.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Heidelberg ; New York : Springer, ©2011
Other title:
  • ATVA 2011
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
78.
Mathematical Foundations of Computer Science 2002 : 27th International Symposium, MFCS 2002 Warsaw, Poland, August 26 30, 2002 Proceedings. by Series: Lecture notes in computer science ; 2420,
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2002
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
79.
Extreme Programming and Agile Methods - XP / Agile Universe 2003 : Third XP Agile Universe Conference, New Orleans, LA, USA, August 10-13, 2003. Proceedings. by Series: Lecture notes in computer science ; 2753,
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2003
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
80.
Formal modeling and analysis of timed systems : 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011 : proceedings / Uli Fahrenberg, Stavros Tripakis (eds.). by Series: Lecture notes in computer science ; 6919. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2011
Other title:
  • FORMATS 2011
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha