Search Results for Science, general.

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

69 Results Found

1 2 3 4 5 6

000000000000DEFAULT

37.

Cover image for Implementation and Application of Automata 19th International Conference, CIAA 2014, Giessen, Germany, July 30 -- August 2, 2014, Proceedings

Implementation and Application of Automata 19th International Conference, CIAA 2014, Giessen, Germany, July 30 -- August 2, 2014, Proceedings

Author

Holzer, Markus. editor. Kutrib, Martin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-08846-4

Format:

Availability

Online Library~1

Available:
Copies:

38.

Cover image for Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II

Author

Esparza, Javier. editor. Fraigniaud, Pierre. editor. Husfeldt, Thore. editor. Koutsoupias, Elias. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-43951-7

Format:

Availability

Online Library~1

Available:
Copies:

39.

Cover image for Artificial Neural Networks and Machine Learning -- ICANN 2014 24th International Conference on Artificial Neural Networks, Hamburg, Germany, September 15-19, 2014, Proceedings

Artificial Neural Networks and Machine Learning -- ICANN 2014 24th International Conference on Artificial Neural Networks, Hamburg, Germany, September 15-19, 2014, Proceedings

Author

Wermter, Stefan. editor. Weber, Cornelius. editor. Duch, Wlodzislaw. editor. Honkela, Timo. editor. Koprinkova-Hristova, Petia. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-11179-7

Format:

Availability

Online Library~1

Available:
Copies:

40.

DNA Computing and Molecular Programming 20th International Conference, DNA 20, Kyoto, Japan, September 22-26, 2014. Proceedings

Author

Murata, Satoshi. editor. Kobayashi, Satoshi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-11295-4

Format:

Availability

Online Library~1

Available:
Copies:

41.

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

Author

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-45234-9

Format:

Availability

Online Library~1

Available:
Copies:

42.

Cover image for Unconventional Computation and Natural Computation 13th International Conference, UCNC 2014, London, ON, Canada, July 14-18, 2014, Proceedings

Unconventional Computation and Natural Computation 13th International Conference, UCNC 2014, London, ON, Canada, July 14-18, 2014, Proceedings

Author

Ibarra, Oscar H. editor. Kari, Lila. editor. Kopecki, Steffen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-08123-6

Format:

Availability

Online Library~1

Available:
Copies:

43.

Cover image for Learning and Intelligent Optimization 8th International Conference, Lion 8, Gainesville, FL, USA, February 16-21, 2014. Revised Selected Papers

Learning and Intelligent Optimization 8th International Conference, Lion 8, Gainesville, FL, USA, February 16-21, 2014. Revised Selected Papers

Author

Pardalos, Panos M. editor. (orcid)0000-0003-2824-101X Resende, Mauricio G.C. editor. Vogiatzis, Chrysafis. editor. Walteros, Jose L. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-09584-4

Format:

Availability

Online Library~1

Available:
Copies:

44.

Cover image for Theory of Quantum Computation, Communication, and Cryptography 6th Conference, TQC 2011, Madrid, Spain, May 24-26, 2011, Revised Selected Papers

Theory of Quantum Computation, Communication, and Cryptography 6th Conference, TQC 2011, Madrid, Spain, May 24-26, 2011, Revised Selected Papers

Author

Bacon, Dave. editor. Martin-Delgado, Miguel. editor. Roetteler, Martin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-642-54429-3

Format:

Availability

Online Library~1

Available:
Copies:

45.

Quantum Interaction 7th International Conference, QI 2013, Leicester, UK, July 25-27, 2013. Selected Papers

Author

Atmanspacher, Harald. editor. Haven, Emmanuel. editor. Kitto, Kirsty. editor. Raine, Derek. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-642-54943-4

Format:

Availability

Online Library~1

Available:
Copies:

46.

Membrane Computing 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers

Author

Gheorghe, Marian. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Sosík, Petr. editor. Zandron, Claudio. editor. (orcid)0000-0002-2163-7639

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-14370-5

Format:

Availability

Online Library~1

Available:
Copies:

47.

Computing with New Resources Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday

Author

Calude, Cristian S. editor. Freivalds, Rūsiņš. editor. Kazuo, Iwama. editor. SpringerLink (Online service)