Reversible Computation: 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings
Saved in:
| Format: | Electronic Conference Proceeding eBook |
|---|---|
| Language: | English |
| Published: |
Cham
Springer
2015
|
| Series: | Lecture Notes in Computer Science
9138 |
| Subjects: | |
| Online Access: | Volltext Inhaltsverzeichnis Abstract |
| Physical Description: | 1 Online-Ressource (VIII, 291 p. 90 illus) |
| ISBN: | 9783319208602 9783319208596 |
| ISSN: | 0302-9743 |
| DOI: | 10.1007/978-3-319-20860-2 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042669602 | ||
| 003 | DE-604 | ||
| 005 | 20170418 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150703s2015 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319208602 |c Online |9 978-3-319-20860-2 | ||
| 020 | |a 9783319208596 |c Print |9 978-3-319-20859-6 | ||
| 024 | 7 | |a 10.1007/978-3-319-20860-2 |2 doi | |
| 035 | |a (OCoLC)913011203 | ||
| 035 | |a (DE-599)BVBBV042669602 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-19 |a DE-384 |a DE-Aug4 |a DE-M347 |a DE-573 |a DE-859 |a DE-703 |a DE-473 |a DE-29 |a DE-706 |a DE-20 |a DE-739 |a DE-92 |a DE-634 |a DE-860 |a DE-861 |a DE-355 | ||
| 082 | 0 | |a 621.395 |2 23 | |
| 084 | |a DAT 503f |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 084 | |a DAT 249f |2 stub | ||
| 084 | |a DAT 510f |2 stub | ||
| 245 | 1 | 0 | |a Reversible Computation |b 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings |c edited by Jean Krivine, Jean-Bernard Stefani |
| 264 | 1 | |a Cham |b Springer |c 2015 | |
| 300 | |a 1 Online-Ressource (VIII, 291 p. 90 illus) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 9138 |x 0302-9743 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Logic design | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Computer software | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Logic Design | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Quantum Computing | |
| 650 | 4 | |a Computation by Abstract Devices | |
| 650 | 4 | |a Algorithm Analysis and Problem Complexity | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Informatik | |
| 650 | 0 | 7 | |a Reversibles System |0 (DE-588)4132783-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 16.07.2015-17.07.2015 |z Grenoble |2 gnd-content | |
| 689 | 0 | 0 | |a Reversibles System |0 (DE-588)4132783-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Krivine, Jean-Louis |e Sonstige |4 oth | |
| 711 | 2 | |a RC |n 7. |d 2015 |c Grenoble |j Sonstige |0 (DE-588)1073664600 |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 9138 |w (DE-604)BV014880109 |9 9138 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-20860-2 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028101685&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028101685&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS |a ZDB-2-LNC | ||
| 940 | 1 | |q ZDB-2-SCS_2015 | |
| 940 | 1 | |q ZDB-2-LNC_2015 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028101685 | ||
Record in the Search Index
| _version_ | 1804174859248336896 |
|---|---|
| adam_text | REVERSIBLE COMPUTATION
/
: 2015
TABLE OF CONTENTS / INHALTSVERZEICHNIS
INVITED PAPER
MOMENT SEMANTICS FOR REVERSIBLE RULE-BASED SYSTEMS
REVERSIBLE MACHINES
A HIERARCHY OF FAST REVERSIBLE TURING MACHINES
REAL-TIME METHODS IN REVERSIBLE COMPUTATION
REVERSIBLE ORDERED RESTARTING AUTOMATA
REVERSIBLE LANGUAGES
GARBAGE COLLECTION FOR REVERSIBLE FUNCTIONAL LANGUAGES
REVERSE CODE GENERATION FOR PARALLEL DISCRETE EVENT SIMULATION
TOWARDS A DOMAIN-SPECIFIC LANGUAGE FOR REVERSIBLE ASSEMBLY SEQUENCES
DESIGN AND VERIFICATION OF QUANTUM CIRCUITS
REVERSIBILITY IN EXTENDED MEASUREMENT-BASED QUANTUM COMPUTATION
A FULLY FAULT-TOLERANT REPRESENTATION OF QUANTUM CIRCUITS
EQUATIONAL REASONING ABOUT QUANTUM PROTOCOLS
DESIGN OF REVERSIBLE CIRCUITS
DESIGN AND FABRICATION OF A MICROPROCESSOR USING ADIABATIC CMOS AND
BENNETT CLOCKING
IMPROVED ALGORITHMS FOR DEBUGGING PROBLEMS ON ERRONEOUS REVERSIBLE
CIRCUITS
RICERCAR: A LANGUAGE FOR DESCRIBING AND REWRITING REVERSIBLE CIRCUITS
WITH ANCILLAE AND ITS PERMUTATION SEMANTICS
CIRCUIT SYNTHESIS
TECHNOLOGY MAPPING FOR SINGLE TARGET GATE BASED CIRCUITS USING BOOLEAN
FUNCTIONAL DECOMPOSITION
TOWARDS CODE OPTIMIZATION FOR LINE-AWARE HDL-BASED SYNTHESIS OF
REVERSIBLE CIRCUITS
SYNTHESIS OF QUANTUM CIRCUITS FOR DEDICATED PHYSICAL MACHINE
DESCRIPTIONS
SHORT PAPERS
POWER-CLOCK GENERATOR IMPACT ON THE PERFORMANCE OF NEM-BASED ADIABATIC
LOGIC CIRCUITS
A COST METRIC FOR THE DESIGN OF NEAREST NEIGHBOR QUANTUM CIRCUITS AT THE
REVERSIBLE LOGIC LEVEL
TOWARDS MODELLING OF LOCAL REVERSIBILITY
APPLICATION OF FUNCTIONAL DECOMPOSITION IN SYNTHESIS OF REVERSIBLE
CIRCUITS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
REVERSIBLE COMPUTATION
/
: 2015
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE REFEREED PROCEEDINGS OF THE 7TH INTERNATIONAL
CONFERENCE ON REVERSIBLE COMPUTATION, RC 2015, HELD IN GRENOBLE, FRANCE
IN JULY 2015. THE 19 PAPERS PRESENTED TOGETHER WITH 1 INVITED TALK WERE
CAREFULLY REVIEWED AND SELECTED FROM 30 SUBMISSIONS. THE CONFERENCE ON
REVERSIBLE COMPUTATION PARTICULARLY INCLUDES THE FOLLOWING TOPICS:
REVERSIBLE MACHINES, REVERSIBLE LANGUAGES, DESIGN AND VERIFICATION OF
QUANTUM CIRCUITS, DESIGN OF REVERSIBLE CIRCUITS, AND CIRCUIT SYNTHESIS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV042669602 |
| classification_tum | DAT 503f DAT 000 DAT 249f DAT 510f |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)913011203 (DE-599)BVBBV042669602 |
| dewey-full | 621.395 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 621 - Applied physics |
| dewey-raw | 621.395 |
| dewey-search | 621.395 |
| dewey-sort | 3621.395 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Informatik Elektrotechnik / Elektronik / Nachrichtentechnik |
| doi_str_mv | 10.1007/978-3-319-20860-2 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02862nmm a2200649zcb4500</leader><controlfield tag="001">BV042669602</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20170418 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150703s2015 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319208602</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-20860-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319208596</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-319-20859-6</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-20860-2</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)913011203</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042669602</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">621.395</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 503f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 249f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 510f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Reversible Computation</subfield><subfield code="b">7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings</subfield><subfield code="c">edited by Jean Krivine, Jean-Bernard Stefani</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (VIII, 291 p. 90 illus)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">9138</subfield><subfield code="x">0302-9743</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic Design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Quantum Computing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computation by Abstract Devices</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algorithm Analysis and Problem Complexity</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Reversibles System</subfield><subfield code="0">(DE-588)4132783-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">16.07.2015-17.07.2015</subfield><subfield code="z">Grenoble</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Reversibles System</subfield><subfield code="0">(DE-588)4132783-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Krivine, Jean-Louis</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">RC</subfield><subfield code="n">7.</subfield><subfield code="d">2015</subfield><subfield code="c">Grenoble</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1073664600</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">9138</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">9138</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-20860-2</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028101685&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028101685&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2015</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-LNC_2015</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028101685</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 16.07.2015-17.07.2015 Grenoble gnd-content |
| genre_facet | Konferenzschrift 16.07.2015-17.07.2015 Grenoble |
| id | DE-604.BV042669602 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:07:05Z |
| institution | BVB |
| institution_GND | (DE-588)1073664600 |
| isbn | 9783319208602 9783319208596 |
| issn | 0302-9743 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028101685 |
| oclc_num | 913011203 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| owner_facet | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| physical | 1 Online-Ressource (VIII, 291 p. 90 illus) |
| psigel | ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2015 ZDB-2-LNC_2015 |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings edited by Jean Krivine, Jean-Bernard Stefani Cham Springer 2015 1 Online-Ressource (VIII, 291 p. 90 illus) txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 9138 0302-9743 Computer science Logic design Software engineering Computer software Computer Science Logic Design Logics and Meanings of Programs Quantum Computing Computation by Abstract Devices Algorithm Analysis and Problem Complexity Software Engineering Informatik Reversibles System (DE-588)4132783-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 16.07.2015-17.07.2015 Grenoble gnd-content Reversibles System (DE-588)4132783-4 s DE-604 Krivine, Jean-Louis Sonstige oth RC 7. 2015 Grenoble Sonstige (DE-588)1073664600 oth Lecture Notes in Computer Science 9138 (DE-604)BV014880109 9138 https://doi.org/10.1007/978-3-319-20860-2 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028101685&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028101685&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings Lecture Notes in Computer Science Computer science Logic design Software engineering Computer software Computer Science Logic Design Logics and Meanings of Programs Quantum Computing Computation by Abstract Devices Algorithm Analysis and Problem Complexity Software Engineering Informatik Reversibles System (DE-588)4132783-4 gnd |
| subject_GND | (DE-588)4132783-4 (DE-588)1071861417 |
| title | Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings |
| title_auth | Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings |
| title_exact_search | Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings |
| title_full | Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings edited by Jean Krivine, Jean-Bernard Stefani |
| title_fullStr | Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings edited by Jean Krivine, Jean-Bernard Stefani |
| title_full_unstemmed | Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings edited by Jean Krivine, Jean-Bernard Stefani |
| title_short | Reversible Computation |
| title_sort | reversible computation 7th international conference rc 2015 grenoble france july 16 17 2015 proceedings |
| title_sub | 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings |
| topic | Computer science Logic design Software engineering Computer software Computer Science Logic Design Logics and Meanings of Programs Quantum Computing Computation by Abstract Devices Algorithm Analysis and Problem Complexity Software Engineering Informatik Reversibles System (DE-588)4132783-4 gnd |
| topic_facet | Computer science Logic design Software engineering Computer software Computer Science Logic Design Logics and Meanings of Programs Quantum Computing Computation by Abstract Devices Algorithm Analysis and Problem Complexity Software Engineering Informatik Reversibles System Konferenzschrift 16.07.2015-17.07.2015 Grenoble |
| url | https://doi.org/10.1007/978-3-319-20860-2 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028101685&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028101685&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT krivinejeanlouis reversiblecomputation7thinternationalconferencerc2015grenoblefrancejuly16172015proceedings AT rcgrenoble reversiblecomputation7thinternationalconferencerc2015grenoblefrancejuly16172015proceedings |