Searching for proving : 21 results found | RSS Feed for this search

1

18.783 Elliptic Curves (MIT) 18.783 Elliptic Curves (MIT)

Description

This graduate-level course is a computationally focused introduction to elliptic curves, with applications to number theory and cryptography. This graduate-level course is a computationally focused introduction to elliptic curves, with applications to number theory and cryptography.

Subjects

elliptic curves | elliptic curves | number theory | number theory | cryptography | cryptography | point-counting | point-counting | isogenies | isogenies | pairings | pairings | theory of complex multiplication | theory of complex multiplication | integer factorization | integer factorization | primality proving | primality proving | elliptic curve cryptography | elliptic curve cryptography | modular curves | modular curves | Fermat's Last Theorem | Fermat's Last Theorem

License

Content within individual OCW courses is (c) by the individual authors unless otherwise noted. MIT OpenCourseWare materials are licensed by the Massachusetts Institute of Technology under a Creative Commons License (Attribution-NonCommercial-ShareAlike). For further information see http://ocw.mit.edu/terms/index.htm

Site sourced from

http://ocw.mit.edu/rss/all/mit-allcourses.xml

Attribution

Click to get HTML | Click to get attribution | Click to get URL

All metadata

See all metadata

24.242 Logic II (MIT) 24.242 Logic II (MIT)

Description

This course begins with an introduction to the theory of computability, then proceeds to a detailed study of its most illustrious result: Kurt Gödel's theorem that, for any system of true arithmetical statements we might propose as an axiomatic basis for proving truths of arithmetic, there will be some arithmetical statements that we can recognize as true even though they don't follow from the system of axioms. In my opinion, which is widely shared, this is the most important single result in the entire history of logic, important not only on its own right but for the many applications of the technique by which it's proved. We'll discuss some of these applications, among them: Church's theorem that there is no algorithm for deciding when a formula is valid in the predicate calculus; This course begins with an introduction to the theory of computability, then proceeds to a detailed study of its most illustrious result: Kurt Gödel's theorem that, for any system of true arithmetical statements we might propose as an axiomatic basis for proving truths of arithmetic, there will be some arithmetical statements that we can recognize as true even though they don't follow from the system of axioms. In my opinion, which is widely shared, this is the most important single result in the entire history of logic, important not only on its own right but for the many applications of the technique by which it's proved. We'll discuss some of these applications, among them: Church's theorem that there is no algorithm for deciding when a formula is valid in the predicate calculus;

Subjects

Logic | Logic | theory of computability | theory of computability | Kurt G?del | Kurt G?del | theorem | theorem | system | system | true | true | arithmetical | arithmetical | statements | statements | axiomatic basis | axiomatic basis | proving | proving | truths of arithmetic | truths of arithmetic | history applications | history applications | technique | technique | Church?s theorem | Church?s theorem | algorithm | algorithm | formula | formula | valid | valid | predicate calculus | predicate calculus | Tarski?s theorem | Tarski?s theorem | G?del?s second incompleteness theorem. | G?del?s second incompleteness theorem.

License

Content within individual OCW courses is (c) by the individual authors unless otherwise noted. MIT OpenCourseWare materials are licensed by the Massachusetts Institute of Technology under a Creative Commons License (Attribution-NonCommercial-ShareAlike). For further information see http://ocw.mit.edu/terms/index.htm

Site sourced from

http://ocw.mit.edu/rss/all/mit-allcourses-24.xml

Attribution

Click to get HTML | Click to get attribution | Click to get URL

All metadata

See all metadata

15.772J D-Lab: Supply Chains (MIT) 15.772J D-Lab: Supply Chains (MIT)

Description

This course introduces concepts of supply chain design and operations with a focus on supply chains for products destined to improve quality of life in developing countries. Topics include demand estimation, capacity planning and process analysis, inventory management, and supply chain coordination and performance. We also cover issues specific to emerging markets, such as sustainable supply chains, how to couple product design with supply chain design and operation, and how to account for the value-adding role of a supply chain. A major aspect of class is the student projects on supply chain design or improvement. This course introduces concepts of supply chain design and operations with a focus on supply chains for products destined to improve quality of life in developing countries. Topics include demand estimation, capacity planning and process analysis, inventory management, and supply chain coordination and performance. We also cover issues specific to emerging markets, such as sustainable supply chains, how to couple product design with supply chain design and operation, and how to account for the value-adding role of a supply chain. A major aspect of class is the student projects on supply chain design or improvement.

Subjects

15.772 | 15.772 | EC.733 | EC.733 | supply chains | supply chains | supply chain design | supply chain design | developing countries | developing countries | developing economies | developing economies | improving quality of life | improving quality of life | demand estimation | demand estimation | facility location | facility location | operation planning | operation planning | inventory management | inventory management | supply chain coordination and performance | supply chain coordination and performance

License

Content within individual OCW courses is (c) by the individual authors unless otherwise noted. MIT OpenCourseWare materials are licensed by the Massachusetts Institute of Technology under a Creative Commons License (Attribution-NonCommercial-ShareAlike). For further information see http://ocw.mit.edu/terms/index.htm

Site sourced from

http://ocw.mit.edu/rss/all/mit-allcourses.xml

Attribution

Click to get HTML | Click to get attribution | Click to get URL

All metadata

See all metadata

18.783 Elliptic Curves (MIT) 18.783 Elliptic Curves (MIT)

Description

This graduate-level course is a computationally focused introduction to elliptic curves, with applications to number theory and cryptography. This graduate-level course is a computationally focused introduction to elliptic curves, with applications to number theory and cryptography.

Subjects

elliptic curves | elliptic curves | number theory | number theory | cryptography | cryptography | point-counting | point-counting | isogenies | isogenies | pairings | pairings | theory of complex multiplication | theory of complex multiplication | integer factorization | integer factorization | primality proving | primality proving | elliptic curve cryptography | elliptic curve cryptography | modular curves | modular curves | Fermat's Last Theorem | Fermat's Last Theorem

License

Content within individual OCW courses is (c) by the individual authors unless otherwise noted. MIT OpenCourseWare materials are licensed by the Massachusetts Institute of Technology under a Creative Commons License (Attribution-NonCommercial-ShareAlike). For further information see http://ocw.mit.edu/terms/index.htm

Site sourced from

http://ocw.mit.edu/rss/all/mit-allarchivedcourses.xml

Attribution

Click to get HTML | Click to get attribution | Click to get URL

All metadata

See all metadata

6.883 Program Analysis (MIT) 6.883 Program Analysis (MIT)

Description

6.883 is a graduate seminar that investigates a variety of program analysis techniques that address software engineering tasks. Static analysis topics include abstract interpretation (dataflow), type systems, model checking, decision procedures (SAT, BDDs), theorem-proving. Dynamic analysis topics include testing, fault isolation (debugging), model inference, and visualization. While the course focuses on the design and implementation of programming tools, the material will be useful to anyone who wishes to improve his or her programming or understand the state of the art. Students are expected to read classic and current technical papers, actively participate in class discussion, perform small exercises that provide experience with a variety of tools, and complete a team research project. 6.883 is a graduate seminar that investigates a variety of program analysis techniques that address software engineering tasks. Static analysis topics include abstract interpretation (dataflow), type systems, model checking, decision procedures (SAT, BDDs), theorem-proving. Dynamic analysis topics include testing, fault isolation (debugging), model inference, and visualization. While the course focuses on the design and implementation of programming tools, the material will be useful to anyone who wishes to improve his or her programming or understand the state of the art. Students are expected to read classic and current technical papers, actively participate in class discussion, perform small exercises that provide experience with a variety of tools, and complete a team research project.

Subjects

program analysis | program analysis | static analysis | static analysis | abstract interpretation (dataflow) | abstract interpretation (dataflow) | type systems | type systems | model checking | model checking | decision procedures (SAT | decision procedures (SAT | BDDs) | BDDs) | theorem-proving | theorem-proving | dynamic analysis | dynamic analysis | testing | testing | fault isolation (debugging) | fault isolation (debugging) | model inference | and visualization | model inference | and visualization | decision procedures (SAT | BDDs) | decision procedures (SAT | BDDs)

License

Content within individual OCW courses is (c) by the individual authors unless otherwise noted. MIT OpenCourseWare materials are licensed by the Massachusetts Institute of Technology under a Creative Commons License (Attribution-NonCommercial-ShareAlike). For further information see http://ocw.mit.edu/terms/index.htm

Site sourced from

http://ocw.mit.edu/rss/all/mit-allcourses-6.xml

Attribution

Click to get HTML | Click to get attribution | Click to get URL

All metadata

See all metadata

15.760B Introduction to Operations Management (MIT) 15.760B Introduction to Operations Management (MIT)

Description

This half-term course introduces students to problems and analysis related to the design, planning, control, and improvement of manufacturing and service operations. Class sessions involve explaining concepts, working examples, and discussing cases. A wide range of topics are covered, including: process analysis, quality management, supply chain design, procurement, and product development. Toward the end of the course, students work in teams to manage a virtual factory in a web-based simulation exercise. This half-term course introduces students to problems and analysis related to the design, planning, control, and improvement of manufacturing and service operations. Class sessions involve explaining concepts, working examples, and discussing cases. A wide range of topics are covered, including: process analysis, quality management, supply chain design, procurement, and product development. Toward the end of the course, students work in teams to manage a virtual factory in a web-based simulation exercise.

Subjects

operations management | operations management | service operations | service operations | manufacturing design | manufacturing design | manufacturing planning | manufacturing planning | production control | production control | quality management | quality management | process design | process design | reengineering | reengineering | product development | product development | project management | project management | supply chain design | supply chain design | improving manufacturing processes | improving manufacturing processes | capacity | capacity | inventory | inventory | quality control | quality control | product design | product design | factory management | factory management

License

Content within individual OCW courses is (c) by the individual authors unless otherwise noted. MIT OpenCourseWare materials are licensed by the Massachusetts Institute of Technology under a Creative Commons License (Attribution-NonCommercial-ShareAlike). For further information see http://ocw.mit.edu/terms/index.htm

Site sourced from

http://ocw.mit.edu/rss/all/mit-allcourses.xml

Attribution

Click to get HTML | Click to get attribution | Click to get URL

All metadata

See all metadata

18.783 Elliptic Curves (MIT) 18.783 Elliptic Curves (MIT)

Description

This graduate-level course is a computationally focused introduction to elliptic curves, with applications to number theory and cryptography. This graduate-level course is a computationally focused introduction to elliptic curves, with applications to number theory and cryptography.

Subjects

elliptic curves | elliptic curves | number theory | number theory | cryptography | cryptography | point-counting | point-counting | isogenies | isogenies | pairings | pairings | theory of complex multiplication | theory of complex multiplication | integer factorization | integer factorization | primality proving | primality proving | elliptic curve cryptography | elliptic curve cryptography | modular curves | modular curves | Fermat's Last Theorem | Fermat's Last Theorem

License

Content within individual OCW courses is (c) by the individual authors unless otherwise noted. MIT OpenCourseWare materials are licensed by the Massachusetts Institute of Technology under a Creative Commons License (Attribution-NonCommercial-ShareAlike). For further information see http://ocw.mit.edu/terms/index.htm

Site sourced from

http://ocw.mit.edu/rss/all/mit-allcourses.xml

Attribution

Click to get HTML | Click to get attribution | Click to get URL

All metadata

See all metadata

15.760B Introduction to Operations Management (MIT)

Description

This half-term course introduces students to problems and analysis related to the design, planning, control, and improvement of manufacturing and service operations. Class sessions involve explaining concepts, working examples, and discussing cases. A wide range of topics are covered, including: process analysis, quality management, supply chain design, procurement, and product development. Toward the end of the course, students work in teams to manage a virtual factory in a web-based simulation exercise.

Subjects

operations management | service operations | manufacturing design | manufacturing planning | production control | quality management | process design | reengineering | product development | project management | supply chain design | improving manufacturing processes | capacity | inventory | quality control | product design | factory management

License

Content within individual OCW courses is (c) by the individual authors unless otherwise noted. MIT OpenCourseWare materials are licensed by the Massachusetts Institute of Technology under a Creative Commons License (Attribution-NonCommercial-ShareAlike). For further information see https://ocw.mit.edu/terms/index.htm

Site sourced from

https://ocw.mit.edu/rss/all/mit-allpersiancourses.xml

Attribution

Click to get HTML | Click to get attribution | Click to get URL

All metadata

See all metadata

18.783 Elliptic Curves (MIT)

Description

This graduate-level course is a computationally focused introduction to elliptic curves, with applications to number theory and cryptography.

Subjects

elliptic curves | number theory | cryptography | point-counting | isogenies | pairings | theory of complex multiplication | integer factorization | primality proving | elliptic curve cryptography | modular curves | Fermat's Last Theorem

License

Content within individual OCW courses is (c) by the individual authors unless otherwise noted. MIT OpenCourseWare materials are licensed by the Massachusetts Institute of Technology under a Creative Commons License (Attribution-NonCommercial-ShareAlike). For further information see https://ocw.mit.edu/terms/index.htm

Site sourced from

https://ocw.mit.edu/rss/all/mit-allcourses.xml

Attribution

Click to get HTML | Click to get attribution | Click to get URL

All metadata

See all metadata

Improving Health: Public Health - Getting back to basics

Description

This workshop presentation has been adapted from the Improving Health diploma level module designed by Education For Health. (Find out more about Improving Health at: http://www.educationforhealth.org/courses/44)

Subjects

ukoer | phorus | public health | improving health | education for health | initiative | health professionals | health sciences and practice | Subjects allied to medicine | B000

License

Attribution-Noncommercial-Share Alike 2.0 UK: England & Wales Attribution-Noncommercial-Share Alike 2.0 UK: England & Wales http://creativecommons.org/licenses/by-nc-sa/2.0/uk/ http://creativecommons.org/licenses/by-nc-sa/2.0/uk/

Site sourced from

http://dspace.jorum.ac.uk/oai/request?verb=ListRecords&metadataPrefix=oai_dc

Attribution

Click to get HTML | Click to get attribution | Click to get URL

All metadata

See all metadata

Training’

Description

This is a unique business case toolkit around Improving Health offering any professional in health and social care a simple, effective way to produce business cases to successfully secure funds for their continuing professional development. It contains an evidence based, module specific business proposal for health professionals to use to establish their current levels of knowledge, understanding and experience, and plan development of their competencies within the framework of the health needs of their practice population in a way which is meaningful to the QoF, KSF and National Workforce Competencies.

Subjects

ukoer | phorus | public health | business case toolkit | nurses | competencies | health sciences and practice | education for health | improving health | health professionals | social care | Subjects allied to medicine | B000

License

Attribution-Noncommercial-Share Alike 2.0 UK: England & Wales Attribution-Noncommercial-Share Alike 2.0 UK: England & Wales http://creativecommons.org/licenses/by-nc-sa/2.0/uk/ http://creativecommons.org/licenses/by-nc-sa/2.0/uk/

Site sourced from

http://dspace.jorum.ac.uk/oai/request?verb=ListRecords&metadataPrefix=oai_dc

Attribution

Click to get HTML | Click to get attribution | Click to get URL

All metadata

See all metadata

Study skills

Description

This OER is intended to assist with advice and guidance to students on Writing Skills, including essay planning and writing, referencing, critical writing and critical reading. The OER also covers writing for science, writing reports, planning and conducting a dissertaion research project.

Subjects

ukoer | study skills | leicester university | otter | avoiding plagiarism | contributing to seminars and tutorials | effective note making | exam stress | improving your reading skills | inclusive writing | making the most of lectures | organising your time | referencing and bibliographies | revision and exam skills | successful group projects | thought mapping | Education | X000

License

Attribution-Noncommercial-Share Alike 2.0 UK: England & Wales Attribution-Noncommercial-Share Alike 2.0 UK: England & Wales http://creativecommons.org/licenses/by-nc-sa/2.0/uk/ http://creativecommons.org/licenses/by-nc-sa/2.0/uk/

Site sourced from

http://dspace.jorum.ac.uk/oai/request?verb=ListRecords&metadataPrefix=oai_dc

Attribution

Click to get HTML | Click to get attribution | Click to get URL

All metadata

See all metadata

15.772J D-Lab: Supply Chains (MIT)

Description

This course introduces concepts of supply chain design and operations with a focus on supply chains for products destined to improve quality of life in developing countries. Topics include demand estimation, capacity planning and process analysis, inventory management, and supply chain coordination and performance. We also cover issues specific to emerging markets, such as sustainable supply chains, how to couple product design with supply chain design and operation, and how to account for the value-adding role of a supply chain. A major aspect of class is the student projects on supply chain design or improvement.

Subjects

15.772 | EC.733 | supply chains | supply chain design | developing countries | developing economies | improving quality of life | demand estimation | facility location | operation planning | inventory management | supply chain coordination and performance

License

Content within individual OCW courses is (c) by the individual authors unless otherwise noted. MIT OpenCourseWare materials are licensed by the Massachusetts Institute of Technology under a Creative Commons License (Attribution-NonCommercial-ShareAlike). For further information see https://ocw.mit.edu/terms/index.htm

Site sourced from

https://ocw.mit.edu/rss/all/mit-allcourses.xml

Attribution

Click to get HTML | Click to get attribution | Click to get URL

All metadata

See all metadata

6.883 Program Analysis (MIT)

Description

6.883 is a graduate seminar that investigates a variety of program analysis techniques that address software engineering tasks. Static analysis topics include abstract interpretation (dataflow), type systems, model checking, decision procedures (SAT, BDDs), theorem-proving. Dynamic analysis topics include testing, fault isolation (debugging), model inference, and visualization. While the course focuses on the design and implementation of programming tools, the material will be useful to anyone who wishes to improve his or her programming or understand the state of the art. Students are expected to read classic and current technical papers, actively participate in class discussion, perform small exercises that provide experience with a variety of tools, and complete a team research project.

Subjects

program analysis | static analysis | abstract interpretation (dataflow) | type systems | model checking | decision procedures (SAT | BDDs) | theorem-proving | dynamic analysis | testing | fault isolation (debugging) | model inference | and visualization | decision procedures (SAT | BDDs)

License

Content within individual OCW courses is (c) by the individual authors unless otherwise noted. MIT OpenCourseWare materials are licensed by the Massachusetts Institute of Technology under a Creative Commons License (Attribution-NonCommercial-ShareAlike). For further information see https://ocw.mit.edu/terms/index.htm

Site sourced from

https://ocw.mit.edu/rss/all/mit-allcourses.xml

Attribution

Click to get HTML | Click to get attribution | Click to get URL

All metadata

See all metadata

18.783 Elliptic Curves (MIT)

Description

This graduate-level course is a computationally focused introduction to elliptic curves, with applications to number theory and cryptography.

Subjects

elliptic curves | number theory | cryptography | point-counting | isogenies | pairings | theory of complex multiplication | integer factorization | primality proving | elliptic curve cryptography | modular curves | Fermat's Last Theorem

License

Content within individual OCW courses is (c) by the individual authors unless otherwise noted. MIT OpenCourseWare materials are licensed by the Massachusetts Institute of Technology under a Creative Commons License (Attribution-NonCommercial-ShareAlike). For further information see https://ocw.mit.edu/terms/index.htm

Site sourced from

https://ocw.mit.edu/rss/all/mit-allarchivedcourses.xml

Attribution

Click to get HTML | Click to get attribution | Click to get URL

All metadata

See all metadata

15.760B Introduction to Operations Management (MIT)

Description

This half-term course introduces students to problems and analysis related to the design, planning, control, and improvement of manufacturing and service operations. Class sessions involve explaining concepts, working examples, and discussing cases. A wide range of topics are covered, including: process analysis, quality management, supply chain design, procurement, and product development. Toward the end of the course, students work in teams to manage a virtual factory in a web-based simulation exercise.

Subjects

operations management | service operations | manufacturing design | manufacturing planning | production control | quality management | process design | reengineering | product development | project management | supply chain design | improving manufacturing processes | capacity | inventory | quality control | product design | factory management

License

Content within individual OCW courses is (c) by the individual authors unless otherwise noted. MIT OpenCourseWare materials are licensed by the Massachusetts Institute of Technology under a Creative Commons License (Attribution-NonCommercial-ShareAlike). For further information see https://ocw.mit.edu/terms/index.htm

Site sourced from

https://ocw.mit.edu/rss/all/mit-allcourses.xml

Attribution

Click to get HTML | Click to get attribution | Click to get URL

All metadata

See all metadata

Study Skills

Description

This OER is intended to assist with advice and guidance to students on Writing Skills, including essay planning and writing, referencing, critical writing and critical reading. The OER also covers writing for science, writing reports, planning and conducting a dissertaion research project.

Subjects

ukoer avoiding plagiarism contributing to seminars and tutorials effective note making exam stress improving your reading skills inclusive writing making the most of lectures organising your time referencing and bibliographies revision and exam skills successful group projects thought mapping | Education | X000

License

Attribution-Noncommercial-Share Alike 2.0 UK: England & Wales Attribution-Noncommercial-Share Alike 2.0 UK: England & Wales http://creativecommons.org/licenses/by-nc-sa/2.0/uk/ http://creativecommons.org/licenses/by-nc-sa/2.0/uk/

Site sourced from

http://dspace.jorum.ac.uk/oai/request?verb=ListRecords&metadataPrefix=oai_dc

Attribution

Click to get HTML | Click to get attribution | Click to get URL

All metadata

See all metadata

RH00851: Industrial relations

Description

As you embark on this course, you may be wondering how the Theme of Human Resources Management (HRM) relates to your interests and career aspirations. The answer to the question ‘Why study HRM?' is pretty much the same regardless of whether you plan on working in an HR department or not. Staffing the organization, designing jobs and teams, developing skillful employees, identifying approaches for improving their performance, and rewarding employees' successes -all typically labeled HRM issues- are as relevant to line managers as they are to managers in the HR department....

Subjects

Human Resources Management in Perspective | Human Resources Management: A historical | Definition of Human Resources Management | Operational Process of Human Resources Management | Organizational Structure of the Human Resources Department | Human Resourses Planning | Strategic Human Resources Planning | Job Analysis | Recruitment | Selection | Developing Effectiveness in Human Resources | Training and Development: Systematic Improvement Approach | Manager Development | Appraising and Improving Performance | Implementing Compensation and Security | Compensation System | Retirement Program | Safety and Health | Current HRM issues | Human Resources Audit and Control | Culture Efects on Human Resources Management

License

http://creativecommons.org/licenses/by-nc-sa/2.5/mx/

Site sourced from

http://ocw.itesm.mx/rss/ocw.rss

Attribution

Click to get HTML | Click to get attribution | Click to get URL

All metadata

See all metadata

24.242 Logic II (MIT)

Description

This course begins with an introduction to the theory of computability, then proceeds to a detailed study of its most illustrious result: Kurt Gdel's theorem that, for any system of true arithmetical statements we might propose as an axiomatic basis for proving truths of arithmetic, there will be some arithmetical statements that we can recognize as true even though they don't follow from the system of axioms. In my opinion, which is widely shared, this is the most important single result in the entire history of logic, important not only on its own right but for the many applications of the technique by which it's proved. We'll discuss some of these applications, among them: Church's theorem that there is no algorithm for deciding when a formula is valid in the predicate calculus;

Subjects

Logic | theory of computability | Kurt G?del | theorem | system | true | arithmetical | statements | axiomatic basis | proving | truths of arithmetic | history applications | technique | Church?s theorem | algorithm | formula | valid | predicate calculus | Tarski?s theorem | G?del?s second incompleteness theorem.

License

Content within individual OCW courses is (c) by the individual authors unless otherwise noted. MIT OpenCourseWare materials are licensed by the Massachusetts Institute of Technology under a Creative Commons License (Attribution-NonCommercial-ShareAlike). For further information see https://ocw.mit.edu/terms/index.htm

Site sourced from

https://ocw.mit.edu/rss/all/mit-allcourses.xml

Attribution

Click to get HTML | Click to get attribution | Click to get URL

All metadata

See all metadata

18.783 Elliptic Curves (MIT)

Description

This graduate-level course is a computationally focused introduction to elliptic curves, with applications to number theory and cryptography.

Subjects

elliptic curves | number theory | cryptography | point-counting | isogenies | pairings | theory of complex multiplication | integer factorization | primality proving | elliptic curve cryptography | modular curves | Fermat's Last Theorem

License

Content within individual OCW courses is (c) by the individual authors unless otherwise noted. MIT OpenCourseWare materials are licensed by the Massachusetts Institute of Technology under a Creative Commons License (Attribution-NonCommercial-ShareAlike). For further information see https://ocw.mit.edu/terms/index.htm

Site sourced from

https://ocw.mit.edu/rss/all/mit-allcourses.xml

Attribution

Click to get HTML | Click to get attribution | Click to get URL

All metadata

See all metadata

Hermes A-1 Test Rocket

Description

Subjects

space | aviation | whitesands | nasa | rocket | ge | hermes | v2 | aerospace | usarmy | generalelectric | spaceflight | whitesandsnewmexico | unitedstatesarmy | whitesandsnm | nationalaeronauticsandspaceadministration | v2rocket | armyordnancecorps | ordnancecorps | whitesandsprovingground | vergeltungswaffe2 | a4rocket | v2missile | mittelwerk | wspg | unitedstatesarmyordnancecorps | projecthermes | hermesa1 | a4missile

License

No known copyright restrictions

Site sourced from

http://api.flickr.com/services/feeds/photos_public.gne?id=44494372@N05&lang=en-us&format=rss_200

Attribution

Click to get HTML | Click to get attribution | Click to get URL

All metadata

See all metadata