Search Results for Logic design.

65 Results Found

1 2 3 4 5 6

000000000000DEFAULT

37.

Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings

Author

He, Xiangdong. editor. Horty, John. editor. Pacuit, Eric. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-04893-7

Format:

Availability

Online Library~1

Available:
Copies:

38.

Cover image for Language and Automata Theory and Applications Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings

Language and Automata Theory and Applications Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings

Author

Dediu, Adrian Horia. editor. Ionescu, Armand Mihai. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-00982-2

Format:

Availability

Online Library~1

Available:
Copies:

39.

Cover image for Parameterized and Exact Computation 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009, Revised Selected Papers

Parameterized and Exact Computation 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009, Revised Selected Papers

Author

Chen, Jianer. editor. Fomin, Fedor V. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-11269-0

Format:

Availability

Online Library~1

Available:
Copies:

40.

Algebraic Informatics Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-03564-7

Format:

Availability

Online Library~1

Available:
Copies:

41.

Cover image for Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings

Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings

Author

Meseguer, José. editor. Roşu, Grigore. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

42.

Algebraic Biology Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008 Proceedings

Author

Horimoto, Katsuhisa. editor. Regensburger, Georg. editor. Rosenkranz, Markus. editor. Yoshida, Hiroshi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

43.

Cover image for Language and Automata Theory and Applications Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers

Language and Automata Theory and Applications Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers

Author

Martín-Vide, Carlos. editor. Otto, Friedrich. editor. Fernau, Henning. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

44.

Cover image for Types for Proofs and Programs International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers

Types for Proofs and Programs International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers

Author

Miculan, Marino. editor. Scagnetto, Ivan. editor. Honsell, Furio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

45.

Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Author

Degano, Pierpaolo. editor. Nicola, Rocco. editor. Meseguer, José. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

46.

Programming Languages An Active Learning Approach

Author

Lee, Kent. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-79421-1

Format:

Availability

Online Library~1

Available:
Copies:

47.

Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings

Author

Voronkov, Andrei. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

48.

Cover image for Recent Trends in Algebraic Development Techniques 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers

Recent Trends in Algebraic Development Techniques 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers

Author

Fiadeiro, José Luiz. editor. Schobbens, Pierre-Yves. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 6

	{displayName}	{count}
{error}