Your search returned 5 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Programming Languages and Systems [electronic resource] : Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings / edited by Kwangkeun Yi. by Series: Lecture Notes in Computer Science ; 3780
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.7 Y5 2005.

Place hold Add to cart
2.
Operational Semantics for Timed Systems [electronic resource] : A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems / by Heinrich Rust. by Series: Lecture Notes in Computer Science ; 3456
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.54 R87 2005.

Place hold Add to cart
3.
Programming Languages and Systems [electronic resource] : 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings / edited by Naoki Kobayashi. by Series: Lecture Notes in Computer Science ; 4279
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.7 K63 2006.

Place hold Add to cart
4.
Programming Languages and Systems [electronic resource] : 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings / edited by Zhong Shao. by Series: Lecture Notes in Computer Science ; 4807
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.7 S53 2007.

Place hold Add to cart
5.
Programming Languages and Systems [electronic resource] : 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings / edited by G. Ramalingam. by Series: Lecture Notes in Computer Science ; 5356
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.7 R36 2008.

Place hold Add to cart
Pages

Powered by Koha