Search Results for Logic design

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

96 Results Found

1 .. 4 5 6 7 8

000000000000DEFAULT

Cover image for Graph Transformations Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings

Graph Transformations Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings

Author

Corradini, Andrea. editor. Ehrig, Hartmut. editor. Montanari, Ugo. editor. Ribeiro, Leila. editor. Rozenberg, Grzegorz. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11841883

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Foundations of Information and Knowledge Systems 4th International Symposium, FoIKS 2006, Budapest, Hungary, Februrary 14-17, 2006. Proceedings

Foundations of Information and Knowledge Systems 4th International Symposium, FoIKS 2006, Budapest, Hungary, Februrary 14-17, 2006. Proceedings

Author

Dix, Jürgen. editor. Hegner, Stephen J. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11663881

Format:

Availability

Online Library~1

Available:
Copies:

STACS 2006 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006. Proceedings

Author

Durand, Bruno. editor. Thomas, Wolfgang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11672142

Format:

Availability

Online Library~1

Available:
Copies:

LATIN 2006: Theoretical Informatics 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006. Proceedings

Author

Correa, José R. editor. Hevia, Alejandro. editor. Kiwi, Marcos. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11682462

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings

FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings

Author

Arun-Kumar, S. editor. Garg, Naveen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11944836

Format:

Availability

Online Library~1

Available:
Copies:

Developments in Language Theory 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005. Proceedings

Author

Felice, Clelia. editor. Restivo, Antonio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b137735

Format:

Availability

Online Library~1

Available:
Copies:

Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

Author

Kreowski, Hans-Jörg. editor. Montanari, Ugo. editor. Orejas, Fernando. editor. Rozenberg, Grzegorz. editor. Taentzer, Gabriele. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b106390

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Mathematical Foundations of Computer Science 2005 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29–September 2, 2005. Proceedings

Mathematical Foundations of Computer Science 2005 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29–September 2, 2005. Proceedings

Author

Jȩdrzejowicz, Joanna. editor. Szepietowski, Andrzej. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11549345

Format:

Availability

Online Library~1

Available:
Copies:

Theoretical Computer Science 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005. Proceedings

Author

Coppo, Mario. editor. Lodi, Elena. editor. Pinna, G. Michele. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11560586

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings

Author

Sarukkai, Sundar. editor. Sen, Sandeep. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11590156

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings

Author

Lodaya, Kamal. editor. Mahajan, Meena. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b104325

Format:

Availability

Online Library~1

Available:
Copies:

12.

Developments in Language Theory 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, 2004. Proceedings

Author

Calude, Cristian S. editor. Calude, Elena. editor. Dinneen, Michael J. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b103739

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 .. 4 5 6 7 8

	{displayName}	{count}
{error}