Search Results for Software

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

60 Results Found

1 2 3 4 5

000000000000DEFAULT

25.

Cover image for Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings

Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings

Author

Gupta, Ashutosh. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334992.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

26.

Cover image for Artificial Neural Networks and Machine Learning – ICANN 2013 23rd International Conference on Artificial Neural Networks Sofia, Bulgaria, September 10-13, 2013. Proceedings

Artificial Neural Networks and Machine Learning – ICANN 2013 23rd International Conference on Artificial Neural Networks Sofia, Bulgaria, September 10-13, 2013. Proceedings

Author

Mladenov, Valeri. editor. Koprinkova-Hristova, Petia. editor. Palm, Günther. editor. Villa, Alessandro E. P. editor. Appollini, Bruno. editor.

Preferred Shelf Number

ONLINE(334996.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

27.

Cover image for Hybrid Artificial Intelligent Systems 8th International Conference, HAIS 2013, Salamanca, Spain, September 11-13, 2013. Proceedings

Hybrid Artificial Intelligent Systems 8th International Conference, HAIS 2013, Salamanca, Spain, September 11-13, 2013. Proceedings

Author

Pan, Jeng-Shyang. editor. Polycarpou, Marios M. editor. Woźniak, Michał. editor. Carvalho, André C. P. L. F. editor. Quintián, Héctor. editor.

Preferred Shelf Number

ONLINE(335017.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

28.

Cover image for Cellular Automata and Discrete Complex Systems 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 17-19, 2013. Proceedings

Cellular Automata and Discrete Complex Systems 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 17-19, 2013. Proceedings

Author

Kari, Jarkko. editor. Kutrib, Martin. editor. Malcher, Andreas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335022.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

29.

Algorithmic Learning Theory 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings

Author

Jain, Sanjay. editor. Munos, Rémi. editor. Stephan, Frank. editor. Zeugmann, Thomas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335030.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

30.

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:

31.

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:

32.

Time and Petri Nets

Author

Popova-Zeugmann, Louchka. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335059.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

33.

Cover image for Intelligent Data Engineering and Automated Learning – IDEAL 2013 14th International Conference, IDEAL 2013, Hefei, China, October 20-23, 2013. Proceedings

Intelligent Data Engineering and Automated Learning – IDEAL 2013 14th International Conference, IDEAL 2013, Hefei, China, October 20-23, 2013. Proceedings

Author

Yin, Hujun. editor. Tang, Ke. editor. Gao, Yang. editor. Klawonn, Frank. editor. Lee, Minho. editor.

Preferred Shelf Number

ONLINE(335084.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

34.

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:

35.

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:

36.

Cover image for Theory of Quantum Computation, Communication, and Cryptography 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers

Theory of Quantum Computation, Communication, and Cryptography 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers

Author

Iwama, Kazuo. editor. Kawano, Yasuhito. editor. Murao, Mio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334022.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5

	{displayName}	{count}
{error}