Search Results for Science, general. - Narrowed by: Electronic Library - Computer science.

Computing and Software Science State of the Art and Perspectives

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Membrane Computing 19th International Conference, CMC 2018, Dresden, Germany, September 4–7, 2018, Revised Selected Papers

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

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

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Theory and Practice of Natural Computing 8th International Conference, TPNC 2019, Kingston, ON, Canada, December 9–11, 2019, Proceedings

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Computational Data and Social Networks 7th International Conference, CSoNet 2018, Shanghai, China, December 18–20, 2018, Proceedings

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

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

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Swarm Intelligence 11th International Conference, ANTS 2018, Rome, Italy, October 29–31, 2018, Proceedings

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Graph-Theoretic Concepts in Computer Science 44th International Workshop, WG 2018, Cottbus, Germany, June 27–29, 2018, Proceedings

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Parallel Problem Solving from Nature – PPSN XV 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part I

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Enjoying Natural Computing Essays Dedicated to Mario de Jesús Pérez-Jiménez on the Occasion of His 70th Birthday

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

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

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

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

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

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

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Trends in Functional Programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Cellular Automata and Discrete Complex Systems 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20–22, 2018, Proceedings

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Advances in Swarm Intelligence 9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018, Proceedings, Part I

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Graph Transformation 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Euro-Par 2017: Parallel Processing Workshops Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

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

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

High Performance Computing 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

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

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Frontiers in Algorithmics 12th International Workshop, FAW 2018, Guangzhou, China, May 8–10, 2018, Proceedings

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Graph Transformation, Specifications, and Nets In Memory of Hartmut Ehrig

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Dynamic Logic. New Trends and Applications First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Artificial Evolution 13th International Conference, Évolution Artificielle, EA 2017, Paris, France, October 25–27, 2017, Revised Selected Papers

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Computational Intelligence in Music, Sound, Art and Design 7th International Conference, EvoMUSART 2018, Parma, Italy, April 4-6, 2018, Proceedings

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Job Scheduling Strategies for Parallel Processing 21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017, Revised Selected Papers

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Reachability Problems 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Euro-Par 2018: Parallel Processing 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings

2024-08-21T18:34:45Z

Author Rusu, Vlad. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99840-4
Format: Electronic Resources
Availability Online Library~1

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part V

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Parallel Problem Solving from Nature – PPSN XV 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part II

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

String Processing and Information Retrieval 25th International Symposium, SPIRE 2018, Lima, Peru, October 9-11, 2018, Proceedings

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part VI

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part IV

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Large-Scale Scientific Computing 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised Selected Papers

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

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

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Mathematical Software – ICMS 2018 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

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

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Relational and Algebraic Methods in Computer Science 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

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

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Formal Grammar 22nd International Conference, FG 2017, Toulouse, France, July 22-23, 2017, Revised Selected Papers

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

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

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Architecture of Computing Systems – ARCS 2018 31st International Conference, Braunschweig, Germany, April 9–12, 2018, Proceedings

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Bioinspired Optimization Methods and Their Applications 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Language and Automata Theory and Applications 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Membrane Computing 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

WALCOM: Algorithms and Computation 12th International Conference, WALCOM 2018, Dhaka, Bangladesh, March 3-5, 2018, Proceedings

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

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

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Queueing Theory and Network Applications 13th International Conference, QTNA 2018, Tsukuba, Japan, July 25-27, 2018, Proceedings

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

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

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Formal Grammar 2018 23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

LATIN 2018: Theoretical Informatics 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Implementation and Application of Automata 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 – August 2, 2018, Proceedings

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

High Performance Computing ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Sailing Routes in the World of Computation 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

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

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

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

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

DNA Computing and Molecular Programming 24th International Conference, DNA 24, Jinan, China, October 8–12, 2018, Proceedings

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part II

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part I

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part IV

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part VII

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Combinatorial Optimization and Applications 12th International Conference, COCOA 2018, Atlanta, GA, USA, December 15-17, 2018, Proceedings

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Theoretical Aspects of Computing – ICTAC 2018 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

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

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part III

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part II

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

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

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Parallel Processing and Applied Mathematics 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part II

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

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

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Wireless Algorithms, Systems, and Applications 9th International Conference, WASA 2014, Harbin, China, June 23-25, 2014, Proceedings

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

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

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

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

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

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

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Logical Aspects of Computational Linguistics 8th International Conference, LACL 2014, Toulouse, France, June 18-24, 2014. Proceedings

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Molecular Biology Not Only for Bioinformaticians

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Using Microsoft Dynamics AX 2012 Updated for Version R2

2024-08-21T18:34:45Z

Author Luszczak, Andreas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335271.1)
Electronic Access http://dx.doi.org/10.1007/978-3-658-01709-5
Format: Electronic Resources
Availability Online Library~1

ISSE 2013 Securing Electronic Business Processes Highlights of the Information Security Solutions Europe 2013 Conference

2024-08-21T18:34:45Z

Author Reimer, Helmut. editor. Pohlmann, Norbert. editor. Schneider, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335292.1)
Electronic Access http://dx.doi.org/10.1007/978-3-658-03371-2
Format: Electronic Resources
Availability Online Library~1

Cognitive Agent-based Computing-I A Unified Framework for Modeling Complex Adaptive Systems using Agent-based & Complex Network-based Methods

2024-08-21T18:34:45Z

Author Niazi, Muaz A. author. Hussain, Amir. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335723.1)
Electronic Access http://dx.doi.org/10.1007/978-94-007-3852-2
Format: Electronic Resources
Availability Online Library~1

Software Engineering: A Hands-On Approach

2024-08-21T18:34:45Z

Author Lee, Roger Y. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(336486.1)
Electronic Access http://dx.doi.org/10.2991/978-94-6239-006-5
Format: Electronic Resources
Availability Online Library~1

Decision Aid Models for Disaster Management and Emergencies

2024-08-21T18:34:45Z

Author Vitoriano, Begoña. editor. Montero, Javier. editor. Ruan, Da. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(336490.1)
Electronic Access http://dx.doi.org/10.2991/978-94-91216-74-9
Format: Electronic Resources
Availability Online Library~1

Beginning C# Object-Oriented Programming

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Expert Android

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

ASP.NET MVC 4 and the Web API Building a REST Service from Start to Finish

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

LEGO Technic Robotics

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

CSS for Windows 8 App Development

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Beginning Windows 8 Data Development Using C# and JavaScript

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

The Business of Android Apps Development Making and Marketing Apps that Succeed on Google Play, Amazon App Store and More

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Pro JSF and HTML5 Building Rich Internet Components

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Beginning Arduino

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

BizTalk 2010 EDI for Health Care HIPAA Compliant 837 Solutions

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Real World Windows 8 Development

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Pro SharePoint 2013 Branding and Responsive Web Development

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Pro Objective-C

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Mobile ASP.NET MVC 5

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Learn Corona SDK Game Development

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Learn Java for Android Development

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Big Data Analytics Using Splunk

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Android Game Recipes

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Beginning Windows Store Application Development–HTML and JavaScript Edition

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Pro ASP.NET Web API Security Securing ASP.NET Web API

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Pro Android Graphics

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Advanced Joomla!

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

More iOS6 Development Further Explorations of the iOS SDK

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Pro Arduino

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Pro ASP.NET 4.5 in C#

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Pro ASP.NET 4.5 in VB

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

The Definitive Guide to Grails 2

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Beginning ASP.NET 4.5 Databases

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Pro WF 4.5

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Java EE 7 Recipes A Problem-Solution Approach

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Beginning iOS6 Development Exploring the iOS SDK

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

iOS 7 Development Recipes A Problem-Solution Approach

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Makers at Work Folks Reinventing the World One Object or Idea at a Time

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

HTML5 Advertising

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Arduino Adventures Escape from Gemini Station

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Pro NuGet

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

iPhone and iPad Apps for Absolute Beginners

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Realtime Web Apps With HTML5 WebSocket, PHP, and jQuery

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Beginning Java EE 7

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

JavaScript Programmer’s Reference

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Beginning Rails 4

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Learn Lua for iOS Game Development

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Beginning EJB 3 Java EE 7 Edition

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Building Windows 8.1 Apps from the Ground Up

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Practical Ext JS 4

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Practical PHP and MySQL Web Site Databases A Simplified Approach

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Pro ASP.NET Web API HTTP Web Services in ASP.NET

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Git Recipes

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

The Secure Information Society Ethical, Legal and Political Challenges

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Economics of Information Security and Privacy III

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Indian Mujahideen Computational Analysis and Public Policy

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Reshaping Learning Frontiers of Learning Technology in a Global Context.

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Declarative Agent Languages and Technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Communication Technologies for Vehicles 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d’Ascq, France, May 14-15, 2013. Proceedings

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Security and Trust Management 8th International Workshop, STM 2012, Pisa, Italy, September 13-14, 2012, Revised Selected Papers

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Dependable Computing 14th European Workshop, EWDC 2013, Coimbra, Portugal, May 15-16, 2013. Proceedings

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

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

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Agent-Oriented Software Engineering XIII 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Advances in Cryptology – CRYPTO 2013 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part I

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Computer Analysis of Images and Patterns 15th International Conference, CAIP 2013, York, UK, August 27-29, 2013, Proceedings, Part II

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Computer Analysis of Images and Patterns 15th International Conference, CAIP 2013, York, UK, August 27-29, 2013, Proceedings, Part I

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Advances in Depth Image Analysis and Applications International Workshop, WDIA 2012, Tsukuba, Japan, November 11, 2012, Revised Selected and Invited Papers

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

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

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Algorithms and Computation 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, Proceedings

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Agent-Based Modelling of Socio-Technical Systems

2024-08-21T18:34:45Z

Author Dam, Koen H. editor. Nikolic, Igor. editor. Lukszo, Zofia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335852.1)
Electronic Access http://dx.doi.org/10.1007/978-94-007-4933-7
Format: Electronic Resources
Availability Online Library~1

Cloud Capacity Management

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Pro JPA 2

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Arduino and LEGO Projects

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Beginning jQuery

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Pro SharePoint 2013 Administration

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Practical Raspberry Pi

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Learn OpenGL ES For Mobile Game and Graphics Development

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Learn iOS App Development

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Windows 8 App Projects XAML and C# Edition

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Visual Studio LightSwitch 2012

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Real World Windows 8 App Development with JavaScript Create Great Windows Store Apps

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Beginning JavaScript with DOM Scripting and Ajax

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

TypeScript Revealed

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Beginning Oracle Application Express 4.2

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Rethinking the Internet of Things A Scalable Approach to Connecting Everything

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Learn Android App Development

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Beginning ASP.NET MVC 4

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Entity Framework 6 Recipes

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Pro Hibernate and MongoDB

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Pro Data Visualization using R and JavaScript

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Pro Django

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Beginning Sensor Networks with Arduino and Raspberry Pi

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Beginning Android C++ Game Development

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Windows 8 and Windows Phone 8 Game Development

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Being Agile Your Roadmap to Successful Adoption of Agile

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Introducing Java EE 7 A Look at What’s New

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Pro Node.js for Developers

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

WordPress for Web Developers An Introduction for Web Professionals

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Pro SharePoint 2013 App Development

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Smart Home Automation with Linux and Raspberry Pi

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Pro SharePoint 2013 Business Intelligence Solutions

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Windows Phone 8 Recipes A Problem-Solution Approach

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Pointers in C A Hands on Approach

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Pro WordPress Theme Development

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Pro Asynchronous Programming with .NET

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Intel® Xeon Phi™ Coprocessor Architecture and Tools The Guide for Application Developers

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Learn Cocoa on the Mac

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Pro Team Foundation Service

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Practical LEGO Technics Bring Your LEGO Creations to Life

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Pro Drupal as an Enterprise Development Platform

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Expert PHP and MySQL Application Design and Development

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Sensor Technologies Healthcare, Wellness, and Environmental Applications

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

PHP Obejcts, Patterns, and Practice

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Pro Puppet The Definitive Guide to Selling Abroad Profitably

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Node.js Recipes

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Pro iOS and Android Apps for Business with jQuery Mobile, Node.js, and MongoDB

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Pro iOS Geo Building Apps with Location Based Services

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Moving from C to C++ Discussing Programming Problems, Why They Exist, and How C++ Solves Them

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Expert JavaScript

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

The Definitive Guide to HTML5 WebSocket

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

HTML5 Game Programming with enchant.js

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Oracle Certified Professional Java SE 7 Programmer Exams 1Z0-804 and 1Z0-805 A Comprehensive OCPJP 7 Certification Guide

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

ASP.NET MVC 4 Recipes A Problem-Solution Approach

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Pro Windows Phone App Development

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Beginning Groovy, Grails and Griffon

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Pro Spring Security

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

SharePoint 2013 User’s Guide Learning Microsoft’s Business Collaboration Platform

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Expert C# 5.0 with .NET 4.5 Framework

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Learn Unity 4 for iOS Game Development

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Beginning C

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Practical SharePoint 2013 Governance

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Beginning 3D Game Development with Unity 4: All-in-One, Multi-Platform Game Development

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Beginning iOS Social Games

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Microsoft Mapping Geospatial Development with Bing Maps and C#

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Android on x86 An Introduction to Optimizing for Intel® Architecture

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

TouchDevelop: Programming on the Go

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Practical SharePoint 2013 Enterprise Content Management

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Practical ASP.NET Web API

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Exploring C++ 11 Problems and Solutions Handbook

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Pro Oracle SQL

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Learn Unity for 2D Game Development

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

C++ Quick Syntax Reference

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

C# Quick Syntax Reference

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

PHP Quick Scripting Reference

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Java Quick Syntax Reference

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Beginning JavaScript Charts With jqPlot, D3, and Highcharts

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Big Data Application Architecture Q & A A Problem-Solution Approach

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Beginning Java with WebSphere

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Beginning jQuery 2 for ASP.NET Developers Using jQuery 2 with ASP.NET Web Forms and ASP.NET MVC

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Pro SharePoint Disaster Recovery and High Availability

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Beginning Backbone.js

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Microsoft Dynamics CRM API Development for Online and On-Premise Environments

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Beginning Windows 8.1

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

iPhone and iPad Apps for Absolute Beginners

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

BizTalk 2013 Recipes A Problem-Solution Approach

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Pro jQuery 2.0

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Practical Spring LDAP Enterprise Java LDAP Development Made Easy

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Advanced Topics in C Core Concepts in Data Structures

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Appreneur Secrets to Success in the App Store

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Objective-C Quick Syntax Reference

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Office 365 Migrating and Managing Your Business in the Cloud

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Pro ASP.NET MVC 5

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Beginning Fedora Desktop

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Learn 2D Game Development with C#

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

The History of Visual Magic in Computers How Beautiful Images are Made in CAD, 3D, VR and AR

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Uncertain Fuzzy Preference Relations and Their Applications

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Recent Progress in Data Engineering and Internet Technology Volume 1

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

The Naïve Bayes Model for Unsupervised Word Sense Disambiguation Aspects Concerning Feature Selection

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

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

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

The Semantic Web: Semantics and Big Data 10th International Conference, ESWC 2013, Montpellier, France, May 26-30, 2013. Proceedings

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

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

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

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

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Formal Grammar 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Computer Vision Systems 9th International Conference, ICVS 2013, St. Petersburg, Russia, July 16-18, 2013. Proceedings

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Advances in Cryptology – CRYPTO 2013 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part II

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

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

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

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

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

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

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Systems, Software and Services Process Improvement 20th European Conference, EuroSPI 2013, Dundalk, Ireland, June 25-27, 2013. Proceedings

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

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

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Abdominal Imaging. Computation and Clinical Applications 5th International Workshop, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Cyber Security and Privacy Trust in the Digital World and Cyber Security and Privacy EU Forum 2013, Brussels, Belgium, April 2013, Revised Selected Papers

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Provable Security 7th International Conference, ProvSec 2013, Melaka, Malaysia, October 23-25, 2013. Proceedings

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

The Influence of Technology on Social Network Analysis and Mining

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

High Performance Computing 8th CCF Conference, HPC 2012, Zhangjiajie, China, October 29-31, 2012, Revised Selected Papers

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Finite Elements in Fracture Mechanics Theory - Numerics - Applications

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Die Macht der Daten Wie Information unser Leben bestimmt

2024-08-21T18:34:45Z

Author Saint-Mont, Uwe. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(337167.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35117-4
Format: Electronic Resources
Availability Online Library~1

Menschen, Tiere und Max Natürliche Kommunikation und künstliche Intelligenz

2024-08-21T18:34:45Z

Author Wachsmuth, Ipke. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(338287.1)
Electronic Access http://dx.doi.org/10.1007/978-3-8274-3014-4
Format: Electronic Resources
Availability Online Library~1

50 Schlüsselideen Digitale Kultur

2024-08-21T18:34:45Z

Author Chatfield, Tom. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(338299.1)
Electronic Access http://dx.doi.org/10.1007/978-3-8274-3064-9
Format: Electronic Resources
Availability Online Library~1

Information Systems Development Reflections, Challenges and New Directions

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Building Sustainable Information Systems Proceedings of the 2012 International Conference on Information Systems Development

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

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

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Mining Intelligence and Knowledge Exploration First International Conference, MIKE 2013, Tamil Nadu, India, December 18-20, 2013. Proceedings

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

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

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Meshfree Methods for Partial Differential Equations VI

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1

Integer Programming and Combinatorial Optimization 16th International Conference, IPCO 2013, Valparaíso, Chile, March 18-20, 2013. Proceedings

2024-08-21T18:34:45Z

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: Electronic Resources
Availability Online Library~1