Search Results for Software.

496 Results Found

1 .. 38 39 40 41 42

000000000000DEFAULT

481.

Cover image for Evolutionary Multi-Criterion Optimization 4th International Conference, EMO 2007, Matsushima, Japan, March 5-8, 2007. Proceedings

Evolutionary Multi-Criterion Optimization 4th International Conference, EMO 2007, Matsushima, Japan, March 5-8, 2007. Proceedings

Author

Obayashi, Shigeru. editor. Deb, Kalyanmoy. editor. Poloni, Carlo. editor. Hiroyasu, Tomoyuki. editor. Murata, Tadahiko. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

482.

Cover image for Theory of Cryptography 4th Theory of Cryptography Conference, TCC 2007, Amsterdam, The Netherlands, February 21-24, 2007. Proceedings

Theory of Cryptography 4th Theory of Cryptography Conference, TCC 2007, Amsterdam, The Netherlands, February 21-24, 2007. Proceedings

Author

Vadhan, Salil P. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

483.

Numerical Methods and Applications 6th International Conference, NMA 2006, Borovets, Bulgaria, August 20-24, 2006. Revised Papers

Author

Boyanov, Todor. editor. Dimova, Stefka. editor. Georgiev, Krassimir. editor. Nikolov, Geno. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

484.

Cover image for Formal Methods: Applications and Technology 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers

Formal Methods: Applications and Technology 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers

Author

Brim, Luboš. editor. Haverkort, Boudewijn. editor. Leucker, Martin. editor. Pol, Jaco. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

485.

Cover image for Universal Access in Ambient Intelligence Environments 9th ERCIM Workshop on User Interfaces for All, Königswinter, Germany, September 27-28, 2006. Revised Papers

Universal Access in Ambient Intelligence Environments 9th ERCIM Workshop on User Interfaces for All, Königswinter, Germany, September 27-28, 2006. Revised Papers

Author

Stephanidis, Constantine. editor. Pieper, Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

486.

Cover image for Pixelization Paradigm First Visual Information Expert Workshop, VIEW 2006, Paris, France, April 24-25, 2006, Revised Selected Papers

Pixelization Paradigm First Visual Information Expert Workshop, VIEW 2006, Paris, France, April 24-25, 2006, Revised Selected Papers

Author

Lévy, Pierre P. editor. Grand, Bénédicte. editor. Poulet, François. editor. Soto, Michel. editor. Darago, Laszlo. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

487.

Cover image for Job Scheduling Strategies for Parallel Processing 12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected Papers

Job Scheduling Strategies for Parallel Processing 12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected Papers

Author

Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

488.

Algorithmic Aspects of Bioinformatics

Author

Böckenhauer, Hans-Joachim. author. Bongartz, Dirk. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

489.

Active Networks IFIP TC6 6th International Working Conference, IWAN 2004, Lawrence, KS, USA, October 27-29, 2004. Revised Papers

Author

Minden, Gary J. editor. Calvert, Kenneth L. editor. Solarski, Marcin. editor. Yamamoto, Miki. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

490.

All About Maude - A High-Performance Logical Framework How to Specify, Program and Verify Systems in Rewriting Logic

Author

Clavel, Manuel. author. Durán, Francisco. author. Eker, Steven. author. Lincoln, Patrick. author. Martí-Oliet, Narciso. author.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

491.

Cover image for Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday

Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday

Author

Reps, Thomas. editor. Sagiv, Mooly. editor. Bauer, Jörg. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

492.

Cover image for Formal Techniques for Networked and Distributed Systems – FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings

Formal Techniques for Networked and Distributed Systems – FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings

Author

Derrick, John. editor. Vain, Jüri. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 .. 38 39 40 41 42

	{displayName}	{count}
{error}