Comparor Shopping Experience

Programmiersprachen

11,919 Ergebnis(s)

Vorschläge für Programmiersprachen

Computer Safety, Reliability, and Security: SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, ... Notes in Computer Science, Band 9338)

Computer Safety, Reliability, and Security: SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, ... Notes in Computer Science, Band 9338)

(9783319242484 / 170 colour illustrations, biography)

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

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

(9783319238197 / 133 black & white illustrations, biograp)

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

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

(9783319235332 / 15 black & white illustrations, biograph)

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

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

(9783319231648 / 103 black & white illustrations, biograp)

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

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

Springer-Verlag GmbH (9783319229683 / 84 black & white illustrations, biograph)

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

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

Springer-Verlag GmbH (9783319221823 / bibliography)

Automatic SIMD Vectorization of SSA-based Control Flow Graphs

Automatic SIMD Vectorization of SSA-based Control Flow Graphs

(9783658101121 / 36 black & white illustrations, 5 colour)

Mathematics of Program Construction: 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings

Mathematics of Program Construction: 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings

Springer-Verlag GmbH (9783319197968 / 44 black & white illustrations, biograph)

An Introduction to PHP for Scientists and Engineers: Beyond JavaScript

An Introduction to PHP for Scientists and Engineers: Beyond JavaScript

(9781848002364)

Provenance and Annotation of Data and Processes: 7th International Provenance and Annotation Workshop, IPAW 2018, London, UK, July 9-10, 2018, ... Notes in Computer Science, Band 11017)

(9783319983783) | Provenance and Annotation of, Provenance and Annotation

Inductive Logic Programming: 28th International Conference, ILP 2018, Ferrara, Italy, September 2-4, 2018, Proceedings

(9783319999593) | Inductive Logic Programming

Model-Based Systems Engineering with OPM and SysML

Model-Based Systems Engineering with OPM and SysML

(9781493980147)

New Opportunities for Software Reuse: 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings

(9783319904207)

Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised ... Notes in Computer Science, Band 10644)

(9783319720432)

Hardware and Software: Verification and Testing: 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, ... Notes in Computer Science, Band 10629)

(9783319703886) | Hardware and Software, Verification and

Fundamentals of Software Engineering: 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers

(9783319689715) | Fundamentals of Software Engineering

Service-Oriented Computing - ICSOC 2016 Workshops: ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10-13, 2016, Revised Selected ... Notes in Computer Science, Band 10380)

Service-Oriented Computing - ICSOC 2016 Workshops: ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10-13, 2016, Revised Selected ... Notes in Computer Science, Band 10380)

(9783319681351) | Service-Oriented Computing

Formal Aspects of Component Software: 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings

(9783319680330) | Of Component Software

Critical Systems: Formal Methods and Automated Verification

RIDDLEDWITHSTYLE (9783319671123 / MUSCLE GYM VEST TOPS) | Formal Methods and, Formal Methods

Grand Timely Topics in Software Engineering: International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures

Grand Timely Topics in Software Engineering: International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures

(9783319600734)

Software Engineering for Resilient Systems: 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings

RIDDLEDWITHSTYLE (9783319659473 / SHORTS KIDS GIRLS) | Software Engineering for Resilient

Graph Transformation: 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings

(9783319614694) | Graph Transformation

Reliable Software Technologies – Ada-Europe 2017: 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June ... Notes in Computer Science, Band 10300)

(9783319605876) | Reliable Software Technologies

Smart Card Research and Advanced Applications: 15th International Conference, CARDIS 2016, Cannes, France, November 7-9, 2016, Revised Selected Papers

(9783319546681)

Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

(9783319522272) | Unifying Theories of Programming

OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments: Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 - 4, ... Notes in Computer Science, Band 10007)

(9783319509945) | OpenSHMEM and Related Technologies

Hardware and Software: Verification and Testing: 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, ... Notes in Computer Science, Band 10028)

(9783319490519) | Hardware and Software, Verification and

Tests and Proofs: 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings

Tests and Proofs: 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings

(9783319411347) | Tests and Proofs

Reliable Software Technologies – Ada-Europe 2016: 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, ... Notes in Computer Science, Band 9695)

Reliable Software Technologies – Ada-Europe 2016: 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, ... Notes in Computer Science, Band 9695)

(9783319390826) | Reliable Software Technologies

Trends in Functional Programming: 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers

Trends in Functional Programming: 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers

(9783319391090) | Trends in Functional Programming

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

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

(9783319101804 / 125 black & white illustrations, biograp) | Integrated Formal Methods

Transactions on Aspect-Oriented Software Development XI

Transactions on Aspect-Oriented Software Development XI

(9783642550980 / 78 black & white illustrations, biograph) | Transactions on Aspect-Oriented

From Programs to Systems - The Systems Perspective in Computing: ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, ... Notes in Computer Science, Band 8415)

From Programs to Systems - The Systems Perspective in Computing: ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, ... Notes in Computer Science, Band 8415)

(9783642548475 / 76 black & white illustrations, biograph) | From Programs, The Systems

Structured Object-Oriented Formal Language and Method: Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, ... Notes in Computer Science, Band 8332)

Structured Object-Oriented Formal Language and Method: Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, ... Notes in Computer Science, Band 8332)

(9783319049144 / 64 black & white illustrations, biograph) | Structured Object-Oriented Formal

Pro .NET Best Practices

Pro .NET Best Practices

(9781430240235) | Best Practices, NET Best Practices

HTML5 Advertising

HTML5 Advertising

(9781430246022)

Filter

Anzeigen/verbergen vollständige Liste