Limit Search Results
Author
SpringerLink (Online service)
(321)
Cheng, Long. editor. (orcid)0000-0001-7565-8788
(7)
Leung, Andrew Chi Sing. editor.
(7)
Ozawa, Seiichi. editor.
(7)
Freeman, Adam. author.
(4)
Language
Publication Date
-
Subject
Computer Science, general.
(199)
Artificial intelligence.
(79)
Software engineering.
(64)
Computer software.
(42)
Logic design.
(40)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
321 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Computer Algebra in Scientific Computing 21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, Proceedings
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:
2. 
Cover image for Membrane Computing 19th International Conference, CMC 2018, Dresden, Germany, September 4–7, 2018, Revised Selected Papers
Membrane Computing 19th International Conference, CMC 2018, Dresden, Germany, September 4–7, 2018, Revised Selected Papers
Author 
Hinze, Thomas. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Zandron, Claudio. editor. (orcid)0000-0002-2163-7639 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-12797-8
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Theory and Practice of Natural Computing 8th International Conference, TPNC 2019, Kingston, ON, Canada, December 9–11, 2019, Proceedings
Theory and Practice of Natural Computing 8th International Conference, TPNC 2019, Kingston, ON, Canada, December 9–11, 2019, Proceedings
Author 
Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Pond, Geoffrey. editor. (orcid)0000-0001-5069-0845 Vega-Rodríguez, Miguel A. editor. (orcid)0000-0002-3003-758X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-34500-6
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Computing and Software Science State of the Art and Perspectives
Computing and Software Science State of the Art and Perspectives
Author 
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Woeginger, Gerhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91908-9
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Author 
Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-96142-2
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings
Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings
Author 
Dillig, Isil. editor. Palsberg, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-73721-8
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
Author 
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89963-3
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Author 
Ahmed, Amal. editor. (orcid)0000-0001-7424-572X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89884-1
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Formal Grammar 22nd International Conference, FG 2017, Toulouse, France, July 22-23, 2017, Revised Selected Papers
Formal Grammar 22nd International Conference, FG 2017, Toulouse, France, July 22-23, 2017, Revised Selected Papers
Author 
Foret, Annie. editor. Muskens, Reinhard. editor. Pogodalla, Sylvain. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-56343-4
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for SOFSEM 2018: Theory and Practice of Computer Science 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings
SOFSEM 2018: Theory and Practice of Computer Science 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings
Author 
Tjoa, A Min. editor. (orcid)0000-0002-8295-9252 Bellatreche, Ladjel. editor. Biffl, Stefan. editor. van Leeuwen, Jan. editor. Wiedermann, Jiří. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-73117-9
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Trends in Functional Programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers
Trends in Functional Programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers
Author 
Wang, Meng. editor. Owens, Scott. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89719-6
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Graph Transformation, Specifications, and Nets In Memory of Hartmut Ehrig
Graph Transformation, Specifications, and Nets In Memory of Hartmut Ehrig
Author 
Heckel, Reiko. editor. Taentzer, Gabriele. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-75396-6
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for WALCOM: Algorithms and Computation 12th International Conference, WALCOM 2018, Dhaka, Bangladesh, March 3-5, 2018, Proceedings
WALCOM: Algorithms and Computation 12th International Conference, WALCOM 2018, Dhaka, Bangladesh, March 3-5, 2018, Proceedings
Author 
Rahman, M. Sohel. editor. (orcid)0000-0001-9419-6478 Sung, Wing-Kin. editor. Uehara, Ryuhei. editor. (orcid)0000-0003-0895-3765 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-75172-6
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Queueing Theory and Network Applications 13th International Conference, QTNA 2018, Tsukuba, Japan, July 25-27, 2018, Proceedings
Queueing Theory and Network Applications 13th International Conference, QTNA 2018, Tsukuba, Japan, July 25-27, 2018, Proceedings
Author 
Takahashi, Yutaka. editor. Phung-Duc, Tuan. editor. (orcid)0000-0002-5002-4946 Wittevrongel, Sabine. editor. (orcid)0000-0001-6985-8361 Yue, Wuyi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-93736-6
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
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:
16. 
Cover image for Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings
Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings
Author 
Hoshi, Mizuho. editor. Seki, Shinnosuke. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-98654-8
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Algorithms and Discrete Applied Mathematics 4th International Conference, CALDAM 2018, Guwahati, India, February 15-17, 2018, Proceedings
Algorithms and Discrete Applied Mathematics 4th International Conference, CALDAM 2018, Guwahati, India, February 15-17, 2018, Proceedings
Author 
Panda, B.S. editor. Goswami, Partha P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-74180-2
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings
Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings
Author 
Jansen, David N. editor. (orcid)0000-0002-6636-3301 Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00151-3
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings
Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings
Author 
Rusu, Vlad. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99840-4
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III
Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III
Author 
Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-05057-3
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part V
Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part V
Author 
Cheng, Long. editor. (orcid)0000-0001-7565-8788 Leung, Andrew Chi Sing. editor. Ozawa, Seiichi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-04221-9
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings
Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, 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-99639-4
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Parallel Problem Solving from Nature – PPSN XV 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part II
Parallel Problem Solving from Nature – PPSN XV 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part II
Author 
Auger, Anne. editor. Fonseca, Carlos M. editor. Lourenço, Nuno. editor. (orcid)0000-0002-2154-0642 Machado, Penousal. editor. Paquete, Luís. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99259-4
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for String Processing and Information Retrieval 25th International Symposium, SPIRE 2018, Lima, Peru, October 9-11, 2018, Proceedings
String Processing and Information Retrieval 25th International Symposium, SPIRE 2018, Lima, Peru, October 9-11, 2018, Proceedings
Author 
Gagie, Travis. editor. (orcid)0000-0003-3689-327X Moffat, Alistair. editor. (orcid)0000-0002-6638-0232 Navarro, Gonzalo. editor. (orcid)0000-0002-2286-741X Cuadros-Vargas, Ernesto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00479-8
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings
Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings
Author 
Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481 Bensalem, Saddek. editor. Bliudze, Simon. editor. (orcid)0000-0002-7900-5271 Monsuez, Bruno. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00359-3
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Large-Scale Scientific Computing 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised Selected Papers
Large-Scale Scientific Computing 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised Selected Papers
Author 
Lirkov, Ivan. editor. Margenov, Svetozar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-73441-5
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part VI
Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part VI
Author 
Cheng, Long. editor. (orcid)0000-0001-7565-8788 Leung, Andrew Chi Sing. editor. Ozawa, Seiichi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-04224-0
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Mathematical Software – ICMS 2018 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings
Mathematical Software – ICMS 2018 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings
Author 
Davenport, James H. editor. (orcid)0000-0002-3982-7545 Kauers, Manuel. editor. Labahn, George. editor. Urban, Josef. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-96418-8
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Author 
Russo, Alessandra. editor. (orcid)0000-0002-3318-8711 Schürr, Andy. editor. (orcid)0000-0001-8100-1109 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89363-1
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Parallel Problem Solving from Nature – PPSN XV 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part I
Parallel Problem Solving from Nature – PPSN XV 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part I
Author 
Auger, Anne. editor. Fonseca, Carlos M. editor. Lourenço, Nuno. editor. (orcid)0000-0002-2154-0642 Machado, Penousal. editor. Paquete, Luís. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99253-2
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part IV
Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part IV
Author 
Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-05063-4
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Theoretical Aspects of Computing – ICTAC 2018 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings
Theoretical Aspects of Computing – ICTAC 2018 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings
Author 
Fischer, Bernd. editor. (orcid)0000-0002-1815-218X Uustalu, Tarmo. editor. (orcid)0000-0002-1297-0579 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02508-3
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part III
Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part III
Author 
Cheng, Long. editor. (orcid)0000-0001-7565-8788 Leung, Andrew Chi Sing. editor. Ozawa, Seiichi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-04182-3
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I
Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I
Author 
Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-05051-1
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part II
Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part II
Author 
Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-05054-2
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings
Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings
Author 
Durand-Lose, Jérôme. editor. (orcid)0000-0001-6506-074X Verlan, Sergey. editor. (orcid)0000-0001-7800-1618 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92402-1
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings
Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings
Author 
McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Horvath, Andras. editor. (orcid)0000-0002-8210-545X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99154-2
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Language and Automata Theory and Applications 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings
Language and Automata Theory and Applications 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings
Author 
Klein, Shmuel Tomi. editor. (orcid)0000-0002-9478-3303 Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Shapira, Dana. editor. (orcid)0000-0002-2320-9064 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-77313-1
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Cellular Automata and Discrete Complex Systems 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20–22, 2018, Proceedings
Cellular Automata and Discrete Complex Systems 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20–22, 2018, Proceedings
Author 
Baetens, Jan M. editor. Kutrib, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92675-9
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Advances in Swarm Intelligence 9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018, Proceedings, Part I
Advances in Swarm Intelligence 9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018, Proceedings, Part I
Author 
Tan, Ying. editor. Shi, Yuhui. editor. Tang, Qirong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-93815-8
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Frontiers in Algorithmics 12th International Workshop, FAW 2018, Guangzhou, China, May 8–10, 2018, Proceedings
Frontiers in Algorithmics 12th International Workshop, FAW 2018, Guangzhou, China, May 8–10, 2018, Proceedings
Author 
Chen, Jianer. editor. Lu, Pinyan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-78455-7
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers
Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers
Author 
Petrenko, Alexander K. editor. (orcid)0000-0001-7411-3831 Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-74313-4
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Artificial Evolution 13th International Conference, Évolution Artificielle, EA 2017, Paris, France, October 25–27, 2017, Revised Selected Papers
Artificial Evolution 13th International Conference, Évolution Artificielle, EA 2017, Paris, France, October 25–27, 2017, Revised Selected Papers
Author 
Lutton, Evelyne. editor. Legrand, Pierrick. editor. Parrend, Pierre. editor. Monmarché, Nicolas. editor. Schoenauer, Marc. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-78133-4
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Computational Intelligence in Music, Sound, Art and Design 7th International Conference, EvoMUSART 2018, Parma, Italy, April 4-6, 2018, Proceedings
Computational Intelligence in Music, Sound, Art and Design 7th International Conference, EvoMUSART 2018, Parma, Italy, April 4-6, 2018, Proceedings
Author 
Liapis, Antonios. editor. Romero Cardalda, Juan Jesús. editor. Ekárt, Anikó. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-77583-8
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Job Scheduling Strategies for Parallel Processing 21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017, Revised Selected Papers
Job Scheduling Strategies for Parallel Processing 21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017, Revised Selected Papers
Author 
Klusáček, Dalibor. editor. Cirne, Walfredo. editor. Desai, Narayan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-77398-8
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Dynamic Logic. New Trends and Applications First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings
Dynamic Logic. New Trends and Applications First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings
Author 
Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017 Benevides, Mário. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-73579-5
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings
Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings
Author 
Avigad, Jeremy. editor. Mahboubi, Assia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94821-8
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for LATIN 2018: Theoretical Informatics 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings
LATIN 2018: Theoretical Informatics 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings
Author 
Bender, Michael A. editor. Farach-Colton, Martín. editor. (orcid)0000-0003-3616-7788 Mosteiro, Miguel A. editor. (orcid)0000-0001-5842-6256 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-77404-6
Format: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for Implementation and Application of Automata 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 – August 2, 2018, Proceedings
Implementation and Application of Automata 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 – August 2, 2018, Proceedings
Author 
Câmpeanu, Cezar. editor. (orcid)0000-0002-9777-3012 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94812-6
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Swarm Intelligence 11th International Conference, ANTS 2018, Rome, Italy, October 29–31, 2018, Proceedings
Swarm Intelligence 11th International Conference, ANTS 2018, Rome, Italy, October 29–31, 2018, Proceedings
Author 
Dorigo, Marco. editor. (orcid)0000-0002-3971-0507 Birattari, Mauro. editor. (orcid)0000-0003-3309-2194 Blum, Christian. editor. (orcid)0000-0002-1736-3559 Christensen, Anders L. editor. (orcid)0000-0002-9994-2908 Reina, Andreagiovanni. editor. (orcid)0000-0003-4745-992X
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00533-7
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Reachability Problems 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings
Reachability Problems 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings
Author 
Potapov, Igor. editor. Reynier, Pierre-Alain. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00250-3
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Euro-Par 2018: Parallel Processing 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings
Euro-Par 2018: Parallel Processing 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings
Author 
Aldinucci, Marco. editor. (orcid)0000-0001-8788-0829 Padovani, Luca. editor. (orcid)0000-0001-9097-1297 Torquati, Massimo. editor. (orcid)0000-0001-6323-3459 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-96983-1
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday
Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday
Author 
Jones, Cliff. editor. Wang, Ji. editor. Zhan, Naijun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01461-2
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for DNA Computing and Molecular Programming 24th International Conference, DNA 24, Jinan, China, October 8–12, 2018, Proceedings
DNA Computing and Molecular Programming 24th International Conference, DNA 24, Jinan, China, October 8–12, 2018, Proceedings
Author 
Doty, David. editor. (orcid)0000-0002-3922-172X Dietz, Hendrik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00030-1
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part II
Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part II
Author 
Cheng, Long. editor. (orcid)0000-0001-7565-8788 Leung, Andrew Chi Sing. editor. Ozawa, Seiichi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-04179-3
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part I
Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part I
Author 
Cheng, Long. editor. (orcid)0000-0001-7565-8788 Leung, Andrew Chi Sing. editor. Ozawa, Seiichi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-04167-0
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part IV
Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part IV
Author 
Cheng, Long. editor. (orcid)0000-0001-7565-8788 Leung, Andrew Chi Sing. editor. Ozawa, Seiichi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-04212-7
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part VII
Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part VII
Author 
Cheng, Long. editor. (orcid)0000-0001-7565-8788 Leung, Andrew Chi Sing. editor. Ozawa, Seiichi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-04239-4
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Combinatorial Optimization and Applications 12th International Conference, COCOA 2018, Atlanta, GA, USA, December 15-17, 2018, Proceedings
Combinatorial Optimization and Applications 12th International Conference, COCOA 2018, Atlanta, GA, USA, December 15-17, 2018, Proceedings
Author 
Kim, Donghyun. editor. Uma, R. N. editor. Zelikovsky, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-04651-4
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings
Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings
Author 
Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-72056-2
Format: 
Availability 
Online Library~1
Available:
Copies:
61. 
Cover image for Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings
Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings
Author 
Butler, Michael. editor. Raschke, Alexander. editor. Hoang, Thai Son. editor. Reichl, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91271-4
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Author 
Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-96145-3
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
Author 
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89960-2
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Enjoying Natural Computing Essays Dedicated to Mario de Jesús Pérez-Jiménez on the Occasion of His 70th Birthday
Enjoying Natural Computing Essays Dedicated to Mario de Jesús Pérez-Jiménez on the Occasion of His 70th Birthday
Author 
Graciani, Carmen. editor. Riscos-Núñez, Agustín. editor. Păun, Gheorghe. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00265-7
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for Challenges and Opportunities in the Digital Era 17th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2018, Kuwait City, Kuwait, October 30 – November 1, 2018, Proceedings
Challenges and Opportunities in the Digital Era 17th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2018, Kuwait City, Kuwait, October 30 – November 1, 2018, Proceedings
Author 
Al-Sharhan, Salah A. editor. Simintiras, Antonis C. editor. Dwivedi, Yogesh K. editor. Janssen, Marijn. editor. Mäntymäki, Matti. editor. (orcid)0000-0002-1981-566X
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02131-3
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for Relational and Algebraic Methods in Computer Science 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings
Relational and Algebraic Methods in Computer Science 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings
Author 
Desharnais, Jules. editor. (orcid)0000-0002-4780-2698 Guttmann, Walter. editor. (orcid)0000-0003-2969-1688 Joosten, Stef. editor. (orcid)0000-0001-8308-0189 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02149-8
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for Architecture of Computing Systems – ARCS 2018 31st International Conference, Braunschweig, Germany, April 9–12, 2018, Proceedings
Architecture of Computing Systems – ARCS 2018 31st International Conference, Braunschweig, Germany, April 9–12, 2018, Proceedings
Author 
Berekovic, Mladen. editor. Buchty, Rainer. editor. Hamann, Heiko. editor. Koch, Dirk. editor. Pionteck, Thilo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-77610-1
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for Bioinspired Optimization Methods and Their Applications 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings
Bioinspired Optimization Methods and Their Applications 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings
Author 
Korošec, Peter. editor. Melab, Nouredine. editor. Talbi, El-Ghazali. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91641-5
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings
Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings
Author 
Gallagher, John P. editor. (orcid)0000-0001-6984-7419 Sulzmann, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-90686-7
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
Author 
Gallardo, María del Mar. editor. Merino, Pedro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94111-0
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for Graph Transformation 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings
Graph Transformation 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings
Author 
Lambers, Leen. editor. (orcid)0000-0001-6937-5167 Weber, Jens. editor. (orcid)0000-0003-4591-6728 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92991-0
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for Euro-Par 2017: Parallel Processing Workshops Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers
Euro-Par 2017: Parallel Processing Workshops Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers
Author 
Heras, Dora B. editor. Bougé, Luc. editor. Mencagli, Gabriele. editor. Jeannot, Emmanuel. editor. Sakellariou, Rizos. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-75178-8
Format: 
Availability 
Online Library~1
Available:
Copies:
73. 
Cover image for Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings
Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings
Author 
Beyersdorff, Olaf. editor. Wintersteiger, Christoph M. editor. (orcid)0000-0003-0102-4381 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94144-8
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for High Performance Computing 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings
High Performance Computing 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings
Author 
Yokota, Rio. editor. (orcid)0000-0001-7573-7873 Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Keyes, David. editor. Trinitis, Carsten. editor. (orcid)0000-0002-6750-3652 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92040-5
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for Genetic Programming 21st European Conference, EuroGP 2018, Parma, Italy, April 4-6, 2018, Proceedings
Genetic Programming 21st European Conference, EuroGP 2018, Parma, Italy, April 4-6, 2018, Proceedings
Author 
Castelli, Mauro. editor. Sekanina, Lukas. editor. (orcid)0000-0002-2693-9011 Zhang, Mengjie. editor. Cagnoni, Stefano. editor. García-Sánchez, Pablo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-77553-1
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I
Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I
Author 
Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Karczewski, Konrad. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-78024-5
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings
Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings
Author 
Moss, Lawrence S. editor. de Queiroz, Ruy. editor. Martinez, Maricarmen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-57669-4
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for Membrane Computing 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers
Membrane Computing 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers
Author 
Gheorghe, Marian. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Zandron, Claudio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-73359-3
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for Computational Data and Social Networks 7th International Conference, CSoNet 2018, Shanghai, China, December 18–20, 2018, Proceedings
Computational Data and Social Networks 7th International Conference, CSoNet 2018, Shanghai, China, December 18–20, 2018, Proceedings
Author 
Chen, Xuemin. editor. (orcid)0000-0003-3820-9195 Sen, Arunabha. editor. Li, Wei Wayne. editor. Thai, My T. editor. (orcid)0000-0003-0503-2012 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-04648-4
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings
Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings
Author 
Johnsen, Einar Broch. editor. Schaefer, Ina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92970-5
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
Cover image for Coalgebraic Methods in Computer Science 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018, Revised Selected Papers
Coalgebraic Methods in Computer Science 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018, Revised Selected Papers
Author 
Cîrstea, Corina. editor. (orcid)0000-0003-3165-5678 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00389-0
Format: 
Availability 
Online Library~1
Available:
Copies:
82. 
Cover image for High Performance Computing ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers
High Performance Computing ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers
Author 
Yokota, Rio. editor. (orcid)0000-0001-7573-7873 Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Shalf, John. editor. Alam, Sadaf. editor. (orcid)0000-0002-2534-5078 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02465-9
Format: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for Formal Grammar 2018 23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings
Formal Grammar 2018 23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings
Author 
Foret, Annie. editor. Kobele, Greg. editor. Pogodalla, Sylvain. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-57784-4
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I
Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I
Author 
Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03418-4
Format: 
Availability 
Online Library~1
Available:
Copies:
85. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV
Author 
Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03427-6
Format: 
Availability 
Online Library~1
Available:
Copies:
86. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III
Author 
Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03424-5
Format: 
Availability 
Online Library~1
Available:
Copies:
87. 
Cover image for Sailing Routes in the World of Computation 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings
Sailing Routes in the World of Computation 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings
Author 
Manea, Florin. editor. Miller, Russell G. editor. Nowotka, Dirk. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94418-0
Format: 
Availability 
Online Library~1
Available:
Copies:
88. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
Author 
Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03421-4
Format: 
Availability 
Online Library~1
Available:
Copies:
89. 
Cover image for Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II
Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II
Author 
Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Karczewski, Konrad. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-78054-2
Format: 
Availability 
Online Library~1
Available:
Copies:
90. 
Cover image for Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers
Author 
Fioravanti, Fabio. editor. (orcid)0000-0002-1268-7829 Gallagher, John P. editor. (orcid)0000-0001-6984-7419 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94460-9
Format: 
Availability 
Online Library~1
Available:
Copies:
91. 
Cover image for Graph-Theoretic Concepts in Computer Science 44th International Workshop, WG 2018, Cottbus, Germany, June 27–29, 2018, Proceedings
Graph-Theoretic Concepts in Computer Science 44th International Workshop, WG 2018, Cottbus, Germany, June 27–29, 2018, Proceedings
Author 
Brandstädt, Andreas. editor. Köhler, Ekkehard. editor. Meer, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00256-5
Format: 
Availability 
Online Library~1
Available:
Copies:
92. 
Cover image for Adaptive Resource Management and Scheduling for Cloud Computing First International Workshop, ARMS-CC 2014, held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2014, Paris, France, July 15, 2014, Revised Selected Papers
Adaptive Resource Management and Scheduling for Cloud Computing First International Workshop, ARMS-CC 2014, held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2014, Paris, France, July 15, 2014, Revised Selected Papers
Author 
Pop, Florin. editor. Potop-Butucaru, Maria. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13464-2
Format: 
Availability 
Online Library~1
Available:
Copies:
93. 
Cover image for Logical Aspects of Computational Linguistics 8th International Conference, LACL 2014, Toulouse, France, June 18-24, 2014. Proceedings
Logical Aspects of Computational Linguistics 8th International Conference, LACL 2014, Toulouse, France, June 18-24, 2014. Proceedings
Author 
Asher, Nicholas. editor. Soloviev, Sergei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-43742-1
Format: 
Availability 
Online Library~1
Available:
Copies:
94. 
Cover image for Euro-Par 2013: Parallel Processing Workshops BigDataCloud, DIHC, FedICI, HeteroPar, HiBB, LSDVE, MHPC, OMHI, PADABS, PROPER, Resilience, ROME, UCHPC 2013, Aachen, Germany, August 26-30, 2013. Revised Selected Papers
Euro-Par 2013: Parallel Processing Workshops BigDataCloud, DIHC, FedICI, HeteroPar, HiBB, LSDVE, MHPC, OMHI, PADABS, PROPER, Resilience, ROME, UCHPC 2013, Aachen, Germany, August 26-30, 2013. Revised Selected Papers
Author 
an Mey, Dieter. editor. Alexander, Michael. editor. Paolo, Bientinesi. editor. Cannataro, Mario. editor. Clauss, Carsten. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54420-0
Format: 
Availability 
Online Library~1
Available:
Copies:
95. 
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:
96. 
Cover image for Wireless Algorithms, Systems, and Applications 9th International Conference, WASA 2014, Harbin, China, June 23-25, 2014, Proceedings
Wireless Algorithms, Systems, and Applications 9th International Conference, WASA 2014, Harbin, China, June 23-25, 2014, Proceedings
Author 
Cai, Zhipeng. editor. Wang, Chaokun. editor. Cheng, Siyao. editor. Wang, Hongzhi. editor. Gao, Hong. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07782-6
Format: 
Availability 
Online Library~1
Available:
Copies:
97. 
Cover image for Algorithms and Computation 25th International Symposium, ISAAC 2014, Jeonju, Korea, December 15-17, 2014, Proceedings
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:
98. 
Cover image for Parallel Processing and Applied Mathematics 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part II
Parallel Processing and Applied Mathematics 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part II
Author 
Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Dongarra, Jack. editor. Karczewski, Konrad. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-55195-6
Format: 
Availability 
Online Library~1
Available:
Copies:
99. 
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:
100. 
Cover image for Advanced Joomla!
Advanced Joomla!
Author 
Rahmel, Dan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330594.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-1629-2
Format: 
Availability 
Online Library~1
Available:
Copies:
101. 
Cover image for More iOS6 Development Further Explorations of the iOS SDK
More iOS6 Development Further Explorations of the iOS SDK
Author 
Horovitz, Alex. author. Kim, Kevin. author. LaMarche, Jeff. author. Mark, David. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330595.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-3808-9
Format: 
Availability 
Online Library~1
Available:
Copies:
102. 
Cover image for Pro Arduino
Pro Arduino
Author 
Anderson, Rick. author. Cervo, Dan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330596.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-3940-6
Format: 
Availability 
Online Library~1
Available:
Copies:
103. 
Cover image for Pro ASP.NET 4.5 in C#
Pro ASP.NET 4.5 in C#
Author 
Freeman, Adam. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330598.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4255-0
Format: 
Availability 
Online Library~1
Available:
Copies:
104. 
Cover image for Pro ASP.NET 4.5 in VB
Pro ASP.NET 4.5 in VB
Author 
Mabbutt, Dan. author. Freeman, Adam. author. MacDonald, Matthew. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330599.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4354-0
Format: 
Availability 
Online Library~1
Available:
Copies:
105. 
Cover image for The Definitive Guide to Grails 2
The Definitive Guide to Grails 2
Author 
Brown, Jeff Scott. author. Rocher, Graeme. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330600.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4378-6
Format: 
Availability 
Online Library~1
Available:
Copies:
106. 
Cover image for Beginning ASP.NET 4.5 Databases
Beginning ASP.NET 4.5 Databases
Author 
Chanda, Sandeep. author. Foggon, Damien. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330601.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4381-6
Format: 
Availability 
Online Library~1
Available:
Copies:
107. 
Cover image for Pro WF 4.5
Pro WF 4.5
Author 
White, Bayer. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330602.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4384-7
Format: 
Availability 
Online Library~1
Available:
Copies:
108. 
Cover image for Java EE 7 Recipes A Problem-Solution Approach
Java EE 7 Recipes A Problem-Solution Approach
Author 
Juneau, Josh. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330605.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4426-4
Format: 
Availability 
Online Library~1
Available:
Copies:
109. 
Cover image for Beginning iOS6 Development Exploring the iOS SDK
Beginning iOS6 Development Exploring the iOS SDK
Author 
Mark, David. author. Nutting, Jack. author. LaMarche, Jeff. author. Olsson, Fredrik. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330611.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4513-1
Format: 
Availability 
Online Library~1
Available:
Copies:
110. 
Cover image for Learn Cocoa on the Mac
Learn Cocoa on the Mac
Author 
Nutting, Jack. author. Clark, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330613.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4543-8
Format: 
Availability 
Online Library~1
Available:
Copies:
111. 
Cover image for HTML5 Advertising
HTML5 Advertising
Author 
Percival, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330615.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4603-9
Format: 
Availability 
Online Library~1
Available:
Copies:
112. 
Cover image for Arduino Adventures Escape from Gemini Station
Arduino Adventures Escape from Gemini Station
Author 
Kelly, James Floyd. author. Timmis, Harold. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330616.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4606-0
Format: 
Availability 
Online Library~1
Available:
Copies:
113. 
Cover image for Practical LEGO Technics Bring Your LEGO Creations to Life
Practical LEGO Technics Bring Your LEGO Creations to Life
Author 
Rollins, Mark. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330617.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4612-1
Format: 
Availability 
Online Library~1
Available:
Copies:
114. 
Cover image for iPhone and iPad Apps for Absolute Beginners
iPhone and iPad Apps for Absolute Beginners
Author 
Lewis, Rory. author. Mello, Chad. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330618.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4618-3
Format: 
Availability 
Online Library~1
Available:
Copies:
115. 
Cover image for Realtime Web Apps With HTML5 WebSocket, PHP, and jQuery
Realtime Web Apps With HTML5 WebSocket, PHP, and jQuery
Author 
Lengstorf, Jason. author. Leggetter, Phil. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330619.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4621-3
Format: 
Availability 
Online Library~1
Available:
Copies:
116. 
Cover image for Beginning Java EE 7
Beginning Java EE 7
Author 
Goncalves, Antonio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330620.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4627-5
Format: 
Availability 
Online Library~1
Available:
Copies:
117. 
Cover image for JavaScript Programmer’s Reference
JavaScript Programmer’s Reference
Author 
Reid, Jonathan. author. Valentine, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330621.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4630-5
Format: 
Availability 
Online Library~1
Available:
Copies:
118. 
Cover image for Learn Lua for iOS Game Development
Learn Lua for iOS Game Development
Author 
Varma, Jayant. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330623.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4663-3
Format: 
Availability 
Online Library~1
Available:
Copies:
119. 
Cover image for Beginning EJB 3 Java EE 7 Edition
Beginning EJB 3 Java EE 7 Edition
Author 
Wetherbee, Jonathan. author. Rathod, Chirag. author. Kodali, Raghu. author. Zadrozny, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330625.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4693-0
Format: 
Availability 
Online Library~1
Available:
Copies:
120. 
Cover image for Building Windows 8.1 Apps from the Ground Up
Building Windows 8.1 Apps from the Ground Up
Author 
Garofalo, Emanuele. author. Liccardi, Antonio. author. Aponte, Michele. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330626.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4702-9
Format: 
Availability 
Online Library~1
Available:
Copies:
121. 
Cover image for Pro iOS Geo Building Apps with Location Based Services
Pro iOS Geo Building Apps with Location Based Services
Author 
Andreucci, Giacomo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330627.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4705-0
Format: 
Availability 
Online Library~1
Available:
Copies:
122. 
Cover image for Pro ASP.NET Web API HTTP Web Services in ASP.NET
Pro ASP.NET Web API HTTP Web Services in ASP.NET
Author 
Ugurlu, Tugberk. author. Zeitler, Alexander. author. Kheyrollahi, Ali. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330629.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4726-5
Format: 
Availability 
Online Library~1
Available:
Copies:
123. 
Cover image for The Definitive Guide to HTML5 WebSocket
The Definitive Guide to HTML5 WebSocket
Author 
Wang, Vanessa. author. Salim, Frank. author. Moskovits, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330634.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4741-8
Format: 
Availability 
Online Library~1
Available:
Copies:
124. 
Cover image for HTML5 Game Programming with enchant.js
HTML5 Game Programming with enchant.js
Author 
McInnis, Brandon. author. Shimizu, Ryo. author. Furukawa, Hidekazu. author. Fushimi, Ryohei. author. Tanaka, Ryo. author.
Preferred Shelf Number 
ONLINE(330635.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4744-9
Format: 
Availability 
Online Library~1
Available:
Copies:
125. 
Cover image for Oracle Certified Professional Java SE 7 Programmer Exams 1Z0-804 and 1Z0-805 A Comprehensive OCPJP 7 Certification Guide
Oracle Certified Professional Java SE 7 Programmer Exams 1Z0-804 and 1Z0-805 A Comprehensive OCPJP 7 Certification Guide
Author 
Ganesh, S G. author. Sharma, Tushar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330636.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4765-4
Format: 
Availability 
Online Library~1
Available:
Copies:
126. 
Cover image for ASP.NET MVC 4 Recipes A Problem-Solution Approach
ASP.NET MVC 4 Recipes A Problem-Solution Approach
Author 
Ciliberti, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330638.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4774-6
Format: 
Availability 
Online Library~1
Available:
Copies:
127. 
Cover image for Pro Windows Phone App Development
Pro Windows Phone App Development
Author 
Software, Falafel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330639.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4783-8
Format: 
Availability 
Online Library~1
Available:
Copies:
128. 
Cover image for Beginning Groovy, Grails and Griffon
Beginning Groovy, Grails and Griffon
Author 
Layka, Vishal. author. Judd, Christopher M. author. Nusairat, Joseph Faisal. author. Shingler, Jim. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330641.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4807-1
Format: 
Availability 
Online Library~1
Available:
Copies:
129. 
Cover image for Pro Spring Security
Pro Spring Security
Author 
Scarioni, Carlo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330643.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4819-4
Format: 
Availability 
Online Library~1
Available:
Copies:
130. 
Cover image for SharePoint 2013 User’s Guide Learning Microsoft’s Business Collaboration Platform
SharePoint 2013 User’s Guide Learning Microsoft’s Business Collaboration Platform
Author 
Smith, Tony. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330645.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4834-7
Format: 
Availability 
Online Library~1
Available:
Copies:
131. 
Cover image for Expert C# 5.0 with .NET 4.5 Framework
Expert C# 5.0 with .NET 4.5 Framework
Author 
Rahman, Mohammad. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330648.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4861-3
Format: 
Availability 
Online Library~1
Available:
Copies:
132. 
Cover image for Learn Unity 4 for iOS Game Development
Learn Unity 4 for iOS Game Development
Author 
Chu, Philip. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330650.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4876-7
Format: 
Availability 
Online Library~1
Available:
Copies:
133. 
Cover image for Beginning C
Beginning C
Author 
Horton, Ivor. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330651.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4882-8
Format: 
Availability 
Online Library~1
Available:
Copies:
134. 
Cover image for Practical SharePoint 2013 Governance
Practical SharePoint 2013 Governance
Author 
Goodyear, Steve. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330652.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4888-0
Format: 
Availability 
Online Library~1
Available:
Copies:
135. 
Cover image for Beginning 3D Game Development with Unity 4: All-in-One, Multi-Platform Game Development
Beginning 3D Game Development with Unity 4: All-in-One, Multi-Platform Game Development
Author 
Blackman, Sue. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330653.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4900-9
Format: 
Availability 
Online Library~1
Available:
Copies:
136. 
Cover image for Beginning iOS Social Games
Beginning iOS Social Games
Author 
Richter, Kyle. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330654.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4906-1
Format: 
Availability 
Online Library~1
Available:
Copies:
137. 
Cover image for Cloud Capacity Management
Cloud Capacity Management
Author 
Sabharwal, Navin. author. Wali, Prashant. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330656.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4924-5
Format: 
Availability 
Online Library~1
Available:
Copies:
138. 
Cover image for Pro JPA 2
Pro JPA 2
Author 
Keith, Mike. author. Schincariol, Merrick. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330657.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4927-6
Format: 
Availability 
Online Library~1
Available:
Copies:
139. 
Cover image for Arduino and LEGO Projects
Arduino and LEGO Projects
Author 
Lazar, Jon. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330658.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4930-6
Format: 
Availability 
Online Library~1
Available:
Copies:
140. 
Cover image for Beginning jQuery
Beginning jQuery
Author 
Franklin, Jack. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330659.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4933-7
Format: 
Availability 
Online Library~1
Available:
Copies:
141. 
Cover image for Beginning C# Object-Oriented Programming
Beginning C# Object-Oriented Programming
Author 
Clark, Dan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330660.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4936-8
Format: 
Availability 
Online Library~1
Available:
Copies:
142. 
Cover image for Pro SharePoint 2013 Administration
Pro SharePoint 2013 Administration
Author 
Garrett, Rob. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330662.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4942-9
Format: 
Availability 
Online Library~1
Available:
Copies:
143. 
Cover image for Expert Android
Expert Android
Author 
Komatineni, Satya. author. MacLean, Dave. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330664.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4951-1
Format: 
Availability 
Online Library~1
Available:
Copies:
144. 
Cover image for Practical Raspberry Pi
Practical Raspberry Pi
Author 
Horan, Brendan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330668.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4972-6
Format: 
Availability 
Online Library~1
Available:
Copies:
145. 
Cover image for ASP.NET MVC 4 and the Web API Building a REST Service from Start to Finish
ASP.NET MVC 4 and the Web API Building a REST Service from Start to Finish
Author 
Kurtz, Jamie. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330669.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4978-8
Format: 
Availability 
Online Library~1
Available:
Copies:
146. 
Cover image for LEGO Technic Robotics
LEGO Technic Robotics
Author 
Rollins, Mark. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330670.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4981-8
Format: 
Availability 
Online Library~1
Available:
Copies:
147. 
Cover image for CSS for Windows 8 App Development
CSS for Windows 8 App Development
Author 
Foster, Jeremy. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330671.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4984-9
Format: 
Availability 
Online Library~1
Available:
Copies:
148. 
Cover image for Beginning Windows 8 Data Development Using C# and JavaScript
Beginning Windows 8 Data Development Using C# and JavaScript
Author 
Kumar, Vinodh. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330672.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4993-1
Format: 
Availability 
Online Library~1
Available:
Copies:
149. 
Cover image for The Business of Android Apps Development Making and Marketing Apps that Succeed on Google Play, Amazon App Store and More
The Business of Android Apps Development Making and Marketing Apps that Succeed on Google Play, Amazon App Store and More
Author 
Sandberg, Roy. author. Rollins, Mark. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330674.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-5008-1
Format: 
Availability 
Online Library~1
Available:
Copies:
150. 
Cover image for Pro JSF and HTML5 Building Rich Internet Components
Pro JSF and HTML5 Building Rich Internet Components
Author 
Saleh, Hazem. author. Christensen, Allan Lykke. author. Wadia, Zubin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330675.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-5011-1
Format: 
Availability 
Online Library~1
Available:
Copies:
151. 
Cover image for Beginning Arduino
Beginning Arduino
Author 
McRoberts, Michael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330676.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-5017-3
Format: 
Availability 
Online Library~1
Available:
Copies:
152. 
Cover image for BizTalk 2010 EDI for Health Care HIPAA Compliant 837 Solutions
BizTalk 2010 EDI for Health Care HIPAA Compliant 837 Solutions
Author 
Beckner, Mark. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330677.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-5020-3
Format: 
Availability 
Online Library~1
Available:
Copies:
153. 
Cover image for Real World Windows 8 Development
Real World Windows 8 Development
Author 
Basu, Samidip. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330679.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-5026-5
Format: 
Availability 
Online Library~1
Available:
Copies:
154. 
Cover image for Pro SharePoint 2013 Branding and Responsive Web Development
Pro SharePoint 2013 Branding and Responsive Web Development
Author 
Overfield, Eric. author. Zhang, Rita. author. Medina, Oscar. author. Khipple, Kanwal. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330680.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-5029-6
Format: 
Availability 
Online Library~1
Available:
Copies:
155. 
Cover image for Pro Objective-C
Pro Objective-C
Author 
Lee, Keith. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330683.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-5051-7
Format: 
Availability 
Online Library~1
Available:
Copies:
156. 
Cover image for Learn OpenGL ES For Mobile Game and Graphics Development
Learn OpenGL ES For Mobile Game and Graphics Development
Author 
Mehta, Prateek. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330684.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-5054-8
Format: 
Availability 
Online Library~1
Available:
Copies:
157. 
Cover image for Mobile ASP.NET MVC 5
Mobile ASP.NET MVC 5
Author 
Sowell, Eric. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330685.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-5057-9
Format: 
Availability 
Online Library~1
Available:
Copies:
158. 
Cover image for Learn iOS App Development
Learn iOS App Development
Author 
Bucanek, James. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330687.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-5063-0
Format: 
Availability 
Online Library~1
Available:
Copies:
159. 
Cover image for Windows 8 App Projects XAML and C# Edition
Windows 8 App Projects XAML and C# Edition
Author 
Vermeir, Nico. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330688.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-5066-1
Format: 
Availability 
Online Library~1
Available:
Copies:
160. 
Cover image for Learn Corona SDK Game Development
Learn Corona SDK Game Development
Author 
Zammetti, Frank W. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330689.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-5069-2
Format: 
Availability 
Online Library~1
Available:
Copies:
161. 
Cover image for Visual Studio LightSwitch 2012
Visual Studio LightSwitch 2012
Author 
Leung, Tim. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330690.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-5072-2
Format: 
Availability 
Online Library~1
Available:
Copies:
162. 
Cover image for Real World Windows 8 App Development with JavaScript Create Great Windows Store Apps
Real World Windows 8 App Development with JavaScript Create Great Windows Store Apps
Author 
Moemeka, Edward. author. Moemeka, Elizabeth. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330691.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-5081-4
Format: 
Availability 
Online Library~1
Available:
Copies:
163. 
Cover image for Beginning JavaScript with DOM Scripting and Ajax
Beginning JavaScript with DOM Scripting and Ajax
Author 
Ferguson, Russ. author. Heilmann, Christian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330693.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-5093-7
Format: 
Availability 
Online Library~1
Available:
Copies:
164. 
Cover image for Learn Java for Android Development
Learn Java for Android Development
Author 
Friesen, Jeff. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330696.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-5723-3
Format: 
Availability 
Online Library~1
Available:
Copies:
165. 
Cover image for TypeScript Revealed
TypeScript Revealed
Author 
Maharry, Dan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330697.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-5726-4
Format: 
Availability 
Online Library~1
Available:
Copies:
166. 
Cover image for Beginning Oracle Application Express 4.2
Beginning Oracle Application Express 4.2
Author 
Gault, Doug. author. Cannell, Karen. author. Cimolini, Patrick. author. D’Souza, Martin. author. St. Hilaire, Timothy. author.
Preferred Shelf Number 
ONLINE(330699.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-5735-6
Format: 
Availability 
Online Library~1
Available:
Copies:
167. 
Cover image for Rethinking the Internet of Things A Scalable Approach to Connecting Everything
Rethinking the Internet of Things A Scalable Approach to Connecting Everything
Author 
daCosta, Francis. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330700.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-5741-7
Format: 
Availability 
Online Library~1
Available:
Copies:
168. 
Cover image for Learn Android App Development
Learn Android App Development
Author 
Jackson, Wallace. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330701.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-5747-9
Format: 
Availability 
Online Library~1
Available:
Copies:
169. 
Cover image for Beginning ASP.NET MVC 4
Beginning ASP.NET MVC 4
Author 
Paz, José Rolando Guay. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330702.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-5753-0
Format: 
Availability 
Online Library~1
Available:
Copies:
170. 
Cover image for Big Data Analytics Using Splunk
Big Data Analytics Using Splunk
Author 
Zadrozny, Peter. author. Kodali, Raghu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330703.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-5762-2
Format: 
Availability 
Online Library~1
Available:
Copies:
171. 
Cover image for Android Game Recipes
Android Game Recipes
Author 
DiMarzio, J. F. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330704.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-5765-3
Format: 
Availability 
Online Library~1
Available:
Copies:
172. 
Cover image for Beginning Windows Store Application Development–HTML and JavaScript Edition
Beginning Windows Store Application Development–HTML and JavaScript Edition
Author 
Isaacs, Scott. author. Burns, Kyle. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330705.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-5780-6
Format: 
Availability 
Online Library~1
Available:
Copies:
173. 
Cover image for Pro ASP.NET Web API Security Securing ASP.NET Web API
Pro ASP.NET Web API Security Securing ASP.NET Web API
Author 
Lakshmiraghavan, Badrinarayanan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330706.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-5783-7
Format: 
Availability 
Online Library~1
Available:
Copies:
174. 
Cover image for Pro Android Graphics
Pro Android Graphics
Author 
Jackson, Wallace. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330707.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-5786-8
Format: 
Availability 
Online Library~1
Available:
Copies:
175. 
Cover image for Entity Framework 6 Recipes
Entity Framework 6 Recipes
Author 
Driscoll, Brian. author. Gupta, Nitin. author. Vettor, Rob. author. Hirani, Zeeshan. author. Tenny, Larry. author.
Preferred Shelf Number 
ONLINE(330708.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-5789-9
Format: 
Availability 
Online Library~1
Available:
Copies:
176. 
Cover image for Pro Hibernate and MongoDB
Pro Hibernate and MongoDB
Author 
Leonard, Anghel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330710.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-5795-0
Format: 
Availability 
Online Library~1
Available:
Copies:
177. 
Cover image for Pro Data Visualization using R and JavaScript
Pro Data Visualization using R and JavaScript
Author 
Barker, Tom. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330711.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-5807-0
Format: 
Availability 
Online Library~1
Available:
Copies:
178. 
Cover image for Pro Django
Pro Django
Author 
Alchin, Marty. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330712.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-5810-0
Format: 
Availability 
Online Library~1
Available:
Copies:
179. 
Cover image for Beginning Sensor Networks with Arduino and Raspberry Pi
Beginning Sensor Networks with Arduino and Raspberry Pi
Author 
Bell, Charles. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330714.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-5825-4
Format: 
Availability 
Online Library~1
Available:
Copies:
180. 
Cover image for Beginning Android C++ Game Development
Beginning Android C++ Game Development
Author 
Sutherland, Bruce. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330715.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-5831-5
Format: 
Availability 
Online Library~1
Available:
Copies:
181. 
Cover image for Windows 8 and Windows Phone 8 Game Development
Windows 8 and Windows Phone 8 Game Development
Author 
Dawes, Adam. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330716.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-5837-7
Format: 
Availability 
Online Library~1
Available:
Copies:
182. 
Cover image for Being Agile Your Roadmap to Successful Adoption of Agile
Being Agile Your Roadmap to Successful Adoption of Agile
Author 
Moreira, Mario E. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330717.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-5840-7
Format: 
Availability 
Online Library~1
Available:
Copies:
183. 
Cover image for Introducing Java EE 7 A Look at What’s New
Introducing Java EE 7 A Look at What’s New
Author 
Juneau, Josh. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330718.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-5849-0
Format: 
Availability 
Online Library~1
Available:
Copies:
184. 
Cover image for Pro Node.js for Developers
Pro Node.js for Developers
Author 
Ihrig, Colin J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330719.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-5861-2
Format: 
Availability 
Online Library~1
Available:
Copies:
185. 
Cover image for WordPress for Web Developers An Introduction for Web Professionals
WordPress for Web Developers An Introduction for Web Professionals
Author 
Leary, Stephanie. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330720.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-5867-4
Format: 
Availability 
Online Library~1
Available:
Copies:
186. 
Cover image for Pro SharePoint 2013 App Development
Pro SharePoint 2013 App Development
Author 
Wright, Steve. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330722.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-5885-8
Format: 
Availability 
Online Library~1
Available:
Copies:
187. 
Cover image for Smart Home Automation with Linux and Raspberry Pi
Smart Home Automation with Linux and Raspberry Pi
Author 
Goodwin, Steven. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330723.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-5888-9
Format: 
Availability 
Online Library~1
Available:
Copies:
188. 
Cover image for Pro SharePoint 2013 Business Intelligence Solutions
Pro SharePoint 2013 Business Intelligence Solutions
Author 
Singh, Manpreet. author. Anandan, Sha Kanjoor. author. Malik, Sahil. author. Sistla, Srini. author. Wright, Steve. author.
Preferred Shelf Number 
ONLINE(330724.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-5894-0
Format: 
Availability 
Online Library~1
Available:
Copies:
189. 
Cover image for Windows Phone 8 Recipes A Problem-Solution Approach
Windows Phone 8 Recipes A Problem-Solution Approach
Author 
Lalonde, Lori. author. Totzke, David R. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330725.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-5903-9
Format: 
Availability 
Online Library~1
Available:
Copies:
190. 
Cover image for Pointers in C A Hands on Approach
Pointers in C A Hands on Approach
Author 
Toppo, Naveen. author. Dewan, Hrishikesh. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330727.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-5912-1
Format: 
Availability 
Online Library~1
Available:
Copies:
191. 
Cover image for Pro WordPress Theme Development
Pro WordPress Theme Development
Author 
Onishi, Adam. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330728.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-5915-2
Format: 
Availability 
Online Library~1
Available:
Copies:
192. 
Cover image for Pro Asynchronous Programming with .NET
Pro Asynchronous Programming with .NET
Author 
Blewett, Richard. author. Clymer, Andrew. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330729.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-5921-3
Format: 
Availability 
Online Library~1
Available:
Copies:
193. 
Cover image for Intel® Xeon Phi™ Coprocessor Architecture and Tools The Guide for Application Developers
Intel® Xeon Phi™ Coprocessor Architecture and Tools The Guide for Application Developers
Author 
Rahman, Rezaur. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330730.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-5927-5
Format: 
Availability 
Online Library~1
Available:
Copies:
194. 
Cover image for iOS 7 Development Recipes A Problem-Solution Approach
iOS 7 Development Recipes A Problem-Solution Approach
Author 
Hoffman, Joseph. author. Grönlund, Hans-Eric. author. Francis, Colin. author. Grimes, Shawn. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330733.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-5960-2
Format: 
Availability 
Online Library~1
Available:
Copies:
195. 
Cover image for Makers at Work Folks Reinventing the World One Object or Idea at a Time
Makers at Work Folks Reinventing the World One Object or Idea at a Time
Author 
Osborn, Steven. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330734.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-5993-0
Format: 
Availability 
Online Library~1
Available:
Copies:
196. 
Cover image for Pro Team Foundation Service
Pro Team Foundation Service
Author 
Olausson, Mathias. author. Rossberg, Joachim. author. Ehn, Jakob. author. Sköld, Mattias. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330735.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-5996-1
Format: 
Availability 
Online Library~1
Available:
Copies:
197. 
Cover image for Pro NuGet
Pro NuGet
Author 
Balliauw, Maarten. author. Decoster, Xavier. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330736.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-6002-8
Format: 
Availability 
Online Library~1
Available:
Copies:
198. 
Cover image for Pro Drupal as an Enterprise Development Platform
Pro Drupal as an Enterprise Development Platform
Author 
Kurtz, Jamie. author. Besluau, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330737.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-6005-9
Format: 
Availability 
Online Library~1
Available:
Copies:
199. 
Cover image for Expert PHP and MySQL Application Design and Development
Expert PHP and MySQL Application Design and Development
Author 
Rochkind, Marc. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330738.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-6008-0
Format: 
Availability 
Online Library~1
Available:
Copies:
200. 
Cover image for Sensor Technologies Healthcare, Wellness, and Environmental Applications
Sensor Technologies Healthcare, Wellness, and Environmental Applications
Author 
McGrath, Michael J. author. Scanaill, Cliodhna Ní. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330740.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-6014-1
Format: 
Availability 
Online Library~1
Available:
Copies:
201. 
Cover image for PHP Obejcts, Patterns, and Practice
PHP Obejcts, Patterns, and Practice
Author 
Zandstra, Matt. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330742.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-6032-5
Format: 
Availability 
Online Library~1
Available:
Copies:
202. 
Cover image for Beginning Rails 4
Beginning Rails 4
Author 
Gamble, Adam. author. Carneiro, Cloves. author. Barazi, Rida Al. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330743.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-6035-6
Format: 
Availability 
Online Library~1
Available:
Copies:
203. 
Cover image for Pro Puppet The Definitive Guide to Selling Abroad Profitably
Pro Puppet The Definitive Guide to Selling Abroad Profitably
Author 
Krum, Spencer. author. Hevelingen, William Van. author. Kero, Ben. author. Turnbull, James. author. McCune, Jeffery. author.
Preferred Shelf Number 
ONLINE(330744.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-6041-7
Format: 
Availability 
Online Library~1
Available:
Copies:
204. 
Cover image for Node.js Recipes
Node.js Recipes
Author 
Gackenheimer, Cory. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330745.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-6059-2
Format: 
Availability 
Online Library~1
Available:
Copies:
205. 
Cover image for Pro iOS and Android Apps for Business with jQuery Mobile, Node.js, and MongoDB
Pro iOS and Android Apps for Business with jQuery Mobile, Node.js, and MongoDB
Author 
Zammetti, Frank. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330747.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-6071-4
Format: 
Availability 
Online Library~1
Available:
Copies:
206. 
Cover image for Practical Ext JS 4
Practical Ext JS 4
Author 
Sunderaraman, Prabhu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330748.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-6074-5
Format: 
Availability 
Online Library~1
Available:
Copies:
207. 
Cover image for Practical PHP and MySQL Web Site Databases A Simplified Approach
Practical PHP and MySQL Web Site Databases A Simplified Approach
Author 
West, Adrian W. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330749.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-6077-6
Format: 
Availability 
Online Library~1
Available:
Copies:
208. 
Cover image for Moving from C to C++ Discussing Programming Problems, Why They Exist, and How C++ Solves Them
Moving from C to C++ Discussing Programming Problems, Why They Exist, and How C++ Solves Them
Author 
Goyal, Arunesh. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330751.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-6095-0
Format: 
Availability 
Online Library~1
Available:
Copies:
209. 
Cover image for Expert JavaScript
Expert JavaScript
Author 
Daggett, Mark E. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330752.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-6098-1
Format: 
Availability 
Online Library~1
Available:
Copies:
210. 
Cover image for Git Recipes
Git Recipes
Author 
Gajda, Włodzimierz. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330754.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-6104-9
Format: 
Availability 
Online Library~1
Available:
Copies:
211. 
Cover image for Microsoft Mapping Geospatial Development with Bing Maps and C#
Microsoft Mapping Geospatial Development with Bing Maps and C#
Author 
Rischpater, Ray. author. Au, Carmen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330755.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-6110-0
Format: 
Availability 
Online Library~1
Available:
Copies:
212. 
Cover image for The Secure Information Society Ethical, Legal and Political Challenges
The Secure Information Society Ethical, Legal and Political Challenges
Author 
Krüger, Jörg. editor. Nickolay, Bertram. editor. Gaycken, Sandro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331051.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4763-3
Format: 
Availability 
Online Library~1
Available:
Copies:
213. 
Cover image for Economics of Information Security and Privacy III
Economics of Information Security and Privacy III
Author 
Schneier, Bruce. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331294.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1981-5
Format: 
Availability 
Online Library~1
Available:
Copies:
214. 
Cover image for Indian Mujahideen Computational Analysis and Public Policy
Indian Mujahideen Computational Analysis and Public Policy
Author 
Subrahmanian, V.S. author. Mannes, Aaron. author. Roul, Animesh. author. Raghavan, R.K. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332949.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-02818-7
Format: 
Availability 
Online Library~1
Available:
Copies:
215. 
Cover image for Current Trends in Web Engineering ICWE 2013 International Workshops ComposableWeb, QWE, MDWE, DMSSW, EMotions, CSE, SSN, and PhD Symposium, Aalborg, Denmark, July 8-12, 2013. Revised Selected Papers
Current Trends in Web Engineering ICWE 2013 International Workshops ComposableWeb, QWE, MDWE, DMSSW, EMotions, CSE, SSN, and PhD Symposium, Aalborg, Denmark, July 8-12, 2013. Revised Selected Papers
Author 
Sheng, Quan Z. editor. Kjeldskov, Jesper. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333019.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-04244-2
Format: 
Availability 
Online Library~1
Available:
Copies:
216. 
Cover image for Meshfree Methods for Partial Differential Equations VI
Meshfree Methods for Partial Differential Equations VI
Author 
Griebel, Michael. editor. Schweitzer, Marc Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333644.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32979-1
Format: 
Availability 
Online Library~1
Available:
Copies:
217. 
Cover image for Advances in Artificial Intelligence 11th Mexican International Conference on Artificial Intelligence, MICAI 2012, San Luis Potosí, Mexico, October 27 – November 4, 2012. Revised Selected Papers, Part I
Advances in Artificial Intelligence 11th Mexican International Conference on Artificial Intelligence, MICAI 2012, San Luis Potosí, Mexico, October 27 – November 4, 2012. Revised Selected Papers, Part I
Author 
Batyrshin, Ildar. editor. González Mendoza, Miguel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334486.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37807-2
Format: 
Availability 
Online Library~1
Available:
Copies:
218. 
Cover image for The Semantic Web: Semantics and Big Data 10th International Conference, ESWC 2013, Montpellier, France, May 26-30, 2013. Proceedings
The Semantic Web: Semantics and Big Data 10th International Conference, ESWC 2013, Montpellier, France, May 26-30, 2013. Proceedings
Author 
Cimiano, Philipp. editor. Corcho, Oscar. editor. Presutti, Valentina. editor. Hollink, Laura. editor. Rudolph, Sebastian. editor.
Preferred Shelf Number 
ONLINE(334576.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38288-8
Format: 
Availability 
Online Library~1
Available:
Copies:
219. 
Cover image for Information Security Theory and Practice. Security of Mobile and Cyber-Physical Systems 7th IFIP WG 11.2 International Workshop, WISTP 2013, Heraklion, Greece, May 28-30, 2013. Proceedings
Information Security Theory and Practice. Security of Mobile and Cyber-Physical Systems 7th IFIP WG 11.2 International Workshop, WISTP 2013, Heraklion, Greece, May 28-30, 2013. Proceedings
Author 
Cavallaro, Lorenzo. editor. Gollmann, Dieter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334616.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38530-8
Format: 
Availability 
Online Library~1
Available:
Copies:
220. 
Cover image for Recent Trends in Applied Artificial Intelligence 26th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2013, Amsterdam, The Netherlands, June 17-21, 2013. Proceedings
Recent Trends in Applied Artificial Intelligence 26th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2013, Amsterdam, The Netherlands, June 17-21, 2013. Proceedings
Author 
Ali, Moonis. editor. Bosse, Tibor. editor. Hindriks, Koen V. editor. Hoogendoorn, Mark. editor. Jonker, Catholijn M. editor.
Preferred Shelf Number 
ONLINE(334627.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38577-3
Format: 
Availability 
Online Library~1
Available:
Copies:
221. 
Cover image for Computer Vision Systems 9th International Conference, ICVS 2013, St. Petersburg, Russia, July 16-18, 2013. Proceedings
Computer Vision Systems 9th International Conference, ICVS 2013, St. Petersburg, Russia, July 16-18, 2013. Proceedings
Author 
Chen, Mei. editor. Leibe, Bastian. editor. Neumann, Bernd. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334795.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39402-7
Format: 
Availability 
Online Library~1
Available:
Copies:
222. 
Cover image for Cross-Cultural Design. Cultural Differences in Everyday Life 5th International Conference, CCD 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II
Cross-Cultural Design. Cultural Differences in Everyday Life 5th International Conference, CCD 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II
Author 
Rau, P. L. Patrick. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334735.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39137-8
Format: 
Availability 
Online Library~1
Available:
Copies:
223. 
Cover image for Cross-Cultural Design. Methods, Practice, and Case Studies 5th International Conference, CCD 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I
Cross-Cultural Design. Methods, Practice, and Case Studies 5th International Conference, CCD 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I
Author 
Rau, P. L. Patrick. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334737.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39143-9
Format: 
Availability 
Online Library~1
Available:
Copies:
224. 
Cover image for Systems, Software and Services Process Improvement 20th European Conference, EuroSPI 2013, Dundalk, Ireland, June 25-27, 2013. Proceedings
Systems, Software and Services Process Improvement 20th European Conference, EuroSPI 2013, Dundalk, Ireland, June 25-27, 2013. Proceedings
Author 
McCaffery, Fergal. editor. O’Connor, Rory V. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334744.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39179-8
Format: 
Availability 
Online Library~1
Available:
Copies:
225. 
Cover image for Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management. Human Body Modeling and Ergonomics 4th International Conference, DHM 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II
Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management. Human Body Modeling and Ergonomics 4th International Conference, DHM 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II
Author 
Duffy, Vincent G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334745.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39182-8
Format: 
Availability 
Online Library~1
Available:
Copies:
226. 
Cover image for Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings
Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings
Author 
Libkin, Leonid. editor. Kohlenbach, Ulrich. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334875.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39992-3
Format: 
Availability 
Online Library~1
Available:
Copies:
227. 
Cover image for Formal Grammar 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings
Formal Grammar 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings
Author 
Morrill, Glyn. editor. Nederhof, Mark-Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334877.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39998-5
Format: 
Availability 
Online Library~1
Available:
Copies:
228. 
Cover image for Advances in Cryptology – CRYPTO 2013 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part I
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:
229. 
Cover image for Advances in Cryptology – CRYPTO 2013 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part II
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:
230. 
Cover image for Computer Analysis of Images and Patterns 15th International Conference, CAIP 2013, York, UK, August 27-29, 2013, Proceedings, Part II
Computer Analysis of Images and Patterns 15th International Conference, CAIP 2013, York, UK, August 27-29, 2013, Proceedings, Part II
Author 
Wilson, Richard. editor. Hancock, Edwin. editor. Bors, Adrian. editor. Smith, William. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334917.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40246-3
Format: 
Availability 
Online Library~1
Available:
Copies:
231. 
Cover image for Computer Analysis of Images and Patterns 15th International Conference, CAIP 2013, York, UK, August 27-29, 2013, Proceedings, Part I
Computer Analysis of Images and Patterns 15th International Conference, CAIP 2013, York, UK, August 27-29, 2013, Proceedings, Part I
Author 
Wilson, Richard. editor. Hancock, Edwin. editor. Bors, Adrian. editor. Smith, William. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334919.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40261-6
Format: 
Availability 
Online Library~1
Available:
Copies:
232. 
Cover image for Advances in Depth Image Analysis and Applications International Workshop, WDIA 2012, Tsukuba, Japan, November 11, 2012, Revised Selected and Invited Papers
Advances in Depth Image Analysis and Applications International Workshop, WDIA 2012, Tsukuba, Japan, November 11, 2012, Revised Selected and Invited Papers
Author 
Jiang, Xiaoyi. editor. Bellon, Olga Regina Pereira. editor. Goldgof, Dmitry. editor. Oishi, Takeshi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334924.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40303-3
Format: 
Availability 
Online Library~1
Available:
Copies:
233. 
Cover image for Cyber Security and Privacy Trust in the Digital World and Cyber Security and Privacy EU Forum 2013, Brussels, Belgium, April 2013, Revised Selected Papers
Cyber Security and Privacy Trust in the Digital World and Cyber Security and Privacy EU Forum 2013, Brussels, Belgium, April 2013, Revised Selected Papers
Author 
Felici, Massimo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335073.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41205-9
Format: 
Availability 
Online Library~1
Available:
Copies:
234. 
Cover image for Provable Security 7th International Conference, ProvSec 2013, Melaka, Malaysia, October 23-25, 2013. Proceedings
Provable Security 7th International Conference, ProvSec 2013, Melaka, Malaysia, October 23-25, 2013. Proceedings
Author 
Susilo, Willy. editor. Reyhanitabar, Reza. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335077.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41227-1
Format: 
Availability 
Online Library~1
Available:
Copies:
235. 
Cover image for Algorithmic Probability and Friends. Bayesian Prediction and Artificial Intelligence Papers from the Ray Solomonoff 85th Memorial Conference, Melbourne, VIC, Australia, November 30 – December 2, 2011
Algorithmic Probability and Friends. Bayesian Prediction and Artificial Intelligence Papers from the Ray Solomonoff 85th Memorial Conference, Melbourne, VIC, Australia, November 30 – December 2, 2011
Author 
Dowe, David L. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335173.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-44958-1
Format: 
Availability 
Online Library~1
Available:
Copies:
236. 
Cover image for Agreement Technologies
Agreement Technologies
Author 
Ossowski, Sascha. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(336009.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-5583-3
Format: 
Availability 
Online Library~1
Available:
Copies:
237. 
Cover image for Finite Elements in Fracture Mechanics Theory - Numerics - Applications
Finite Elements in Fracture Mechanics Theory - Numerics - Applications
Author 
Kuna, Meinhard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(336302.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-6680-8
Format: 
Availability 
Online Library~1
Available:
Copies:
238. 
Cover image for Building Sustainable Information Systems Proceedings of the 2012 International Conference on Information Systems Development
Building Sustainable Information Systems Proceedings of the 2012 International Conference on Information Systems Development
Author 
Linger, Henry. editor. Fisher, Julie. editor. Barnden, Andrew. editor. Barry, Chris. editor. Lang, Michael. editor.
Preferred Shelf Number 
ONLINE(332301.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-7540-8
Format: 
Availability 
Online Library~1
Available:
Copies:
239. 
Cover image for Android on x86 An Introduction to Optimizing for Intel® Architecture
Android on x86 An Introduction to Optimizing for Intel® Architecture
Author 
Krajci, Iggy. author. Cummings, Darren. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330756.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-6131-5
Format: 
Availability 
Online Library~1
Available:
Copies:
240. 
Cover image for TouchDevelop: Programming on the Go
TouchDevelop: Programming on the Go
Author 
Horspool, R. Nigel. author. Tillmann, Nikolai. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330757.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-6137-7
Format: 
Availability 
Online Library~1
Available:
Copies:
241. 
Cover image for Practical SharePoint 2013 Enterprise Content Management
Practical SharePoint 2013 Enterprise Content Management
Author 
Goodyear, Steve. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330759.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-6170-4
Format: 
Availability 
Online Library~1
Available:
Copies:
242. 
Cover image for Practical ASP.NET Web API
Practical ASP.NET Web API
Author 
Lakshmiraghavan, Badrinarayanan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330760.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-6176-6
Format: 
Availability 
Online Library~1
Available:
Copies:
243. 
Cover image for Exploring C++ 11 Problems and Solutions Handbook
Exploring C++ 11 Problems and Solutions Handbook
Author 
Lischner, Ray. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330763.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-6194-0
Format: 
Availability 
Online Library~1
Available:
Copies:
244. 
Cover image for Pro Oracle SQL
Pro Oracle SQL
Author 
Morton, Karen. author. Osborne, Kerry. author. Sands, Robyn. author. Shamsudeen, Riyaj. author. Still, Jared. author.
Preferred Shelf Number 
ONLINE(330765.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-6221-3
Format: 
Availability 
Online Library~1
Available:
Copies:
245. 
Cover image for Learn Unity for 2D Game Development
Learn Unity for 2D Game Development
Author 
Thorn, Alan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330766.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-6230-5
Format: 
Availability 
Online Library~1
Available:
Copies:
246. 
Cover image for C++ Quick Syntax Reference
C++ Quick Syntax Reference
Author 
Olsson, Mikael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330767.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-6278-7
Format: 
Availability 
Online Library~1
Available:
Copies:
247. 
Cover image for C# Quick Syntax Reference
C# Quick Syntax Reference
Author 
Olsson, Mikael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330768.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-6281-7
Format: 
Availability 
Online Library~1
Available:
Copies:
248. 
Cover image for PHP Quick Scripting Reference
PHP Quick Scripting Reference
Author 
Olsson, Mikael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330769.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-6284-8
Format: 
Availability 
Online Library~1
Available:
Copies:
249. 
Cover image for Java Quick Syntax Reference
Java Quick Syntax Reference
Author 
Olsson, Mikael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330770.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-6287-9
Format: 
Availability 
Online Library~1
Available:
Copies:
250. 
Cover image for Beginning JavaScript Charts With jqPlot, D3, and Highcharts
Beginning JavaScript Charts With jqPlot, D3, and Highcharts
Author 
Nelli, Fabio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330771.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-6290-9
Format: 
Availability 
Online Library~1
Available:
Copies:
251. 
Cover image for Big Data Application Architecture Q & A A Problem-Solution Approach
Big Data Application Architecture Q & A A Problem-Solution Approach
Author 
Sawant, Nitin. author. Shah, Himanshu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330772.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-6293-0
Format: 
Availability 
Online Library~1
Available:
Copies:
252. 
Cover image for Beginning Java with WebSphere
Beginning Java with WebSphere
Author 
Janson, Robert W. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330773.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-6302-9
Format: 
Availability 
Online Library~1
Available:
Copies:
253. 
Cover image for Beginning jQuery 2 for ASP.NET Developers Using jQuery 2 with ASP.NET Web Forms and ASP.NET MVC
Beginning jQuery 2 for ASP.NET Developers Using jQuery 2 with ASP.NET Web Forms and ASP.NET MVC
Author 
Joshi, Bipin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330774.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-6305-0
Format: 
Availability 
Online Library~1
Available:
Copies:
254. 
Cover image for Pro SharePoint Disaster Recovery and High Availability
Pro SharePoint Disaster Recovery and High Availability
Author 
Cummins, Stephen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330777.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-6329-6
Format: 
Availability 
Online Library~1
Available:
Copies:
255. 
Cover image for Beginning Backbone.js
Beginning Backbone.js
Author 
Sugrue, James. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330778.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-6335-7
Format: 
Availability 
Online Library~1
Available:
Copies:
256. 
Cover image for Microsoft Dynamics CRM API Development for Online and On-Premise Environments
Microsoft Dynamics CRM API Development for Online and On-Premise Environments
Author 
Beckner, Mark. author. Arisawa, Triston. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330780.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-6347-0
Format: 
Availability 
Online Library~1
Available:
Copies:
257. 
Cover image for Beginning Windows 8.1
Beginning Windows 8.1
Author 
Halsey, Mike. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330781.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-6359-3
Format: 
Availability 
Online Library~1
Available:
Copies:
258. 
Cover image for iPhone and iPad Apps for Absolute Beginners
iPhone and iPad Apps for Absolute Beginners
Author 
Lewis, Rory. author. Moroney, Laurence. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330782.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-6362-3
Format: 
Availability 
Online Library~1
Available:
Copies:
259. 
Cover image for BizTalk 2013 Recipes A Problem-Solution Approach
BizTalk 2013 Recipes A Problem-Solution Approach
Author 
Beckner, Mark. author. Dharanikota, Kishore. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330783.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-6374-6
Format: 
Availability 
Online Library~1
Available:
Copies:
260. 
Cover image for Pro jQuery 2.0
Pro jQuery 2.0
Author 
Freeman, Adam. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330784.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-6389-0
Format: 
Availability 
Online Library~1
Available:
Copies:
261. 
Cover image for Practical Spring LDAP Enterprise Java LDAP Development Made Easy
Practical Spring LDAP Enterprise Java LDAP Development Made Easy
Author 
Varanasi, Balaji. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330785.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-6398-2
Format: 
Availability 
Online Library~1
Available:
Copies:
262. 
Cover image for Advanced Topics in C Core Concepts in Data Structures
Advanced Topics in C Core Concepts in Data Structures
Author 
Kalicharan, Noel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330786.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-6401-9
Format: 
Availability 
Online Library~1
Available:
Copies:
263. 
Cover image for Appreneur Secrets to Success in the App Store
Appreneur Secrets to Success in the App Store
Author 
Pierce, Taylor. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330787.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-6476-7
Format: 
Availability 
Online Library~1
Available:
Copies:
264. 
Cover image for Objective-C Quick Syntax Reference
Objective-C Quick Syntax Reference
Author 
Campbell, Matthew. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330788.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-6488-0
Format: 
Availability 
Online Library~1
Available:
Copies:
265. 
Cover image for Office 365 Migrating and Managing Your Business in the Cloud
Office 365 Migrating and Managing Your Business in the Cloud
Author 
Katzer, Matthew. author. Crawford, Don. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330789.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-6527-6
Format: 
Availability 
Online Library~1
Available:
Copies:
266. 
Cover image for Pro ASP.NET MVC 5
Pro ASP.NET MVC 5
Author 
Freeman, Adam. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330790.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-6530-6
Format: 
Availability 
Online Library~1
Available:
Copies:
267. 
Cover image for Beginning Fedora Desktop
Beginning Fedora Desktop
Author 
Petersen, Richard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330791.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-6563-4
Format: 
Availability 
Online Library~1
Available:
Copies:
268. 
Cover image for Learn 2D Game Development with C#
Learn 2D Game Development with C#
Author 
Pavleas, Jebediah. author. Chang, Jack Keng-Wei. author. Sung, Kelvin. author. Zhu, Robert. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330793.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-6605-1
Format: 
Availability 
Online Library~1
Available:
Copies:
269. 
Cover image for The History of Visual Magic in Computers How Beautiful Images are Made in CAD, 3D, VR and AR
The History of Visual Magic in Computers How Beautiful Images are Made in CAD, 3D, VR and AR
Author 
Peddie, Jon. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331101.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4932-3
Format: 
Availability 
Online Library~1
Available:
Copies:
270. 
Cover image for Information Systems Development Reflections, Challenges and New Directions
Information Systems Development Reflections, Challenges and New Directions
Author 
Pooley, Rob. editor. Coady, Jennifer. editor. Schneider, Christoph. editor. Linger, Henry. editor. Barry, Chris. editor.
Preferred Shelf Number 
ONLINE(331631.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4951-5
Format: 
Availability 
Online Library~1
Available:
Copies:
271. 
Cover image for Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings
Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings
Author 
Shan, Chung-chieh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332981.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03542-0
Format: 
Availability 
Online Library~1
Available:
Copies:
272. 
Cover image for Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings
Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings
Author 
Gonthier, Georges. editor. Norrish, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332982.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03545-1
Format: 
Availability 
Online Library~1
Available:
Copies:
273. 
Cover image for Graph Drawing 21st International Symposium, GD 2013, Bordeaux, France, September 23-25, 2013, Revised Selected Papers
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:
274. 
Cover image for Mining Intelligence and Knowledge Exploration First International Conference, MIKE 2013, Tamil Nadu, India, December 18-20, 2013. Proceedings
Mining Intelligence and Knowledge Exploration First International Conference, MIKE 2013, Tamil Nadu, India, December 18-20, 2013. Proceedings
Author 
Prasath, Rajendra. editor. Kathirvalavakumar, T. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332998.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03844-5
Format: 
Availability 
Online Library~1
Available:
Copies:
275. 
Cover image for Uncertain Fuzzy Preference Relations and Their Applications
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:
276. 
Cover image for Recent Progress in Data Engineering and Internet Technology Volume 1
Recent Progress in Data Engineering and Internet Technology Volume 1
Author 
Gaol, Ford Lumban. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333206.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28807-4
Format: 
Availability 
Online Library~1
Available:
Copies:
277. 
Cover image for Reshaping Learning Frontiers of Learning Technology in a Global Context.
Reshaping Learning Frontiers of Learning Technology in a Global Context.
Author 
Athabasca University. editor. Huang, Ronghuai. editor. Spector, J. Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333552.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32301-0
Format: 
Availability 
Online Library~1
Available:
Copies:
278. 
Cover image for The Naïve Bayes Model for Unsupervised Word Sense Disambiguation Aspects Concerning Feature Selection
The Naïve Bayes Model for Unsupervised Word Sense Disambiguation Aspects Concerning Feature Selection
Author 
T. Hristea, Florentina. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333739.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33693-5
Format: 
Availability 
Online Library~1
Available:
Copies:
279. 
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:
280. 
Cover image for Declarative Agent Languages and Technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers
Declarative Agent Languages and Technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers
Author 
Baldoni, Matteo. editor. Dennis, Louise. editor. Mascardi, Viviana. editor. Vasconcelos, Wamberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334494.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37890-4
Format: 
Availability 
Online Library~1
Available:
Copies:
281. 
Cover image for Communication Technologies for Vehicles 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d’Ascq, France, May 14-15, 2013. Proceedings
Communication Technologies for Vehicles 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d’Ascq, France, May 14-15, 2013. Proceedings
Author 
Berbineau, Marion. editor. Jonsson, Magnus. editor. Bonnin, Jean-Marie. editor. Cherkaoui, Soumaya. editor. Aguado, Marina. editor.
Preferred Shelf Number 
ONLINE(334508.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37974-1
Format: 
Availability 
Online Library~1
Available:
Copies:
282. 
Cover image for Security and Trust Management 8th International Workshop, STM 2012, Pisa, Italy, September 13-14, 2012, Revised Selected Papers
Security and Trust Management 8th International Workshop, STM 2012, Pisa, Italy, September 13-14, 2012, Revised Selected Papers
Author 
Jøsang, Audun. editor. Samarati, Pierangela. editor. Petrocchi, Marinella. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334514.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38004-4
Format: 
Availability 
Online Library~1
Available:
Copies:
283. 
Cover image for Augmented Environments for Computer-Assisted Interventions 7th International Workshop, AE-CAI 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2013, Revised Selected Papers
Augmented Environments for Computer-Assisted Interventions 7th International Workshop, AE-CAI 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2013, Revised Selected Papers
Author 
Linte, Cristian A. editor. Chen, Elvis C. S. editor. Berger, Marie-Odile. editor. Moore, John T. editor. Holmes, David R. editor.
Preferred Shelf Number 
ONLINE(334532.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38085-3
Format: 
Availability 
Online Library~1
Available:
Copies:
284. 
Cover image for Dependable Computing 14th European Workshop, EWDC 2013, Coimbra, Portugal, May 15-16, 2013. Proceedings
Dependable Computing 14th European Workshop, EWDC 2013, Coimbra, Portugal, May 15-16, 2013. Proceedings
Author 
Vieira, Marco. editor. Cunha, João Carlos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334669.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38789-0
Format: 
Availability 
Online Library~1
Available:
Copies:
285. 
Cover image for Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers
Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers
Author 
Riguzzi, Fabrizio. editor. Železný, Filip. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334673.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38812-5
Format: 
Availability 
Online Library~1
Available:
Copies:
286. 
Cover image for Natural Language Processing and Information Systems 18th International Conference on Applications of Natural Language to Information Systems, NLDB 2013, Salford, UK, June 19-21, 2013. Proceedings
Natural Language Processing and Information Systems 18th International Conference on Applications of Natural Language to Information Systems, NLDB 2013, Salford, UK, June 19-21, 2013. Proceedings
Author 
Métais, Elisabeth. editor. Meziane, Farid. editor. Saraee, Mohamad. editor. Sugumaran, Vijayan. editor. Vadera, Sunil. editor.
Preferred Shelf Number 
ONLINE(334674.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38824-8
Format: 
Availability 
Online Library~1
Available:
Copies:
287. 
Cover image for Advances in Nonlinear Speech Processing 6th International Conference, NOLISP 2013, Mons, Belgium, June 19-21, 2013. Proceedings
Advances in Nonlinear Speech Processing 6th International Conference, NOLISP 2013, Mons, Belgium, June 19-21, 2013. Proceedings
Author 
Drugman, Thomas. editor. Dutoit, Thierry. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334681.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38847-7
Format: 
Availability 
Online Library~1
Available:
Copies:
288. 
Cover image for Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management. Healthcare and Safety of the Environment and Transport 4th International Conference, DHM 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I
Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management. Healthcare and Safety of the Environment and Transport 4th International Conference, DHM 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I
Author 
Duffy, Vincent G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334742.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39173-6
Format: 
Availability 
Online Library~1
Available:
Copies:
289. 
Cover image for Wireless Algorithms, Systems, and Applications 8th International Conference, WASA 2013, Zhangjiajie, China, August 7-10, 2013. Proceedings
Wireless Algorithms, Systems, and Applications 8th International Conference, WASA 2013, Zhangjiajie, China, August 7-10, 2013. Proceedings
Author 
Ren, Kui. editor. Liu, Xue. editor. Liang, Weifa. editor. Xu, Ming. editor. Jia, Xiaohua. editor.
Preferred Shelf Number 
ONLINE(334838.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39701-1
Format: 
Availability 
Online Library~1
Available:
Copies:
290. 
Cover image for Agent-Oriented Software Engineering XIII 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers
Agent-Oriented Software Engineering XIII 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers
Author 
Müller, Jörg P. editor. Cossentino, Massimo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334859.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39866-7
Format: 
Availability 
Online Library~1
Available:
Copies:
291. 
Cover image for Cellular Automata and Discrete Complex Systems 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 17-19, 2013. Proceedings
Cellular Automata and Discrete Complex Systems 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 17-19, 2013. Proceedings
Author 
Kari, Jarkko. editor. Kutrib, Martin. editor. Malcher, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335022.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40867-0
Format: 
Availability 
Online Library~1
Available:
Copies:
292. 
Cover image for Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings
Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings
Author 
Bois, André Rauber. editor. Trinder, Phil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335028.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40922-6
Format: 
Availability 
Online Library~1
Available:
Copies:
293. 
Cover image for High Performance Computing 8th CCF Conference, HPC 2012, Zhangjiajie, China, October 29-31, 2012, Revised Selected Papers
High Performance Computing 8th CCF Conference, HPC 2012, Zhangjiajie, China, October 29-31, 2012, Revised Selected Papers
Author 
Zhang, Yunquan. editor. Li, Kenli. editor. Xiao, Zheng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335128.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41591-3
Format: 
Availability 
Online Library~1
Available:
Copies:
294. 
Cover image for The Influence of Technology on Social Network Analysis and Mining
The Influence of Technology on Social Network Analysis and Mining
Author 
Özyer, Tansel. editor. Rokne, Jon. editor. Wagner, Gerhard. editor. Reuser, Arno H.P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335316.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-7091-1346-2
Format: 
Availability 
Online Library~1
Available:
Copies:
295. 
Cover image for Formal Methods: Foundations and Applications 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings
Formal Methods: Foundations and Applications 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings
Author 
Iyoda, Juliano. editor. Moura, Leonardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335052.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41071-0
Format: 
Availability 
Online Library~1
Available:
Copies:
296. 
Cover image for Abdominal Imaging. Computation and Clinical Applications 5th International Workshop, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings
Abdominal Imaging. Computation and Clinical Applications 5th International Workshop, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings
Author 
Yoshida, Hiroyuki. editor. Warfield, Simon. editor. Vannier, Michael W. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335055.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41083-3
Format: 
Availability 
Online Library~1
Available:
Copies:
297. 
Cover image for Algorithms and Computation 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, Proceedings
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:
298. 
Cover image for Security Protocols XXI 21st International Workshop, Cambridge, UK, March 19-20, 2013, Revised Selected Papers
Security Protocols XXI 21st International Workshop, Cambridge, UK, March 19-20, 2013, Revised Selected Papers
Author 
Christianson, Bruce. editor. Malcolm, James. editor. Stajano, Frank. editor. Anderson, Jonathan. editor. Bonneau, Joseph. editor.
Preferred Shelf Number 
ONLINE(335142.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41717-7
Format: 
Availability 
Online Library~1
Available:
Copies:
299. 
Cover image for Engineering Multi-Agent Systems First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers
Engineering Multi-Agent Systems First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers
Author 
Cossentino, Massimo. editor. Fallah Seghrouchni, Amal. editor. Winikoff, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335210.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45343-4
Format: 
Availability 
Online Library~1
Available:
Copies:
300. 
Cover image for Molecular Biology Not Only for Bioinformaticians
Molecular Biology Not Only for Bioinformaticians
Author 
Widłak, Wiesława. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335211.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45361-8
Format: 
Availability 
Online Library~1
Available:
Copies: