Comparor Shopping Experience

Programmiersprachen

11,928 Ergebnis(s)

Vorschläge für Programmiersprachen

Requirements Engineering: Foundation for Software Quality: 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18-21, 2019, ... Notes in Computer Science, Band 11412)

Requirements Engineering: Foundation for Software Quality: 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18-21, 2019, ... Notes in Computer Science, Band 11412)

(9783030155377 / 35436735) | Foundation for Software

Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006 Haifa, Israel, October 23-26, 2006 ... Notes in Computer Science, 4383, Band 4383)

Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006 Haifa, Israel, October 23-26, 2006 ... Notes in Computer Science, 4383, Band 4383)

(9783540708889 / biography) | Hardware and Software, Verification and

Drawing Programs: The Theory and Practice of Schematic Functional Programming

Drawing Programs: The Theory and Practice of Schematic Functional Programming

Springer-Verlag GmbH (9781848826175 / 410 black & white illustrations, 410 bla) | Springer London

Python for Data Mining Quick Syntax Reference

Python for Data Mining Quick Syntax Reference

APRESS L.P. (9781484241127 / 33869927) | Quick Syntax

Beginning Programming Using Retro Computing: Learn BASIC with a Commodore Emulator

Beginning Programming Using Retro Computing: Learn BASIC with a Commodore Emulator

APRESS L.P. (9781484241455 / 33997072) | Beginning Programming Using Retro

Theory and Applications of Formal Argumentation: Second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013, Revised Selected Papers

Theory and Applications of Formal Argumentation: Second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013, Revised Selected Papers

(9783642543722 / 43 black & white illustrations, biograph) | Applications of Formal

Expert Twisted: Event-Driven and Asynchronous Programming with Python

Expert Twisted: Event-Driven and Asynchronous Programming with Python

APRESS L.P. (9781484237410 / 33078659) | Expert Twisted

Beginning Jenkins Blue Ocean: Create Elegant Pipelines With Ease

Beginning Jenkins Blue Ocean: Create Elegant Pipelines With Ease

APRESS L.P. (9781484241578 / 34292260) | Beginning Jenkins Blue Ocean

Logics of Specification Languages

Logics of Specification Languages

(9783540741060 / 69 black & white illustrations, biograph)

Workflows for e-Science: Scientific Workflows for Grids

Workflows for e-Science: Scientific Workflows for Grids

(9781849966191 / 7 black & white tables, biography) | Workflows for e-Science, Workflows for

Application and Theory of Petri Nets and Concurrency: 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings

Application and Theory of Petri Nets and Concurrency: 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings

Springer-Verlag GmbH (9783319194875 / 129 black & white illustrations, biograp) | Application and Theory of

Formal Methods for Open Object-Based Distributed Systems: Ifip Tc6 / Wg6.1 Third International Conference On Formal Methods For Open Object-Based . . ... and Communication Technology, 10, Band 10)

Formal Methods for Open Object-Based Distributed Systems: Ifip Tc6 / Wg6.1 Third International Conference On Formal Methods For Open Object-Based . . ... and Communication Technology, 10, Band 10)

(9781475752663 / biography)

Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, ... Notes in Computer Science, Band 9407)

Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, ... Notes in Computer Science, Band 9407)

(9783319254227 / 150 colour illustrations, biography)

Information Security: 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings

Information Security: 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings

(9783319276588 / 52 colour illustrations, biography) | Information Security

Languages, Applications and Technologies: 4th International Symposium, SLATE 2015, Madrid, Spain, June 18-19, 2015, Revised Selected Papers ... Computer and Information Science, Band 563)

Languages, Applications and Technologies: 4th International Symposium, SLATE 2015, Madrid, Spain, June 18-19, 2015, Revised Selected Papers ... Computer and Information Science, Band 563)

(9783319276526 / 86 black & white illustrations, biograph) | Applications and Technologies

Theoretical Aspects of Computing - ICTAC 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings

Theoretical Aspects of Computing - ICTAC 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings

(9783319251493 / 142 colour illustrations, biography)

Programming Languages and Systems: 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings

Programming Languages and Systems: 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings

(9783319265285 / 133 colour illustrations, biography)

Software Technologies: 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers

Software Technologies: 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers

Springer-Verlag GmbH (9783319255781 / 151 colour illustrations, biography)

Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, ... Notes in Computer Science, Band 9434)

Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, ... Notes in Computer Science, Band 9434)

Springer-Verlag GmbH (9783319262864 / 88 black & white illustrations, biograph)

OpenMP: Heterogenous Execution and Data Movements: 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings

OpenMP: Heterogenous Execution and Data Movements: 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings

(9783319245942 / 146 black & white illustrations, biograp) | Execution and Data

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)

Software Architecture: 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015. Proceedings

(9783319237268 / 89 colour illustrations, biography) | Software Architecture

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)

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

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)

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)

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

Filter

Anzeigen/verbergen vollständige Liste