Home
Books
Articles
Theses
Journals
Blog
Browse
- Romance
- Kids
- Comics
- Classics
- Ebooks

Home
Books
Articles
Theses
Blog
Books
Users

Books

Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks

Account

Log in
Sign Up

Ordinateurs -- Programmation

Subject

Browse all works related to Ordinateurs -- Programmation.

Home
Subject
Ordinateurs -- Programmation

"224" Result

Sort By:

Relevance
Most Views
Top Rated
Newest
Oldest

All
Articles
Books
Manuscripts
Thesiss

Algorithms

Algorithms: their complexity and efficiency

by Kronsjö, Lydia I.

fromWiley Series in Computing

0 Type: Book

Like the first edition, this book is concerned with the study of algorithms and their complexity, and the evaluation of their performance. This revision of the successful first edition develops and teaches fundamental techniques for obtaining efficient algorithms to solve probl…

Formal languages, automata and numeration systems

Formal languages, automata and numeration systems

by Rigo, Michel

fromNetworks and telecommunications series

0 Type: Book

Formal languages, automata and numeration systems

Formal languages, automata and numeration systems

by Rigo, Michel

fromNetworks and telecommunications series

0 Type: Book

Mazes for programmers

Mazes for programmers: code your own twisty little passages

fromThe pragmatic programmers

0 Type: Book

Java SE 8 for the really impatient

Java SE 8 for the really impatient

by Horstmann, Cay S.

0 Type: Book

The Java sourcebook

The Java sourcebook

0 Type: Book

MATLAB

MATLAB: a practical introduction to programming and probl…

by Attaway, Stormy

0 Type: Book

"This edition has been updated to reflect the functionality of the current version of MATLAB, including the new H2 Graphics system. It features new and revised end-of-chapter exercises, more engineering applications to help the reader learn this software tool in context, and a n…

Systematic program design

Systematic program design: from clarity to efficiency

by Liu, Yanhong Annie

0 Type: Book

"A systematic program design method can help developers ensure the correctness and performance of programs while minimizing the development cost. This book describes a method that starts with a clear specification of a computation and derives an efficient implementation by step-…

GitHub Essentials

GitHub Essentials: unleash the power of collaborative workflow devel…

by Pipinellis, Achilleas

fromOpen source*

0 Type: Book

The joy of Clojure

The joy of Clojure

by Houser, Chris, Fogus, Michael, Yegge, Steve

0 Type: Book

Fundamentals of embedded software

Fundamentals of embedded software: where C and assembly meet

by Lewis, D. W., (Daniel Wesley)

0 Type: Book

The CERT Oracle secure coding standard for Java

The CERT Oracle secure coding standard for Java

fromThe SEI series in software engineering

0 Type: Book

Objects, models, components, patterns

Objects, models, components, patterns: 48th international conference, TOOLS 2010, Malaga…

by Vitek, Jan, TOOLS 2010

fromLecture Notes in Computer Science

0 Type: Book

Algebraic methodology and software technology

Algebraic methodology and software technology: 13th international conference, AMAST 2010, Lac-Be…

by Johnson, Michael, International Conference on Algebraic Methodology and Software Technology, Beauport, Québec), Pavlovic, Dusko

fromLecture Notes in Computer Science

0 Type: Book

Certified programs and proofs

Certified programs and proofs: First International Conference, CPP 2011, Kenting…

by Jouannaud, Jean-Pierre, Shao, Zhong, International Conference on certified programs and proofs, Kenting, Taiwan)

fromLecture Notes in Computer Science

0 Type: Book

Theoretical aspects of computing

Theoretical aspects of computing: ICTAC 2011 : 8th international colloquium, Johann…

by Cerone, Antonio, Pihlajasaari, Pekka, International Colloquium on Theoretical Aspects of Computing, Johannesburg)

fromLecture Notes in Computer Science

0 Type: Book

Rule-base reasoning, programming, and applications

Rule-base reasoning, programming, and applications: 5th International Symposium, RULEML 2011 - Europe…

by SpringerLink (Service en ligne), Governatori, Guido, Paschke, Adrian, Bassiliades, Nick, International Symposium, RuleML, Barcelona, Spain)

fromLecture Notes in Computer Science

0 Type: Book

Static analysis

Static analysis: 18th international symposium, SAS 2011, Venice, I…

by Yahav, Eran, International Static Analysis Symposium, Venise, Italie)

fromLecture Notes in Computer Science

0 Type: Book

Top productivity through software reuse

Top productivity through software reuse: 12th international conference on software reuse, …

by International Conference on Software Reuse, Pohang, Korea), Schmid, Klaus, (enseignant chercheur en informatique)

fromLecture Notes in Computer Science

0 Type: Book

Transactions on aspect-oriented software development

Transactions on aspect-oriented software development

by SpringerLink (Service en ligne), Katz, Shmuel

fromLecture Notes in Computer Science

0 Type: Book

1
2
3
4
5
6
7
8
9
10

Subjects

Ordinateurs -- Programmation (224) COMPUTER PROGRAMMING (95) Programmation informatique (73) Algorithmes (36) ALGORITHMS (30) Informatique (29) Langages de programmation (24) Programmation (24) Génie logiciel (22) Computer algorithms (20) Programming languages (Electr… (19) Python (Langage de programmat… (14) Software Engineering (14) Logiciels -- Développement (13) Computer programming -- Congr… (12) Programmation (Informatique) … (12) C++ (LANGAGE DE PROGRAMMATION) (10) Computer software -- Developm… (10) Programmierung (10) Python (Computer program lang… (10) Computer Science (9) Java (Langage de programmatio… (9) Java (Computer program langua… (8) Logique symbolique et mathéma… (8) Electronic Data Processing (7) Logique mathématique (7) programming languages (7) Analyse numérique -- Informat… (6) C++ (Computer program languag… (6) Computer programming -- Psych… (6) Data structures (Computer sci… (6) Intelligence artificielle (6) Ordinateur (6) Programmation (Informatique) … (6) Programmation orientée objets… (6) Réseaux d'ordinateurs (6) Structures de données (Inform… (6) unix (6) Algorithme (5) Automates mathématiques, Théo… (5) Complexité de calcul (Informa… (5) Computational complexity (5) Langages formels (5) Machine Theory (5) Numerical analysis -- Data pr… (5) Ordinateurs (5) Parallélisme (Informatique) (5) Programacao de computadores (5) Programmeren (computers) (5) Systèmes d'exploitation (Ordi… (5) data processing (5) software (5) Codage (4) Computer Systems (4) Computer science -- Mathemati… (4) Computers (4) Langage programmation (4) Langages de programmation -- … (4) Logiciels (4) MATLAB (Logiciel) (4) Micro-ordinateurs -- Programm… (4) Microcomputers -- Programming (4) Programming (4) Programming languages (Electr… (4) Psychologie (4) Science -- Data processing (4) Sciences -- Informatique (4) Algebra (3) Algorithmes -- Congrès (3) B method (Computer science) (3) COMPUTERS -- Programming (3) Computer games -- Programming (3) Computer programmers -- Psych… (3) Computer programming -- Probl… (3) Computer programming -- Vocat… (3) Computer software (3) Employment interviewing (3) Entretiens de recrutement (3) Human-machine systems (3) Infographie (3) Informatique -- Mathématiques (3) Jeux d'ordinateur -- Programm… (3) LOGICIEL (3) Langage (3) MATLAB (3) Machine theory -- Congresses (3) Man-Machine Systems (3) Méthode B (Informatique) (3) Object-oriented programming (… (3) Operating systems (Computers) (3) Parallel programming (Compute… (3) Programmation (Mathématiques) (3) Programmation parallèle (Info… (3) Programmation structurée (3) Programmeurs -- Psychologie (3) Programming Techniques (3) Rust (Langage de programmatio… (3) Simulation par ordinateur (3) Structure logique (3) Systeme (3) Systèmes homme-machine (3) Théorie des automates -- Cong… (3) algorithmique (3) méthodologie programmation (3) operating systems (3) Algebra -- Data processing (2) Algorithme parallèle (2) Algorithmes -- Problèmes et e… (2) Algorithms -- Congresses (2) Algorithmus (2) Algèbre (2) Algèbre -- informatique (2) Analyse combinatoire (2) Analyse numérique (2) Aspect-oriented programming (2) Aufsatzsammlung (2) B (Computer program language) (2) B (Langage de programmation) (2) Beweistheorie (2) C (langage de programmation) … (2) Calcul symbolique (2) Compilateurs (logiciels) (2) Compilation (informatique) (2) Computabilidade E Modelos De … (2) Computer programmers (2) Computer programming -- Manag… (2) Computer programming -- Socia… (2) Computer programming -- Textb… (2) Computer vision (2) Computer vision -- Programming (2) Conception (2) Concurrence (2) Database management (2) Datenverarbeitung (2) Entretiens d'embauche (2) Expert Systems (2) Expert systems (Computer scie… (2) Expertensystem (2) Exploitation (2) Formal languages (2) Formal languages -- Congresses (2) Formal methods (Computer scie… (2) Functional programming (Compu… (2) Grundlage (2) Génie logiciel -- Congrès (2) Information storage and retri… (2) Information systems (2) JavaScript (Langage de progra… (2) Kotlin (langage de programmat… (2) Langages de programmation ori… (2) Langages formels -- Congrès (2) Logic design (2) Logic programming (2) Logic programming -- Congress… (2) Logic, Symbolic and mathemati… (2) MIMD (Ordinateurs) (2) MIMD computers -- Programming (2) Mathematik (2) Mehrprozessorsystem (2) Microcomputers (2) Microsoft Visual BASIC (langa… (2) Méthodes formelles (informati… (2) PASCAL (Langage de programmat… (2) PSYCHOLOGIE PROGRAMMATION (2) Parallelverarbeitung (2) Pascal (Computer program lang… (2) Perl (Langage de programmatio… (2) Programmation (Informatique) … (2) Programmation (Informatique) … (2) Programmation fonctionnelle (2) Programmation logique -- Cong… (2) Programmation orientée aspect… (2) Programmation orientée objet (2) Programmation orientée objet … (2) Programmeurs (2) Programming (Mathematics) (2) Programming Languages, Compil… (2) Prolog (Langage de programmat… (2) Proof theory (2) Python (langage de programmat… (2) Python (langage de programmat… (2) Rust (Computer program langua… (2) RÉCURSION (2) Scala (Computer program langu… (2) Scala (Langage de programmati… (2) Software engineering -- Congr… (2) Softwarespezifikation (2) Structure de données (2) Système d'information (2) Système interactif (2) Systèmes d'information (2) Systèmes experts (Informatiqu… (2) Theoretische Informatik (2) Théorie de la démonstration (2) Théorie de la preuve (2) Théorie des automates (2) Théorie des types (2) Théorèmes -- Démonstration au… (2) Traitement de données (2) Tri (Informatique) (2) Type theory (2) Typentheorie (2) UNIX (système d'exploitation … (2) Video games -- Programming (2) X Window System (Système info… (2) algorithme graphe (2) allocation mémoire (2) contrainte (2) développement logiciel (2) environnement logiciel (2) induction (2) langage de programmation (2) multitraitement -- programmat… (2) ordonnancement (2) parallélisme (2) programmation -- manuel (2) programmation en logique (2) programmation temps reel (2) programmation-objet (2) spécification (2) système exploitation (2) 54.10 theoretical informatics (1) ALGOL 68 (1) AWK (Langage de programmation) (1) Abduction (1) Abstract data types (Computer… (1) Abstract data types (Computer… (1) Access (logiciel) (1) Access (logiciel) -- manuel. … (1) Ada 83 (langage de programmat… (1) Adaptation (1) Affichage tridimensionnel (1) Algebra, Boolean -- Congresses (1) Algebraïsche logica (1) Algorithmes -- Manuels d'ense… (1) Algorithmes -- Sociologie (1) Algorithmes génétiques -- Con… (1) Algorithmes parallèles (1) Algorithms -- Analysis (1) Algoritmer (1) Algèbre de Boole -- Congrès (1) Analise De Sistemas E Program… (1) Analyse automatique (Linguist… (1) Analyse mathématique (1) Analyse séquentielle (1) Application program interface… (1) Application program interface… (1) Application software -- Devel… (1) Applications mobiles -- Progr… (1) Approche (1) Architecture logicielle (1) Art and technology (1) Art et technologie (1) Artificial intelligence -- Co… (1) Aspect moral (1) Aspect psychologique (1) Assemblage (1) Assemblage (Informatique) (1) Assembly languages (Electroni… (1) Attitude to Computers (1) Automates mathématiques, Théo… (1) Automates temporels (1) Automatische Programmierung (1) Axiomatique (1) B (méthode formelle) (1) B -- (Programmiersprache) (1) B-Methode (1) Bases de données -- Conception (1) Bases de données -- Gestion (1) Bases de données relationnell… (1) Bash Shell (langage de progra… (1) Berechnungstheorie (1) Berekenbaarheid (1) Bewijstheorie (1) C (langage de programmation) … (1) C++ (1) CCS (1) COMPUTADORES (1) COMPUTER PROGRAMS (1) COMPUTER SCIENCE/High Perform… (1) COMPUTER SYSTEMS PROGRAMS (1) COMPUTERS / Languages / Python (1) COMPUTERS / Programming / Gen… (1) Calcul (1) Calcul des propositions (1) Calcul propositionnel -- Cong… (1) Calculs numériques (1) Clojure (Computer program lan… (1) Clojure (Langage de programma… (1) Codage -- Guides pratiques (1) Codierung (1) Coding theory (1) Coding theory -- Philosophy (1) Combinaisons (Mathématiques) (1) Combinations (1) Combinatorial analysis (1) Communication (1) Complet (1) Complexite (1) Complexiteit (1)

Contributor

Knuth, Donald Ervin (12) Attaway, Stormy (4) Abrial, Jean-Raymond (3) Benay, Gérard (3) Greene, Daniel H. (3) Grégoire (3) Kubiak, Ryszard (3) Myers, Glenford J. (3) Rudzinski, Roman (3) Association for Computing Mac… (2) Blandy, Jim (2) Chandy, K. Mani (2) Collins-Sussman, Ben (2) Curry, David A. (2) Dunne, Steve (2) European Association of Cogni… (2) Feijen, W. H. J. (2) Feucht, Dennis (2) Fitzpatrick, Brian W. (2) Fogus, Michael (2) Garey, Michael R. (2) Girard, Jean-Yves (2) Goodliffe, Pete (2) Halfacree, Gareth (2) Hatcher, Philip J. (2) Hoc, Jean-Michel (2) Horowitz, Ellis (2) Horstmann, Cay S. (2) Houser, Chris (2) Howse, Joseph (2) Johnson, David S. (2) Katz, Shmuel (2) Killingbeck, J. P. (John P.) (2) Kronsjö, Lydia I. (2) Laakmann McDowell, Gayle (2) Orendorff, Jason (2) Pike, Rob (2) Quinn, Michael J., (Michael J… (2) Rigo, Michel (2) Sahni, Sartaj (2) Sestoft, Peter (2) Shneiderman, Ben (2) Sokołowski, S., (Stefan) (2) SpringerLink (Service en lign… (2) Stevens, Perdita (2) Stoddart, Bill (2) Townsend, Carl (2) Upton, Eben (2) Yegge, Steve (2) Yeh, Raymond Tzuu-Yau (2) AE '95:, Brest, France) (1) Abramsky, Samson (1) Aceto, Luca (1) Ada-Europe 2011, Edimbourg) (1) Agha, Gul A. (1) Aho, Alfred Vaino (1) Alliot, J.-M., (Jean-Marc) (1) Amelot, Michèle (1) American association for the … (1) Andrews, Gregory R. (1) Anuff, Ed (1) Arnold, Tim, informaticien) (1) Artasanchez, Alberto (1) Artificial Intelligence, Mosc… (1) Association for Logic Program… (1) Bachmair, Leo (1) Backhouse, Roland Carl (1) Balakrishnan, Rangaswami (1) Barthe, Gilles (1) Bassiliades, Nick (1) Beckman, Frank S. (1) Beebe, Nelson H. F. (1) Beecher, Karl (1) Beedle, Mike (1) Bell, Ana (1) Bell, Doug (1) Bellavista, Paolo (1) Bjarnason, Rúnar (1) Bjork, Staffan (1) Blot, Frédéric (1) Boswell, Dustin (1) Bowker, Geoffrey C. (1) Boxer, Laurence (1) Brinch Hansen, Per (1) Buck, Jamis (1) Buelta, Jaime (1) Butenhof, David R. (1) Camden, Raymond (1) Campbell, Jennifer (1) Carper, Brian (1) Cerone, Antonio (1) Chandler, Heather Maxwell (1) Chandra, Vikram (1) Cheung, Ka Wai (1) Chiusano, Paul (1) Coleman, E. Gabriella (1) Conery, John S. (1) Corbett Moran, Christine (1) Cozens, Simon (1) Crochemore, Maxime (1) Czarnecki, Krzysztof (1) Dale, Nell B. (1) Davidson Pfalzer, Susannah (1) Davis, Taurie (1) Dijkstra, Edsger W. (1) Dijkstra, Edsger Wybe (1) Downey, Allen B. (1) ETAPS '98, Lisbon, Portugal) (1) Eisenecker, Ulrich (1) Emerick, Chas (1) European Association of Cogni… (1) European Conference on Object… (1) European Symposium on Program… (1) European Symposium on Program… (1) European Symposium on Program… (1) Felleisen, Matthias (1) Ferreira Filho, Wladston (1) Foucher, Trevor (1) Friedman, Daniel P. (1) Furukawa, Koichi (1) GPC 2010, Hualien, Taiwan) (1) Gabbay, Dov M. (1) Ganesh, S G. (1) Gavoille, Cyril (1) Giguère, Eric (1) Glaeser, Georg (1) Glaser, Hugh (1) Governatori, Guido (1) Grand, Christophe, informatic… (1) Granet, Vincent (1) Gries, Paul (1) Griffiths, D. F., (David Fran… (1) Grumberg, Orna (1) Guttag, John V. (1) Günther, Alfred (1) Haller, Philipp (1) Hankin, Chris (1) Hartel, Pieter H. (1) Hashmi, Adnan (1) Henzinger, Monika (1) Higham, Desmond J. (1) Hillis, W. Daniel (1) Hoc, Jean-Marichel (1) Hodkinson, Ian (1) Hogan, Brian P. (1) Holopainen, Jussi (1) Hunt, Andrew (1) IFIP. TC 2 (1) IFIP. Technical committee on … (1) IFIP. WG 2.1 (1) IFIP. Working group on ALGOL (1) Institute of electrical and e… (1) International Colloquium on A… (1) International Colloquium on A… (1) International Colloquium on T… (1) International Conference on A… (1) International Conference on R… (1) International Conference on S… (1) International Conference on c… (1) International Static Analysis… (1) International Symposium on Lo… (1) International Symposium on Ma… (1) International Symposium, Rule… (1) International Workshop TYPES,… (1) International computing sympo… (1) Irlbeck, Maximilian (1) Jaton, Florian (1) Johnson, Eric F. (1) Johnson, Michael (1) Jones, Neil D. (1) Jouannaud, Jean-Pierre (1) Kalicharan, Noel (1) Kernighan, Brian W. (1) Kernighan, Brian Wilson (1) Kerr, Jessica (1) Kessenich, John M. (1) Khalid, Shahid F. (1) Kienzle, Jörg (1) Kindler, Noah (1) Kirchner, Claude (1) Koss, Robert S. (1) Kuchen, Herbert (1) Kuznetsov, Sergei O. (1) Lam, Monica S. (1) Lamb, David Alex (1) Lammers, Susan (1) Landau, Rubin H. (1) Langtangen, Hans Petter (1) Lautredou, Yann (1) Leach, Ronald J. (1) Lecroq, Thierry, enseignant-c… (1) Lee, James (1) Levrat, Bernard (1) Lewinter, Marty (1) Lewis, D. W., (Daniel Wesley) (1) Lieberman, Henry (1) Lilly, Susan C. (1) Lipps, H. (1) Liu, Yanhong Annie (1) Loeliger, R. G. (1)

Publisher

Springer (30) Addison-Wesley (19) O'Reilly (9) Prentice Hall (9) Apress (7) Cambridge University Press (7) MIT Press (7) Wiley (6) The MIT Press (5) Academic Press (4) Masson (4) No Starch Press (4) Birkauser (3) CRC Press (3) CRC Press, Taylor & Francis G… (3) Dunod (3) John Wiley & Sons (3) Manning (3) Packt Publishing, Limited (3) Pragmatic Bookshelf (3) The Pragmatic Bookshelf (3) Academic (2) Adam Hilger (2) Addison-Wesley Pub. Co (2) CareerCup, LLC (2) Computer Science Press (2) Elsevier/Butterworth-Heinemann (2) ISTE (2) J. Wiley (2) Microsoft Press (2) O'Reilly & Associates (2) O'Reilly Media (2) Packt Pub (2) Packt Publishing (2) Pearson Education Limited (2) Petrocelli/Charter (2) Princeton University Press (2) TAB Books (2) W.H. Freeman (2) Winthrop Publishers (2) AP Professional (1) Addision-Wesley Pub (1) American Elsevier (1) Artima (1) Artima Press (1) BYTE Books (1) Basic Books (1) Benjamin/Cummings (1) Butterworth-Heinemann (1) CSLI Publications (1) Charles River Media (1) Clarendon Press (1) Code Energy LLC (1) D. Shiffman (1) D.C. Heath (1) Distributed by Ian Allan (1) ENI (1) Elsevier (1) Eyrolles (1) Graywolf Press (1) Higher Education Press, Beiji… (1) IOS Press (1) Imprint (1) Imprint Apress (1) MIS:Press (1) MIT (1) Manning Publications (1) Manning Publications Co. LLC (1) Manning Publications Company (1) Mason/Charter (1) McGraw-Hill (1) Micro application (1) Morgan Kaufmann Publishers (1) North-Holland (1) North-Holland Pub. Co (1) O'Reilly [distributor] (1) PTR Prentice Hall (1) Packt (1) Pearson Addison Wesley (1) Pearson Education (1) Pearson Education Internation… (1) Pergamon Press (1) Petrocelli (1) Prentice Hall PTR (1) Prentice-Hall International (1) Psychology Press (1) Society for Industrial and Ap… (1) Springer Berlin Heidelberg (1) Springer International Publis… (1) Springer e-books (1) Springer-Verl (1) Springer-Verlag Berlin Heidel… (1) Switzerland (1) Taylor & Francis Group (1) Van Nostrand Reinhold (1) ill (1)

Year

2022 (2) 2021 (10) 2020 (9) 2019 (6) 2018 (2) 2017 (5) 2016 (5) 2015 (6) 2014 (12) 2013 (8) 2012 (15) 2011 (17) 2010 (12) 2009 (5) 2007 (4) 2006 (4) 2005 (4) 2004 (1) 2003 (2) 2002 (5) 2001 (1) 2000 (6) 1998 (4) 1997 (8) 1996 (5) 1995 (2) 1994 (4) 1993 (3) 1991 (12) 1990 (5) 1989 (2) 1988 (3) 1987 (3) 1986 (6) 1985 (1) 1984 (2) 1982 (2) 1981 (1) 1980 (3) 1979 (1) 1978 (2) 1975 (3) 1974 (2) 1973 (2) 1971 (1)

Clear filters

↑

Wise Library has undergone mare trials than one human woman can carry in her heart. Though she's now been granted the powers.

Most Viewed
Top Rated
Home
Blog

All rights reserved for Wise Library Site 2008-2024

Hot News

Old but Gold: Oldest books in oldest librarys. Old but Gold: Oldest books in oldest librarys. Old but Gold: Oldest books in oldest librarys.

Contoh Soft Skills yang Wajib Dimiliki PelajarContoh Soft Skills yang Wajib Dimiliki PelajarContoh Soft Skills yang Wajib Dimiliki Pelajar

15 May 2020 8:00 am
Wajib Dimiliki Pelajar

15 May 2020 8:00 am
5 Reasons Why Breakfast Is The Most Important Meal of The Day

15 May 2020 8:00 am

Filter

Advance Search

Author

Publisher

Work Type