"Reasoned Programming" http://www.doc.ic.ac.uk/~susan/firstyearbook.pdf (K. Broda + S. Eisenbach + H. Khoshnevisan + S. Vickers) Prentice Hall International Series in Computer Science (1994). ISBN 0-13-098831-6 Autre url: pdf Reasoned Programming montre comment appliquer un raisonnement mathématique pour le développement de programmes, en utilisant les spécifications logiques.

Pour tout développeur, il existe un impressionnant dépôt de documents autour de la programmation : https://github.com/vhf/free-programming-books/blob/master/free-programming-books.md#professional-developmentBonne exploration !

Voici un document PDF proposant un tour d'horizon des outils mathématiques pour l'informatique : https://www.cs.princeton.edu/courses/archive/spring10/cos433/mathcs.pdf A lire par tout êtudiant en informatique évidemment !

Le livre "Bases de données" de G. Gardarin chez Eyrolles est disponible gratuitement ! N'hésitez pas à le consulter ! Site de G. Gardarin : http://georges.gardarin.free.fr/ Le livre en PDF : http://georges.gardarin.free.fr/Livre_BD_Contenu/XX-TotalBD.pdf Le site pour télécharger en version ebook :  http://izibook.eyrolles.com/produit/2385/9782212175035/Bases%20de%20donnees

Le langage Cobol, bien qu'ancien, reste extrêmement présent, surtout dans le domaine des banques et assurances. Malheureusement, la génération maîtrisant le Cobol est partie en retraite. Ce langage n'est plus tellement enseigné dans les écoles et universités (sauf à la MIAGE de Nantes). Aussi, l'université de Nantes à décidé de monter une formation qualifiante sur 5 journées. Pour tout renseignement, consulter le site Web (http://www.univ-nantes.fr/cobol) ou la plaquette PDF.

Pour tout savoir sur le Linked Data, vous pouvez consulter l'ouvrage :http://www.uni-koblenz-landau.de/campus-koblenz/fb4/west/teaching/ws1213/seminar-web-science/linked-data.pdf

La ressource pédagogique « Histoire(s) de l’ergonomie » est à en ligne. Nous espérons que vous aurez plaisir à retrouver ce programme sur les sites de http://www.uoh.fr et de http://www.canal-u.tv en visualisant les sept chapitres :  Partie 1 : L’émergence ou la constitution de l’ergonomie comme nouvelle science et technologie  http://www.uoh.fr/front/notice?id=65357ff6-9fc7-4aa0-8a9e-5caa9346f87e  Partie 2 : La conceptualisation ou l’essor des concepts et méthodes en ergonomie  http://www.uoh.fr/front/notice?id=32575d2e-ea3c-4346-bfcd-4d121c2c76fc Partie 3 : La pratique ou le développement d’un métier  http://www.uoh.fr/front/notice?id=8071acff-6006-42b3-b395-4d41442fab91  Partie 4. La démultiplication des domaines de l’ergonomie  http://www.uoh.fr/front/notice?id=44c6e862-d4e1-4d69-8d62-bf7e2bd3cfe2  Partie 5. L’institutionnalisation ou la création des organisations de support et de développement de l’ergonomie  http://www.uoh.fr/front/notice?id=20bf4982-037b-4121-926d-57e6ed9829f5  Partie 6 : L’essaimage ou la diffusion et l’internationalisation  http://www.uoh.fr/front/notice?id=e731731c-310a-4014-bde5-64e93f89d64e  Partie 7 : Prospective ou quelques perspectives sur le futur de l’ergonomie http://www.uoh.fr/front/notice?id=5f88e228-7229-4c14-82c8-a1c76ae684cf 

L'informatique n'est pas plus la science des ordinateurs que l'astronomie n'est celle des téléscopes. A écouter  Le Labo des Savoirs - 12/12/2012 sur la science informatique. http://son.prun.net/S13/labo-des-savoirs/labo-des-savoirs-20121212-1.mp3

Algorithmes, machines et langages - Idées - France Culture: Interview de Gérard Berry à l'émission "L'Eloge du Savoir", le 2 avril 2013 sur France Culture. Des propos à rapprocher de ceux de Michel Serres et sa Petite Poucette. Sa page au Collège de France avec les vidéos des conférences inaugurales : http://www.college-de-france.fr/site/gerard-berry/ 'via Blog this'

Collège de France - Sciences des données : de la logique du premier ordre à la Toile: Bases de données, Web sémantique, très belle leçon inaugurale prononcée le jeudi 8 mars 2012 au Collège de France par Serge Abiteboul. A lire ! Et à voir : http://www.college-de-france.fr/site/serge-abiteboul/ Et en particulier la vidéo de cette leçon : http://www.college-de-france.fr/site/serge-abiteboul/#|q=/site/serge-abiteboul//_audiovideos.jsp|p=http://www.college-de-france.fr/site/serge-abiteboul/inaugural-lecture-2012-03-08-18h00.htm|  'via Blog this'

Michel Serres, de l'Académie française, a prononcé le 29 janvier 2013 la conférence inaugurale du Programme Paris Nouveaux Mondes, l'Initiative d'excellence du Pôle de recherche et d'enseignement supérieur "hautes études, Sorbonne, arts et métiers"(Pres héSam). http://www.canal-u.tv/video/universite_paris_1_pantheon_sorbonne/michel_serres_l_innovation_et_le_numerique.11491 Information, support, écriture, géométrie... et Petite Poucette ! Petite Poucette Auteur : Michel Serres Collection : Manifeste 84 pages ISBN/EAN : 9782746506053 / 9782746506053 http://www.editions-lepommier.fr/ouvrage.asp?IDLivre=534

La bases de données NoSQL sont de plus en plus présentes dans l'univers du développeur Web. Neo4J est un éditeur qui propose se type de base de données basé sur la notion de graphe. Son site propose des ressources pour découvrir cet univers et donne accès à un livre dédié à ce thème : http://www.neo4j.org/learn

Another book for Semantic Web and Linked Data ! It exists in PDF format : http://www.markwatson.com/opencontent_data/book_java.pdf CC by-nc-nd

Java date and time API - Home : une API Java pour manipuler plus efficacement les dates et les heures. Prend en compte différents calendriers !

Les expressions rationnelles, ou expressions régulières, sont un outil très puissant pour manipuler les chaines de caractères dans les langages de programmation. Perl en fait son principe fondamental, mais on les trouve aussi dans les langages plus habituels comme en Java avec la méthode "matches". Elles sont présentées au chapitre 3 du cours e-miage B209. Il existe un outil intéressant permettant de représenter de manière graphique de telles expressions : Regexper (http://www.regexper.com/). Par exemple, l'expression "a*|(b+c)*b" donnera : A tester d'urgence !

Voici un site qui donne des liens sur quelques livres gratuits autour de la thématique de la science des données (Data Science). On y trouve aussi des livres sur l'apprentissage. p-value.info: Free Datascience books Mining of Massive datasets by Rajamaran, Leskovic & Ullman Bayesian Reasoning and Machine Learning by David Barber [website] Information Theory, Inference, and Learning Algorithms by David J.C. Mackay Foundations of Statistical Natural Language Processing by Manning & Schütze Data Jujitsu by D.J. Patil Building Data Science Teams by D.J. Patil Network Science by A.-L. Barabasi Introduction to Information Retrieval, by Manning, Raghavan and Schütze A first encounter with machine learning by Welling Gaussian processes for Machine Learning by C.E. Rasmussen The Elements of Statistical Learning, by Hastie, Tibshirani, Friedman -- grandaddy of them all Introduction to Machine Learning by Smola, Vishwanathan Think Bayes by Downey

50 years of Running COBOL (Photo credit: national museum of american history) Cobol est toujours un langage encore très utilisé, en particulier dans le domaine des banques et des assurances. Cependant, de moins en moins de personnes ont des compétences à ce sujet. Du coup, l'offre sur le marché de l'emploi est souvent très intéressante... Si vous voulez vous auto-former, un cours en ligne de la e-miage est disponible : http://pagesperso.lina.univ-nantes.fr/info/perso/permanents/vailly/Enseignement/EMIAGE/EnDev/ModuleA206EMiageV2.5/A206.html

Java (programming language) (Photo credit: Wikipedia) Ce site comporte un tutoriel assez riche sur le développement en Java : Le développement avec Java : le tutorial développons en Java et développons en Java avec Eclipse: Dont, en PDF : ftp://ftp2.jmdoudoux.fr/jmdoudoux/dej_1_80.pdf et en ligne : http://www.jmdoudoux.fr/java/dej/indexavecframes.htm 'via Blog this'

Digital_Humanities is a compact, game-changing report on the state of contemporary knowledge production. Answering the question, “What is digital humanities?,” it provides an in-depth examination of an emerging field. This collaboratively authored and visually compelling volume explores methodologies and techniques unfamiliar to traditional modes of humanistic inquiry--including geospatial analysis, data mining, corpus linguistics, visualization, and simulation--to show their relevance for contemporary culture. Included are chapters on the basics, on emerging methods and genres, and on the social life of the digital humanities, along with “case studies,” “provocations,” and “advisories.” These persuasively crafted interventions offer a descriptive toolkit for anyone involved in the design, production, oversight, and review of digital projects. The authors argue that the digital humanities offers a revitalization of the liberal arts tradition in the electronically inflected, design-driven, multimedia language of the twenty-first century. Written by five leading practitioner-theorists whose varied backgrounds embody the intellectual and creative diversity of the field, Digital_Humanities is a vision statement for the future, an invitation to engage, and a critical tool for understanding the shape of new scholarship. Software Studies: Digital_Humanities book is published - download free open edition

Parce que nous en avons tous besoin, aussi bien en informatique que dans le reste des disciplines. Bref, pour tout ce qui concerne l'édition numérique ! "Petites leçons de typographie" est un recueil de conseils pour bien rédiger livres, rapports et compte-redus.  Rédigé par Jacques André (IRISA), il est mis à jour très régulièrement. N'hésitez pas à avoir ce document comme "livre de chevet" ! jacques-andre.fr/faqtypo/lessons.pdf

Loi n°1 - Loi de Moore (1975) Le nombre de transistors sur une puce de silicium double tous les dix-huit mois ou tous les deux ans. Corollaire : Les ressources informatiques doublent leur capacité tous les dix-huit mois. Loi n°2 - Loi de la gravitation communicationnelle de Thomas Allen (1984) L'efficacité de la communication diminue de façon exponentielle avec la distance physique entre les personnes. Loi n°3 - Loi de Parkinson (1958) Le travail s'étale de façon à occuper le temps disponible pour son achèvement. Loi n°4 - Loi de Little (1961) Le délai est proportionnel à l'en-cours de travail et à la durée de cycle de sa livraison. Loi n°5 - Loi de Meskiman (?) On a jamais le temps de bien faire les choses, mais toujours le temps de les refaire. Loi n°6 - Loi de Brooks (1975) Ajouter des personnes à un projet déjà en retard accroît ce retard. Loi n°7 - Loi de Conway (1968) Les organisations qui conçoivent les systèmes sont contraintes de produire des modèles qui sont des copies de leur propre structure de communication.

Univerity of California, Berkeley logo (Photo credit: Wikipedia) Un livre intéressant sur l'algorithmique fait par des enseignants de Berkeley : http://www.cs.berkeley.edu/~vazirani/algorithms/all.pdf par S. Dasgupta, C. H. Papadimitriou, and U. V. Vazirani en 2006. Cela couvre surtout l'algorithmique numérique et les graphes.

La société Udacity propose des MOOCs  principalement autour de l'informatique. Udacity - Our Courses:

Une série de références de livres pour tout étudiant en informatique (en particulier autour des langages de programmation et des compilateurs). Books and papers every graduate student should read

English: Programmer (Photo credit: Wikipedia) 10 références sur la programmation... et beaucoup de commentaires qui en proposent d'autres. A parcourir, lire... 10 Papers Every Programmer Should Read (At Least Twice)