Search Results for

84 Results Found

1 2 3 4 5 .. 7

000000000000DEFAULT

13.

Cover image for Learning and Intelligent Optimization 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers

Learning and Intelligent Optimization 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers

Author

Nicosia, Giuseppe. editor. Pardalos, Panos. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335176.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Theory and Practice of Natural Computing Second International Conference, TPNC 2013, Cáceres, Spain, December 3-5, 2013, Proceedings

Theory and Practice of Natural Computing Second International Conference, TPNC 2013, Cáceres, Spain, December 3-5, 2013, Proceedings

Author

Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. Vega-Rodríguez, Miguel A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335178.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings

Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings

Author

Pecheur, Charles. editor. Dierkes, Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335040.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.

DNA Computing and Molecular Programming 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings

Author

Soloveichik, David. editor. Yurke, Bernard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332892.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-01928-4

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings

Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings

Author

Giacobazzi, Roberto. editor. Berdine, Josh. editor. Mastroeni, Isabella. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334073.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

18.

Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings

Author

Lodaya, Kamal. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334105.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

Membrane Computing 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers

Author

Csuhaj-Varjú, Erzsébet. editor. Gheorghe, Marian. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Vaszil, György. editor.

Preferred Shelf Number

ONLINE(334280.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

20.

Theory of Cryptography 10th Theory of Cryptography Conference, TCC 2013, Tokyo, Japan, March 3-6, 2013. Proceedings

Author

Sahai, Amit. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334242.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

21.

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:

22.

Cover image for Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics 11th European Conference, EvoBIO 2013, Vienna, Austria, April 3-5, 2013. Proceedings

Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics 11th European Conference, EvoBIO 2013, Vienna, Austria, April 3-5, 2013. Proceedings

Author

Vanneschi, Leonardo. editor. Bush, William S. editor. Giacobini, Mario. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334380.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for Applications of Evolutionary Computation 16th European Conference, EvoApplications 2013, Vienna, Austria, April 3-5, 2013. Proceedings

Applications of Evolutionary Computation 16th European Conference, EvoApplications 2013, Vienna, Austria, April 3-5, 2013. Proceedings

Author

Esparcia-Alcázar, Anna I. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334381.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for Evolutionary Computation in Combinatorial Optimization 13th European Conference, EvoCOP 2013, Vienna, Austria, April 3-5, 2013. Proceedings

Evolutionary Computation in Combinatorial Optimization 13th European Conference, EvoCOP 2013, Vienna, Austria, April 3-5, 2013. Proceedings

Author

Middendorf, Martin. editor. Blum, Christian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334383.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 .. 7

	{displayName}	{count}
{error}