Search Results for software.

45 Results Found

1 2 3 4

000000000000DEFAULT

13.

Cover image for Algorithmic Aspects of Cloud Computing Third International Workshop, ALGOCLOUD 2017, Vienna, Austria, September 5, 2017, Revised Selected Papers

Algorithmic Aspects of Cloud Computing Third International Workshop, ALGOCLOUD 2017, Vienna, Austria, September 5, 2017, Revised Selected Papers

Author

Alistarh, Dan. editor. Delis, Alex. editor. Pallis, George. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings

Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings

Author

Beyersdorff, Olaf. editor. Wintersteiger, Christoph M. editor. (orcid)0000-0003-0102-4381 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-94144-8

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for Evolutionary Computation in Combinatorial Optimization 18th European Conference, EvoCOP 2018, Parma, Italy, April 4–6, 2018, Proceedings

Evolutionary Computation in Combinatorial Optimization 18th European Conference, EvoCOP 2018, Parma, Italy, April 4–6, 2018, Proceedings

Author

Liefooghe, Arnaud. editor. (orcid)0000-0003-3283-3122 López-Ibáñez, Manuel. editor. (orcid)0000-0001-9974-1295 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.

Genetic Programming 21st European Conference, EuroGP 2018, Parma, Italy, April 4-6, 2018, Proceedings

Author

Castelli, Mauro. editor. Sekanina, Lukas. editor. (orcid)0000-0002-2693-9011 Zhang, Mengjie. editor. Cagnoni, Stefano. editor. García-Sánchez, Pablo. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-77553-1

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for Information Security Education – Towards a Cybersecure Society 11th IFIP WG 11.8 World Conference, WISE 11, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18–20, 2018, Proceedings

Information Security Education – Towards a Cybersecure Society 11th IFIP WG 11.8 World Conference, WISE 11, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18–20, 2018, Proceedings

Author

Drevin, Lynette. editor. (orcid)0000-0001-9370-8216 Theocharidou, Marianthi. editor. (orcid)0000-0002-8870-1746 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

18.

Provable Security 12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018, Proceedings

Author

Baek, Joonsang. editor. Susilo, Willy. editor. Kim, Jongkil. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-01446-9

Format:

Availability

Online Library~1

Available:
Copies:

19.

Artificial Intelligence First CCF International Conference, ICAI 2018, Jinan, China, August 9-10, 2018, Proceedings

Author

Zhou, Zhi-Hua. editor. Yang, Qiang. editor. Gao, Yang. editor. Zheng, Yu. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-2122-1

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for Structural Information and Communication Complexity 25th International Colloquium, SIROCCO 2018, Ma'ale HaHamisha, Israel, June 18-21, 2018, Revised Selected Papers

Structural Information and Communication Complexity 25th International Colloquium, SIROCCO 2018, Ma'ale HaHamisha, Israel, June 18-21, 2018, Revised Selected Papers

Author

Lotker, Zvi. editor. Patt-Shamir, Boaz. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-01325-7

Format:

Availability

Online Library~1

Available:
Copies:

21.

Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings

Author

Hoshi, Mizuho. editor. Seki, Shinnosuke. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-98654-8

Format:

Availability

Online Library~1

Available:
Copies:

22.

Cover image for Algorithms and Discrete Applied Mathematics 4th International Conference, CALDAM 2018, Guwahati, India, February 15-17, 2018, Proceedings

Algorithms and Discrete Applied Mathematics 4th International Conference, CALDAM 2018, Guwahati, India, February 15-17, 2018, Proceedings

Author

Panda, B.S. editor. Goswami, Partha P. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-74180-2

Format:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for Algorithmic Aspects in Information and Management 12th International Conference, AAIM 2018, Dallas, TX, USA, December 3–4, 2018, Proceedings

Algorithmic Aspects in Information and Management 12th International Conference, AAIM 2018, Dallas, TX, USA, December 3–4, 2018, Proceedings

Author

Tang, Shaojie. editor. Du, Ding-Zhu. editor. Woodruff, David. editor. Butenko, Sergiy. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-04618-7

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for Advanced Concepts for Intelligent Vision Systems 19th International Conference, ACIVS 2018, Poitiers, France, September 24–27, 2018, Proceedings

Advanced Concepts for Intelligent Vision Systems 19th International Conference, ACIVS 2018, Poitiers, France, September 24–27, 2018, Proceedings

Author

Blanc-Talon, Jacques. editor. Helbert, David. editor. Philips, Wilfried. editor. Popescu, Dan. editor. Scheunders, Paul. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-01449-0

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4

	{displayName}	{count}
{error}