Computer programs for spelling correction : :: SCD d'Orléans

Computer programs for spelling correction : an experiment in program design

Computer programs for spelling correction : an experiment in program design

Enregistré dans:

Bibliografiske detaljer
Hovedforfatter:	Peterson, James Lyle, 1949-
Format:	Livre numérique
Sprog:	Anglais
Udgivet:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serier:	Lecture notes in computer science 96
Fag:	Informatique Linguistique > Informatique Ordinateurs
Online adgang:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Kommentar:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Computer programs for spelling correction, an experiment in program design, James L. Peterson, 1980, Berlin, Springer, 1 vol. (VI-213 p.), Lecture notes in computer science, 0-387-10259-0 • Computer Programs for Spelling Correction, Texte imprimé, 9783540102595 • Computer Programs for Spelling Correction, Texte imprimé, 9783662207079

Lignende værker

Program construction : international summer school
af: Bauer, Friedrich Ludwig, 1924-2015, et autres

Simple program schemes and formal languages
af: Engelfriet, Joost
Udgivet: (2005)

A connotational theory of program structure
af: Royer, James S., 1952-

Translating relational queries into iterative programs
af: Freytag, Johann Christoph, 19..-

Interactive models of computation and program behavior
af: Curien, Pierre-Louis, 1953-, et autres
Udgivet: (2009)

Visualization of scientific parallel programs
af: Tomas, Gerald, 19..-, et autres

Theory of program structures : schemes, semantics, verification
af: Greibach, Sheila, 1939-
Udgivet: (2005)

Mathematics of program construction : 4th international conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings

Program development in computational logic : a decade of research advances in logic-based program development
af: Bruynooghe, Maurice

Modular specification and verification of object-oriented programs
af: Müller, Peter, 1961-...., informaticien

Programs as Data Objects : proceedings of a workshop, Copenhagen, Denmark, October 17 19, 1985

Computer security : ESORICS 2004 : 9th european symposium in computer security, Sophia Antipolis, France, september 13-15, 2004 : proceedings

Logics of programs : Workshop, Carnegie Mellon University, Pittsburgh, PA, June 6 8, 1983

Computer networks : a systems approach
af: Peterson, Larry L., et autres
Udgivet: (2021)

Algorithms + data structures = programs
af: Wirth, Niklaus, 1934-2024
Udgivet: (1976)

Computer performance evaluation : modelling techniques and tools : 12th International Conference, TOOLS 2002 London, UK, April 14 17, 2002 : proceedings

Inductive synthesis of functional programs : universal planning, folding of finite programs, and schema abstraction by analogical reasoning
af: Schmid, Ute

Mathematics of program construction : 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings

Mathematics of program construction : 375th anniversary of the Groningen university, international conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings

Mathematics of program construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings

Mathematics of program construction : 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings

Parallel computer routing and communication : second international workshop, PCRCW ±97, Atlanta, Georgia, June 1997 : proceedings

Formal program development : IFIP TC2/WG 2.1 State-of-the-Art Report
af: Möller, Bernhard, 1953-

Computer security - ESORICS 96 : 4th European Symposium on Research in Computer Security, Rome, Italy, September 25-27, 1996 : proceedings

Computer security - ESORICS 94 : Third European Symposium on Research in Computer Security, Brighton, United Kingdom, November 7 9, 1994 : proceedings

Computer security - ESORICS 2000 : 6th European Symposium on Research in Computer Security, Toulouse, France, October 4-6, 2000 : proceedings

Computer security - ESORICS 2002 : 7th European Symposium on Research in Computer Security, Zurich, Switzerland, October 14 16, 2002 : proceedings

Computer performance evaluation : modelling techniques and tools : 9th international conference, St. Malo, France, June 1997 : proceedings

Computer security - ESORICS 98 : 5th European Symposium on Research in Computer Security, Louvain-la-Neuve, Belgium September 16 18, 1998 : proceedings

Reliability evaluation of some fault-tolerant computer architectures
af: Osaki, Shunji, 1942-2021, et autres

Optimal interprocedural program optimization : a new framework and its application
af: Knoop, Jens

Computer aided design : modelling, systems engineering, CAD-systems : CREST advanced course, Darmstadt, 8. 19. September 1980

Theoretical computer science : exploring new frontiers of theoretical information : Intermational Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000 : proceedings

Computer performance evaluation : modelling techniques and tools : 11th international conference, TOOLS 2000, Schaumburg, IL, USA, March 27-31, 2000 : proceedings

The universal computer : the road from Leibniz to Turing
af: Davis, Martin, 1928-2023
Udgivet: (2000)

Theoretical aspects of computer science : advanced lectures

Fundamentals of computation theory : 11th International Symposium, FCT '97, Kraków, Poland, September 1-3, 1997 : proceedings

Parallel execution of logic programs : ICLP '91 pre-conference workshop, Paris, June 24, 1991 : proceedings

Computer security ESORICS 2003 : 8th European symposium on research in computer security, Gjovik, Norway, october 13-15, 2003 : proceedings

Computer performance evaluation : modelling techniques and tools : 13th international conference, TOOLS 2003, Urbana, IL, USA, September 2-5, 2003 : proceedings

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales