Search Results for Computer science.

37 Results Found

1 2 3 4

000000000000DEFAULT

Cover image for Formal Modeling and Analysis of Timed Systems 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings

Formal Modeling and Analysis of Timed Systems 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings

Author

Ouaknine, Joël. editor. Vaandrager, Frits W. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Algorithmic Decision Theory First International Conference, ADT 2009, Venice, Italy, October 20-23, 2009. Proceedings

Author

Rossi, Francesca. editor. Tsoukias, Alexis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 12th International Workshop, APPROX 2009, and 13th International Workshop, RANDOM 2009, Berkeley, CA, USA, August 21-23, 2009. Proceedings

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 12th International Workshop, APPROX 2009, and 13th International Workshop, RANDOM 2009, Berkeley, CA, USA, August 21-23, 2009. Proceedings

Author

Dinur, Irit. editor. Jansen, Klaus. editor. Naor, Joseph. editor. Rolim, José. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Theoretical Aspects of Computing - ICTAC 2009 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings

Theoretical Aspects of Computing - ICTAC 2009 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings

Author

Leucker, Martin. editor. Morgan, Carroll. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Cryptographic Hardware and Embedded Systems - CHES 2009 11th International Workshop Lausanne, Switzerland, September 6-9, 2009 Proceedings

Cryptographic Hardware and Embedded Systems - CHES 2009 11th International Workshop Lausanne, Switzerland, September 6-9, 2009 Proceedings

Author

Clavier, Christophe. editor. Gaj, Kris. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Selected Areas in Cryptography 15th International Workshop, SAC 2008, Sackville, New Brunswick, Canada, August 14-15, Revised Selected Papers

Selected Areas in Cryptography 15th International Workshop, SAC 2008, Sackville, New Brunswick, Canada, August 14-15, Revised Selected Papers

Author

Avanzi, Roberto Maria. editor. Keliher, Liam. editor. Sica, Francesco. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Semantics and Algebraic Specification Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday

Author

Palsberg, Jens. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for String Processing and Information Retrieval 16th International Symposium, SPIRE 2009 Saariselkä, Finland, August 25-27, 2009 Proceedings

String Processing and Information Retrieval 16th International Symposium, SPIRE 2009 Saariselkä, Finland, August 25-27, 2009 Proceedings

Author

Karlgren, Jussi. editor. Tarhio, Jorma. editor. Hyyrö, Heikki. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Selected Areas in Cryptography 16th Annual International Workshop, SAC 2009, Calgary, Alberta, Canada, August 13-14, 2009, Revised Selected Papers

Selected Areas in Cryptography 16th Annual International Workshop, SAC 2009, Calgary, Alberta, Canada, August 13-14, 2009, Revised Selected Papers

Author

Jacobson, Michael J. editor. Rijmen, Vincent. editor. Safavi-Naini, Reihaneh. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Combinatorial Algorithms 20th International Workshop, IWOCA 2009, Hradec nad Moravicí, Czech Republic, June 28–July 2, 2009, Revised Selected Papers

Combinatorial Algorithms 20th International Workshop, IWOCA 2009, Hradec nad Moravicí, Czech Republic, June 28–July 2, 2009, Revised Selected Papers

Author

Fiala, Jiří. editor. Kratochvíl, Jan. editor. Miller, Mirka. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Implicit Curves and Surfaces: Mathematics, Data Structures and Algorithms

Author

Gomes, Abel J. P. editor. Voiculescu, Irina. editor. Jorge, Joaquim. editor. Wyvill, Brian. editor. Galbraith, Callum. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84882-406-5

Format:

Availability

Online Library~1

Available:
Copies:

12.

Mathematical Methods in Counterterrorism

Author

Memon, Nasrullah. editor. David Farley, Jonathan. editor. Hicks, David L. editor. Rosenorn, Torben. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-211-09442-6

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4

	{displayName}	{count}
{error}