Rewriting techniques and applications
: 14th international conference ; proceedings / RTA 2003, Valencia, Spain, June 9 - 11, 2003. Robert Nieuwenhuis (ed.). - Berlin : Springer***5108985, 2003. - XI, 514 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2706)
ISBN 978-3-540-40254-1 / 3-540-40254-3 kart. : EUR 66.34
Literaturangaben
Quelle: DNB
Static analysis
: 10th international symposium ; proceedings / SAS 2003, San Diego, CA, USA, June 11 - 13, 2003. Radhia Cousot (ed.). - Berlin : Springer***5108985, 2003. - XIV, 505 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2694)
ISBN 978-3-540-40325-8 / 3-540-40325-6 kart. : EUR 66.34
Literaturangaben
Quelle: DNB
Structural information and communication complexity
: 12th international colloquium ; proceedings / SIROCCO 2005, Mont Saint-Michel, France, May 24 - 26, 2005. Andrzej Pelc ; Michel Raynal (ed.). - Berlin : Springer***5108985, 2005. - X, 322 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3499)
ISBN 978-3-540-26052-3 / 3-540-26052-8 kart. : EUR 51.36 (freier Pr.), sfr 85.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Structural information and communication complexity
: 11th international colloquium ; proceedings / SIROCCO 2004, Smolenice Castle, Slowakia, June 21 - 23, 2004. Ratislav Královic̆ ; Ondrej Sýkora (ed.). - Berlin : Springer***5108985, 2004. - X, 302 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3104)
ISBN 978-3-540-22230-9 / 3-540-22230-8 kart. : EUR 51.36 (freier Pr.), sfr 85.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Typed lambda calculi and applications
: 6th international conference ; proceedings / TLCA 2003, Valencia, Spain, June 10 - 12, 2003. Martin Hoffmann (ed.). - Berlin : Springer***5108985, 2003. - VIII, 315 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2701)
ISBN 978-3-540-40332-6 / 3-540-40332-9 kart. : EUR 49.22
Literaturangaben
Quelle: DNB
The unified modeling language
: modeling languages and applications ; 6th international conference / "UML" 2003, San Francisco, CA, USA, October 20 - 24, 2003. Perdita Stevens ... (ed.). - Berlin : Springer***5108985, 2003. - XIV, 413 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2863)
ISBN 978-3-540-20243-1 / 3-540-20243-9 kart. : EUR 57.78 (freier Pr.), sfr 92.50
Literaturangaben
Quelle: DNB
