IFIP Working Conference on Formal Description of Programming Concepts, Bjørner, D. (Dines), 1937-, IFIP Technical …
North-Holland Pub. Co.
|
Genetic and Evolutionary Computation Conference, International Conference on Genetic Algorithms, Genetic Programming …
M. Kaufmann
|
VDM-Europe Symposium, Bjørner, D. (Dines), 1937-
Springer-Verlag
|
Genetic and Evolutionary Computation Conference, International Conference on Genetic Algorithms, Genetic Programming …
M. Kaufmann
|
VDM-Europe Symposium, Bjørner, D. (Dines), 1937-, Langmaack, Hans, Hoare, C. A. R. (Charles Antony Richard), 1934-
Springer-Verlag
|
Genetic and Evolutionary Computation Conference, Genetic Programming Conference, International Conference on Genetic …
M. Kaufmann
|
Oest, O. N., Bjørner, D. (Dines), 1937-
Springer-Verlag
|
Bjørner, D. (Dines), 1937-, Jones, Cliff B., 1944-
Springer-Verlag
|
International Conference on Temporal Logic, Gabbay, Dov M., 1945-, Ohlbach, Hans Jürgen
Springer-Verlag
|
Copenhagen Winter School on Abstract Software Specifications, Commission of the European Communities, Bjørner, D. …
Springer-Verlag
|
Genetic and Evolutionary Computation Conference, Genetic Programming Conference, International Conference on Genetic …
M. Kaufmann
|
Barzdinʹ, I︠A︡. M. (I︠A︡n Martynovich), Bjørner, D. (Dines), 1937-
Springer-Verlag
|