Author
Dowek, Gilles. author. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Bjørner, Dines. editor. Henson, Martin C. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Derrick, John. author. Boiten, Eerke. author. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Lee, Kent. author. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Dowek, Gilles. author. Lévy, Jean-Jacques. author. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Rauchwerger, Lawrence. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834 Hamlen, Kevin. editor. Leone, Nicola. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Shan, Chung-chieh. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(332981.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Felleisen, Matthias. editor. Gardner, Philippa. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334348.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Nicola, Rocco. editor. Julien, Christine. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334610.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Moreira, Ana. editor. Schätz, Bernhard. editor. Gray, Jeff. editor. Vallecillo, Antonio. editor. Clarke, Peter. editor.
Preferred Shelf Number
ONLINE(335120.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Hinze, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(335126.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Select an Action