Gratis verzending vanaf 59,99 euro.

Status van bestelling controleren

Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken

Gratis bezorging met Zásilkovna boven 59.99 €

DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €

Contact

Hoe winkelen bij ons werkt

Help

Mijn account

▸ Leeg :-(

Gratis verzending vanaf 59,99 euro.

Subrecursive Programming Systems

Name: Subrecursive Programming Systems
Brand: Springer, Berlin
SKU: 06794863
Price: 102.73 EUR
Availability: InStock
Author: James S. Royer
ISBN: 9781461266808

Complexity & Succinctness

James S. Royer

John Case

Taal

Engels

Boek Gebonden (paperback)

Libristo-code: 06794863

Uitgeverij Springer, Berlin, januari 2013

1.1. What This Book is About This book is a study of subrecursive programming systems, efficiency/pr... Volledige beschrijving

Libristo-code: 06794863

249 b

102.73 €

In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

L'histoire des sciences et les prétentions de la science allemande Emile Picard

Gebonden (paperback)

16.44 €

Pratiques d'automédication et de stockage des médicaments Kanishka Neyana

Gebonden (paperback)

39.15 €

Mondes en développement n° 201 - VARIA

Gebonden (paperback)

47.32 €

CALENDRIER FETES TRADITIONNELLES BERTRAND-DEVILLER ARNAUD

Gebonden (paperback)

17.35 €

Vemeno vzpomínek a vzpomínky vemínek CHARLIE MONROE

Gebonden (paperback)

5.84 €

Царевны. Удивительные приключения

Gebonden (harde band)

15.73 €

Ema a její kouzelná zoo - Mazlivá koala Amelia Cobb

Gebonden (harde band)

8.37 €

Coloriages mystères Disney - Grands classiques Tome 13 Jérémy Mariez

Gebonden (paperback)

20.78 €

Cloud 10 Chip Wickham

Audio cd

14.52 €

Mery Sales Chirivella Soriano

Gebonden (paperback)

22.29 €

Vocabulario Portugues Brasileiro-Birmanes - 9000 palavras Andrey Taranov

Gebonden (paperback)

19.47 €

Domácí prac. sešit Čeština Shoda podmětu s přísudkem 3 tř. Michaela Bečková

Gebonden (paperback)

3.22 €

Vers Le Pole En Aeroplane: Roman d'Aventures Gilbert

Gebonden (paperback)

16.74 €

San Juan de Dios : la imagen del santo de Granada Juan Miguel Larios Larios

Gebonden (paperback)

18.46 €

Santos : tesoros de la iglesia María José . . . [et al. ] Monfort Jiménez

Gebonden (paperback)

28.25 €

Atul Dodiya

Gebonden (paperback)

11.19 €

Physisches Cash-Pooling im GmbH-Konzern Juliane Viereck

Gebonden (paperback)

62.67 €

Reittourismus in Deutschland Dana Tennstedt

Gebonden (paperback)

52.17 €

Analyse von Einzelcoachings Nuray Pekdemir

Gebonden (paperback)

17.05 €

Worte der Vollendung Gautama Buddha

Gebonden (paperback)

12.20 €

1.1. What This Book is About This book is a study of subrecursive programming systems, efficiency/program-size trade-offs between such systems, and how these systems can serve as tools in complexity theory. Section 1.1 states our basic themes, and Sections 1.2 and 1.3 give a general outline of the book. Our first task is to explain what subrecursive programming systems are and why they are of interest. 1.1.1. Subrecursive Programming Systems A subrecursive programming system is, roughly, a programming language for which the result of running any given program on any given input can be completely determined algorithmically. Typical examples are: 1. the Meyer-Ritchie LOOP language [MR67,DW83], a restricted assem bly language with bounded loops as the only allowed deviation from straight-line programming; 2. multi-tape 'lUring Machines each explicitly clocked to halt within a time bound given by some polynomial in the length ofthe input (see [BH79,HB79]); 3. the set of seemingly unrestricted programs for which one can prove 1 termination on all inputs (see [Kre51,Kre58,Ros84]); and 4. finite state and pushdown automata from formal language theory (see [HU79]). lOr, more precisely, the collection of programs, p, ofsome particular general-purpose programming language (e.g., Lisp or Modula-2) for which there is a proof in some par ticular formal system (e.g., Peano Arithmetic) that p halts on all inputs.

Actrice & Polyglot

EWA KASP voor

Video afspelen

Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Subrecursive Programming Systems

Auteur James S. Royer, John Case

Taal

Engels

Bindwijze Boek - Gebonden (paperback)

Datum van uitgifte 2013

Aantal pagina's 253

EAN 9781461266808

ISBN 1461266807

Libristo-code 06794863

Uitgeverij Springer, Berlin

Gewicht 409

Afmetingen 155 x 235 x 14

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling

Informatica en informatietechnologie > Besturingssystemen

Geef dit boek vandaag nog cadeau

Dat gaat heel eenvoudig

1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Tattoo You Rolling Stones

binding.

31.88 €

One Physician Is E'En Just as Good as t'Other, and Surgeons Are Not Less Knowing. Apothecaries Are as Good as Any; If Not Best of All. by the Author o DENNIS DE COETLOGON

Gebonden (harde band)

26.84 €