Search Results for - Narrowed by: Springer E-Book Collection - Programming languages (Electronic computers). - 2014

Guide to Java A Concise Introduction to Programming

2024-05-12T16:17:48Z

Yazar Streib, James T. author.
http://dx.doi.org/10.1007/978-1-4471-6317-6
Format: Electronic Resources

Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014. Proceedings

2024-05-12T16:17:48Z

Yazar Seidl, Martina. editor.
http://dx.doi.org/10.1007/978-3-319-09099-3
Format: Electronic Resources

Computational Logic in Multi-Agent Systems 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings

2024-05-12T16:17:48Z

Yazar Bulling, Nils. editor.
http://dx.doi.org/10.1007/978-3-319-09764-0
Format: Electronic Resources

Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings

2024-05-12T16:17:48Z

Yazar Lang, Frédéric. editor.
http://dx.doi.org/10.1007/978-3-319-10702-8
Format: Electronic Resources

Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 28 – October 3, 2014. Proceedings

2024-05-12T16:17:48Z

Yazar Dingel, Juergen. editor.
http://dx.doi.org/10.1007/978-3-319-11653-2
Format: Electronic Resources

Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

2024-05-12T16:17:48Z

Yazar Giannakopoulou, Dimitra. editor.
http://dx.doi.org/10.1007/978-3-319-12154-3
Format: Electronic Resources

NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014. Proceedings

2024-05-12T16:17:48Z

Yazar Badger, Julia M. editor.
http://dx.doi.org/10.1007/978-3-319-06200-6
Format: Electronic Resources

Python Programming Fundamentals

2024-05-12T16:17:48Z

Yazar Lee, Kent D. author.
http://dx.doi.org/10.1007/978-1-4471-6642-9
Format: Electronic Resources

Modelling Foundations and Applications 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings

2024-05-12T16:17:48Z

Yazar Cabot, Jordi. editor.
http://dx.doi.org/10.1007/978-3-319-09195-2
Format: Electronic Resources

Euro-Par 2014 Parallel Processing 20th International Conference, Porto, Portugal, August 25-29, 2014. Proceedings

2024-05-12T16:17:48Z

Yazar Silva, Fernando. editor.
http://dx.doi.org/10.1007/978-3-319-09873-9
Format: Electronic Resources

Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014. Proceedings

2024-05-12T16:17:48Z

Yazar Ruscio, Davide Di. editor.
http://dx.doi.org/10.1007/978-3-319-08789-4
Format: Electronic Resources

Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014. Proceedings

2024-05-12T16:17:48Z

Yazar Goues, Claire Le. editor.
http://dx.doi.org/10.1007/978-3-319-09940-8
Format: Electronic Resources

Programming Languages and Operational Semantics A Concise Overview

2024-05-12T16:17:48Z

Yazar Fernández, Maribel. author.
http://dx.doi.org/10.1007/978-1-4471-6368-8
Format: Electronic Resources

JRuby Rails Web Application Development

2024-05-12T16:17:48Z

Yazar Vohra, Deepak. author.
http://dx.doi.org/10.1007/978-3-319-03934-3
Format: Electronic Resources

A Beginner's Guide to Scala, Object Orientation and Functional Programming

2024-05-12T16:17:48Z

Yazar Hunt, John. author.
http://dx.doi.org/10.1007/978-3-319-06776-6
Format: Electronic Resources

Reliable Software Technologies – Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings

2024-05-12T16:17:48Z

Yazar George, Laurent. editor.
http://dx.doi.org/10.1007/978-3-319-08311-7
Format: Electronic Resources

Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings

2024-05-12T16:17:48Z

Yazar Yahav, Eran. editor.
http://dx.doi.org/10.1007/978-3-319-13338-6
Format: Electronic Resources

Concrete Semantics With Isabelle/HOL

2024-05-12T16:17:48Z

Yazar Nipkow, Tobias. author.
http://dx.doi.org/10.1007/978-3-319-10542-0
Format: Electronic Resources

Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings

2024-05-12T16:17:48Z

Yazar Combemale, Benoît. editor.
http://dx.doi.org/10.1007/978-3-319-11245-9
Format: Electronic Resources

Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi

2024-05-12T16:17:48Z

Yazar Iida, Shusaku. editor.
http://dx.doi.org/10.1007/978-3-642-54624-2
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

2024-05-12T16:17:48Z

Yazar Margaria, Tiziana. editor.
http://dx.doi.org/10.1007/978-3-662-45231-8
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

2024-05-12T16:17:48Z

Yazar Margaria, Tiziana. editor.
http://dx.doi.org/10.1007/978-3-662-45234-9
Format: Electronic Resources

Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures

2024-05-12T16:17:48Z

Yazar Remke, Anne. editor.
http://dx.doi.org/10.1007/978-3-662-45489-3
Format: Electronic Resources

Verified Software: Theories, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers

2024-05-12T16:17:48Z

Yazar Cohen, Ernie. editor.
http://dx.doi.org/10.1007/978-3-642-54108-7
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings

2024-05-12T16:17:48Z

Yazar Ábrahám, Erika. editor.
http://dx.doi.org/10.1007/978-3-642-54862-8
Format: Electronic Resources

Web Services and Formal Methods 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers

2024-05-12T16:17:48Z

Yazar Tuosto, Emilio. editor.
http://dx.doi.org/10.1007/978-3-319-08260-8
Format: Electronic Resources

Application and Theory of Petri Nets and Concurrency 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014. Proceedings

2024-05-12T16:17:48Z

Yazar Ciardo, Gianfranco. editor.
http://dx.doi.org/10.1007/978-3-319-07734-5
Format: Electronic Resources

Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings

2024-05-12T16:17:48Z

Yazar Codish, Michael. editor.
http://dx.doi.org/10.1007/978-3-319-07151-0
Format: Electronic Resources

Theoretical Aspects of Computing – ICTAC 2014 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings

2024-05-12T16:17:48Z

Yazar Ciobanu, Gabriel. editor.
http://dx.doi.org/10.1007/978-3-319-10882-7
Format: Electronic Resources

Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings

2024-05-12T16:17:48Z

Yazar Müller-Olm, Markus. editor.
http://dx.doi.org/10.1007/978-3-319-10936-7
Format: Electronic Resources

Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings

2024-05-12T16:17:48Z

Yazar Bonakdarpour, Borzoo. editor.
http://dx.doi.org/10.1007/978-3-319-11164-3
Format: Electronic Resources

Numerical Computations with GPUs

2024-05-12T16:17:48Z

Yazar Kindratenko, Volodymyr. editor.
http://dx.doi.org/10.1007/978-3-319-06548-9
Format: Electronic Resources

Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings

2024-05-12T16:17:48Z

Yazar Merayo, Mercedes G. editor.
http://dx.doi.org/10.1007/978-3-662-44857-1
Format: Electronic Resources

Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

2024-05-12T16:17:48Z

Yazar Gnesi, Stefania. editor.
http://dx.doi.org/10.1007/978-3-642-54804-8
Format: Electronic Resources

Concurrent Objects and Beyond Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday

2024-05-12T16:17:48Z

Yazar Agha, Gul. editor.
http://dx.doi.org/10.1007/978-3-662-44471-9
Format: Electronic Resources

Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

2024-05-12T16:17:48Z

Yazar Muscholl, Anca. editor.
http://dx.doi.org/10.1007/978-3-642-54830-7
Format: Electronic Resources

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

2024-05-12T16:17:48Z

Yazar Shao, Zhong. editor.
http://dx.doi.org/10.1007/978-3-642-54833-8
Format: Electronic Resources

From Programs to Systems. The Systems perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings

2024-05-12T16:17:48Z

Yazar Bensalem, Saddek. editor.
http://dx.doi.org/10.1007/978-3-642-54848-2
Format: Electronic Resources

Trends in Functional Programming 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers

2024-05-12T16:17:48Z

Yazar McCarthy, Jay. editor.
http://dx.doi.org/10.1007/978-3-642-45340-3
Format: Electronic Resources

Transactions on Aspect-Oriented Software Development XI

2024-05-12T16:17:48Z

Yazar Chiba, Shigeru. editor.
http://dx.doi.org/10.1007/978-3-642-55099-7
Format: Electronic Resources

Software Technologies 8th International Joint Conference, ICSOFT 2013, Reykjavik, Iceland, July 29-31, 2013, Revised Selected Papers

2024-05-12T16:17:48Z

Yazar Cordeiro, José. editor.
http://dx.doi.org/10.1007/978-3-662-44920-2
Format: Electronic Resources

Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings

2024-05-12T16:17:48Z

Yazar Cohen, Albert. editor.
http://dx.doi.org/10.1007/978-3-642-54807-9
Format: Electronic Resources

ECOOP 2014 – Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28 – August 1, 2014. Proceedings

2024-05-12T16:17:48Z

Yazar Jones, Richard. editor.
http://dx.doi.org/10.1007/978-3-662-44202-9
Format: Electronic Resources

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014. Proceedings

2024-05-12T16:17:48Z

Yazar Fischbach, Kai. editor.
http://dx.doi.org/10.1007/978-3-319-05359-2
Format: Electronic Resources

Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers

2024-05-12T16:17:48Z

Yazar Liu, Shaoying. editor.
http://dx.doi.org/10.1007/978-3-319-04915-1
Format: Electronic Resources

Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers

2024-05-12T16:17:48Z

Yazar Counsell, Steve. editor.
http://dx.doi.org/10.1007/978-3-319-05032-4
Format: Electronic Resources

Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings

2024-05-12T16:17:48Z

Yazar Flatt, Matthew. editor.
http://dx.doi.org/10.1007/978-3-319-04132-2
Format: Electronic Resources

Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings

2024-05-12T16:17:48Z

Yazar Albert, Elvira. editor.
http://dx.doi.org/10.1007/978-3-319-10181-1
Format: Electronic Resources

Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings

2024-05-12T16:17:48Z

Yazar Garrigue, Jacques. editor.
http://dx.doi.org/10.1007/978-3-319-12736-1
Format: Electronic Resources

Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings

2024-05-12T16:17:48Z

Yazar Giannakopoulou, Dimitra. editor.
http://dx.doi.org/10.1007/978-3-319-10431-7
Format: Electronic Resources

Programming Languages 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings

2024-05-12T16:17:48Z

Yazar Quintão Pereira, Fernando Magno. editor.
http://dx.doi.org/10.1007/978-3-319-11863-5
Format: Electronic Resources

Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers

2024-05-12T16:17:48Z

Yazar Escobar, Santiago. editor.
http://dx.doi.org/10.1007/978-3-319-12904-4
Format: Electronic Resources

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings

2024-05-12T16:17:48Z

Yazar Cassez, Franck. editor.
http://dx.doi.org/10.1007/978-3-319-11936-6
Format: Electronic Resources

Foundations of Programming Languages

2024-05-12T16:17:48Z

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

Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers

2024-05-12T16:17:48Z

Yazar Dal Lago, Ugo. editor.
http://dx.doi.org/10.1007/978-3-319-12466-7
Format: Electronic Resources

Software Reuse for Dynamic Systems in the Cloud and Beyond 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings

2024-05-12T16:17:48Z

Yazar Schaefer, Ina. editor.
http://dx.doi.org/10.1007/978-3-319-14130-5
Format: Electronic Resources

Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings

2024-05-12T16:17:48Z

Yazar Ouaknine, Joël. editor.
http://dx.doi.org/10.1007/978-3-319-11439-2
Format: Electronic Resources

Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

2024-05-12T16:17:48Z

Yazar Bernardo, Marco. editor.
http://dx.doi.org/10.1007/978-3-319-07317-0
Format: Electronic Resources

OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014. Proceedings

2024-05-12T16:17:48Z

Yazar Poole, Stephen. editor.
http://dx.doi.org/10.1007/978-3-319-05215-1
Format: Electronic Resources

Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings

2024-05-12T16:17:48Z

Yazar Merz, Stephan. editor.
http://dx.doi.org/10.1007/978-3-319-11737-9
Format: Electronic Resources

Model-Based Safety and Assessment 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings

2024-05-12T16:17:48Z

Yazar Ortmeier, Frank. editor.
http://dx.doi.org/10.1007/978-3-319-12214-4
Format: Electronic Resources

System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings

2024-05-12T16:17:48Z

Yazar Amyot, Daniel. editor.
http://dx.doi.org/10.1007/978-3-319-11743-0
Format: Electronic Resources

Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014. Proceedings

2024-05-12T16:17:48Z

Yazar Avgeriou, Paris. editor.
http://dx.doi.org/10.1007/978-3-319-09970-5
Format: Electronic Resources

Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers

2024-05-12T16:17:48Z

Yazar Fiadeiro, José Luiz. editor.
http://dx.doi.org/10.1007/978-3-319-07602-7
Format: Electronic Resources

A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof

2024-05-12T16:17:48Z

Yazar Kovalev, Mikhail. author.
http://dx.doi.org/10.1007/978-3-319-13906-7
Format: Electronic Resources

Using and Improving OpenMP for Devices, Tasks, and More 10th International Workshop on OpenMP, IWOMP 2014, Salvador, Brazil, September 28-30, 2014. Proceedings

2024-05-12T16:17:48Z

Yazar DeRose, Luiz. editor.
http://dx.doi.org/10.1007/978-3-319-11454-5
Format: Electronic Resources

The Python Workbook A Brief Introduction with Exercises and Solutions

2024-05-12T16:17:48Z

Yazar Stephenson, Ben. author.
http://dx.doi.org/10.1007/978-3-319-14240-1
Format: Electronic Resources