Search Results for

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

5 Results Found

00000MAIN

Programming Multi-Agent Systems 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers

ProMAS (Conference) (4th : 2006 : Hakodate-shi, Japan)

Author

ProMAS (Conference) (4th : 2006 : Hakodate-shi, Japan), Bordini, Rafael H., SpringerLink (Online service)

Format:

Call Number

EB 001234

Publisher

Springer-Verlag Berlin Heidelberg,

Publication Date

2007

ISBN

9783540719564

http://dx.doi.org/10.1007/978-3-540-71956-4

Remote access restricted to users with a valid UTM ID via VPN

Available:
Holds:
Copies:

Cover image for Mathematical Foundations of Computer Science 2007 32nd International Symposium, MFCS 2007 Cesky Krumlov, Czech Republic, August 26-31, 2007 Proceedings

Mathematical Foundations of Computer Science 2007 32nd International Symposium, MFCS 2007 Cesky Krumlov, Czech Republic, August 26-31, 2007 Proceedings

Symposium on Mathematical Foundations of Computer Science (1972- ) (32nd : 2007 : esky Krumlov, Czech Republic)

Author

Symposium on Mathematical Foundations of Computer Science (1972- ) (32nd : 2007 : esky Krumlov, Czech Republic), Kucera, Ludek., Kucera, Antonin, SpringerLink (Online service)

Format:

Call Number

EB 001318

Publisher

Springer-Verlag Berlin Heidelberg,

Publication Date

2007

ISBN

9783540744566

http://dx.doi.org/10.1007/978-3-540-74456-6

Remote access restricted to users with a valid UTM ID via VPN

Available:
Holds:
Copies:

Term Rewriting and Applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007: Proceedings

International Conference on Rewriting Techniques and Applications (18th : 2007 : Paris, France)

Author

International Conference on Rewriting Techniques and Applications (18th : 2007 : Paris, France), Baader, Franz, SpringerLink (Online service)

Format:

Call Number

EB 001278

Publisher

Springer-Verlag Berlin Heidelberg,

Publication Date

2007

ISBN

9783540734499

http://dx.doi.org/10.1007/978-3-540-73449-9

Remote access restricted to users with a valid UTM ID via VPN

Available:
Holds:
Copies:

Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007: Proceedings

International Static Analysis Symposium (14th : 2007 : Lyngby, Denmark)

Author

International Static Analysis Symposium (14th : 2007 : Lyngby, Denmark), Nielson, Hanne Riis, File, Gilberto, SpringerLink (Online service)

Format:

Call Number

EB 001306

Publisher

Springer-Verlag Berlin Heidelberg,

Publication Date

2007

ISBN

9783540740612

http://dx.doi.org/10.1007/978-3-540-74061-2

Remote access restricted to users with a valid UTM ID via VPN

Available:
Holds:
Copies:

Types for Proofs and Programs International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers

TYPES `98 (2006 : Nottingham, UK)

Author

TYPES `98 (2006 : Nottingham, UK), Altenkirch, Thorsten, McBride, Conor, SpringerLink (Online service)

Format:

Call Number

EB 001321

Publisher

Springer-Verlag Berlin Heidelberg,

Publication Date

2007

ISBN

9783540744641

http://dx.doi.org/10.1007/978-3-540-74464-1

Remote access restricted to users with a valid UTM ID via VPN

Available:
Holds:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

	{displayName}	{count}
{error}