Search Results for - Narrowed by: Electronic Book - TEDU library - Springer E-Book Collection - 2015 - Computer programming.

Automated Reasoning with Analytic Tableaux and Related Methods 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings

2024-07-04T04:39:58Z

Yazar De Nivelle, Hans. editor.
http://dx.doi.org/10.1007/978-3-319-24312-2
Format: Electronic Resources

NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings

2024-07-04T04:39:58Z

Yazar Havelund, Klaus. editor.
http://dx.doi.org/10.1007/978-3-319-17524-9
Format: Electronic Resources

Smart Learning Objects for Smart Education in Computer Science Theory, Methodology and Robot-Based Implementation

2024-07-04T04:39:58Z

Yazar Štuikys, Vytautas. author.
http://dx.doi.org/10.1007/978-3-319-16913-2
Format: Electronic Resources

Inductive Logic Programming 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers

2024-07-04T04:39:58Z

Yazar Davis, Jesse. editor.
http://dx.doi.org/10.1007/978-3-319-23708-4
Format: Electronic Resources

Agent Environments for Multi-Agent Systems IV 4th International Workshop, E4MAS 2014 - 10 Years Later, Paris, France, May 6, 2014, Revised Selected and Invited Papers

2024-07-04T04:39:58Z

Yazar Weyns, Danny. editor.
http://dx.doi.org/10.1007/978-3-319-23850-0
Format: Electronic Resources

Software, Services, and Systems Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering

2024-07-04T04:39:58Z

Yazar Nicola, Rocco De. editor.
http://dx.doi.org/10.1007/978-3-319-15545-6
Format: Electronic Resources

Languages and Compilers for Parallel Computing 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papers

2024-07-04T04:39:58Z

Yazar Brodman, James. editor.
http://dx.doi.org/10.1007/978-3-319-17473-0
Format: Electronic Resources

Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers

2024-07-04T04:39:58Z

Yazar Lanese, Ivan. editor.
http://dx.doi.org/10.1007/978-3-319-15317-9
Format: Electronic Resources

Trends in Functional Programming 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers

2024-07-04T04:39:58Z

Yazar Hage, Jurriaan. editor.
http://dx.doi.org/10.1007/978-3-319-14675-1
Format: Electronic Resources

Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday

2024-07-04T04:39:58Z

Yazar Eiter, Thomas. editor.
http://dx.doi.org/10.1007/978-3-319-14726-0
Format: Electronic Resources

Data Structures and Algorithms with Python

2024-07-04T04:39:58Z

Yazar Lee, Kent D. author.
http://dx.doi.org/10.1007/978-3-319-13072-9
Format: Electronic Resources

Guide to High Performance Distributed Computing Case Studies with Hadoop, Scalding and Spark

2024-07-04T04:39:58Z

Yazar Srinivasa, K.G. author.
http://dx.doi.org/10.1007/978-3-319-13497-0
Format: Electronic Resources

Central European Functional Programming School 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers

2024-07-04T04:39:58Z

Yazar Zsók, Viktória. editor.
http://dx.doi.org/10.1007/978-3-319-15940-9
Format: Electronic Resources

Parallel Scientific Computing Theory, Algorithms, and Applications of Mesh Based and Meshless Methods

2024-07-04T04:39:58Z

Yazar Trobec, Roman. author.
http://dx.doi.org/10.1007/978-3-319-17073-2
Format: Electronic Resources

Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

2024-07-04T04:39:58Z

Yazar Calinescu, Radu. editor.
http://dx.doi.org/10.1007/978-3-319-22969-0
Format: Electronic Resources

Object-Oriented Analysis, Design and Implementation An Integrated Approach

2024-07-04T04:39:58Z

Yazar Dathan, Brahma. author.
http://dx.doi.org/10.1007/978-3-319-24280-4
Format: Electronic Resources

Programming Languages with Applications to Biology and Security Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday

2024-07-04T04:39:58Z

Yazar Bodei, Chiara. editor.
http://dx.doi.org/10.1007/978-3-319-25527-9
Format: Electronic Resources

Building Secure Defenses Against Code-Reuse Attacks

2024-07-04T04:39:58Z

Yazar Davi, Lucas. author.
http://dx.doi.org/10.1007/978-3-319-25546-0
Format: Electronic Resources

Intelligent Cloud Computing First International Conference, ICC 2014, Muscat, Oman, February 24-26, 2014, Revised Selected Papers

2024-07-04T04:39:58Z

Yazar Al-Saidi, Asma. editor.
http://dx.doi.org/10.1007/978-3-319-19848-4
Format: Electronic Resources

Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers

2024-07-04T04:39:58Z

Yazar Dastani, Mehdi. editor.
http://dx.doi.org/10.1007/978-3-319-24644-4
Format: Electronic Resources

Globalizing Domain-Specific Languages International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers

2024-07-04T04:39:58Z

Yazar Combemale, Benoit. editor.
http://dx.doi.org/10.1007/978-3-319-26172-0
Format: Electronic Resources

Engineering Multi-Agent Systems Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers

2024-07-04T04:39:58Z

Yazar Baldoni, Matteo. editor.
http://dx.doi.org/10.1007/978-3-319-26184-3
Format: Electronic Resources

Object-Oriented Technology

2024-07-04T04:39:58Z

Yazar Alagić, Suad. author.
http://dx.doi.org/10.1007/978-3-319-20442-0
Format: Electronic Resources

Programming Smalltalk – Object-Orientation from the Beginning An introduction to the principles of programming

2024-07-04T04:39:58Z

Yazar Brauer, Johannes. author.
http://dx.doi.org/10.1007/978-3-658-06823-3
Format: Electronic Resources

Compiler Construction 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

2024-07-04T04:39:58Z

Yazar Franke, Björn. editor.
http://dx.doi.org/10.1007/978-3-662-46663-6
Format: Electronic Resources

Transactions on Aspect-Oriented Software Development XII

2024-07-04T04:39:58Z

Yazar Chiba, Shigeru. editor.
http://dx.doi.org/10.1007/978-3-662-46734-3
Format: Electronic Resources

Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

2024-07-04T04:39:58Z

Yazar Davis, Martin. editor.
http://dx.doi.org/10.1007/978-3-662-48899-7
Format: Electronic Resources

An Introduction to Python and Computer Programming

2024-07-04T04:39:58Z

Yazar Zhang, Yue. author.
http://dx.doi.org/10.1007/978-981-287-609-6
Format: Electronic Resources

Solving Software Challenges for Exascale International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers

2024-07-04T04:39:58Z

Yazar Markidis, Stefano. editor.
http://dx.doi.org/10.1007/978-3-319-15976-8
Format: Electronic Resources

Genetic Programming Theory and Practice XII

2024-07-04T04:39:58Z

Yazar Riolo, Rick. editor.
http://dx.doi.org/10.1007/978-3-319-16030-6
Format: Electronic Resources

Patterns of HCI Design and HCI Design of Patterns Bridging HCI Design and Model-Driven Software Engineering

2024-07-04T04:39:58Z

Yazar Seffah, Ahmed. author.
http://dx.doi.org/10.1007/978-3-319-15687-3
Format: Electronic Resources

Algorithmic Decision Theory 4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, Proceedings

2024-07-04T04:39:58Z

Yazar Walsh, Toby. editor.
http://dx.doi.org/10.1007/978-3-319-23114-3
Format: Electronic Resources

Logic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday

2024-07-04T04:39:58Z

Yazar Martí-Oliet, Narciso. editor.
http://dx.doi.org/10.1007/978-3-319-23165-5
Format: Electronic Resources

Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings

2024-07-04T04:39:58Z

Yazar Calimeri, Francesco. editor.
http://dx.doi.org/10.1007/978-3-319-23264-5
Format: Electronic Resources

Frontiers of Combining Systems 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings

2024-07-04T04:39:58Z

Yazar Lutz, Carsten. editor.
http://dx.doi.org/10.1007/978-3-319-24246-0
Format: Electronic Resources

Software Engineering for Collective Autonomic Systems The ASCENS Approach

2024-07-04T04:39:58Z

Yazar Wirsing, Martin. editor.
http://dx.doi.org/10.1007/978-3-319-16310-9
Format: Electronic Resources

Practical Aspects of Declarative Languages 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings

2024-07-04T04:39:58Z

Yazar Pontelli, Enrico. editor.
http://dx.doi.org/10.1007/978-3-319-19686-2
Format: Electronic Resources

Fields of Logic and Computation II Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday

2024-07-04T04:39:58Z

Yazar Beklemishev, Lev D. editor.
http://dx.doi.org/10.1007/978-3-319-23534-9
Format: Electronic Resources

Modelling Foundations and Applications 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings

2024-07-04T04:39:58Z

Yazar Taentzer, Gabriele. editor.
http://dx.doi.org/10.1007/978-3-319-21151-0
Format: Electronic Resources

Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77

2024-07-04T04:39:58Z

Yazar Chivers, Ian. author.
http://dx.doi.org/10.1007/978-3-319-17701-4
Format: Electronic Resources

Finite Difference Methods,Theory and Applications 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers

2024-07-04T04:39:58Z

Yazar Dimov, Ivan. editor.
http://dx.doi.org/10.1007/978-3-319-20239-6
Format: Electronic Resources

Formal Methods and Software Engineering 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

2024-07-04T04:39:58Z

Yazar Butler, Michael. editor.
http://dx.doi.org/10.1007/978-3-319-25423-4
Format: Electronic Resources

Search-Based Software Engineering 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings

2024-07-04T04:39:58Z

Yazar Barros, Márcio. editor.
http://dx.doi.org/10.1007/978-3-319-22183-0
Format: Electronic Resources

Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings

2024-07-04T04:39:58Z

Yazar Holvoet, Tom. editor.
http://dx.doi.org/10.1007/978-3-319-19282-6
Format: Electronic Resources

Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings

2024-07-04T04:39:58Z

Yazar Blanchette, Jasmin Christian. editor.
http://dx.doi.org/10.1007/978-3-319-21215-9
Format: Electronic Resources

Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings

2024-07-04T04:39:58Z

Yazar Bartocci, Ezio. editor.
http://dx.doi.org/10.1007/978-3-319-23820-3
Format: Electronic Resources

Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

2024-07-04T04:39:58Z

Yazar Finkbeiner, Bernd. editor.
http://dx.doi.org/10.1007/978-3-319-24953-7
Format: Electronic Resources

Software Engineering International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures

2024-07-04T04:39:58Z

Yazar Meyer, Bertrand. editor.
http://dx.doi.org/10.1007/978-3-319-28406-4
Format: Electronic Resources

Adaptive Resource Management and Scheduling for Cloud Computing Second International Workshop, ARMS-CC 2015, Held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2015, Donostia-San Sebastián, Spain, July 20, 2015, Revised Selected Papers

2024-07-04T04:39:58Z

Yazar Pop, Florin. editor.
http://dx.doi.org/10.1007/978-3-319-28448-4
Format: Electronic Resources

Web Programming with PHP and MySQL A Practical Guide

2024-07-04T04:39:58Z

Yazar Bramer, Max. author.
http://dx.doi.org/10.1007/978-3-319-22659-0
Format: Electronic Resources

Real-Time Visual Effects for Game Programming

2024-07-04T04:39:58Z

Yazar Kim, Chang-Hun. author.
http://dx.doi.org/10.1007/978-981-287-487-0
Format: Electronic Resources