Search Results for Logic design

98 Results Found

1 2 3 4 5 .. 9

000000000000DEFAULT

The Semantic Web - ISWC 2006 5th International Semantic Web Conference, ISWC 2006, Athens, GA, USA, November 5-9, 2006. Proceedings

Author

Cruz, Isabel. editor. Decker, Stefan. editor. Allemang, Dean. editor. Preist, Chris. editor. Schwabe, Daniel. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Concurrency Theory Calculi and Automata for Modelling Untimed and Timed Concurrent Systems

Author

Bowman, Howard. author. Gomez, Rodolfo. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-84628-336-1

Format:

Availability

Online Library~1

Available:
Copies:

Logischer Entwurf digitaler Systeme

Author

Liebig, Hans. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

The Semantic Web – ASWC 2006 First Asian Semantic Web Conference, Beijing, China, September 3-7, 2006. Proceedings

Author

Mizoguchi, Riichiro. editor. Shi, Zhongzhi. editor. Giunchiglia, Fausto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Web Services and Formal Methods Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings

Author

Bravetti, Mario. editor. Núñez, Manuel. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

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 Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006. Proceedings

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006. Proceedings

Author

Vounckx, Johan. editor. Azemard, Nadine. editor. Maurine, Philippe. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Formal Techniques for Networked and Distributed Systems - FORTE 2006 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings

Formal Techniques for Networked and Distributed Systems - FORTE 2006 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings

Author

Najm, Elie. editor. Pradat-Peyre, Jean-François. editor. Donzeau-Gouge, Véronique Viguié. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006 Oxford, UK, September 13-15, 2006 Proceedings

Author

Lightfoot, David E. editor. Szyperski, Clemens. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Principles and Practice of Constraint Programming - CP 2006 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006. Proceedings

Principles and Practice of Constraint Programming - CP 2006 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006. Proceedings

Author

Benhamou, Frédéric. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings

Author

Hermann, Miki. editor. Voronkov, Andrei. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

Author

Havelund, Klaus. editor. Núñez, Manuel. editor. Roşu, Grigore. editor. Wolff, Burkhart. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 .. 9

	{displayName}	{count}
{error}