Comparor Shopping Experience

Programmiersprachen

11,928 Ergebnis(s)

Vorschläge für Programmiersprachen

ESOP '88: 2nd European Symposium on Programming. Nancy, France, March 21-24, 1988. Proceedings

ESOP '88: 2nd European Symposium on Programming. Nancy, France, March 21-24, 1988. Proceedings

Springer Berlin Heidelberg (9783540190271 / 6886654)

Automata Networks: LITP Spring School on Theoretical Computer Science, Argeles-Village, France, May 12-16, 1986. Proceedings

Automata Networks: LITP Spring School on Theoretical Computer Science, Argeles-Village, France, May 12-16, 1986. Proceedings

(9783540194446 / 1)

PORTAL Language Description

PORTAL Language Description

Springer Berlin Heidelberg (9783540189602 / biography)

Conditional Term Rewriting Systems: 1st International Workshop Orsay, France, July 8-10, 1987. Proceedings

Conditional Term Rewriting Systems: 1st International Workshop Orsay, France, July 8-10, 1987. Proceedings

Springer Berlin Heidelberg (9783540192428 / 6886663)

The Munich Project CIP: Volume II: The Program Transformation System CIP-S: Volume II: The Programme Transformation System CIP-S

The Munich Project CIP: Volume II: The Program Transformation System CIP-S: Volume II: The Programme Transformation System CIP-S

Springer Berlin Heidelberg (9783540187790 / 6900384)

ESEC '87: 1st European Software Engineering Conference Strasbourg, France, September 9-11, 1987. Proceedings

ESEC '87: 1st European Software Engineering Conference Strasbourg, France, September 9-11, 1987. Proceedings

Springer Berlin Heidelberg (9783540187127 / 7124606)

Advanced Programming Environments: Proceedings of an International Workshop Trondheim, Norway, June 16-18, 1986

Advanced Programming Environments: Proceedings of an International Workshop Trondheim, Norway, June 16-18, 1986

Springer Berlin Heidelberg (9783540171898 / 6891019)

Logic Programming '85: Proceedings of the 4th Conference Tokyo, Japan, July 1-3, 1985

Logic Programming '85: Proceedings of the 4th Conference Tokyo, Japan, July 1-3, 1985

Springer Berlin Heidelberg (9783540164791 / 6891020)

RIMS Symposium on Software Science and Engineering II: Proceedings of the Symposia 1983 and 1984, Kyoto, Japan

RIMS Symposium on Software Science and Engineering II: Proceedings of the Symposia 1983 and 1984, Kyoto, Japan

Springer Berlin Heidelberg (9783540164708 / 6886644)

Seminar on Concurrency: Carnegie-Mellon University Pittsburgh, PA, July 9-11, 1984

Seminar on Concurrency: Carnegie-Mellon University Pittsburgh, PA, July 9-11, 1984

Springer Berlin Heidelberg (9783540156703 / 6884146)

Paragon: A Language Using Type Hierarchies for the Specification, Implementation, and Selection of Abstract Data Types

Paragon: A Language Using Type Hierarchies for the Specification, Implementation, and Selection of Abstract Data Types

Springer Berlin Heidelberg (9783540152125 / 6894851)

Programming Languages and their Definition: Selected Papers

Programming Languages and their Definition: Selected Papers

Springer Berlin Heidelberg (9783540133780 / 6894847) | Programming Languages

International Symposium on Programming: 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings

International Symposium on Programming: 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings

Springer Berlin Heidelberg (9783540129257 / NUSTBK20171230-C0117695)

Towards a Formal Description of Ada

Towards a Formal Description of Ada

Springer Berlin Heidelberg (9783540102830 / with numerous figs.)

5th Conference on Automated Deduction: Les Arcs, France, July 8-11, 1980

5th Conference on Automated Deduction: Les Arcs, France, July 8-11, 1980

Springer Berlin Heidelberg (9783540100096 / 6884135)

Live Data Structures in Logic Programs: Derivation by Means of Abstract Interpretation

Live Data Structures in Logic Programs: Derivation by Means of Abstract Interpretation

Springer Berlin Heidelberg (9783540566946 / 6902844)

Specification and Transformation of Programs: A Formal Approach to Software Development

Specification and Transformation of Programs: A Formal Approach to Software Development

(9783540523567 / 44 black & white illustrations)

Ada in Europe: Second International Eurospace-Ada-Europe Symposium, Frankfurt, Germany, October 2-6, 1995

Ada in Europe: Second International Eurospace-Ada-Europe Symposium, Frankfurt, Germany, October 2-6, 1995

Springer Berlin Heidelberg (9783540607571 / 6943851)

Programming Languages: Implementations, Logics and Programs: 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, ...

Programming Languages: Implementations, Logics and Programs: 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, ...

Springer Berlin Heidelberg (9783540603597 / 6937575)

Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings

Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings

Springer Berlin Heidelberg (9783540603818 / 6909800)

Types for Proofs and Programs: International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers

Types for Proofs and Programs: International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers

Springer Berlin Heidelberg (9783540617808 / 6943802)

Extensions of Logic Programming: Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings

Extensions of Logic Programming: Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings

(9783540564546)

VLSI-SoC: Forward-Looking Trends in IC and Systems Design: 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC ... and Communication Technology, Band 373)

VLSI-SoC: Forward-Looking Trends in IC and Systems Design: 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC ... and Communication Technology, Band 373)

(9783642285653 / 239 black & white illustrations)

Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings

Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings

Springer-Verlag GmbH (9783642253782 / 87 black & white illustrations, biograph)

Open Source Systems: Grounding Research: 7th IFIP 2.13 International Conference, OSS 2011, Salvador, Brazil, October 6-7, 2011, Proceedings

Open Source Systems: Grounding Research: 7th IFIP 2.13 International Conference, OSS 2011, Salvador, Brazil, October 6-7, 2011, Proceedings

Springer (9783642244179 / biography)

Euro-Par 2011 Parallel Processing: 17th International Euro-ParConference, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part I

(9783642233999 / 140 black & white illustrations, 68 colo)

ECOOP 2011--Object-Oriented Programming: 25th European Conference. Lancaster, UK, July 25-29, 2011, Proceedings

ECOOP 2011--Object-Oriented Programming: 25th European Conference. Lancaster, UK, July 25-29, 2011, Proceedings

(9783642226540 / 137 black & white illustrations, 52 colo)

Fast Software Encryption: 18th International Workshop, FSE 2011, Lyngby, Denmark, February 13-16, 2011, Revised Selected Papers

Fast Software Encryption: 18th International Workshop, FSE 2011, Lyngby, Denmark, February 13-16, 2011, Revised Selected Papers

Springer-Verlag GmbH (9783642217012 / 54 black & white illustrations, 29 colou)

Future Challenges in Security and Privacy for Academia and Industry: 26th IFIP TC 11 International Information Security Conference, SEC 2011, Lucerne, ... and Communication Technology, Band 354)

Future Challenges in Security and Privacy for Academia and Industry: 26th IFIP TC 11 International Information Security Conference, SEC 2011, Lucerne, ... and Communication Technology, Band 354)

(9783642214233 / biography)

Information Computing and Applications, Part I: International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part I ... and Information Science, 105, Band 105)

Information Computing and Applications, Part I: International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part I ... and Information Science, 105, Band 105)

(9783642163357 / 173 black & white illustrations, biograp)

Integrated Formal Methods: 8th International Conference, I.F.M. 2010, Nancy, France, October 11-14, 2010, Proceedings

Integrated Formal Methods: 8th International Conference, I.F.M. 2010, Nancy, France, October 11-14, 2010, Proceedings

Springer-Verlag GmbH (9783642162640 / 13009367)

Previsão de Epidemias através de Mídias Sociais: Previsão de epidemias a partir do twitter

Previsão de Epidemias através de Mídias Sociais: Previsão de epidemias a partir do twitter

(9783330999015) | Previsão de Epidemias através

Convolutional LSTM for Next Frame Prediction

Convolutional LSTM for Next Frame Prediction

(9783330518087) | LSTM for Next Frame

A Systematic Review and Taxonomy of SQL Injection Defense Techniques

A Systematic Review and Taxonomy of SQL Injection Defense Techniques

(9783330075887) | Systematic Review and Taxonomy

Regras de Associação Negativas em Mineração de Dados: Teorias, Técnicas e Pesquisas

Regras de Associação Negativas em Mineração de Dados: Teorias, Técnicas e Pesquisas

(9783330770577) | Regras de Associação Negativas

ÐÐµÑÐ¾Ð´Ñ Ð¾Ð¿ÑÐµÐ´ÐµÐ»ÐµÐ½Ð¸Ñ Ð¾Ð´Ð½Ð¾Ð¿Ð°ÑÐ°Ð¼ÐµÑÑÐ¸ÑÐµÑÐºÐ¸Ñ Ð¾Ð±Ð¾Ð±ÑÐµÐ½Ð½ÑÑ Ð¾Ð±ÑÐ°ÑÐ½ÑÑ Ð¼Ð°ÑÑÐ¸Ñ: ÐÐ¾

ÐÐµÑÐ¾Ð´Ñ Ð¾Ð¿ÑÐµÐ´ÐµÐ»ÐµÐ½Ð¸Ñ Ð¾Ð´Ð½Ð¾Ð¿Ð°ÑÐ°Ð¼ÐµÑÑÐ¸ÑÐµÑÐºÐ¸Ñ Ð¾Ð±Ð¾Ð±ÑÐµÐ½Ð½ÑÑ Ð¾Ð±ÑÐ°ÑÐ½ÑÑ Ð¼Ð°ÑÑÐ¸Ñ: ÐÐ¾

(9783330077799) | Simonyan Metody opredeleniya, Metody opredeleniya

Filter

Anzeigen/verbergen vollständige Liste