Search Results for Logic design.

65 Results Found

1 2 3 4 5 6

000000000000DEFAULT

49.

Developments in Language Theory 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007. Proceedings

Author

Harju, Tero. editor. Karhumäki, Juhani. editor. Lepistö, Arto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

50.

Algebraic Biology Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007. Proceedings

Author

Anai, Hirokazu. editor. Horimoto, Katsuhisa. editor. Kutsia, Temur. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-73433-8

Format:

Availability

Online Library~1

Available:
Copies:

51.

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

Author

Baader, Franz. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

52.

Cover image for Algebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings

Algebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings

Author

Mossakowski, Till. editor. Montanari, Ugo. editor. Haveraaen, Magne. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

53.

Modelling Distributed Systems

Author

Fokkink, Wan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-73938-8

Format:

Availability

Online Library~1

Available:
Copies:

54.

Cover image for Algebraic Informatics Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers

Algebraic Informatics Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers

Author

Bozapalidis, Symeon. editor. Rahonis, George. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-75414-5

Format:

Availability

Online Library~1

Available:
Copies:

55.

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

Author

Altenkirch, Thorsten. editor. McBride, Conor. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

56.

Fundamentals of Algebraic Graph Transformation

Author

Ehrig, Hartmut. author. Ehrig, Karsten. author. Prange, Ulrike. author. Taentzer, Gabriele. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

57.

Cover image for Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers

Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers

Author

Filliâtre, Jean-Christophe. editor. Paulin-Mohring, Christine. editor. Werner, Benjamin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

58.

Cover image for Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers

Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers

Author

MacCaull, Wendy. editor. Winter, Michael. editor. Düntsch, Ivo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

59.

Term Rewriting and Applications 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings

Author

Pfenning, Frank. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

60.

Developments in Language Theory 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006. Proceedings

Author

Ibarra, Oscar H. editor. Dang, Zhe. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 6

	{displayName}	{count}
{error}