<?xml version="1.0" encoding="UTF-8"?>
<record
    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
    xsi:schemaLocation="http://www.loc.gov/MARC21/slim http://www.loc.gov/standards/marcxml/schema/MARC21slim.xsd"
    xmlns="http://www.loc.gov/MARC21/slim">

  <leader>01067cam a2200265 a 4500</leader>
  <datafield tag="999" ind1=" " ind2=" ">
    <subfield code="c">16871</subfield>
    <subfield code="d">16871</subfield>
  </datafield>
  <controlfield tag="003">BR-ReIFE</controlfield>
  <controlfield tag="005">20200711150451.0</controlfield>
  <controlfield tag="008">070820t2007    spba   gr     001 0 por u</controlfield>
  <datafield tag="020" ind1=" " ind2=" ">
    <subfield code="a">9788522104994</subfield>
  </datafield>
  <datafield tag="040" ind1=" " ind2=" ">
    <subfield code="a">BR-ReIFE</subfield>
    <subfield code="b">por</subfield>
    <subfield code="c">BR-ReIFE</subfield>
  </datafield>
  <datafield tag="082" ind1="0" ind2="4">
    <subfield code="a">004</subfield>
    <subfield code="b">S618i</subfield>
  </datafield>
  <datafield tag="090" ind1=" " ind2=" ">
    <subfield code="a">004</subfield>
    <subfield code="b">S618i</subfield>
    <subfield code="c">2. ed.</subfield>
  </datafield>
  <datafield tag="100" ind1="1" ind2=" ">
    <subfield code="a">Sipser, Michael</subfield>
    <subfield code="9">1460</subfield>
  </datafield>
  <datafield tag="240" ind1="1" ind2="0">
    <subfield code="a">Introduction to the theory of computation.</subfield>
  </datafield>
  <datafield tag="245" ind1="1" ind2="0">
    <subfield code="a">Introdu&#xE7;&#xE3;o &#xE0; teoria da computa&#xE7;&#xE3;o /</subfield>
    <subfield code="c">Michael Sipser ; tradu&#xE7;&#xE3;o t&#xE9;cnica Ruy Jos&#xE9; Guerra Barretto de Queiroz. -</subfield>
  </datafield>
  <datafield tag="260" ind1=" " ind2=" ">
    <subfield code="a">S&#xE3;o Paulo :</subfield>
    <subfield code="b">Thomson Learning,</subfield>
    <subfield code="c">2007.</subfield>
  </datafield>
  <datafield tag="300" ind1=" " ind2=" ">
    <subfield code="a">459 p. :</subfield>
    <subfield code="b">il.</subfield>
  </datafield>
  <datafield tag="500" ind1=" " ind2=" ">
    <subfield code="a">T&#xED;tulo original: Introduction to the theory of computation.
Tradu&#xE7;&#xE3;o da 2. edi&#xE7;&#xE3;o norte-americana.
Esta obra apersenta a teoria da computa&#xE7;&#xE3;o por meio de teoremas e provas.</subfield>
  </datafield>
  <datafield tag="504" ind1=" " ind2=" ">
    <subfield code="a">Inclui bibliografia e &#xED;ndice.</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2="4">
    <subfield code="a">Computa&#xE7;&#xE3;o</subfield>
    <subfield code="9">712</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2="4">
    <subfield code="a">Complexidade computacional</subfield>
    <subfield code="9">1461</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2="4">
    <subfield code="a">Inform&#xE1;tica</subfield>
    <subfield code="9">19</subfield>
  </datafield>
  <datafield tag="700" ind1="1" ind2=" ">
    <subfield code="a">Queiroz, Ruy Jos&#xE9; Guerra Barreto de.</subfield>
    <subfield code="9">1462</subfield>
    <subfield code="e">tradutor</subfield>
  </datafield>
  <datafield tag="942" ind1=" " ind2=" ">
    <subfield code="2">ddc</subfield>
    <subfield code="c">LV</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="0">0</subfield>
    <subfield code="1">0</subfield>
    <subfield code="2">ddc</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">1</subfield>
    <subfield code="8">NFIC</subfield>
    <subfield code="a">009</subfield>
    <subfield code="b">009</subfield>
    <subfield code="c">AG</subfield>
    <subfield code="d">2009-02-12</subfield>
    <subfield code="e">Compra</subfield>
    <subfield code="g">59.90</subfield>
    <subfield code="i">205625</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">004 S618i</subfield>
    <subfield code="p">8564139562</subfield>
    <subfield code="r">2019-09-04 00:00:00</subfield>
    <subfield code="t">ex. 1</subfield>
    <subfield code="v">59.90</subfield>
    <subfield code="w">2012-10-02</subfield>
    <subfield code="y">LV</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="0">0</subfield>
    <subfield code="1">0</subfield>
    <subfield code="2">ddc</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="8">NFIC</subfield>
    <subfield code="a">009</subfield>
    <subfield code="b">009</subfield>
    <subfield code="c">AG</subfield>
    <subfield code="d">2009-02-12</subfield>
    <subfield code="e">Compra</subfield>
    <subfield code="g">59.90</subfield>
    <subfield code="i">205626</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">004 S618i</subfield>
    <subfield code="p">8564139563</subfield>
    <subfield code="r">2019-11-05 00:00:00</subfield>
    <subfield code="t">ex. 2</subfield>
    <subfield code="v">59.90</subfield>
    <subfield code="w">2012-10-02</subfield>
    <subfield code="y">LV</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="0">0</subfield>
    <subfield code="1">0</subfield>
    <subfield code="2">ddc</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="8">NFIC</subfield>
    <subfield code="a">009</subfield>
    <subfield code="b">009</subfield>
    <subfield code="c">AG</subfield>
    <subfield code="d">2009-02-12</subfield>
    <subfield code="e">Compra</subfield>
    <subfield code="g">59.90</subfield>
    <subfield code="i">205627</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">004 S618i</subfield>
    <subfield code="p">8564139564</subfield>
    <subfield code="r">2019-11-05 00:00:00</subfield>
    <subfield code="t">ex. 3</subfield>
    <subfield code="v">59.90</subfield>
    <subfield code="w">2012-10-02</subfield>
    <subfield code="y">LV</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="0">0</subfield>
    <subfield code="1">0</subfield>
    <subfield code="2">ddc</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="8">NFIC</subfield>
    <subfield code="a">009</subfield>
    <subfield code="b">009</subfield>
    <subfield code="c">AG</subfield>
    <subfield code="d">2009-02-12</subfield>
    <subfield code="e">Compra</subfield>
    <subfield code="g">59.90</subfield>
    <subfield code="i">205628</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">004 S618i</subfield>
    <subfield code="p">8564139565</subfield>
    <subfield code="r">2019-11-05 00:00:00</subfield>
    <subfield code="t">ex. 4</subfield>
    <subfield code="v">59.90</subfield>
    <subfield code="w">2012-10-02</subfield>
    <subfield code="y">LV</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="0">0</subfield>
    <subfield code="1">0</subfield>
    <subfield code="2">ddc</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="8">NFIC</subfield>
    <subfield code="a">009</subfield>
    <subfield code="b">009</subfield>
    <subfield code="c">AG</subfield>
    <subfield code="d">2009-02-12</subfield>
    <subfield code="e">Compra</subfield>
    <subfield code="g">59.90</subfield>
    <subfield code="i">205629</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">004 S618i</subfield>
    <subfield code="p">8564139566</subfield>
    <subfield code="r">2019-11-05 00:00:00</subfield>
    <subfield code="t">ex. 5</subfield>
    <subfield code="v">59.90</subfield>
    <subfield code="w">2012-10-02</subfield>
    <subfield code="y">LV</subfield>
  </datafield>
</record>
