Search Results for Logic design.

114 Results Found

1 2 3 4 5 .. 10

000000000000DEFAULT

Cover image for Recent Advances in Constraints 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers

Recent Advances in Constraints 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers

Author

Azevedo, Francisco. editor. Barahona, Pedro. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

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:

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:

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:

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:

Cover image for Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings

Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings

Author

Schneider, Klaus. editor. Brandt, Jens. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Machines, Computations, and Universality 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007. Proceedings

Machines, Computations, and Universality 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007. Proceedings

Author

Durand-Lose, Jérôme. editor. Margenstern, Maurice. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings

Author

Dahl, Véronica. editor. Niemelä, Ilkka. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Reasoning Web Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures

Author

Antoniou, Grigoris. editor. Aßmann, Uwe. editor. Baroglio, Cristina. editor. Decker, Stefan. editor. Henze, Nicola. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-74615-7

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Evolvable Systems: From Biology to Hardware 7th International Conference, ICES 2007, Wuhan, China, September 21-23, 2007 Proceedings

Evolvable Systems: From Biology to Hardware 7th International Conference, ICES 2007, Wuhan, China, September 21-23, 2007 Proceedings

Author

Kang, Lishan. editor. Liu, Yong. editor. Zeng, Sanyou. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Cryptographic Hardware and Embedded Systems - CHES 2007 9th International Workshop, Vienna, Austria, September 10-13, 2007. Proceedings

Cryptographic Hardware and Embedded Systems - CHES 2007 9th International Workshop, Vienna, Austria, September 10-13, 2007. Proceedings

Author

Paillier, Pascal. editor. Verbauwhede, Ingrid. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures

Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures

Author

Boer, Frank S. editor. Bonsangue, Marcello M. editor. Graf, Susanne. editor. Roever, Willem-Paul. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 .. 10

	{displayName}	{count}
{error}