„Programming Language.“
Suchergebnisse
8.545 Treffer
-
Anthony Brabazon, Michael O’Neill, Sean McGarraghy: Natural computing algorithms – Springer, 2015, 554 pp, ISBN: 978-3-662-43631-8
-
Erratum to: Gusz Eiben and Jim Smith: Introduction to evolutionary computing (second edition) – Springer, 2015, 299 pp, ISBN: 978-3-662-44874-8
-
Gusz Eiben and Jim Smith (Eds): Introduction to evolutionary computing – Springer, 2015, 299 pp, ISBN: 978-3-662-44874-8
-
Stephen H. Muggleton and Hiroaki Watanabe (Eds.): Latest advances in inductive logic programming – World Scientific Publishing, 2014, ISBN: 978-1783265084
-
Malachy Eaton: Evolutionary humanoid robotics – Springer, 2015, ISBN 978-3-662-44598-3
-
A Hybrid Programming Language for Formal Modeling and Verification of Hybrid Systems
-
Enhancing automated network function onboarding through language extension and code refactoring
-
Text mining methodologies with R – An application to central bank texts
-
Computational Science and Its Applications – ICCSA 2014 – 14th International Conference, Guimarães, Portugal, June 30 – July 3, 2014, Proceedings, Part II
-
Computational Science and Its Applications – ICCSA 2014 – 14th International Conference, Guimarães, Portugal, June 30 – July 3, 2014, Proceedings, Part III
-
Computational Science and Its Applications – ICCSA 2014 – 14th International Conference, Guimarães, Portugal, June 30 – July 3, 2014, Proceedings, Part VI
-
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
-
Testing hybrid systems with TTCN-3 embedded – An extension of the TTCN-3 language
-
GraphQL – Eine Einführung in APIs mit GraphQL
-
GraphQL – Eine Einführung in APIs mit GraphQL
-
Euro-Par 2018: Parallel Processing Workshops – Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018, Revised Selected Papers
-
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems – 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III
-
Leveraging Applications of Formal Methods, Verification and Validation. Verification – 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
-
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice – 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV
-
Leveraging Applications of Formal Methods, Verification and Validation. Modeling – 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I