Search Results for Computer science

1.

Imaginary Mathematics for Computer Science

Author

Vince, John. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Modelling Computing Systems Mathematics for Computer Science

Author

Moller, Faron. author. Struth, Georg. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332574.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-84800-322-4

Format:

Availability

Online Library~1

Available:
Copies:

3.

Mathematics of Discrete Structures for Computer Science

Author

Pace, Gordon J. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Research in Computer Science 17th African Conference on Research in Computer Science and Applied Mathematics, CARI 2024, Bejaïa, Algeria, November 24-26, 2024, Proceedings

Research in Computer Science 17th African Conference on Research in Computer Science and Applied Mathematics, CARI 2024, Bejaïa, Algeria, November 24-26, 2024, Proceedings

Author

Aissani, Djamil. editor. Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448 Roche, Mathieu. editor. (orcid)0000-0003-3272-8568 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-88226-5

Format:

Availability

Online Library~1

Available:
Copies:

5.

Grammars and automata for string processing : from mathematics and computer science to biology, and back

Author

Martin Vide, Carlos. Mitrana, Victor. Paun, Gheorghe, 1950-

Preferred Shelf Number

QA76 .G6725 2003

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

6.

Maths For Computing A Beginner's Guide

Author

Charatan, Quentin. author. Kans, Aaron. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-69234-5

Format:

Availability

Online Library~1

Available:
Copies:

7.

Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part II

Author

Chen, Yong. editor. Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 Zhang, An. editor. (orcid)0000-0002-2622-5158 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-1093-8

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for WALCOM: Algorithms and Computation 19th International Conference and Workshops on Algorithms and Computation, WALCOM 2025, Chengdu, China, February 28 - March 2, 2025, Proceedings

WALCOM: Algorithms and Computation 19th International Conference and Workshops on Algorithms and Computation, WALCOM 2025, Chengdu, China, February 28 - March 2, 2025, Proceedings

Author

Nakano, Shin-ichi. editor. (orcid)0000-0003-2368-6183 Xiao, Mingyu. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-2845-2

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Creative Mathematical Sciences Communication 7th International Conference, CMSC 2024, Trier, Germany, October 7-10, 2024, Proceedings

Creative Mathematical Sciences Communication 7th International Conference, CMSC 2024, Trier, Germany, October 7-10, 2024, Proceedings

Author

Fernau, Henning. editor. (orcid)0000-0002-4444-3220 Schwank, Inge. editor. (orcid)0000-0003-1546-3369 Staub, Jacqueline. editor. (orcid)0009-0004-7864-5711 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-73257-7

Format:

Availability

Online Library~1

Available:
Copies:

10.

A First Introduction to Quantum Computing and Information

Author

Zygelman, Bernard. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-66425-0

Format:

Availability

Online Library~1

Available:
Copies:

11.

Category Theory Using Haskell An Introduction with Moggi and Yoneda

Author

Yukita, Shuichi. author. (orcid)0009-0006-5297-7501 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-68538-5

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Progress in Cryptology - INDOCRYPT 2024 25th International Conference on Cryptology in India, Chennai, India, December 18-21, 2024, Proceedings, Part I

Progress in Cryptology - INDOCRYPT 2024 25th International Conference on Cryptology in India, Chennai, India, December 18-21, 2024, Proceedings, Part I

Author

Mukhopadhyay, Sourav. editor. Stănică, Pantelimon. editor. (orcid)0000-0002-8622-7120 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-80308-6

Format:

Availability

Online Library~1

Available:
Copies:

13.

Progress in Cryptology - INDOCRYPT 2024 25th International Conference on Cryptology in India, Chennai, India, December 18-21, 2024, Proceedings, Part II

Author

Mukhopadhyay, Sourav. editor. Stănică, Pantelimon. editor. (orcid)0000-0002-8622-7120 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-80311-6

Format:

Availability

Online Library~1

Available:
Copies:

14.

Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part III

Author

Chen, Yong. editor. Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 Zhang, An. editor. (orcid)0000-0002-2622-5158 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-1195-9

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for SOFSEM 2025: Theory and Practice of Computer Science 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025, Proceedings, Part II

SOFSEM 2025: Theory and Practice of Computer Science 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025, Proceedings, Part II

Author

Královič, Rastislav. editor. (orcid)0000-0003-1121-1009 Kůrková, Věra. editor. (orcid)0000-0002-8181-2128 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-82697-9

Format:

Availability

Online Library~1

Available:
Copies:

16.

Multi-valued Logic for Decision-Making Under Uncertainty

Author

Kagan, Evgeny. author. Rybalov, Alexander. author. Yager, Ronald. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-74762-5

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for Evolutionary Computation in Combinatorial Optimization 25th European Conference, EvoCOP 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings

Evolutionary Computation in Combinatorial Optimization 25th European Conference, EvoCOP 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings

Author

Krejca, Martin S. editor. (orcid)0000-0002-1765-1219 Wagner, Markus. editor. (orcid)0000-0002-3124-0061 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-86849-8

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part I

Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part I

Author

García-Sánchez, Pablo. editor. (orcid)0000-0003-4644-2894 Hart, Emma. editor. Thomson, Sarah L. editor. (orcid)0000-0001-6971-7817 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-90062-4

Format:

Availability

Online Library~1

Available:
Copies:

19.

Logic in Computer Science

Author

Zhang, Hantao. author. Zhang, Jian. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-9816-2

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I

Author

Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340 Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-82700-6

Format:

Availability

Online Library~1

Available:
Copies:

21.

SOFSEM 2025: Theory and Practice of Computer Science 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025, Proceedings, Part I

Author

Královič, Rastislav. editor. (orcid)0000-0003-1121-1009 Kůrková, Věra. editor. (orcid)0000-0002-8181-2128 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-82670-2

Format:

Availability

Online Library~1

Available:
Copies:

22.

Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part II

Author

García-Sánchez, Pablo. editor. (orcid)0000-0003-4644-2894 Hart, Emma. editor. Thomson, Sarah L. editor. (orcid)0000-0001-6971-7817 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-90065-5

Format:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for Integration of Constraint Programming, Artificial Intelligence, and Operations Research 22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10-13, 2025, Proceedings, Part I

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10-13, 2025, Proceedings, Part I

Author

Tack, Guido. editor. (orcid)0000-0003-3357-6498 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-95973-8

Format:

Availability

Online Library~1

Available:
Copies:

24.

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10-13, 2025, Proceedings, Part II

Author

Tack, Guido. editor. (orcid)0000-0003-3357-6498 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-95976-9

Format:

Availability

Online Library~1

Available:
Copies:

25.

Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part I

Author

Lees, Michael H. editor. (orcid)0000-0002-5457-9180 Cai, Wentong. editor. (orcid)0000-0002-0183-3835 Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699 Su, Yi. editor. Abramson, David. editor. (orcid)0000-0003-0441-4596

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-97626-1

Format:

Availability

Online Library~1

Available:
Copies:

26.

Languages of Cooperation and Communication Essays Dedicated to Erzsébet Csuhaj-Varjú to Celebrate Her Scientific Career

Author

Jiménez López, M. Dolores. editor. (orcid)0000-0001-5544-3210 Vaszil, György. editor. (orcid)0000-0003-1213-8616 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-97274-4

Format:

Availability

Online Library~1

Available:
Copies:

27.

Cover image for Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part VI

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part VI

Author

Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-97573-8

Format:

Availability

Online Library~1

Available:
Copies:

28.

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IV

Author

Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-97567-7

Format:

Availability

Online Library~1

Available:
Copies:

29.

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part V

Author

Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-97570-7

Format:

Availability

Online Library~1

Available:
Copies:

30.

Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part II

Author

Lees, Michael H. editor. (orcid)0000-0002-5457-9180 Cai, Wentong. editor. (orcid)0000-0002-0183-3835 Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699 Su, Yi. editor. Abramson, David. editor. (orcid)0000-0003-0441-4596

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-97629-2

Format:

Availability

Online Library~1

Available:
Copies:

31.

Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part III

Author

Lees, Michael H. editor. (orcid)0000-0002-5457-9180 Cai, Wentong. editor. (orcid)0000-0002-0183-3835 Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699 Su, Yi. editor. Abramson, David. editor. (orcid)0000-0003-0441-4596

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-97632-2

Format:

Availability

Online Library~1

Available:
Copies:

32.

Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IV

Author

Lees, Michael H. editor. (orcid)0000-0002-5457-9180 Cai, Wentong. editor. (orcid)0000-0002-0183-3835 Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699 Su, Yi. editor. Abramson, David. editor. (orcid)0000-0003-0441-4596

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-97635-3

Format:

Availability

Online Library~1

Available:
Copies:

33.

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part I

Author

Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-97554-7

Format:

Availability

Online Library~1

Available:
Copies:

34.

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part II

Author

Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-97557-8

Format:

Availability

Online Library~1

Available:
Copies:

35.

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part III

Author

Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-97564-6

Format:

Availability

Online Library~1

Available:
Copies:

36.

Cover image for Artificial Life and Evolutionary Computation 18th Italian Workshop, WIVACE 2024, Namur, Belgium, September 11-13, 2024, Revised Selected Papers

Artificial Life and Evolutionary Computation 18th Italian Workshop, WIVACE 2024, Namur, Belgium, September 11-13, 2024, Revised Selected Papers

Author

Carletti, Timoteo. editor. (orcid)0000-0003-2596-4503 Njougouo, Thierry-Sainclair. editor. (orcid)0000-0001-7706-7674 Tuci, Elio. editor. (orcid)0000-0001-7345-671X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-93631-9

Format:

Availability

Online Library~1

Available:
Copies:

37.

Cover image for Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings

Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings

Author

Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611 Kesner, Delia. editor. (orcid)0000-0003-4254-3129 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-90897-2

Format:

Availability

Online Library~1

Available:
Copies:

38.

Cover image for Combinatorial Optimization and Applications 17th International Conference, COCOA 2024, Beijing, China, December 6-8, 2024, Proceedings, Part II

Combinatorial Optimization and Applications 17th International Conference, COCOA 2024, Beijing, China, December 6-8, 2024, Proceedings, Part II

Author

Du, Donglei. editor. Han, Lu. editor. Xu, Dachuan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-4448-3

Format:

Availability

Online Library~1

Available:
Copies:

39.

Combinatorial Optimization and Applications 17th International Conference, COCOA 2024, Beijing, China, December 6-8, 2024, Proceedings, Part I

Author

Du, Donglei. editor. Han, Lu. editor. Xu, Dachuan. editor. (orcid)0000-0002-7846-0969 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-4445-2

Format:

Availability

Online Library~1

Available:
Copies:

40.

Mathematical Tools for Telemedicine

Author

Nichelatti, Michele. author. (orcid)0000-0002-5248-361X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-81709-0

Format:

Availability

Online Library~1

Available:
Copies:

41.

Modelling and Mining Networks 20th International Workshop, WAW 2025, Vilnius, Lithuania, June 30 - July 3, 2025, Proceedings

Author

Bloznelis, Mindaugas. editor. Drungilas, Paulius. editor. Kamiński, Bogumił. editor. Prałat, Paweł. editor. Šileikis, Matas. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-92898-7

Format:

Availability

Online Library~1

Available:
Copies:

42.

Cover image for Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedings

Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedings

Author

Beckmann, Arnold. editor. (orcid)0000-0001-7958-5790 Oitavem, Isabel. editor. (orcid)0000-0002-3573-9281 Manea, Florin. editor. (orcid)0000-0001-6094-3324 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-95908-0

Format:

Availability

Online Library~1

Available:
Copies:

43.

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II

Author

Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340 Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-82703-7

Format:

Availability

Online Library~1

Available:
Copies:

44.

Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part I

Author

Chen, Yong. editor. Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 Zhang, An. editor. (orcid)0000-0002-2622-5158 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-1090-7

Format:

Availability

Online Library~1

Available:
Copies:

45.

Computing and Combinatorics 29th International Conference, COCOON 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part I

Author

Wu, Weili. editor. Tong, Guangmo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-49190-0

Format:

Availability

Online Library~1

Available:
Copies:

46.

Computing and Combinatorics 29th International Conference, COCOON 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part II

Author

Wu, Weili. editor. Tong, Guangmo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-49193-1

Format:

Availability

Online Library~1

Available:
Copies:

47.

Cover image for Combinatorial Optimization and Applications 16th International Conference, COCOA 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part I

Combinatorial Optimization and Applications 16th International Conference, COCOA 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part I

Author

Wu, Weili. editor. Guo, Jianxiong. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-49611-0

Format:

Availability

Online Library~1

Available:
Copies:

48.

Combinatorial Optimization and Applications 16th International Conference, COCOA 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part II

Author

Wu, Weili. editor. (orcid)0000-0001-8747-6340 Guo, Jianxiong. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-49614-1

Format:

Availability

Online Library~1

Available:
Copies:

49.

Incentive Mechanism for Mobile Crowdsensing A Game-theoretic Approach

Author

Li, Youqi. author. (orcid)0000-0003-3867-5997 Li, Fan. author. (orcid)0000-0002-2348-4488 Yang, Song. author. Zhang, Chuan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-6921-0

Format:

Availability

Online Library~1

Available:
Copies:

50.

Cover image for Advanced Computational Applications of Geometric Algebra First International Conference, ICACGA 2022, Denver, CO, USA, October 2-5, 2022, Proceedings

Advanced Computational Applications of Geometric Algebra First International Conference, ICACGA 2022, Denver, CO, USA, October 2-5, 2022, Proceedings

Author

Silva, David W. editor. (orcid)0000-0003-4498-0525 Hitzer, Eckhard. editor. Hildenbrand, Dietmar. editor. (orcid)0000-0002-6384-4345 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-34031-4

Format:

Availability

Online Library~1

Available:
Copies:

51.

Cover image for SOFSEM 2024: Theory and Practice of Computer Science 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19-23, 2024, Proceedings

SOFSEM 2024: Theory and Practice of Computer Science 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19-23, 2024, Proceedings

Author

Fernau, Henning. editor. (orcid)0000-0002-4444-3220 Gaspers, Serge. editor. (orcid)0000-0002-6947-9238 Klasing, Ralf. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-52113-3

Format:

Availability

Online Library~1

Available:
Copies:

52.

Cover image for Explainable Artificial Intelligence and Process Mining Applications for Healthcare Third International Workshop, XAI-Healthcare 2023, and First International Workshop, PM4H 2023, Portoroz, Slovenia, June 15, 2023, Proceedings

Explainable Artificial Intelligence and Process Mining Applications for Healthcare Third International Workshop, XAI-Healthcare 2023, and First International Workshop, PM4H 2023, Portoroz, Slovenia, June 15, 2023, Proceedings

Author

Juarez, Jose M. editor. (orcid)0000-0003-1776-1992 Fernandez-Llatas, Carlos. editor. (orcid)0000-0002-2819-5597 Bielza, Concha. editor. (orcid)0000-0001-7109-2668 Johnson, Owen. editor. (orcid)0000-0003-3998-541X Kocbek, Primoz. editor. (orcid)0000-0002-9064-5085

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-54303-6

Format:

Availability

Online Library~1

Available:
Copies:

53.

Cover image for WALCOM: Algorithms and Computation 18th International Conference and Workshops on Algorithms and Computation, WALCOM 2024, Kanazawa, Japan, March 18-20, 2024, Proceedings

WALCOM: Algorithms and Computation 18th International Conference and Workshops on Algorithms and Computation, WALCOM 2024, Kanazawa, Japan, March 18-20, 2024, Proceedings

Author

Uehara, Ryuhei. editor. (orcid)0000-0003-0895-3765 Yamanaka, Katsuhisa. editor. Yen, Hsu-Chun. editor. (orcid)0000-0002-1764-1950 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-0566-5

Format:

Availability

Online Library~1

Available:
Copies:

54.

LATIN 2024: Theoretical Informatics 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part I

Author

Soto, José A. editor. Wiese, Andreas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-55598-5

Format:

Availability

Online Library~1

Available:
Copies:

55.

LATIN 2024: Theoretical Informatics 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part II

Author

Soto, José A. editor. Wiese, Andreas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-55601-2

Format:

Availability

Online Library~1

Available:
Copies:

56.

Cover image for Applications of Evolutionary Computation 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Part I

Applications of Evolutionary Computation 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Part I

Author

Smith, Stephen. editor. Correia, João. editor. Cintrano, Christian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-56852-7

Format:

Availability

Online Library~1

Available:
Copies:

57.

Cover image for Bio-Inspired Computing: Theories and Applications 18th International Conference, BIC-TA 2023, Changsha, China, December 15-17, 2023, Revised Selected Papers, Part I

Bio-Inspired Computing: Theories and Applications 18th International Conference, BIC-TA 2023, Changsha, China, December 15-17, 2023, Revised Selected Papers, Part I

Author

Pan, Linqiang. editor. (orcid)0000-0002-4554-455X Wang, Yong. editor. (orcid)0000-0001-7670-3958 Lin, Jianqing. editor. (orcid)0000-0002-9332-4746 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-2272-3

Format:

Availability

Online Library~1

Available:
Copies:

58.

Bio-Inspired Computing: Theories and Applications 18th International Conference, BIC-TA 2023, Changsha, China, December 15-17, 2023, Revised Selected Papers, Part II

Author

Pan, Linqiang. editor. (orcid)0000-0002-4554-455X Wang, Yong. editor. (orcid)0000-0001-7670-3958 Lin, Jianqing. editor. (orcid)0000-0002-9332-4746 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-2275-4

Format:

Availability

Online Library~1

Available:
Copies:

59.

Cover image for Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

Author

Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-57231-9

Format:

Availability

Online Library~1

Available:
Copies:

60.

Cover image for Progress in Cryptology - INDOCRYPT 2023 24th International Conference on Cryptology in India, Goa, India, December 10-13, 2023, Proceedings, Part I

Progress in Cryptology - INDOCRYPT 2023 24th International Conference on Cryptology in India, Goa, India, December 10-13, 2023, Proceedings, Part I

Author

Chattopadhyay, Anupam. editor. (orcid)0000-0002-8818-6983 Bhasin, Shivam. editor. Picek, Stjepan. editor. Rebeiro, Chester. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-56232-7

Format:

Availability

Online Library~1

Available:
Copies:

61.

Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday

Author

Capretta, Venanzio. editor. (orcid)0000-0003-1220-7706 Krebbers, Robbert. editor. Wiedijk, Freek. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-61716-4

Format:

Availability

Online Library~1

Available:
Copies:

62.

Cover image for Large-Scale Scientific Computations 14th International Conference, LSSC 2023, Sozopol, Bulgaria, June 5-9, 2023, Revised Selected Papers

Large-Scale Scientific Computations 14th International Conference, LSSC 2023, Sozopol, Bulgaria, June 5-9, 2023, Revised Selected Papers

Author

Lirkov, Ivan. editor. (orcid)0000-0002-5870-2588 Margenov, Svetozar. editor. (orcid)0000-0001-8858-831X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-56208-2

Format:

Availability

Online Library~1

Available:
Copies:

63.

Cover image for Integration of Constraint Programming, Artificial Intelligence, and Operations Research 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024, Proceedings, Part II

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024, Proceedings, Part II

Author

Dilkina, Bistra. editor. (orcid)0000-0002-6784-473X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-60599-4

Format:

Availability

Online Library~1

Available:
Copies:

64.

Metaheuristics 15th International Conference, MIC 2024, Lorient, France, June 4-7, 2024, Proceedings, Part I

Author

Sevaux, Marc. editor. Olteanu, Alexandru-Liviu. editor. Pardo, Eduardo G. editor. (orcid)0000-0002-6247-5269 Sifaleras, Angelo. editor. (orcid)0000-0002-5696-7021 Makboul, Salma. editor. (orcid)0000-0002-6423-2367

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-62912-9

Format:

Availability

Online Library~1

Available:
Copies:

65.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VI

Author

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-63778-0

Format:

Availability

Online Library~1

Available:
Copies:

66.

Solving Ordinary Differential Equations in Python

Author

Sundnes, Joakim. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-46768-4

Format:

Availability

Online Library~1

Available:
Copies:

67.

Cover image for Advances in Optimization and Applications 14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18-22, 2023, Revised Selected Papers

Advances in Optimization and Applications 14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18-22, 2023, Revised Selected Papers

Author

Olenev, Nicholas. editor. (orcid)0000-0002-1032-2455 Evtushenko, Yuri. editor. (orcid)0000-0002-6094-7808 Jaćimović, Milojica. editor. (orcid)0000-0002-7068-8563 Khachay, Michael. editor. (orcid)0000-0003-3555-0080 Malkova, Vlasta. editor. (orcid)0000-0002-7928-512X

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-48751-4

Format:

Availability

Online Library~1

Available:
Copies:

68.

Cover image for Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II

Author

Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-50521-8

Format:

Availability

Online Library~1

Available:
Copies:

69.

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I

Author

Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-50524-9

Format:

Availability

Online Library~1

Available:
Copies:

70.

Advances in Computer Games 18th International Conference, ACG 2023, Virtual Event, November 28-30, 2023, Revised Selected Papers

Author

Hartisch, Michael. editor. (orcid)0000-0001-6304-4973 Hsueh, Chu-Hsuan. editor. (orcid)0000-0001-8888-3116 Schaeffer, Jonathan. editor. (orcid)0009-0007-3735-5947 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-54968-7

Format:

Availability

Online Library~1

Available:
Copies:

71.

Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I

Author

Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-57228-9

Format:

Availability

Online Library~1

Available:
Copies:

72.

Modelling and Mining Networks 19th International Workshop, WAW 2024, Warsaw, Poland, June 3-6, 2024, Proceedings

Author

Dewar, Megan. editor. Kamiński, Bogumił. editor. (orcid)0000-0002-0678-282X Kaszyński, Daniel. editor. Kraiński, Łukasz. editor. Prałat, Paweł. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-59205-8

Format:

Availability

Online Library~1

Available:
Copies:

73.

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024, Proceedings, Part I

Author

Dilkina, Bistra. editor. (orcid)0000-0002-6784-473X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-60597-0

Format:

Availability

Online Library~1

Available:
Copies:

74.

Metaheuristics 15th International Conference, MIC 2024, Lorient, France, June 4-7, 2024, Proceedings, Part II

Author

Sevaux, Marc. editor. Olteanu, Alexandru-Liviu. editor. Pardo, Eduardo G. editor. (orcid)0000-0002-6247-5269 Sifaleras, Angelo. editor. (orcid)0000-0002-5696-7021 Makboul, Salma. editor. (orcid)0000-0002-6423-2367

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-62922-8

Format:

Availability

Online Library~1

Available:
Copies:

75.

Mathematics in Programming

Author

Liu, Xinyu. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-2432-1

Format:

Availability

Online Library~1

Available:
Copies:

76.

Cover image for Implementation and Application of Automata 28th International Conference, CIAA 2024, Akita, Japan, September 3-6, 2024, Proceedings

Implementation and Application of Automata 28th International Conference, CIAA 2024, Akita, Japan, September 3-6, 2024, Proceedings

Author

Fazekas, Szilárd Zsolt. editor. (orcid)0000-0001-5319-0395 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-71112-1

Format:

Availability

Online Library~1

Available:
Copies:

77.

Cover image for Metaheuristics and Nature Inspired Computing 9th International Conference, META 2023, Marrakech, Morocco, November 1-4, 2023, Revised Selected Papers

Metaheuristics and Nature Inspired Computing 9th International Conference, META 2023, Marrakech, Morocco, November 1-4, 2023, Revised Selected Papers

Author

Dorronsoro, Bernabé. editor. (orcid)0000-0003-0481-790X Ellaia, Rachid. editor. (orcid)0000-0003-0372-1666 Talbi, El-Ghazali. editor. (orcid)0000-0003-4549-1010 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-69257-4

Format:

Availability

Online Library~1

Available:
Copies:

78.

Cover image for Algorithmic Aspects in Information and Management 18th International Conference, AAIM 2024, Virtual Event, September 21-23, 2024, Proceedings, Part I

Algorithmic Aspects in Information and Management 18th International Conference, AAIM 2024, Virtual Event, September 21-23, 2024, Proceedings, Part I

Author

Ghosh, Smita. editor. (orcid)0000-0002-7026-1826 Zhang, Zhao. editor. (orcid)0000-0003-4191-7598 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-7798-3

Format:

Availability

Online Library~1

Available:
Copies:

79.

Algorithmic Aspects in Information and Management 18th International Conference, AAIM 2024, Virtual Event, September 21-23, 2024, Proceedings, Part II

Author

Ghosh, Smita. editor. (orcid)0000-0002-7026-1826 Zhang, Zhao. editor. (orcid)0000-0003-4191-7598 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-7801-0

Format:

Availability

Online Library~1

Available:
Copies:

80.

Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings

Author

Kovács, Laura. editor. (orcid)0000-0002-8299-2714 Sokolova, Ana. editor. (orcid)0000-0002-8384-3438 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-72621-7

Format:

Availability

Online Library~1

Available:
Copies:

81.

Cover image for Evolutionary Computation in Combinatorial Optimization 24th European Conference, EvoCOP 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings

Evolutionary Computation in Combinatorial Optimization 24th European Conference, EvoCOP 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings

Author

Stützle, Thomas. editor. Wagner, Markus. editor. (orcid)0000-0002-3124-0061 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-57712-3

Format:

Availability

Online Library~1

Available:
Copies:

82.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part II

Author

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-63751-3

Format:

Availability

Online Library~1

Available:
Copies:

83.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part IV

Author

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-63772-8

Format:

Availability

Online Library~1

Available:
Copies:

84.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part V

Author

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-63775-9

Format:

Availability

Online Library~1

Available:
Copies:

85.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part I

Author

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-63749-0

Format:

Availability

Online Library~1

Available:
Copies:

86.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part III

Author

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-63759-9

Format:

Availability

Online Library~1

Available:
Copies:

87.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VII

Author

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-63783-4

Format:

Availability

Online Library~1

Available:
Copies:

88.

Cover image for Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers

Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers

Author

Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Martí-Oliet, Narciso. editor. (orcid)0000-0002-6576-762X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-65941-6

Format:

Availability

Online Library~1

Available:
Copies:

89.

Cover image for Advances in Swarm Intelligence 15th International Conference on Swarm Intelligence, ICSI 2024, Xining, China, August 23-26, 2024, Proceedings, Part I

Advances in Swarm Intelligence 15th International Conference on Swarm Intelligence, ICSI 2024, Xining, China, August 23-26, 2024, Proceedings, Part I

Author

Tan, Ying. editor. (orcid)0000-0001-8243-4731 Shi, Yuhui. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-7181-3

Format:

Availability

Online Library~1

Available:
Copies:

90.

Advances in Swarm Intelligence 15th International Conference on Swarm Intelligence, ICSI 2024, Xining, China, August 23-26, 2024, Proceedings, Part II

Author

Tan, Ying. editor. (orcid)0000-0001-8243-4731 Shi, Yuhui. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-7184-4

Format:

Availability

Online Library~1

Available:
Copies:

91.

Cover image for Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings

Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings

Author

Hillston, Jane. editor. (orcid)0000-0003-4914-9255 Soudjani, Sadegh. editor. Waga, Masaki. editor. (orcid)0000-0001-9360-7490 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-68416-6

Format:

Availability

Online Library~1

Available:
Copies:

92.

Computational Thinking First Algorithms, Then Code

Author

Ferragina, Paolo. author. Luccio, Fabrizio. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-59922-4

Format:

Availability

Online Library~1

Available:
Copies:

93.

Applications of Evolutionary Computation 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Part II

Author

Smith, Stephen. editor. Correia, João. editor. Cintrano, Christian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-56855-8

Format:

Availability

Online Library~1

Available:
Copies:

94.

Progress in Cryptology - INDOCRYPT 2023 24th International Conference on Cryptology in India, Goa, India, December 10-13, 2023, Proceedings, Part II

Author

Chattopadhyay, Anupam. editor. (orcid)0000-0002-8818-6983 Bhasin, Shivam. editor. Picek, Stjepan. editor. Rebeiro, Chester. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-56235-8

Format:

Availability

Online Library~1

Available:
Copies:

95.

Theory and Applications of Models of Computation 18th Annual Conference, TAMC 2024, Hong Kong, China, May 13-15, 2024, Proceedings

Author

Chen, Xujin. editor. (orcid)0000-0001-7844-5411 Li, Bo. editor. (orcid)0000-0001-7500-8355 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-2340-9

Format:

Availability

Online Library~1

Available:
Copies:

96.

Cover image for Artificial Life and Evolutionary Computation 17th Italian Workshop, WIVACE 2023, Venice, Italy, September 6-8, 2023, Revised Selected Papers

Artificial Life and Evolutionary Computation 17th Italian Workshop, WIVACE 2023, Venice, Italy, September 6-8, 2023, Revised Selected Papers

Author

Villani, Marco. editor. (orcid)0000-0002-5991-5470 Cagnoni, Stefano. editor. Serra, Roberto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-57430-6

Format:

Availability

Online Library~1

Available:
Copies:

97.

Infrared Small Target Detection Theory, Methods, and Algorithms.

Author

Zhu, Hu. author. Pan, Yushan. author. (orcid)0000-0002-6877-3937 Deng, Lizhen. author. Xu, Guoxia. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-9799-2

Format:

Availability

Online Library~1

Available:
Copies:

98.

Computability and Complexity Foundations and Tools for Pursuing Scientific Applications

Author

Downey, Rod. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-53744-8

Format:

Availability

Online Library~1

Available:
Copies:

99.

Computer Algebra in Scientific Computing 21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, Proceedings

Author

England, Matthew. editor. (orcid)0000-0001-5729-3420 Koepf, Wolfram. editor. Sadykov, Timur M. editor. (orcid)0000-0003-0741-2318 Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-26831-2

Format:

Availability

Online Library~1

Available:
Copies:

100.

Analysis for Computer Scientists Foundations, Methods, and Algorithms

Author

Oberguggenberger, Michael. author. (orcid)0000-0002-7340-8651 Ostermann, Alexander. author. (orcid)0000-0003-0194-2481 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

101.

Cover image for High Performance Computing in Science and Engineering Third International Conference, HPCSE 2017, Karolinka, Czech Republic, May 22–25, 2017, Revised Selected Papers

High Performance Computing in Science and Engineering Third International Conference, HPCSE 2017, Karolinka, Czech Republic, May 22–25, 2017, Revised Selected Papers

Author

Kozubek, Tomáš. editor. Čermák, Martin. editor. (orcid)0000-0002-0171-625X Tichý, Petr. editor. (orcid)0000-0001-6008-4056 Blaheta, Radim. editor. Šístek, Jakub. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-97136-0

Format:

Availability

Online Library~1

Available:
Copies:

102.

Epoch Synchronous Overlap Add (ESOLA) A Concatenative Synthesis Procedure for Speech

Author

Datta, Asoke Kumar. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-7016-7

Format:

Availability

Online Library~1

Available:
Copies:

103.

Cover image for Advances in Artificial Life, Evolutionary Computation, and Systems Chemistry 11th Italian Workshop, WIVACE 2016, Fisciano, Italy, October 4-6, 2016, Revised Selected Papers

Advances in Artificial Life, Evolutionary Computation, and Systems Chemistry 11th Italian Workshop, WIVACE 2016, Fisciano, Italy, October 4-6, 2016, Revised Selected Papers

Author

Rossi, Federico. editor. Piotto, Stefano. editor. Concilio, Simona. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

104.

Cover image for Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

Author

Larsen, Kim Guldstrand. editor. Sokolsky, Oleg. editor. Wang, Ji. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

105.

Algorithmic Game Theory 10th International Symposium, SAGT 2017, L'Aquila, Italy, September 12-14, 2017, Proceedings

Author

Bilò, Vittorio. editor. Flammini, Michele. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-66700-3

Format:

Availability

Online Library~1

Available:
Copies:

106.

Modern Language Models and Computation Theory with Applications

Author

Meduna, Alexander. author. Soukup, Ondřej. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

107.

Cover image for Autonomous Agents and Multiagent Systems AAMAS 2017 Workshops, Best Papers, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers

Autonomous Agents and Multiagent Systems AAMAS 2017 Workshops, Best Papers, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers

Author

Sukthankar, Gita. editor. Rodriguez-Aguilar, Juan A. editor. (orcid)0000-0002-2940-6886 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

108.

Cover image for Computer Algebra in Scientific Computing 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings

Computer Algebra in Scientific Computing 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings

Author

Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-66320-3

Format:

Availability

Online Library~1

Available:
Copies:

109.

Cover image for Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior, and Denotational Semantics

Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior, and Denotational Semantics

Author

Draheim, Dirk. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-642-55198-7

Format:

Availability

Online Library~1

Available:
Copies:

110.

Cover image for Algorithms for Sensor Systems 12th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2016, Aarhus, Denmark, August 25-26, 2016, Revised Selected Papers

Algorithms for Sensor Systems 12th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2016, Aarhus, Denmark, August 25-26, 2016, Revised Selected Papers

Author

Chrobak, Marek. editor. Fernández Anta, Antonio. editor. Gąsieniec, Leszek. editor. Klasing, Ralf. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

111.

On Sets and Graphs Perspectives on Logic and Combinatorics

Author

Omodeo, Eugenio G. author. Policriti, Alberto. author. Tomescu, Alexandru I. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

112.

Cover image for Fetal, Infant and Ophthalmic Medical Image Analysis International Workshop, FIFI 2017, and 4th International Workshop, OMIA 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 14, Proceedings

Fetal, Infant and Ophthalmic Medical Image Analysis International Workshop, FIFI 2017, and 4th International Workshop, OMIA 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 14, Proceedings

Author

Cardoso, M. Jorge. editor. Arbel, Tal. editor. Melbourne, Andrew. editor. Bogunovic, Hrvoje. editor. Moeskops, Pim. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-67561-9

Format:

Availability

Online Library~1

Available:
Copies:

113.

Business Process Management 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings

Author

Carmona, Josep. editor. Engels, Gregor. editor. Kumar, Akhil. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

114.

Space in Weak Propositional Proof Systems

Author

Bonacina, Ilario. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

115.

Generalized Jeffrey Conditionalization A Frequentist Semantics of Partial Conditionalization

Author

Draheim, Dirk. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

116.

Cover image for Computer Science - Theory and Applications 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings

Computer Science - Theory and Applications 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings

Author

Weil, Pascal. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-58747-9

Format:

Availability

Online Library~1

Available:
Copies:

117.

Cover image for Unveiling Dynamics and Complexity 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings

Unveiling Dynamics and Complexity 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings

Author

Kari, Jarkko. editor. Manea, Florin. editor. Petre, Ion. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

118.

Fundamentals of Computation Theory 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings

Author

Klasing, Ralf. editor. Zeitoun, Marc. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-55751-8

Format:

Availability

Online Library~1

Available:
Copies:

119.

Applied Logic for Computer Scientists Computational Deduction and Formal Proofs

Author

Ayala-Rincón, Mauricio. author. de Moura, Flávio L. C. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-51653-0

Format:

Availability

Online Library~1

Available:
Copies:

120.

Cover image for Advances in Cryptology - ASIACRYPT 2017 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part III

Advances in Cryptology - ASIACRYPT 2017 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part III

Author

Takagi, Tsuyoshi. editor. Peyrin, Thomas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

121.

String Analysis for Software Verification and Security

Author

Bultan, Tevfik. author. Yu, Fang. author. Alkhalaf, Muath. author. Aydin, Abdulbaki. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

122.

Genetic Programming 20th European Conference, EuroGP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings

Author

McDermott, James. editor. Castelli, Mauro. editor. Sekanina, Lukas. editor. Haasdijk, Evert. editor. García-Sánchez, Pablo. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-55696-3

Format:

Availability

Online Library~1

Available:
Copies:

123.

Scalable Uncertainty Management 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings

Author

Moral, Serafín. editor. Pivert, Olivier. editor. Sánchez, Daniel. editor. Marín, Nicolás. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

124.

Cover image for Computational Intelligence Methods for Bioinformatics and Biostatistics 13th International Meeting, CIBB 2016, Stirling, UK, September 1-3, 2016, Revised Selected Papers

Computational Intelligence Methods for Bioinformatics and Biostatistics 13th International Meeting, CIBB 2016, Stirling, UK, September 1-3, 2016, Revised Selected Papers

Author

Bracciali, Andrea. editor. (orcid)0000-0003-1451-9260 Caravagna, Giulio. editor. Gilbert, David. editor. Tagliaferri, Roberto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

125.

Cover image for Advances in Computer Games 15th International Conferences, ACG 2017, Leiden, The Netherlands, July 3-5, 2017, Revised Selected Papers

Advances in Computer Games 15th International Conferences, ACG 2017, Leiden, The Netherlands, July 3-5, 2017, Revised Selected Papers

Author

Winands, Mark H.M. editor. (orcid)0000-0002-0125-0824 van den Herik, H. Jaap. editor. Kosters, Walter A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

126.

Developments in Language Theory 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings

Author

Charlier, Émilie. editor. Leroy, Julien. editor. Rigo, Michel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

127.

Advances in Cryptology - ASIACRYPT 2017 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part II

Author

Takagi, Tsuyoshi. editor. Peyrin, Thomas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-70697-9

Format:

Availability

Online Library~1

Available:
Copies:

128.

Cover image for Computer Games 5th Workshop on Computer Games, CGW 2016, and 5th Workshop on General Intelligence in Game-Playing Agents, GIGA 2016, Held in Conjunction with the 25th International Conference on Artificial Intelligence, IJCAI 2016, New York, USA, July 9-10, 2016, Revised Selected Papers

Computer Games 5th Workshop on Computer Games, CGW 2016, and 5th Workshop on General Intelligence in Game-Playing Agents, GIGA 2016, Held in Conjunction with the 25th International Conference on Artificial Intelligence, IJCAI 2016, New York, USA, July 9-10, 2016, Revised Selected Papers

Author

Cazenave, Tristan. editor. Winands, Mark H.M. editor. (orcid)0000-0002-0125-0824 Edelkamp, Stefan. editor. Schiffel, Stephan. editor. Thielscher, Michael. editor. (orcid)0000-0003-0885-2702

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

129.

Computer Performance Engineering 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings

Author

Reinecke, Philipp. editor. Di Marco, Antinisca. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

130.

ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

Author

Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Langerak, Rom. editor. Rensink, Arend. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-68270-9

Format:

Availability

Online Library~1

Available:
Copies:

131.

Advances in Cryptology - ASIACRYPT 2017 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part I

Author

Takagi, Tsuyoshi. editor. Peyrin, Thomas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

132.

Quantitative Evaluation of Systems 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings

Author

Bertrand, Nathalie. editor. (orcid)0000-0002-9957-5394 Bortolussi, Luca. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

133.

Cover image for Theory and Applications of Models of Computation 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings

Theory and Applications of Models of Computation 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings

Author

Gopal, T.V. editor. Jäger, Gerhard. editor. Steila, Silvia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

134.

Logic, Rationality, and Interaction 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings

Author

Baltag, Alexandru. editor. Seligman, Jeremy. editor. Yamada, Tomoyuki. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-55665-8

Format:

Availability

Online Library~1

Available:
Copies:

135.

DNA Computing and Molecular Programming 23rd International Conference, DNA 23, Austin, TX, USA, September 24-28, 2017, Proceedings

Author

Brijder, Robert. editor. Qian, Lulu. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

136.

Cover image for Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings

Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings

Author

Höfner, Peter. editor. Pous, Damien. editor. Struth, Georg. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-57418-9

Format:

Availability

Online Library~1

Available:
Copies:

137.

Cover image for Cellular Automata and Discrete Complex Systems 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings

Cellular Automata and Discrete Complex Systems 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings

Author

Dennunzio, Alberto. editor. Formenti, Enrico. editor. Manzoni, Luca. editor. Porreca, Antonio E. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

138.

Cover image for Evolutionary Computation in Combinatorial Optimization 17th European Conference, EvoCOP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings

Evolutionary Computation in Combinatorial Optimization 17th European Conference, EvoCOP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings

Author

Hu, Bin. editor. López-Ibáñez, Manuel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

139.

Computability and Complexity Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday

Author

Day, Adam. editor. Fellows, Michael. editor. Greenberg, Noam. editor. Khoussainov, Bakhadyr. editor. Melnikov, Alexander. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

140.

Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

Author

Ghosh, Sujata. editor. Prasad, Sanjiva. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-54069-5

Format:

Availability

Online Library~1

Available:
Copies:

141.

Cover image for Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings

Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings

Author

Balduccini, Marcello. editor. Janhunen, Tomi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

142.

Cover image for High Performance Computing for Computational Science - VECPAR 2016 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers

High Performance Computing for Computational Science - VECPAR 2016 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers

Author

Dutra, Inês. editor. Camacho, Rui. editor. Barbosa, Jorge. editor. Marques, Osni. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

143.

The Incomputable Journeys Beyond the Turing Barrier

Author

Cooper, S. Barry. editor. Soskova, Mariya I. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

144.

Rendezvous in Distributed Systems Theory, Algorithms and Applications

Author

Gu, Zhaoquan. author. Wang, Yuexuan. author. Hua, Qiang-Sheng. author. Lau, Francis C.M. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-3680-4

Format:

Availability

Online Library~1

Available:
Copies:

145.

Cover image for Symbolic and Quantitative Approaches to Reasoning with Uncertainty 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings

Author

Antonucci, Alessandro. editor. Cholvy, Laurence. editor. Papini, Odile. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-61581-3

Format:

Availability

Online Library~1

Available:
Copies:

146.

Seminal Contributions to Modelling and Simulation 30 Years of the European Council of Modelling and Simulation

Author

Al-Begain, Khalid. editor. Bargiela, Andrzej. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-33786-9

Format:

Availability

Online Library~1

Available:
Copies:

147.

Cover image for Mathematical Aspects of Computer and Information Sciences 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers

Mathematical Aspects of Computer and Information Sciences 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers

Author

Kotsireas, Ilias S. editor. (orcid)0000-0003-2126-8383 Rump, Siegfried M. editor. Yap, Chee K. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

148.

DNA Computing and Molecular Programming 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedings

Author

Rondelez, Yannick. editor. Woods, Damien. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

149.

Cover image for Advances in Artificial Life, Evolutionary Computation and Systems Chemistry 10th Italian Workshop, WIVACE 2015, Bari, Italy, September 22-25, 2015, Revised Selected Papers

Advances in Artificial Life, Evolutionary Computation and Systems Chemistry 10th Italian Workshop, WIVACE 2015, Bari, Italy, September 22-25, 2015, Revised Selected Papers

Author

Rossi, Federico. editor. Mavelli, Fabio. editor. Stano, Pasquale. editor. Caivano, Danilo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

150.

Frontiers in Algorithmics 10th International Workshop, FAW 2016, Qingdao, China, June 30- July 2, 2016, Proceedings

Author

Zhu, Daming. editor. Bereg, Sergey. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

151.

Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings

Author

Olivetti, Nicola. editor. Tiwari, Ashish. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

152.

Topics in Grammatical Inference

Author

Heinz, Jeffrey. editor. Sempere, José M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-48395-4

Format:

Availability

Online Library~1

Available:
Copies:

153.

Directed Algebraic Topology and Concurrency

Author

Fajstrup, Lisbeth. author. Goubault, Eric. author. Haucourt, Emmanuel. author. Mimram, Samuel. author. Raussen, Martin. author.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

154.

Computing and Combinatorics 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings

Author

Dinh, Thang N. editor. Thai, My T. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

155.

Computer Performance Engineering 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings

Author

Fiems, Dieter. editor. Paolieri, Marco. editor. Platis, Agapios N. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

156.

Cover image for Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings

Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings

Author

Väänänen, Jouko. editor. Hirvonen, Åsa. editor. de Queiroz, Ruy. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-52921-8

Format:

Availability

Online Library~1

Available:
Copies:

157.

Cover image for Foundational and Practical Aspects of Resource Analysis 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers

Foundational and Practical Aspects of Resource Analysis 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers

Author

van Eekelen, Marko. editor. Dal Lago, Ugo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-46559-3

Format:

Availability

Online Library~1

Available:
Copies:

158.

Parallel Problem Solving from Nature - PPSN XIV 14th International Conference, Edinburgh, UK, September 17-21, 2016, Proceedings

Author

Handl, Julia. editor. Hart, Emma. editor. Lewis, Peter R. editor. López-Ibáñez, Manuel. editor. Ochoa, Gabriela. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

159.

Cover image for Theory and Applications of Satisfiability Testing - SAT 2016 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings

Theory and Applications of Satisfiability Testing - SAT 2016 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings

Author

Creignou, Nadia. editor. Le Berre, Daniel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

160.

Algorithmic Game Theory 9th International Symposium, SAGT 2016, Liverpool, UK, September 19-21, 2016, Proceedings

Author

Gairing, Martin. editor. Savani, Rahul. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-53354-3

Format:

Availability

Online Library~1

Available:
Copies:

161.

Cover image for Advances in Cryptology - ASIACRYPT 2016 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016, Proceedings, Part I

Advances in Cryptology - ASIACRYPT 2016 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016, Proceedings, Part I

Author

Cheon, Jung Hee. editor. Takagi, Tsuyoshi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-53887-6

Format:

Availability

Online Library~1

Available:
Copies:

162.

Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity

Author

Skrzypczak, Michał. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-52947-8

Format:

Availability

Online Library~1

Available:
Copies:

163.

Cover image for Information Technologies and Mathematical Modelling: Queueing Theory and Applications 15th International Scientific Conference, ITMM 2016, named after A.F. Terpugov, Katun, Russia, September 12-16, 2016. Proceedings

Information Technologies and Mathematical Modelling: Queueing Theory and Applications 15th International Scientific Conference, ITMM 2016, named after A.F. Terpugov, Katun, Russia, September 12-16, 2016. Proceedings

Author

Dudin, Alexander. editor. (orcid)0000-0003-2881-0227 Gortsev, Alexander. editor. Nazarov, Anatoly. editor. (orcid)0000-0002-5097-5629 Yakupov, Rafael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

164.

Genetic Programming 19th European Conference, EuroGP 2016, Porto, Portugal, March 30 - April 1, 2016, Proceedings

Author

Heywood, Malcolm I. editor. McDermott, James. editor. Castelli, Mauro. editor. Costa, Ernesto. editor. Sim, Kevin. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

165.

Cover image for Topics in Theoretical Computer Science The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers

Topics in Theoretical Computer Science The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers

Author

Hajiaghayi, Mohammed Taghi. editor. Mousavi, Mohammad Reza. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

166.

Cover image for Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures

Author

Bernardo, Marco. editor. De Nicola, Rocco. editor. Hillston, Jane. editor. (orcid)0000-0003-4914-9255 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

167.

Theoretical Aspects of Computing - ICTAC 2016 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings

Author

Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X Wang, Farn. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

168.

Cover image for Computer Games Fourth Workshop on Computer Games, CGW 2015, and the Fourth Workshop on General Intelligence in Game-Playing Agents, GIGA 2015, Held in Conjunction with the 24th International Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 26-27, 2015, Revised Selected Papers

Computer Games Fourth Workshop on Computer Games, CGW 2015, and the Fourth Workshop on General Intelligence in Game-Playing Agents, GIGA 2015, Held in Conjunction with the 24th International Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 26-27, 2015, Revised Selected Papers

Author

Cazenave, Tristan. editor. (orcid)0000-0003-4669-9374 Winands, Mark H.M. editor. Edelkamp, Stefan. editor. Schiffel, Stephan. editor. Thielscher, Michael. editor. (orcid)0000-0003-0885-2702

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

169.

Cover image for Computational Methods in Systems Biology 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings

Computational Methods in Systems Biology 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings

Author

Bartocci, Ezio. editor. Lio, Pietro. editor. (orcid)0000-0002-0540-5053 Paoletti, Nicola. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-45177-0

Format:

Availability

Online Library~1

Available:
Copies:

170.

Cover image for Evolutionary Computation in Combinatorial Optimization 16th European Conference, EvoCOP 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings

Evolutionary Computation in Combinatorial Optimization 16th European Conference, EvoCOP 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings

Author

Chicano, Francisco. editor. Hu, Bin. editor. García-Sánchez, Pablo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

171.

Cover image for Computer Science - Theory and Applications 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings

Computer Science - Theory and Applications 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings

Author

Kulikov, Alexander S. editor. Woeginger, Gerhard J. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

172.

Cover image for Graph Transformation 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings

Graph Transformation 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings

Author

Echahed, Rachid. editor. Minas, Mark. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

173.

Quantum Interaction 9th International Conference, QI 2015, Filzbach, Switzerland, July 15-17, 2015, Revised Selected Papers

Author

Atmanspacher, Harald. editor. Filk, Thomas. editor. Pothos, Emmanuel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

174.

Cover image for Cellular Automata and Discrete Complex Systems 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings

Cellular Automata and Discrete Complex Systems 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings

Author

Cook, Matthew. editor. Neary, Turlough. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

175.

LATIN 2016: Theoretical Informatics 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings

Author

Kranakis, Evangelos. editor. (orcid)0000-0002-8959-4428 Navarro, Gonzalo. editor. Chávez, Edgar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-49529-2

Format:

Availability

Online Library~1

Available:
Copies:

176.

Turing Computability Theory and Applications

Author

Soare, Robert I. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

177.

Encyclopedia of Algorithms

Author

Kao, Ming-Yang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-1-4939-2864-4

Format:

Availability

Online Library~1

Available:
Copies:

178.

Algorithm Engineering Selected Results and Surveys

Author

Kliemann, Lasse. editor. Sanders, Peter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

179.

An Introduction to Online Computation Determinism, Randomization, Advice

Author

Komm, Dennis. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

180.

Cover image for Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings

Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings

Author

Dediu, Adrian-Horia. editor. Janoušek, Jan. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-30000-9

Format:

Availability

Online Library~1

Available:
Copies:

181.

Finitely Supported Mathematics An Introduction

Author

Alexandru, Andrei. author. Ciobanu, Gabriel. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

182.

Theory of Cryptography 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part II

Author

Kushilevitz, Eyal. editor. Malkin, Tal. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-49099-0

Format:

Availability

Online Library~1

Available:
Copies:

183.

Hybrid Metaheuristics 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedings

Author

Blesa, Maria J. editor. Blum, Christian. editor. Cangelosi, Angelo. editor. Cutello, Vincenzo. editor. Di Nuovo, Alessandro. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

184.

Cover image for Computational Intelligence Methods for Bioinformatics and Biostatistics 12th International Meeting, CIBB 2015, Naples, Italy, September 10-12, 2015, Revised Selected Papers

Computational Intelligence Methods for Bioinformatics and Biostatistics 12th International Meeting, CIBB 2015, Naples, Italy, September 10-12, 2015, Revised Selected Papers

Author

Angelini, Claudia. editor. Rancoita, Paola MV. editor. Rovetta, Stefano. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

185.

Cover image for Quantitative Evaluation of Systems 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings

Quantitative Evaluation of Systems 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings

Author

Agha, Gul. editor. Van Houdt, Benny. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

186.

Advances in Cryptology - ASIACRYPT 2016 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016, Proceedings, Part II

Author

Cheon, Jung Hee. editor. Takagi, Tsuyoshi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-53890-6

Format:

Availability

Online Library~1

Available:
Copies:

187.

Cover image for Formal Grammar 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings

Formal Grammar 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings

Author

Foret, Annie. editor. Morrill, Glyn. editor. Muskens, Reinhard. editor. Osswald, Rainer. editor. Pogodalla, Sylvain. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

188.

Cover image for Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers

Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers

Author

Karydis, Ioannis. editor. Sioutas, Spyros. editor. Triantafillou, Peter. editor. Tsoumakos, Dimitrios. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

189.

Transactions on Computational Science XXVII

Author

Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-50412-3

Format:

Availability

Online Library~1

Available:
Copies:

190.

Theory of Cryptography 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part I

Author

Kushilevitz, Eyal. editor. Malkin, Tal. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

191.

Cover image for Learning and Intelligent Optimization 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papers

Learning and Intelligent Optimization 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papers

Author

Festa, Paola. editor. Sellmann, Meinolf. editor. Vanschoren, Joaquin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-50349-3

Format:

Availability

Online Library~1

Available:
Copies:

192.

Cover image for Descriptional Complexity of Formal Systems 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings

Descriptional Complexity of Formal Systems 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings

Author

Câmpeanu, Cezar. editor. Manea, Florin. editor. Shallit, Jeffrey. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-41114-9

Format:

Availability

Online Library~1

Available:
Copies:

193.

Developments in Language Theory 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings

Author

Brlek, Srečko. editor. Reutenauer, Christophe. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

194.

Pursuit of the Universal 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings

Author

Beckmann, Arnold. editor. Bienvenu, Laurent. editor. Jonoska, Nataša. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

195.

Cover image for Dependable Software Engineering: Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings

Dependable Software Engineering: Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings

Author

Fränzle, Martin. editor. Kapur, Deepak. editor. Zhan, Naijun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-47677-3

Format:

Availability

Online Library~1

Available:
Copies:

196.

Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications

Author

O'Regan, Gerard. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

197.

Cover image for Computational History and Data-Driven Humanities Second IFIP WG 12.7 International Workshop, CHDDH 2016, Dublin, Ireland, May 25, 2016, Revised Selected Papers

Computational History and Data-Driven Humanities Second IFIP WG 12.7 International Workshop, CHDDH 2016, Dublin, Ireland, May 25, 2016, Revised Selected Papers

Author

Bozic, Bojan. editor. Mendel-Gleason, Gavin. editor. Debruyne, Christophe. editor. O'Sullivan, Declan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-46224-0

Format:

Availability

Online Library~1

Available:
Copies:

198.

Cover image for Implementation and Application of Automata 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings

Implementation and Application of Automata 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings

Author

Han, Yo-Sub. editor. Salomaa, Kai. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

199.

Engineering Secure Software and Systems 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings

Author

Caballero, Juan. editor. Bodden, Eric. editor. Athanasopoulos, Elias. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

200.

Cover image for Sequences and Their Applications - SETA 2014 8th International Conference, Melbourne, VIC, Australia, November 24-28, 2014, Proceedings

Sequences and Their Applications - SETA 2014 8th International Conference, Melbourne, VIC, Australia, November 24-28, 2014, Proceedings

Author

Schmidt, Kai-Uwe. editor. Winterhof, Arne. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

201.

Cover image for Parameterized and Exact Computation 9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014. Revised Selected Papers

Parameterized and Exact Computation 9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014. Revised Selected Papers

Author

Cygan, Marek. editor. Heggernes, Pinar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-13524-3

Format:

Availability

Online Library~1

Available:
Copies:

202.

Cover image for Advances in Cryptology -- ASIACRYPT 2014 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, China, December 7-11, 2014, Part II

Advances in Cryptology -- ASIACRYPT 2014 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, China, December 7-11, 2014, Part II

Author

Sarkar, Palash. editor. Iwata, Tetsu. editor. (orcid)0000-0002-4729-0979 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-45608-8

Format:

Availability

Online Library~1

Available:
Copies:

203.

Advances in Cryptology -- ASIACRYPT 2014 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, China, December 7-11, 2014, Proceedings, Part I

Author

Sarkar, Palash. editor. Iwata, Tetsu. editor. (orcid)0000-0002-4729-0979 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-45611-8

Format:

Availability

Online Library~1

Available:
Copies:

204.

Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semantics

Author

Majkić, Zoran. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

205.

Algorithms and Computation 25th International Symposium, ISAAC 2014, Jeonju, Korea, December 15-17, 2014, Proceedings

Author

Ahn, Hee-Kap. editor. Shin, Chan-Su. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-13075-0

Format:

Availability

Online Library~1

Available:
Copies:

206.

Cover image for Advances in Artificial Life and Evolutionary Computation 9th Italian Workshop, WIVACE 2014, Vietri sul Mare, Italy, May 14-15, Revised Selected Papers

Advances in Artificial Life and Evolutionary Computation 9th Italian Workshop, WIVACE 2014, Vietri sul Mare, Italy, May 14-15, Revised Selected Papers

Author

Pizzuti, Clara. editor. (orcid)0000-0001-7297-7126 Spezzano, Giandomenico. editor. (orcid)0000-0002-2518-5510 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-12745-3

Format:

Availability

Online Library~1

Available:
Copies:

207.

Network Geeks How They Built the Internet

Author

Carpenter, Brian E. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331120.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-5025-1

Format:

Availability

Online Library~1

Available:
Copies:

208.

Uncertainty Quantification in Computational Fluid Dynamics

Author

Bijl, Hester. editor. Lucor, Didier. editor. Mishra, Siddhartha. editor. Schwab, Christoph. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332813.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-00885-1

Format:

Availability

Online Library~1

Available:
Copies:

209.

Cover image for Combinatorial Optimization and Applications 7th International Conference, COCOA 2013, Chengdu, China, December 12-14, 2013, Proceedings

Combinatorial Optimization and Applications 7th International Conference, COCOA 2013, Chengdu, China, December 12-14, 2013, Proceedings

Author

Widmayer, Peter. editor. Xu, Yinfeng. editor. Zhu, Binhai. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332995.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-03780-6

Format:

Availability

Online Library~1

Available:
Copies:

210.

Graph Drawing 21st International Symposium, GD 2013, Bordeaux, France, September 23-25, 2013, Revised Selected Papers

Author

Wismath, Stephen. editor. Wolff, Alexander. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332997.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

211.

Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings

Author

Baldoni, Roberto. editor. Nisse, Nicolas. editor. Steen, Maarten. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332999.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-03850-6

Format:

Availability

Online Library~1

Available:
Copies:

212.

Cover image for Parameterized and Exact Computation 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers

Parameterized and Exact Computation 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers

Author

Gutin, Gregory. editor. Szeider, Stefan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333005.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-03898-8

Format:

Availability

Online Library~1

Available:
Copies:

213.

Time-Domain Finite Element Methods for Maxwell's Equations in Metamaterials

Author

Li, Jichun. author. Huang, Yunqing. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333751.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

214.

Artificial Boundary Method

Author

Han, Houde. author. Wu, Xiaonan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333987.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

215.

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:

216.

Cover image for Conceptual Structures for STEM Research and Education 20th International Conference on Conceptual Structures, ICCS 2013, Mumbai, India, January 10-12, 2013. Proceedings

Conceptual Structures for STEM Research and Education 20th International Conference on Conceptual Structures, ICCS 2013, Mumbai, India, January 10-12, 2013. Proceedings

Author

Pfeiffer, Heather D. editor. Ignatov, Dmitry I. editor. Poelmans, Jonas. editor. Gadiraju, Nagarjuna. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334048.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

217.

Cover image for SOFSEM 2013: Theory and Practice of Computer Science 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings

SOFSEM 2013: Theory and Practice of Computer Science 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings

Author

Emde Boas, Peter. editor. Groen, Frans C. A. editor. Italiano, Giuseppe F. editor. Nawrocki, Jerzy. editor. Sack, Harald. editor.

Preferred Shelf Number

ONLINE(334064.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

218.

Cover image for Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings

Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings

Author

Bulatov, Andrei A. editor. Shur, Arseny M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334617.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

219.

Cover image for Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings

Author

Gomes, Carla. editor. Sellmann, Meinolf. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334549.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

220.

Cover image for Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

Author

Albert, Elvira. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334552.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

221.

Advances in Swarm Intelligence 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part I

Author

Tan, Ying. editor. Shi, Yuhui. editor. Mo, Hongwei. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334653.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

222.

Advances in Swarm Intelligence 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part II

Author

Tan, Ying. editor. Shi, Yuhui. editor. Mo, Hongwei. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334657.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

223.

Cover image for Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Third Joint International Conference, FAW-AAIM 2013, Dalian, China, June 26-28, 2013. Proceedings

Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Third Joint International Conference, FAW-AAIM 2013, Dalian, China, June 26-28, 2013. Proceedings

Author

Fellows, Michael. editor. Tan, Xuehou. editor. Zhu, Binhai. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334663.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

224.

Advanced Computing

Author

Bader, Michael. editor. Bungartz, Hans-Joachim. editor. Weinzierl, Tobias. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334664.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

225.

Computing and Combinatorics 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings

Author

Du, Ding-Zhu. editor. Zhang, Guochuan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334665.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

226.

Developments in Language Theory 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings

Author

Béal, Marie-Pierre. editor. Carton, Olivier. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334666.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

227.

Condition The Geometry of Numerical Algorithms

Author

Bürgisser, Peter. author. Cucker, Felipe. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334693.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

228.

Combinatorial Pattern Matching 24th Annual Symposium, CPM 2013, Bad Herrenalb, Germany, June 17-19, 2013. Proceedings

Author

Fischer, Johannes. editor. Sanders, Peter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334695.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

229.

Cover image for The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings

The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings

Author

Bonizzoni, Paola. editor. Brattka, Vasco. editor. Löwe, Benedikt. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334718.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

230.

Automata, Languages, and Programming 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I

Author

Fomin, Fedor V. editor. Freivalds, Rūsiņš. editor. Kwiatkowska, Marta. editor. Peleg, David. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334751.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

231.

Automata, Languages, and Programming 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II

Author

Fomin, Fedor V. editor. Freivalds, Rūsiņš. editor. Kwiatkowska, Marta. editor. Peleg, David. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334753.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

232.

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:

233.

Cover image for Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part II

Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part II

Author

Sako, Kazue. editor. Sarkar, Palash. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335160.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

234.

Cryptography and Coding 14th IMA International Conference, IMACC 2013, Oxford, UK, December 17-19, 2013. Proceedings

Author

Stam, Martijn. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335197.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

235.

Combinatorial Algorithms 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers

Author

Lecroq, Thierry. editor. Mouchard, Laurent. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335202.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

236.

Cover image for Computational Geometry and Graphs Thailand-Japan Joint Conference, TJJCCGG 2012, Bangkok, Thailand, December 6-8, 2012, Revised Selected Papers

Computational Geometry and Graphs Thailand-Japan Joint Conference, TJJCCGG 2012, Bangkok, Thailand, December 6-8, 2012, Revised Selected Papers

Author

Akiyama, Jin. editor. Kano, Mikio. editor. Sakai, Toshinori. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335203.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

237.

Cover image for Ubiquitous Social Media Analysis Third International Workshops, MUSE 2012, Bristol, UK, September 24, 2012, and MSM 2012, Milwaukee, WI, USA, June 25, 2012, Revised Selected Papers

Ubiquitous Social Media Analysis Third International Workshops, MUSE 2012, Bristol, UK, September 24, 2012, and MSM 2012, Milwaukee, WI, USA, June 25, 2012, Revised Selected Papers

Author

Atzmueller, Martin. editor. Chin, Alvin. editor. Helic, Denis. editor. Hotho, Andreas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335214.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

238.

Concise Computer Mathematics Tutorials on Theory and Problems

Author

Bagdasar, Ovidiu. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332887.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-01751-8

Format:

Availability

Online Library~1

Available:
Copies:

239.

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:

240.

Complex Sciences Second International Conference, COMPLEX 2012, Santa Fe, NM, USA, December 5-7, 2012, Revised Selected Papers

Author

Glass, Kristin. editor. Colbaugh, Richard. editor. Ormerod, Paul. editor. Tsao, Jeffrey. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332975.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-03473-7

Format:

Availability

Online Library~1

Available:
Copies:

241.

Algorithms and Models for the Web Graph 10th International Workshop, WAW 2013, Cambridge, MA, USA, December 14-15, 2013, Proceedings

Author

Bonato, Anthony. editor. Mitzenmacher, Michael. editor. Prałat, Paweł. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332980.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-03536-9

Format:

Availability

Online Library~1

Available:
Copies:

242.

Cover image for Structural Information and Communication Complexity 20th International Colloquium, SIROCCO 2013, Ischia, Italy, July 1-3, 2013, Revised Selected Papers

Structural Information and Communication Complexity 20th International Colloquium, SIROCCO 2013, Ischia, Italy, July 1-3, 2013, Revised Selected Papers

Author

Moscibroda, Thomas. editor. Rescigno, Adele A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332983.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-03578-9

Format:

Availability

Online Library~1

Available:
Copies:

243.

Cover image for Computer Algebra in Scientific Computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings

Computer Algebra in Scientific Computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings

Author

Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332910.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-02297-0

Format:

Availability

Online Library~1

Available:
Copies:

244.

Cover image for Advances in Information and Computer Security 8th International Workshop on Security, IWSEC 2013, Okinawa, Japan, November 18-20, 2013, Proceedings

Advances in Information and Computer Security 8th International Workshop on Security, IWSEC 2013, Okinawa, Japan, November 18-20, 2013, Proceedings

Author

Sakiyama, Kazuo. editor. Terada, Masayuki. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335098.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

245.

Combinatorial Search: From Algorithms to Systems

Author

Hamadi, Youssef. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335109.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

246.

Algorithms – ESA 2013 21st Annual European Symposium, Sophia Antipolis, France, September 2-4, 2013. Proceedings

Author

Bodlaender, Hans L. editor. Italiano, Giuseppe F. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334947.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

247.

Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

Author

Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334962.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

248.

Cover image for Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings

Author

Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334969.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

249.

Matematica Numerica Esercizi, Laboratori e Progetti

Author

Quarteroni, Alfio. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335646.1)

Electronic Access

http://dx.doi.org/10.1007/978-88-470-5541-4

Format:

Availability

Online Library~1

Available:
Copies:

250.

MARINE 2011, IV International Conference on Computational Methods in Marine Engineering Selected Papers

Author

Eça, Luís. editor. Oñate, Eugenio. editor. García-Espinosa, Julio. editor. Kvamsdal, Trond. editor. Bergan, Pål. editor.

Preferred Shelf Number

ONLINE(336174.1)

Electronic Access

http://dx.doi.org/10.1007/978-94-007-6143-8

Format:

Availability

Online Library~1

Available:
Copies:

251.

Modellbildung und Simulation Eine anwendungsorientierte Einführung

Author

Bungartz, Hans-Joachim. author. Zimmer, Stefan. author. Buchholz, Martin. author. Pflüger, Dirk. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(337284.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

252.

Fundamentals of Discrete Math for Computer Science A Problem-Solving Primer

Author

Jenkyns, Tom. author. Stephenson, Ben. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(330901.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-4069-6

Format:

Availability

Online Library~1

Available:
Copies:

253.

Business Intelligence and Performance Management Theory, Systems and Industrial Applications

Author

Rausch, Peter. editor. Sheta, Alaa F. editor. Ayesh, Aladdin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331082.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-4866-1

Format:

Availability

Online Library~1

Available:
Copies:

254.

Polyhedral and Algebraic Methods in Computational Geometry

Author

Joswig, Michael. author. Theobald, Thorsten. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331067.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-4817-3

Format:

Availability

Online Library~1

Available:
Copies:

255.

Mastering the Discrete Fourier Transform in One, Two or Several Dimensions Pitfalls and Artifacts

Author

Amidror, Isaac. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331163.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-5167-8

Format:

Availability

Online Library~1

Available:
Copies:

256.

A Graduate Introduction to Numerical Methods From the Viewpoint of Backward Error Analysis

Author

Corless, Robert M. author. Fillion, Nicolas. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332417.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-8453-0

Format:

Availability

Online Library~1

Available:
Copies:

257.

Optimization Approaches for Solving String Selection Problems

Author

Pappalardo, Elisa. author. Pardalos, Panos M. author. Stracquadanio, Giovanni. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332467.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-9053-1

Format:

Availability

Online Library~1

Available:
Copies:

258.

Uncertain Fuzzy Preference Relations and Their Applications

Author

Gong, Zaiwu. author. Lin, Yi. author. Yao, Tianxiang. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333185.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

259.

Cover image for Numerical Mathematics and Advanced Applications 2011 Proceedings of ENUMATH 2011, the 9th European Conference on Numerical Mathematics and Advanced Applications, Leicester, September 2011

Numerical Mathematics and Advanced Applications 2011 Proceedings of ENUMATH 2011, the 9th European Conference on Numerical Mathematics and Advanced Applications, Leicester, September 2011

Author

Cangiani, Andrea. editor. Davidchack, Ruslan L. editor. Georgoulis, Emmanuil. editor. Gorban, Alexander N. editor. Levesley, Jeremy. editor.

Preferred Shelf Number

ONLINE(333669.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

260.

Mathematics of Fuzzy Sets and Fuzzy Logic

Author

Bede, Barnabas. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333950.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

261.

Domain Decomposition Methods in Science and Engineering XX

Author

Bank, Randolph. editor. Holst, Michael. editor. Widlund, Olof. editor. Xu, Jinchao. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333957.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

262.

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:

263.

WALCOM: Algorithms and Computation 7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 2013. Proceedings

Author

Ghosh, Subir Kumar. editor. Tokuyama, Takeshi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334112.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

264.

Cover image for Algorithms for Sensor Systems 8th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2012, Ljubljana, Slovenia, September 13-14, 2012. Revised Selected Papers

Algorithms for Sensor Systems 8th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2012, Ljubljana, Slovenia, September 13-14, 2012. Revised Selected Papers

Author

Bar-Noy, Amotz. editor. Halldórsson, Magnús M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334121.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

265.

Business Intelligence Second European Summer School, eBISS 2012, Brussels, Belgium, July 15-21, 2012, Tutorial Lectures

Author

Aufaure, Marie-Aude. editor. Zimányi, Esteban. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334175.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

266.

Mixed Finite Element Methods and Applications

Author

Boffi, Daniele. author. Brezzi, Franco. author. Fortin, Michel. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334224.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

267.

Cover image for Integer Programming and Combinatorial Optimization 16th International Conference, IPCO 2013, Valparaíso, Chile, March 18-20, 2013. Proceedings

Integer Programming and Combinatorial Optimization 16th International Conference, IPCO 2013, Valparaíso, Chile, March 18-20, 2013. Proceedings

Author

Goemans, Michel. editor. Correa, José. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334268.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

268.

Graph Drawing 20th International Symposium, GD 2012, Redmond, WA, USA, September 19-21, 2012, Revised Selected Papers

Author

Didimo, Walter. editor. Patrignani, Maurizio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334284.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

269.

Information Theory, Combinatorics, and Search Theory In Memory of Rudolf Ahlswede

Author

Aydinian, Harout. editor. Cicalese, Ferdinando. editor. Deppe, Christian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334319.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

270.

Cover image for Discrete Geometry for Computer Imagery 17th IAPR International Conference, DGCI 2013, Seville, Spain, March 20-22, 2013. Proceedings

Discrete Geometry for Computer Imagery 17th IAPR International Conference, DGCI 2013, Seville, Spain, March 20-22, 2013. Proceedings

Author

Gonzalez-Diaz, Rocio. editor. Jimenez, Maria-Jose. editor. Medrano, Belen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334356.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

271.

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:

272.

Cover image for Approximation and Online Algorithms 10th International Workshop, WAOA 2012, Ljubljana, Slovenia, September 13-14, 2012, Revised Selected Papers

Approximation and Online Algorithms 10th International Workshop, WAOA 2012, Ljubljana, Slovenia, September 13-14, 2012, Revised Selected Papers

Author

Erlebach, Thomas. editor. Persiano, Giuseppe. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334516.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

273.

Experimental Algorithms 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013. Proceedings

Author

Bonifaci, Vincenzo. editor. Demetrescu, Camil. editor. Marchetti-Spaccamela, Alberto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334615.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

274.

Cover image for Graph-Based Representations in Pattern Recognition 9th IAPR-TC-15 International Workshop, GbRPR 2013, Vienna, Austria, May 15-17, 2013. Proceedings

Graph-Based Representations in Pattern Recognition 9th IAPR-TC-15 International Workshop, GbRPR 2013, Vienna, Austria, May 15-17, 2013. Proceedings

Author

Kropatsch, Walter G. editor. Artner, Nicole M. editor. Haxhimusa, Yll. editor. Jiang, Xiaoyi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334559.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

275.

Algorithms and Complexity 8th International Conference, CIAC 2013, Barcelona, Spain, May 22-24, 2013. Proceedings

Author

Spirakis, Paul G. editor. Serna, Maria. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334563.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

276.

Cover image for Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings

Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings

Author

Jurgensen, Helmut. editor. Reis, Rogério. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334778.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

277.

Mathematics and Computation in Music 4th International Conference, MCM 2013, Montreal, QC, Canada, June 12-14, 2013. Proceedings

Author

Yust, Jason. editor. Wild, Jonathan. editor. Burgoyne, John Ashley. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334789.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

278.

Geometric Science of Information First International Conference, GSI 2013, Paris, France, August 28-30, 2013. Proceedings

Author

Nielsen, Frank. editor. Barbaresco, Frédéric. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334879.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

279.

Advances in Cryptology – CRYPTO 2013 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part I

Author

Canetti, Ran. editor. Garay, Juan A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334881.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

280.

Advances in Cryptology – CRYPTO 2013 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part II

Author

Canetti, Ran. editor. Garay, Juan A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334888.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

281.

Algorithms and Data Structures 13th International Symposium, WADS 2013, London, ON, Canada, August 12-14, 2013. Proceedings

Author

Dehne, Frank. editor. Solis-Oba, Roberto. editor. Sack, Jörg-Rüdiger. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334893.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

282.

Fundamentals of Computation Theory 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings

Author

Gąsieniec, Leszek. editor. Wolter, Frank. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334901.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

283.

Cover image for Advances in Spatial and Temporal Databases 13th International Symposium, SSTD 2013, Munich, Germany, August 21-23, 2013. Proceedings

Advances in Spatial and Temporal Databases 13th International Symposium, SSTD 2013, Munich, Germany, August 21-23, 2013. Proceedings

Author

Nascimento, Mario A. editor. Sellis, Timos. editor. Cheng, Reynold. editor. Sander, Jörg. editor. Zheng, Yu. editor.

Preferred Shelf Number

ONLINE(334915.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

284.

Space-Efficient Data Structures, Streams, and Algorithms Papers in Honor of J. Ian Munro on the Occasion of His 66th Birthday

Author

Brodnik, Andrej. editor. López-Ortiz, Alejandro. editor. Raman, Venkatesh. editor. Viola, Alfredo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334921.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

285.

Cover image for Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings

Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings

Author

Chatterjee, Krishnendu. editor. Sgall, Jirí. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334925.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

286.

Cover image for Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 16th International Workshop, APPROX 2013, and 17th International Workshop, RANDOM 2013, Berkeley, CA, USA, August 21-23, 2013. Proceedings

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 16th International Workshop, APPROX 2013, and 17th International Workshop, RANDOM 2013, Berkeley, CA, USA, August 21-23, 2013. Proceedings

Author

Raghavendra, Prasad. editor. Raskhodnikova, Sofya. editor. Jansen, Klaus. editor. Rolim, José D. P. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334929.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

287.

Algorithms in Bioinformatics 13th International Workshop, WABI 2013, Sophia Antipolis, France, September 2-4, 2013. Proceedings

Author

Darling, Aaron. editor. Stoye, Jens. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334948.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

288.

Number Theory and Cryptography Papers in Honor of Johannes Buchmann on the Occasion of His 60th Birthday

Author

Fischlin, Marc. editor. Katzenbeisser, Stefan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335154.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

289.

Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part I

Author

Sako, Kazue. editor. Sarkar, Palash. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335157.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

290.

Algorithms and Computation 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, Proceedings

Author

Cai, Leizhen. editor. Cheng, Siu-Wing. editor. Lam, Tak-Wah. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335180.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

291.

Cover image for Graph-Theoretic Concepts in Computer Science 39th International Workshop, WG 2013, Lübeck, Germany, June 19-21, 2013, Revised Papers

Graph-Theoretic Concepts in Computer Science 39th International Workshop, WG 2013, Lübeck, Germany, June 19-21, 2013, Revised Papers

Author

Brandstädt, Andreas. editor. Jansen, Klaus. editor. Reischuk, Rüdiger. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335182.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

292.

High-Performance Computing Using FPGAs

Author

Vanderbauwhede, Wim. editor. Benkrid, Khaled. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331283.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-1791-0

Format:

Availability

Online Library~1

Available:
Copies:

293.

State Space Grids Depicting Dynamics Across Development

Author

Hollenstein, Tom. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331646.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-5007-8

Format:

Availability

Online Library~1

Available:
Copies:

294.

Sparse Grids and Applications

Author

Garcke, Jochen. editor. Griebel, Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333475.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

295.

The Finite Element Method: Theory, Implementation, and Applications

Author

Larson, Mats G. author. Bengzon, Fredrik. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333689.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

296.

Cover image for Mathematical Morphology and Its Applications to Signal and Image Processing 11th International Symposium, ISMM 2013, Uppsala, Sweden, May 27-29, 2013. Proceedings

Mathematical Morphology and Its Applications to Signal and Image Processing 11th International Symposium, ISMM 2013, Uppsala, Sweden, May 27-29, 2013. Proceedings

Author

Hendriks, Cris L. Luengo. editor. Borgefors, Gunilla. editor. Strand, Robin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334577.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

297.

Cover image for Advances in Cryptology – EUROCRYPT 2013 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Athens, Greece, May 26-30, 2013. Proceedings

Advances in Cryptology – EUROCRYPT 2013 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Athens, Greece, May 26-30, 2013. Proceedings

Author

Johansson, Thomas. editor. Nguyen, Phong Q. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334587.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

298.

Cover image for Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings

Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings

Author

Schulte, Christian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334980.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

299.

Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings

Author

Muntean, Traian. editor. Poulakis, Dimitrios. editor. Rolland, Robert. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334985.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

300.

Cover image for Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

Author

Ida, Tetsuo. editor. Fleuriot, Jacques. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334987.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}