John Wiley , A Wiley-Interscience Publication Malicorne sur Sarthe, 72, Pays de la Loire, France 1974 Book condition, Etat : Bon hardcover, editor's binding, under editor's printed dust-jacket grand In-8 1 vol. - 357 pages
Reference : Cyb-7249
1st edition Contents, Chapitres : Preface, Contents, Symbols, xxi, Text, 336 pages - Introduction - An algorithm language - Recursive functions - Machines languages - Labeled Markov algorithms - Recursively enumerable sets - Formal languages - Reducibility - Complexity of computations - Subrecursive hierarchies - Introduction to combinatory logic, by George W. Petznick - References and Index near fine copy, no markings
Librairie Internet Philoscience
M. Arnaud Le Bras
7, rue Gambetta
72270 Malicorne-sur-Sarthe
France
Philoscience ® est une librairie spécialisée sur les ouvrages universitaires de science et de philosophie, lancée début 2000. Avec plus de 51.000 livres de science et de philosophie vendus à travers le monde en plus de 23 ans sur Internet, nous proposons un vaste choix de livres à des prix raisonnables, notamment des livres sur l'histoire de l'informatique et la cybernétique, les sciences cognitives, et d'assez nombreux ouvrages de sciences exactes. Depuis le lancement de l'activité, nous avons basé toute notre stratégie sur la qualité du service au client, aussi bien dans le choix des livres, la fiabilité de leur description, ainsi que dans la rapidité d'envoi des colis, généralement le jour même de la commande. Un soin particulier est porté à l'emballage afin d'éviter toute détérioration pendant le transport. N'hésitez pas à nous contacter si vous souhaitez d'autres informations, notamment des précisions sur l'état ou le contenu des ouvrages. Nous sommes en permanence à la recherche de livres universitaires, avec des possibilités d'achat à travers la France et l'Europe limitrophe. Frais de port les plus économiques par défaut, sauf sur des ouvrages très volumineux ou dépassant 50 €. Nous ne traitons aucune commande par téléphone. Toute commande par téléphone sera automatiquement et définitivement annulée. Nous ne répondons plus aux messages où ne figure pas l'ADRESSE COMPLETE d'EXPEDITION. Il est possible de visiter notre librairie, sur rendez-vous uniquement afin de fixer une date et un horaire, il n'y a pas d'horaires d'ouverture définis. Paiements acceptés : Paypal à notre demande (après confirmation du montant total), chèque et virement.
Tokyo, McGraw-Hill Kogakusha, (1974). 8vo. Orig. printed wrappers. X,448 pp.
First edition. Published in 'McGraw-Hill Computer Science Series'.
Muller (G.H.), Oberschelp (A.) and Potthof (K.), eds. - Z. Adamowicz - E. Borger - M. Boos - K. Devlin - K. Devlin and R. Jensen - J. Fenstad - R. Fittler - T. Flannagan - J. Flum - K. Gloede - C. Imbert - S. Kochen - P. Krauss - F. v. Kutschers - W. Marek and A. Mostwocki - H. Rasiowa - D. Scott
Reference : Cyb-6277
(1975)
Springer-Verlag - Springer , Lecture Notes in Mathematics Malicorne sur Sarthe, 72, Pays de la Loire, France 1975 Book condition, Etat : Bon paperback, editor's yellow and black printed wrappers grand In-8 1 vol. - 655 pages
1st edition, 1975 Contents, Chapitres : Contents, v, Text, 651 pages - Z. Adamowicz : An observation on the product of Silver's forcing - E. Borger : Recursively unsolvable algorithmic problems and related questions reexamined - M. Boos : Lectures on large cardinal axioms - K. Devlin : Indescribability properties and small large cardinals - K. Devlin and R. Jensen : Marginalia to a theorem of Silver - J. Fenstad : Computation theories : An axiomatic approach to recursion on general structures - R. Fittler : Closed models and hulls of theories - T. Flannagan : Axioms of choice in Morse-Kelley class theory - J. Flum : First-order logic and its extensions - K. Gloede : Set theory in infinitary languages - C. Imbert : Sur la méthode en histoire de la logique - S. Kochen : The model theory of local fields - P. Krauss : Quantifier elimination - F. v. Kutschers : Intensional semantics for natural languages - W. Marek and A. Mostwocki : On extendability of models of ZF set theory to the model of Kelley-Morse theory of classes - H. Rasiowa : Many-valued algorithmic logic - D. Scott : Data types as lattices wrappers are clean with minor folding tracks on corners of the bottom part, inside is clean, paper is lightly yellowing, the former owner had underlined very few lines at red ink with rules, about 25 lines, the text remains clean, his signature on the corner of the first page, it's still a good reading copy
Reference : albc50a554c7961fca3
Kureichik V.V., Kureichik V.M., Rodzin S.I. Theory of Evolutionary Computation. M. Fizmatlit 2012. 260s. SKUalbc50a554c7961fca3.
Alt (Franz L.), Booth (A.D.) and Meagher (R.E.), eds. - Jim Douglas - Philip J. Davis and Philip Rabinowitz - Kenneth R. Shoulders - Saul I. Gass - Robert McNaughton
Reference : Cyb-7012
(1961)
Academic Press, New York and London Malicorne sur Sarthe, 72, Pays de la Loire, France 1961 Book condition, Etat : Bon hardcover, editor's full red printed binding, black title-piece on the spine, no dust-jacket grand In-8 1 vol. - 447 pages
few black and white illustrations 1st Edition, 1961 Contents, Chapitres : Contributors, preface, contents, xiii, Text, 434 pages - Jim Douglas : A survey of numerical methods for parabolic differential equations - Philip J. Davis and Philip Rabinowitz : Advances in orthonormalizing computation - Kenneth R. Shoulders : Microelectronics using electron-beam-activated machining techniques - Saul I. Gass : Recent developments in linear programming - Robert McNaughton : The theory of automata, a survey the binding is fine and unmarked, inside is also fine, no markings, paper very lightly yellowing, a nice copy, without D.-J.
W.H. Freeman and Co Malicorne sur Sarthe, 72, Pays de la Loire, France 1970 Book condition, Etat : Bon hardcover, under editor's blue and white dust-jacket, but no spine on the dust-jacket grand In-8 1 vol. - 186 pages
1st edition Contents, Chapitres : Preface, Contents, Notational convention, xiv, Text, 172 pages - 1. Theoretical background : Basic concepts, geometry - Initial value problems - Boundary value problems - 2. Methods of approximate solution : Basic numerical methods for initial and boundary value problems - Special numerical methods for initial value problems - Special numerical methods for boundary value problems - 3. Transformation of the equations : A priori global transformations - A priori local transformations - A priori time-dependent transformations - A posteriori transformations - Bibliography and index the spine of the dust-jacket is missing, else fine copy, no markings