-
High level parallel programming models and supportive environments – 6th international workshop ; proceedings
Mueller, Frank 2001 Springer
-
Programming languages and systems – proceedings
Sands, David 2001 Springer
-
Foundations of software science and computation structures – 4th international conference ; proceedings
Honsell, Furio 2001 Springer
-
Genetic programming – 4th European conference ; proceedings
Miller, Julian 2001 Springer
-
Logic based program synthesis and transformation – 10th international workshop ; selected papers
Lau, Kung-Kiu 2001 Springer
-
Programs as data objects – second symposium ; proceedings
Danvy, Olivier 2001 Springer
-
Internet programming languages – workshop ; proceedings
Bal, Henri E. 2001 Springer
-
Object oriented programming – 15th European conference ; proceedings
Knudsen, Jørgen Lindskov 2001 Springer
-
Automated reasoning – first international joint conference ; proceedings
Goré, Rajeev 2001 Springer
-
Logical aspects of computational linguistics – 4th international conference ; proceedings
Groote, Philippe de 2001 Springer
-
Logic programming and nonmonotonic reasoning – 5th international conference ; proceedings
Gelfond, Michael 2000 Springer
-
Object oriented technology – workshop reader, workshops, panels, and posters ; proceedings
Moreira, Ana 2002 Springer
-
Perspectives of system informatics – proceedings
Bjørner, Dines 2000 Springer
-
Static analysis – 8th international symposium ; proceedings
Cousot, Patrick 2001 Springer
-
Parallel computing technologies – 6th international conference ; proceedings
Malyškin, Viktor Ė. 2001 Springer
-
Generic programming – selected papers
Jazayeri, Mehdi 2001 Springer
-
Smart card programming and security – proceedings
Attali, Isabelle 2001 Springer
-
Programming languages and systems – proceedings
Smolka, Gert 2000 Springer
-
Inductive logic programming – 11th international conference ; proceedings
Rouveirol, Celine 2001 Springer
-
Foundations of software science and computation structures – third international conference ; proceedings
Tiuryn, Jerzy 2000 Springer