Descripteur
Termes IGN > informatique > langage de programmation
langage de programmationSynonyme(s)langage informatiqueVoir aussi |
Documents disponibles dans cette catégorie (802)
Ajouter le résultat dans votre panier
Visionner les documents numériques
Affiner la recherche Interroger des sources externes
Etendre la recherche sur niveau(x) vers le bas
Titre : Foundations of Programming Languages Type de document : Guide/Manuel Auteurs : Kent D. Lee, Auteur Editeur : Springer International Publishing Année de publication : 2017 Importance : 382 p. Format : 16 x 24 cm ISBN/ISSN/EAN : 978-3-319-70790-7 Note générale : bibliographie Langues : Anglais (eng) Descripteur : [Vedettes matières IGN] Langages informatiques
[Termes IGN] C++
[Termes IGN] Java (langage de programmation)
[Termes IGN] langage à objets
[Termes IGN] programmation informatique
[Termes IGN] Python (langage de programmation)Résumé : (éditeur) This clearly written textbook provides an accessible introduction to the three programming paradigms of object-oriented/imperative, functional, and logic programming. Highly interactive in style, the text encourages learning through practice, offering test exercises for each topic covered. Review questions and programming projects are also presented, to help reinforce the concepts outside of the classroom. This updated and revised new edition features new material on the Java implementation of the JCoCo virtual machine. Topics and features: includes review questions and solved practice exercises, with supplementary code and support files available from an associated website; presents an historical perspective on the models of computation used in implementing the programming languages used today; provides the foundations for understanding how the syntax of a language is formally defined by a grammar; illustrates how programs execute at the level of assembly language, through the implementation of a stack-based Python virtual machine called JCoCo and a Python disassembler; introduces object-oriented languages through examples in Java, functional programming with Standard ML, and programming using the logic language Prolog; describes a case study involving the development of a compiler for the high level functional language Small, a robust subset of Standard ML.
Undergraduate students of computer science will find this engaging textbook to be an invaluable guide to the skills and tools needed to become a better programmer. While the text assumes some background in an imperative language, and prior coverage of the basics of data structures, the hands-on approach and easy to follow writing style will enable the reader to quickly grasp the essentials of programming languages, frameworks, and architectures.Note de contenu : 1- Introduction
2- Syntax
3- Assembly Language
4- Object-Oriented Programming
5- Functional Programming
6- Compiling Standard ML
7- Logic Programming
8- Standard ML Type InferenceNuméro de notice : 25808 Affiliation des auteurs : non IGN Thématique : INFORMATIQUE Nature : Manuel informatique En ligne : https://doi.org/10.1007/978-3-319-70790-7 Format de la ressource électronique : URL Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=95066
Titre : Guide to scientific computing in C++ Type de document : Guide/Manuel Auteurs : Joe Pitt-Francis, Auteur ; Jonathan Whiteley, Auteur Editeur : Berlin, Heidelberg, Vienne, New York, ... : Springer Année de publication : 2017 Collection : Undergraduate Topics in Computer Science UTICS, ISSN 2197-1781 Importance : 287 p. ISBN/ISSN/EAN : 978-3-319-73132-2 Langues : Anglais (eng) Descripteur : [Vedettes matières IGN] Informatique
[Termes IGN] C++Résumé : (Editeur) Numéro de notice : 26284 Affiliation des auteurs : non IGN Thématique : INFORMATIQUE Nature : Manuel informatique DOI : 10.1007/978-3-319-73132-2 En ligne : https://doi.org/10.1007/978-3-319-73132-2 Format de la ressource électronique : URL Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=94941
Titre : Introduction to Artificial Intelligence Type de document : Monographie Auteurs : Wolfgang Ertel, Auteur Editeur : Springer International Publishing Année de publication : 2017 Importance : 365 p. ISBN/ISSN/EAN : 978-3-319-58487-4 Note générale : bibliographie Langues : Anglais (eng) Descripteur : [Vedettes matières IGN] Intelligence artificielle
[Termes IGN] apprentissage automatique
[Termes IGN] apprentissage profond
[Termes IGN] classification bayesienne
[Termes IGN] entropie maximale
[Termes IGN] exploration de données
[Termes IGN] PROLOG
[Termes IGN] raisonnement sémantique
[Termes IGN] réseau neuronal artificielRésumé : (éditeur) This concise and accessible textbook supports a foundation or module course on A.I., covering a broad selection of the subdisciplines within this field. The book presents concrete algorithms and applications in the areas of agents, logic, search, reasoning under uncertainty, machine learning, neural networks and reinforcement learning. Topics and features: presents an application-focused and hands-on approach to learning the subject; provides study exercises of varying degrees of difficulty at the end of each chapter, with solutions given at the end of the book; supports the text with highlighted examples, definitions, and theorems; includes chapters on predicate logic, PROLOG, heuristic search, probabilistic reasoning, machine learning and data mining, neural networks and reinforcement learning; contains an extensive bibliography for deeper reading on further topics; supplies additional teaching resources, including lecture slides and training data for learning algorithms, at an associated website. Note de contenu : 1- Introduction
2- Propositional Logic
3- First-order Predicate Logic
4- Limitations of Logic
5- Logic Programming with PROLOG
6- Search, Games and Problem Solving
7- Reasoning with Uncertainty
8- Machine Learning and Data Mining
9- Neural Networks
10- Reinforcement Learning
11- Solutions for the ExercisesNuméro de notice : 25753 Affiliation des auteurs : non IGN Thématique : INFORMATIQUE Nature : Monographie En ligne : https://doi.org/10.1007/978-3-319-58487-4 Format de la ressource électronique : URL Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=94945 Mise en place d’un processus de dessin automatisé de plans d’intérieurs à partir de nuages de points acquis par LIDAR / Léa Talec (2017)
Titre : Mise en place d’un processus de dessin automatisé de plans d’intérieurs à partir de nuages de points acquis par LIDAR Type de document : Mémoire Auteurs : Léa Talec, Auteur Editeur : Le Mans : Ecole Supérieure des Géomètres et Topographes ESGT Année de publication : 2017 Importance : 68 p. Format : 21 x 30 cm Note générale : bibliographie
Mémoire présenté en vue d'obtenir le diplôme d'Ingénieur CNAM, Spécialité Géomètre TopographeLangues : Français (fre) Descripteur : [Vedettes matières IGN] Lasergrammétrie
[Termes IGN] Autocad Map
[Termes IGN] carte d'intérieur
[Termes IGN] détection de contours
[Termes IGN] données lidar
[Termes IGN] données localisées 3D
[Termes IGN] méthode des moindres carrés
[Termes IGN] modélisation 3D
[Termes IGN] programmation par contraintes
[Termes IGN] Python (langage de programmation)
[Termes IGN] Ransac (algorithme)
[Termes IGN] segmentation
[Termes IGN] semis de points
[Termes IGN] seuillage de points
[Termes IGN] transformation de HoughRésumé : (auteur) Afin de pouvoir utiliser les nuages de points, obtenus par scanner dans le but de créer de plans d’intérieur, de manière plus efficace, un programme sous Python a été développé. Il permet de détecter la structure sur une coupe du nuage. Les plans fournis au client, en cas de bâtiments récents, comporte le plus souvent des contraintes sur la structure tels que la perpendicularité, le parallélisme ou l’alignement de différents murs, ce pourquoi ces contraintes ont été intégrées dans le programme pour obtenir un meilleur rendu. Note de contenu : Introduction
1- Etat de l'art
2- Développement d'une solution d'automatisation
3- Resultats
ConclusionNuméro de notice : 24614 Affiliation des auteurs : non IGN Thématique : IMAGERIE Nature : Mémoire ingénieur ESGT Organisme de stage : GEOMAT (Fougères) Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=92181 Documents numériques
en open access
Mise en place d’un processus ... - pdf auteurAdobe Acrobat PDF Modèles géographiques avec le langage Mathematica / André Dauphiné (2017)
Titre : Modèles géographiques avec le langage Mathematica Type de document : Guide/Manuel Auteurs : André Dauphiné, Auteur Editeur : Londres : ISTE Editions Année de publication : 2017 Collection : Systèmes d'information, web et société Importance : 331 p. Format : 15 x 23 cm ISBN/ISSN/EAN : 978-1-78405-236-2 Note générale : Bibliographie Langues : Français (fre) Descripteur : [Vedettes matières IGN] Analyse spatiale
[Termes IGN] analyse de données
[Termes IGN] automate cellulaire
[Termes IGN] géostatistique
[Termes IGN] langage de programmation
[Termes IGN] Mathematica
[Termes IGN] modèle conceptuel de données localisées
[Termes IGN] modèle stochastique
[Termes IGN] système dynamique
[Termes IGN] système multi-agentsIndex. décimale : 37.20 Analyse spatiale et ses outils Résumé : (Editeur) Les géographes construisent des modèles afin de comprendre et d’expliquer les relations sociétés-nature, les localisations d’objets, de personnes et d’activités, et les organisations territoriales. Ce livre dresse un panorama complet des types de modèles nécessaires à la mise au point de nouvelles connaissances géographiques : modèles stochastiques, de chroniques, d’analyses de données, de géostatistiques, de réseaux, de systèmes dynamiques, d’automates cellulaires et de systèmes multi-agents. Cet ouvrage didactique replace ces modèles dans leur contexte théorique. Il propose plus de 65 programmes écrits en langage Mathematica formalisant ces modèles. Des études de cas permettent de montrer leur pertinence. Le lecteur pourra appliquer immédiatement ces programmes à ses propres questionnements et données. Note de contenu : 1. Paradoxes théoriques de la géographie classique
2. Modèles statistiques et probabilistes des relations sociétés-nature
3. Modèles de systèmes dynamiques ordinaires
4. Théories des localisations géographiques
5. Modèles des localisations géographiques
6. Théoriser les structures et les dynamiques territoriales
7. Modèles de points et de champs
8. Modèles de réseaux
9. Modèles de l’espace géographique
10. Macro et micro-modèles de la morphogénieNuméro de notice : 22708 Affiliation des auteurs : non IGN Thématique : GEOMATIQUE/MATHEMATIQUE Nature : Manuel de cours Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=85164 Réservation
Réserver ce documentExemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité 22708-01 37.20 Livre Centre de documentation Géomatique Disponible Traitement de données LiDAR pour la modélisation d'indicateurs de biodiversité forestière / Sylvain Jourdana (2017)PermalinkUtilisation de données satellites dans le combat contre l'esclavage moderne / Florent Negrel-Teodori (2017)PermalinkUtilisation d’image THR et drone pour l’étude de la dynamique côtière d’Ouvéa (Île des Loyautés - Nouvelle Calédonie) / Sabrina Bosque (2017)PermalinkUtilisation d’un modèle numérique de hauteur en stratification des données de l’Inventaire Forestier National / Sophie Georges (2017)PermalinkParallel cartographic modeling: a methodology for parallelizing spatial data processing / Eric Shook in International journal of geographical information science IJGIS, vol 30 n° 11-12 (November - December 2016)PermalinkPermalinkAn interactive tool for semi-automatic feature extraction of hyperspectral data / Zoltan Kovacs in Open geosciences, vol 8 n° 1 (January - July 2016)PermalinkFrom taxonomies to ontologies: formalizing generalization knowledge for on-demand mapping / Nicholas Gould in Cartography and Geographic Information Science, Vol 43 n° 3 (June 2016)PermalinkA generic model to exploit urban regulation knowledge / Mickaël Brasebin in ISPRS International journal of geo-information, vol 5 n° 2 (February 2016)PermalinkQualitative GIS: An Open Framework Using SpatiaLite and Open Source GIS / Ryan Garnett in Transactions in GIS, vol 20 n° 1 (February 2016)Permalink