Search Results for Design.

230 Results Found

1 .. 3 4 5 6 7 .. 20

000000000000DEFAULT

49.

Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings

Author

Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334355.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37064-9

Format:

Availability

Online Library~1

Available:
Copies:

50.

Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings

Author

Abdulla, Parosh Aziz. editor. Potapov, Igor. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335046.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-41036-9

Format:

Availability

Online Library~1

Available:
Copies:

51.

Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics

Author

Mogavero, Fabio. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(336496.1)

Electronic Access

http://dx.doi.org/10.2991/978-94-91216-95-4

Format:

Availability

Online Library~1

Available:
Copies:

52.

Cover image for Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings

Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings

Author

Higashino, Teruo. editor. Katayama, Yoshiaki. editor. Masuzawa, Toshimitsu. editor. Potop-Butucaru, Maria. editor. Yamashita, Masafumi. editor.

Preferred Shelf Number

ONLINE(332964.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-03089-0

Format:

Availability

Online Library~1

Available:
Copies:

53.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Author

Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334278.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

54.

Cover image for Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday

Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday

Author

Coecke, Bob. editor. Ong, Luke. editor. Panangaden, Prakash. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334547.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38164-5

Format:

Availability

Online Library~1

Available:
Copies:

55.

Computing and Combinatorics 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings

Author

Du, Ding-Zhu. editor. Zhang, Guochuan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334665.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38768-5

Format:

Availability

Online Library~1

Available:
Copies:

56.

Reversible Computation 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings

Author

Dueck, Gerhard W. editor. Miller, D. Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334708.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

57.

Cover image for The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings

The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings

Author

Bonizzoni, Paola. editor. Brattka, Vasco. editor. Löwe, Benedikt. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334718.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39053-1

Format:

Availability

Online Library~1

Available:
Copies:

58.

Cover image for Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings

Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings

Author

Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334724.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39071-5

Format:

Availability

Online Library~1

Available:
Copies:

59.

Cover image for Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings

Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings

Author

Schulte, Christian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334980.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

60.

Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings

Author

Legay, Axel. editor. Bensalem, Saddek. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335003.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-40787-1

Format:

Availability

Online Library~1

Available:
Copies:

1 .. 3 4 5 6 7 .. 20

	{displayName}	{count}
{error}