Search Results for Computer science.

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:

Cover image for Relations and Kleene Algebra in Computer Science 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29–September 2, 2006. Proceedings

Relations and Kleene Algebra in Computer Science 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29–September 2, 2006. Proceedings

Author

Schmidt, Renate A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Theory and Applications of Relational Structures as Knowledge Instruments II International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers

Theory and Applications of Relational Structures as Knowledge Instruments II International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers

Author

Swart, Harrie. editor. Orłowska, Ewa. editor. Schmidt, Gunther. editor. Roubens, Marc. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

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:

Cover image for Artificial Intelligence and Symbolic Computation 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings

Artificial Intelligence and Symbolic Computation 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings

Author

Calmet, Jacques. editor. Ida, Tetsuo. editor. Wang, Dongming. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

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:

Cover image for Algebraic Methodology and Software Technology 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings

Algebraic Methodology and Software Technology 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings

Author

Johnson, Michael. editor. Vene, Varmo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

OMDoc – An Open Markup Format for Mathematical Documents [version 1.2] Foreword by Allan Bundy

Author

Kohlhase, Michael. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}