8 research outputs found
Enzymic reduction of biacetyl by a strain ofSaccharomyces uvarum
- Author
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- Field of study
Verification Condition Generation via Theorem Proving
- Author
- Publication venue
- Publication date
- 01/01/2006
- Field of study
Abstract. We present a method to convert (i) an operational semantics for a given machine language, and (ii) an off-the-shelf theorem prover, into a high assurance verification condition generator (VCG). Given a program annotated with assertions at cutpoints, we show how to use the theorem prover directly on the operational semantics to generate verification conditions analogous to those produced by a custom-built VCG. Thus no separate VCG is necessary, and the theorem prover can be employed both to generate and to discharge the verification conditions. The method handles both partial and total correctness. It is also compositional in that the correctness of a subroutine needs to be proved once, rather than at each call site. The method has been used to verify several machine-level programs using the ACL2 theorem prover.
A Mechanical Analysis of Program Verification Strategies
- Author
- A. Church
- A.M. Turing
- B. Brock
- C.A.R. Hoare
- C.A.R. Hoare
- D. Greve
- E.W. Dijkstra
- E.W. Dijkstra
- F. Mehta
- G. Hamon
- H. Liu
- H. Liu
- H.H. Goldstein
- J. Barnes
- J. Harrison
- J. Matthews
- J. Sawada
- J. Strother Moore
- J.S. Moore
- J.S. Moore
- J.S. Moore
- J.W. Bakker de
- John Matthews
- K.R. Apt
- M. Clint
- M. Clint
- M. Kaufmann
- M. Strecker
- M. Wand
- M. Wilding
- M. Wilding
- N. Schirmer
- N. Shankar
- P. Homeier
- P. Manolios
- P. Manolios
- R. Floyd
- R.S. Boyer
- R.S. Boyer
- R.S. Boyer
- R.S. Boyer
- S. King
- S. Owre
- S. Ray
- S. Ray
- S. Sokolowski
- S.A. Cook
- S.S. Owicki
- Sandip Ray
- V. Ortner
- W.A. Hunt Jr.
- W.A. Hunt Jr.
- W.R. Bevier
- Warren A. Hunt
- Y. Bertot
- Z. Manna
- Z. Manna
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- Field of study
Model Calibration and Issues Related to Validation, Sensitivity Analysis, Post-audit, Uncertainty Evaluation and Assessment of Prediction Data Needs
- Author
- A. Keidser
- A. Medina
- A. Saltelli
- A. Saltelli
- A.C. Davison
- B. Efron
- B.J. Wagner
- B.J. Wagner
- B.J. Wagner
- B.J. Wagner
- C. Zheng
- C. Zheng
- C. Zheng
- C. Zheng
- C.E. Feehley
- C.R. Tiedeman
- D. Jacques
- E.P. Poeter
- E.R. Anderman
- E.R. Anderman
- E.W. Strecker
- F.A. D’Agnese
- G.A. Olyphant
- G.R. Barth
- G.R. Barth
- H. Prommer
- H. Sulieman
- H.C. Barlebo
- H.E. Julian
- H.I. Essaid
- J. Šimùnek
- J.F. Schijven
- K. Kosugi
- L.F. Konikow
- L.F. Konikow
- M. Stewart
- M.P. Anderson
- N.-Z. Sun
- N.-Z. Sun
- N.R. Draper
- P. Gaganis
- P.F. Andersen
- P.S. Mahar
- R.K. Ghandi
- R.K. Ghandi
- R.L. Cooley
- R.M. Gailey
- S.W. Mehl
- T.F. Russell
- T.O. Sonnenborg
- W.M. Alley
- Z.-Y. Zou
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- 01/01/2007
- Field of study
Direct and inverse modeling of seawater intrusion: A perspective
- Author
- A. Gemitzi
- A. Keidser
- A. Medina
- A.D. Werner
- A.M. Dausman
- A.S. Mayer
- B. Ataie-Ashtiani
- B. Datta
- B.J. Wagner
- B.M.S. Giambastiani
- B.N. Priyanka
- C. I. Voss
- C. Paniconi
- C.-H. Lee
- C.D. Langevin
- C.I. Voss
- C.P. Kumar
- D. McLaughlin
- D.A. Gupta
- D.V. Rooy
- E. Abarca
- E. K.a.r.a.m. H. Abarca
- E. Sanz
- E.P. Poeter
- E.W. Strecker
- F. Ding
- G. Kopsiaftis
- G. Robinson
- G.H.P. Oude Essink
- G.H.P. Oude Essink
- G.H.P. Oude Essink
- H. Ketabchi
- H.-C.J. Lin
- H.-J.G. Diersch
- H.R. Henry
- J. Carrera
- J. Carrera
- J. Doherty
- J. W. Heiss
- J.W. Elder
- K. Qahman
- K.A. Narayan
- L. Lakfifi
- M. Bakker
- M. Cobaner
- M. Sherif
- M.I. Shammas
- M.R. P. F.L. C.L. Underwood
- M.S. Mohan Kumar
- M.V. Camp
- N. Kazakis
- P. Bhattacharya
- P. K. Kitanidis
- P.E. Misut
- P.F. Andersen
- P.N. Mollema
- Q. Zhang
- R.W. Andrews
- S. Habel
- S. Violette
- S.P. Ranjan
- T.O. Sonnenborg
- U.A. Lathashri
- V. Iribar
- V. Kaleris
- V.E.A. Post
- W. Guo
- W. Lu
- W.-G. Yeh
- W.E. Sanford
- Y. Xiang
- Y. Xue
- Z. Dokou
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- Field of study
Ethnocentricity and the social construction of ?mass hysteria?
- Author
- A. Bell
- A. Gallinek
- A. Kiev
- A. Kleinman
- A. Martin
- A. Ong
- A. Ruijter de
- A. Schutz
- A. Thomas
- A. Yassi
- A.C. Kerckhoff
- A.C. Kerckhoff
- A.D. Fisher
- A.L. Gwee
- A.L. Gwee
- A.M. Rankin
- A.M. Rose
- A.N. Gilbert
- A.R. Lindesmith
- A.S. Luchins
- B. Sidis
- B. Simon
- B. Wilson
- B.E. Schwarz
- B.G. Burton-Bradley
- B.G. Cohen
- B.H. Kagwa
- B.J. Good
- C. Evans
- C. Geertz
- C. Geertz
- C. Geertz
- C. Helvie
- C. Hill
- C. Mackay
- C. Toibin
- C.E. Goshen
- C.G. Jung
- C.G. Schmidt
- C.L. Fairer
- C.P. McEvedy
- C.P. McEvedy
- C.P. McEvedy
- C.T.H. Friedmann
- C.W.H. Harvard
- D. Altman
- D. Christie-Murray
- D. Grosser
- D. Nandi
- D. Turner
- D.F. Selvin
- D.H. Menzel
- D.L. Miller
- D.M. Johnson
- D.P. Phillips
- E. Baumann
- E. Bebbington
- E. Bleuler
- E. Goffman
- E. Goffman
- E. Kretschmer
- E. Simmel
- E.A. Muluka
- E.A. Schuler
- E.A. Strecker
- E.D. Martin
- E.F. Loftus
- E.H. Norman
- E.L. Bliss
- E.L. Goldberg
- E.M. Gruenberg
- E.N. Fallaize
- E.P. Currie
- E.R. Dodds
- E.S. Tan
- E.W. Massey
- F. Sirois
- F. Sirois
- F.E. Williams
- F.E.D. Esquirol
- F.F. Cartwright
- F.K. Taylor
- F.P. Champion
- G. Beard
- G. Carrier
- G. Dumas
- G. Eckert
- G. Kren
- G. LeBon
- G. LeBon
- G. Lefebvre
- G. Mora
- G. Pollock
- G. Rosen
- G. Rosen
- G. Small
- G. Wells
- G. Wilson
- G. Zilboorg
- G. Zilboorg
- G.C. Davison
- G.E. Berrois
- G.H. Mead
- G.J. Ebrahim
- H. Asher
- H. Blumer
- H. Blumer
- H. Cantril
- H. Garfinkel
- H. Merskey
- H. Trevor-Roper
- H.A. Lyons
- H.B.M. Murphy
- H.C. Faigel
- H.C.T. Smith
- H.D. Eastwell
- H.D. Eastwell
- H.D. Eastwell
- H.F. Gloyne
- H.G. Baynes
- H.L. Shapiro
- H.S. Faust
- H.T. Buckner
- I. Neves-Manta
- I. Robertson
- I.M. Lewis
- J. Barr
- J. Delvin
- J. Douglass
- J. Lieberson
- J. Mann
- J. Peacock
- J. Schumacher
- J. Taylor
- J. Teoh
- J. Teoh
- J. Teoh
- J.A. Keel
- J.A. Knight
- J.A.M. Meerloo
- J.A.M. Meerloo
- J.A.M. Meerloo
- J.B. Thornton
- J.C. Boulougouris
- J.C. Coleman
- J.C. Nemiah
- J.D. Page
- J.D. Page
- J.F. Russell
- J.F.C. Hecker
- J.G.F. Baillarger
- J.L. Nitzkin
- J.R. Muhangi
- J.R. Stewart
- J.S. Mausner
- J.W. Hugo
- K. Jaspers
- K. Lang
- K. Rawnsley
- K.A. Menninger
- K.V. Thomas
- L. Boling
- L. Bonfanti
- L. Hirt
- L. Kok
- L. Kruse
- L. Marano
- L. Petit
- L. Temoshok
- L. Wheeler
- L.B. Raschka
- L.D. Polk
- L.F. Calmeil
- L.L. Langness
- L.P. Mair
- L.S. Penrose
- M. Chan
- M. Dhadphale
- M. Eliade
- M. Olkinuora
- M. Richardson
- M. Sherif
- M.A. Schneider
- M.B. Levin
- M.E. Moffat
- M.J. Colligan
- M.J. Colligan
- M.L. Carter
- M.L. Starkey
- M.P. Duke
- M.T. Kelsey
- N. Azuma
- N. Cohn
- N. Jacobs
- N.J. Smelser
- N.P. Spanos
- N.Z. Medalia
- P. Berger
- P. Christiansen
- P. Despine
- P. Hill
- P. Mohr
- P. Munch
- P. Olczak
- P. Robinson
- P. Shankman
- P. Winch
- P. Worsley
- P.A. Boxer
- P.A. Pinel
- P.B. Horton
- P.D. Moss
- P.G. Zimbardo
- P.K. Chew
- P.M. Yap
- P.M. Yap
- P.M. Yap
- Paul Lifenfield de
- R. Firth
- R. Harre
- R. Linton
- R. Linton
- R. Littlewood
- R. Mayou
- R. Neugebauer
- R. Ridington
- R. Virchow
- R.A. Faguet
- R.A. Hutch
- R.A. Nye
- R.A. Shweder
- R.A. Shweder
- R.B. Davy
- R.C. Simons
- R.G. Meyer
- R.H. Turner
- R.J. Levine
- R.J. Levine
- R.K. Murray
- R.L. Lee
- R.L. Lee
- R.M. Berndt
- R.M. Goldenson
- R.M. Keesing
- R.M. Keesing
- R.W. Alexander
- R.W. Brown
- S. Araki
- S. Arieti
- S. Benaim
- S. Frankel
- S. Moscovici
- S. Neumann
- S. Parigi
- S. Rembolt
- S. Wessely
- S.E. Ackerman
- S.E. Asch
- S.J. Hirsch
- S.M. Stahl
- S.S. Cottrell
- S.W. Wong
- T.C. Manschreck
- T.J. Schoeneman
- T.J. Schoeneman
- T.S. Szasz
- T.S. Szasz
- V. Crapanzano
- W. Brown
- W. Jilek
- W. Roseberry
- W. Sargant
- W. Trethowan
- W.C. Olson
- W.E.H. Lecky
- W.H. Phoon
- W.J. Samarin
- W.S. Tseng
- W.S. Tseng
- W.T. Hwang
- Y. Ikeda
- Y. Kumasaka
- Y.K. Tam
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- Field of study
Literatur (in Auswahl)
- Author
- Alderink L.J.
- Alexandropoulos J.
- Alföldi A.
- Allo E.-B.
- Amann J.
- Ameling W.
- Andreas von Kaisareia
- Andriesen P.
- Antonetti C.
- Ashmole B.
- Aune D.E.
- Aust E.
- Babel H.
- Bachmann M.
- Backhaus K.
- Bagnall R.
- Balland A.
- Barattolo A.
- Bargylia
- Barnard L.W.
- Barnes T.D.
- Barnett P.
- Barr D.L.
- Barrett C.K.
- Barrett C.K.
- Bauer J.B.
- Bauer W.
- Beale G.K.
- Bean G.E.
- Bean G.E.
- Beasley-Murray G.R.
- Beaujeu J.
- Beauvery R.
- Becker J.
- Beckwith I.T.
- Behr C.A.
- Bengel J.A.
- Benndorf O.
- Benner M.
- Berger K.
- Bergh van Eysinga G.A.
- Bergmeier R.
- Biagi S.
- Bickerman E. Consecratio
- Bidez J.
- Bilabel F.
- Birley A.R.
- Bodenmann R.
- Bodnar E.W.
- Bogaert P.-M.
- Boismard M.-E.
- Borgen P.
- Boring M.E.
- Borleffs J.W.P.
- Bornemann E.
- Bornkamm G.
- Boulanger A.
- Bowersock G.W.
- Bowie E.L.
- Bradley K.R.
- Brent A.
- Buchanan G.W.
- Buckler H.W.
- Bultmann R.
- Burchard C.
- Burkert W.
- Burnett A.
- Burrell B.
- Burton G.P.
- Buschmann G.
- Böcher O.
- Böhmer R.M.
- Büchner W.
- Bürchner L.
- Caddoux C.J.
- Caird G.B.
- Calder W.M.
- Calloud J.
- Cerfaux L.
- Cerfaux L.
- Charles R.H.
- Charlesworth M.P.
- Chausson F.
- Chilver G.E.F.
- Christ K.
- Christol M.
- Clinton K.
- Collins J.J.
- Cook A.B.
- Corbier M
- Cormack J.M.R.
- Cornelius Tacitus Borst J.
- Corssen P.
- Cousin G.
- Crowther C.
- Cukrowski K.
- Day J.
- de Sainte Croix G.E.M.
- Deiniger J.
- Deissmann A.
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders
- Ders Anatolia
- Ders Art
- Ders Art
- Ders Art
- Ders Art
- Ders Bol
- Ders Ebel
- Ders Hg.
- Ders Kießling
- Ders Knibbe
- Ders La Torre
- Ders Meier
- Ders Morper
- Ders Ormerod
- Ders Pergamon
- Ders Petzl
- Ders Robert
- Ders Schnider
- Ders Schwertheim
- Ders Strecker
- Ders Sydenham
- Ders Walker
- Ders Wilamowitz-Moellendorff
- Ders Winter
- Ders Witulski
- Ders Zeus
- Ders Zeus
- DeSilva D.A.
- Dibelius M.
- Dies
- Dies
- Dies
- Dies
- Dies
- Dies
- Dies
- Dies
- Dies
- Dies
- Dies
- Dies
- Dies
- Dies
- Dies
- Dies
- Dies
- Dies
- Dies
- Dies
- Dies
- Dies
- Dies
- Dies
- Dies
- Dies
- Dies
- Dies
- Dies Black
- Dies Hg.
- Dies Hg.
- Dies Hg.
- Dies Karwiese
- Dittmann-Schöne I.
- Dondin-Payre M.
- Donner H.
- Downing F.G.
- Drew-Bear T.
- Drijvers H.J.W.
- Dräger M
- du Rand J.A.
- Duff P.B.
- Dunant C.
- Dölger F.J.
- Dörrie H.
- Eckstein F.
- Ely F.H.
- Engelmann H.
- Engels F.
- Ernst J.
- Evers C.
- Fabricius E.
- Fayer C.
- Fears J.R.
- Fell M.
- Fishwick D.
- Fitzler K.
- Flusser D.
- Foakes Jackson F.J.
- Follet S.
- Forrest W.G.
- Fox K.H.
- Freis H.
- Freis H.
- French D.H.
- Freudenberger R.
- Frezouls E.
- Funaioli G.
- Funghi M.S.
- Furley W.D.
- Fürst A.
- Gagé J.
- Galsterer H.
- Gawantka W.
- Gawantka W.
- Geffcken J.
- Gely S.
- Gelzer M.
- Georges K.E.
- Georgi D.
- Giesen H.
- Giet S.
- Gordon R.L.
- Graf F.
- Graf von Stauffenberg A.
- Graham H.H.
- Graindor P.
- Grant M
- Greeven H.
- Griffin M.T.
- Gruben G.
- Gustafsson B.
- Göbl R.
- Günther H.W.
- Günther M
- Haas C.
- Habicht C.
- Hadorn W.
- Hadot J
- Hahn F.
- Halfmann H.
- Hamm U.
- Hanfmann G.M.A.
- Hanson P.D.
- Harland P.A.
- Harnack A.v.
- Harrington W.J.
- Harris J.R.
- Hartman L.
- Hasluck F.W.
- Hauken T.
- Hauschild W.-D.
- Head B.V.
- Heberdey R.
- Heiligenthal R.
- Heinen H.
- Heinze A.
- Hellholm D.
- Hemer C.J.
- Hengel M.
- Hepding H.
- Herrmann P.
- Herz P.
- Herzog R.
- Herzog-Hauser G.
- Hicks E.L.
- Higgins R.A.
- Hilgenfeld A.
- Hill G.F.
- Hillers D.R.
- Hohl E.
- Holl K.
- Holland G.
- Holtz T.
- Holtzmann O.
- Hueber F.
- Hunt A.S.
- Iasos Blümel W.
- Immisch O.
- Ingenkamp H.G.
- Jackson J.H
- Jacoby F.
- Jakob-Sonnabend W.
- Janssen L.F.
- Janzen E.P.
- Jastrow M.
- Jenks G.C.
- Joly R.
- Jones A.H.M.
- Jones C.P.
- Jones W.H.S.
- Judeich W.
- Judge E.A.
- Jung F.
- Jülicher A.
- Jüttner H.
- Kaczynski R.
- Kalms J.
- Kasper H.
- Kee H.C.
- Keil J.
- Keulers J.
- Kiddle M.
- Kienast D.
- Kinzig W.
- Kirby J.T.
- Klauck H.-J.
- Klein R.
- Klose D.O.A.
- Knibbe D.
- Knibbe D.
- Knibbe D.
- Knight J.
- Knoche U.
- Koch K.
- Koep L.
- Koester C.
- Kokkinia C.
- Kornemann E.
- Kowalski B.
- Kraemer R.S.
- Kraft H.
- Kranz P
- Kraus S.
- Kraus T.J.
- Kraybill J.N.
- Köhler W.
- Laffi U.
- Lambrecht J.
- Lampe G.W.H.
- Lampe P.
- Lane Fox R.
- Larrain C.J.
- Larsen J.A.O.
- Latte K.
- Lattke M
- Laumonier A.
- Lawrence J.M.
- Le Bas P.
- Lee P.
- Legrand D.
- Lehnen J.
- Lehnhardt A.
- Lemmata der Zeitschriften AÉ
- LeRoux P.
- Letta C.
- Levick B.
- Lewis R.G.
- Liddell H.G.
- Lietaert Peerbolte L.J.
- Lightfoot J.B.
- Lohmeyer E.
- Lolling H.G.
- Lona H.E.
- Loofs F.
- Loretz O.
- Lähnemann J.
- Lämmer M
- Löhr W.A.
- MacDonald D.
- Mach M.
- MacMullen R.
- Magie D.
- Marco A.D.
- Marotta V.
- Marquardt J.
- Mason H.J.
- Massyngberde Ford J.
- Mattingly H.
- Mattingly H.
- Meier P.J.
- Mellor R.
- Merkelbach R.
- Mesk J.
- Mitchell S.
- Moberley R.
- Mommsen T.
- Moody Smith D.
- Moreau J.
- Morenz S.
- Moretti L.
- Moretti L.
- Moulton J.H.
- Mounce R.H.
- Munier C.
- Murdock W.R.
- Murphy F.J.
- Mussies G.
- Myers J.M.
- Nadig P.
- Nesselhauf H.
- Neuschäfer B.
- Nielsen I.
- Niermeyer J.F.
- Nilsson M.P.
- Nock A.D.
- Nollé J.
- Noth M.
- Novak R.M. Jr.
- Oberweis M.
- Oegema G.
- Ohlemutz E.
- Oliver J.H.
- Overbeck W.
- Paasch Almar K.
- Parker F.O.
- Paulsen H.
- Perret L.
- Petzl G.
- Pezzoli-Olgiati D.
- Pick B.
- Piper O.A.
- Pirzio Biroli Stefanelli L.
- Pleket H.W.
- Plöger O.
- Poland F.
- Preisigke F.
- Premerstein A.v.
- Prigent P.
- Prostmeier F.R.
- Provan I.
- Pugliese-Carratelli G.
- Pöhlmann W.
- Quet M.-H.
- Rauschen G.
- Reader W.W.
- Reicke B.
- Resseguie J.L.
- Reynolds J.M.
- Rheidt K.
- Rice D.G.
- Richter F.
- Riemer U.
- Rigaux B.
- Ringgren H.
- Rissi M.
- Ritt H.
- Ritterling E.
- Rius-Camps J
- Robert L.
- Robert L.
- Robinson J.A.T.
- Rohden P.
- Roloff J.
- Romeo I.
- Rosenberg A.
- Ross Taylor Lily
- Rostovtzeff M.
- Roueché C.
- Royalty R.
- Rudwick M.J.S.
- Ruiz J.-P.
- Räisänen H.
- Rösel M.
- Sablayrolles R.
- Sacchi P.
- Samuel A.E.
- Satake A.
- Scarre C.
- Scherrer P.
- Scherrer S.J.
- Schillinger-Häfele U.
- Schischkoff G.
- Schmid J.
- Schnelle U.
- Schoedel W.R.
- Scholtissek K.
- Schorndorfer S.
- Schowalter D.N.
- Schulz A.
- Schuster M..
- Schwertheim E.
- Schwyzer E. u.a.
- Schäfer P.
- Schürer E.
- Schürer E.
- Schürer E.
- Schüssler Fiorenza E.
- Schütz R.
- Scott K.
- Seeliger H.R.
- Sherk R.K.
- Sherwin-White A.N.
- Sieffert F.
- Siegert F.
- Slater T.B.
- Smallwood E.M.
- Smith R.R.R.
- Sokolowski F.
- Southern P.
- Spawforth A.J.S.
- Speigl J.
- Spitta F.
- Stahl M.
- Stahl R.
- Stambaugh J.E.
- Stampolides N
- Stegemann W.
- Steskal M.
- Stolt J.
- Stoy K.
- Strack H.L.
- Strack P.L.
- Strecker G.
- Strecker G.
- Strobel A.
- Strobel K.
- Stutzinger D.
- Stübe R.
- Suchla B.R.
- Swete H.B.
- Syme R.
- Söding T.
- Söllner P.
- Taeger F.
- Taeger J.-W.
- Taliaferno Boatwright M
- Tataki A.
- Thomas R.H.
- Thompson L.L.
- Tuchelt K.
- Tölle-Kastenbein R.
- Ulland H.
- Ulrich J.
- Ulrichsen J.H.
- Unger E.
- Urner C.
- Utecht T.
- v. Henten J.W.
- van Hartingsveld L.
- Vanni U.
- Vermeule C.C.
- Vetten C.P.
- Vielhauer P.
- Vielhauer P.
- Vischer E.
- Vismara C.
- Vittinghoff F.
- Vogel-Weidemann U.
- Vogt H.J.
- Volz P.
- Wagner J.
- Wainwright A.W.
- Wall R.W.
- Wallace-Hadrill A.
- Wallace-Hadrill D.S.
- Walter N.
- Walter O.
- Walton C.S.
- Waltzing J.P.
- Warden D.
- Weber W.
- Wegner M.
- Weijenbourg R.
- Weinreich O.
- Weiser A.
- Weiss P.
- Weiß J.
- Wellhausen J.
- Whitacre R.A.
- Wildberger H.
- Willers D.
- Windisch H.
- Winter E.
- Wissowa G.
- Witulski T.
- Wlosok A.
- Wolters P.
- Wrede W.
- Wroth W.
- Wulf U.
- Wyrwa D.
- Wörrle M.
- Yarbro Collins A.
- Ysebaert J.
- Zahn T.
- Zangenberg J.
- Zeiller J
- Ziegler K.
- Zimmerli W.
- Zimmerman H.
- Zimmermann H.
- Publication venue
- 'Vandenhoeck & Ruprecht GmbH & Co, KG'
- Publication date
- Field of study
References
- Author
- Accuracy
- Ahmetoglu M.
- Albertario G.
- Ali Z.
- Ali Z.
- Allman R.
- Allman R.
- Allman R.
- Alsamhan A.
- Altan T.
- Altenpohl D.A.
- Angel R.T.
- Arbuckle H.J.
- Arbuckle H.J.
- Arpe J.
- Bachman K.
- Baranowski D.
- Baranowski D.
- Barberis N.
- Barraclough K.S.
- Benson S.D.
- Bernard E.S.
- Bhattacharyya D.
- Bhattacharyya D.
- Boeddener R.
- Botting D.
- Brandegger R.
- Brandegger R.
- Bresnahan M.
- Browning J.E.
- Brunet M.
- Brunet M.
- Brunet M.
- Busse D.
- Cadney S.
- Cain E.
- Carder M.
- Carey A.
- Cary A.
- Cary A.
- Castellucci M.A.
- Chan K.C.
- Chen T.
- Chu A.
- Church F.
- Church F.
- Church F.L.
- Church F.L.
- Company
- Conrad R.O.
- Cook D.
- Costello R.
- Costello R.
- Crainich L.
- Crainich L.
- Czerski R.
- Czerski R.
- Czerski R.
- Czerski R.D.
- Daly F.
- Darlington R.A.
- Davies R.G.
- Davies R.G.
- Decker R.F.
- Demeri M.Y.
- Destefani J.D.
- Dobbins D.
- Dobbins D.
- Dobbins D.
- Dobbins D.
- Dobbins D.
- Dobbins D.B.
- Dobbins D.B.
- Dobbins D.B.
- Dobbins D.B.
- Dobbins D.B.
- Dobbins D.B.
- Doran R.J.
- Duggal N.
- Dyla J.E.
- Dyla J.E.
- Dyla J.E.
- Ebel S.
- Ebel S.
- Eckhardt T.K.
- Eiloart N.C.
- Evans B.
- Evans B.
- Ferguson M.
- Forth K.D.
- Forth K.D.
- Foster F.B.
- Foster G.
- Frasier S.E.
- Fukaya N.
- Fundamentals
- Gebhardt C.F.
- Glance P.M.
- Gold R.
- Gold R.
- Grabow M.
- Gradous F.
- Gradous F.
- Gradous F.
- Gradous F.
- Gradous F.
- Gradous F.
- Gradous F.
- Gradous F.
- Graduous F.
- Grant A.
- Grant B.
- Graziano F.D.
- Green R.G.
- Green R.G.
- Griffin E.
- Guide
- Guide
- Guide
- Guide
- Guide
- Gutowski T.
- Hall M.J.
- Halmos G.
- Halmos G.
- Halmos G.
- Halmos G.
- Halmos G.
- Halmos G.
- Halmos G.
- Halmos G.
- Halmos G.
- Halmos G.
- Halmos G.
- Halmos G.
- Halmos G.T.
- Halmos G.T.
- Halmos G.T.
- Halmos G.T.
- Halmos G.T.
- Halmos G.T.
- Halmos G.T.
- Han Z.
- Han Z.W.
- Han Z.W.
- Han Z.W.
- Han Z.W.
- Hanai S.
- Hand E.W.
- Hanhui L.
- Harmon J.J.
- Harrison R.
- Hartley P.
- Hecker S.S.
- Heidenreich E.E.
- Heislitz F.
- Heislitz F.
- Heuring J.
- Hill D.
- Hill D.
- Hill D.
- Hill D.R.
- Hipchen J.
- Hogse E.
- Hong S.
- Ivaska J.
- Ivaska J.
- Ivaska J.
- Jackson R.
- Jackson R.
- Jancsurak J.
- Jandel A.S.
- Jorgens L.
- Jurgenliemk M.
- Kalzip 0
- Kaufmann H.
- Keeler S.
- Keeler S.P.
- Keeler S.P.
- Keeler S.P.
- Keeler S.P.
- Kelley R.
- Keska K.R.
- Kimura H.
- Kindelvich F.T.
- Kiuchi M.
- Kiuchi M.
- Kiuchi M.
- Kiuchi M.
- Kiuchi M.
- Kiuchi M.
- Kiuchi M.
- Kiuchi M.
- Klein A.
- Klein A.
- Kleiner F.J.
- Kotynski R.
- Krause F.J.
- Kren L.A.
- Kren L.A.
- Kren L.A.
- Kroskey D.
- Kroskey D.
- Kuvin B.F.
- Kuvin B.F.
- Kuvin B.F.
- LaBoube R.A.
- Lange
- Lange K.
- Leslie B.
- Levy B.S.
- Li H.
- Li H.
- Li H.
- Li H.
- Li H.
- Li H.
- Li H.
- Li H.
- Liberty Mutual
- Liberty Mutual
- Linders D.
- Linders D.
- Liu C.
- Liu Y.C.
- Mankert M.
- Marklew J.J.
- Martinez M.
- Matanle I.
- McClure C.K.
- McGinnis J.M.
- McNeil E.
- Menke L.
- Mennecke D.
- Merklein M.
- Miller D.A.
- Miyamoto Y.
- Monid V.A.
- Montgomery J.
- Montgomery J.
- Mungovan J.A.
- Nachtman E.S.
- Nefussi G.
- Neubauer A.
- Nifussi G.
- Nishikawa N.
- Oehler G.
- Oehler G.
- Ohler G.
- Ona H.
- Ona H.
- Ona H.
- Paisley T.
- Panton S.M.
- Panton S.M.
- Panton S.M.
- Panton S.M.
- Pavlos T.
- Pearson R.
- Penick D.
- Penick D.
- Penington J.N.
- Pennington J.N.
- Pennington J.N.
- Pennington J.N.
- Pennington J.N.
- Pennington J.N.
- Pennington J.N.
- Pennington J.N.
- Pennington J.N.
- Pennington N.
- Penny V.
- Penny V.
- Peterson P.T.
- Porter L.F.
- Production
- Profil
- Pugh G.H.
- Remich N.C. Jr.
- Remirez F.
- Rhea N.W.
- Rhodes A.
- Richter T.
- Roberts M.
- Roberts W.
- Roberts W.
- Robin M.
- Roll
- Roll
- Rollformer
- Rommal H.E.G.
- Royak H.S.
- Sailer M.
- Samson Roll Formed Products
- Schaeffler D.
- Schmoeckel D.
- Schmoeckel D.
- Schneider G. Jr.
- Schroeder W.
- Schubert B.
- Schuler Metal Forming Handbook
- Schulte A.
- Schulze G.
- Schuster R.M.
- Sedlmaier A.
- Sedlmaier A.
- Sedlmaier A.
- Sedlmaier A.
- Senanayake R.S.
- Serious Reduction
- Shen X.
- Simonsen R.
- Singh U.P.
- Sioshansi P.
- Smith L.D.
- Stahl W.
- Stauffer R.J.
- Stauffer R.N.
- Steinmann J.
- Steinmeyer L.
- Strecker Al.
- Suzzani C.
- Sweeney K.
- Syn C.K.
- Tajdari M.
- Tarkany N.
- Tarney E.
- Technical Update
- Tedesco R.
- Theis E.
- Theis E.
- Theis E.
- Theis H.E.
- Timossi P.
- Toben J.
- Toben J.
- Tooling Technology
- Toskala M.
- Trainer D.
- Urbas E.
- van Kouwenberg C.
- Vanderploeg E.J.
- Vanderploeg E.J.
- Vantura D.
- Von Bonhumil Pocta
- Walsh J.
- Walsh T.
- Washinushi A.
- Wasmer W.
- Wasmer W.
- Wasmer W.
- Wasmer W.
- Watari H.
- Watari H.
- Weber H.
- Weber H.
- Wei Sun V.
- Weimar G.
- Weimer G.
- Weimer G.
- Weimer G. IV
- Wick C.
- Wilhelm R.
- Williams D.J.
- Williams P.J.
- Williams V.A.
- Wilson R.A.
- Winship J.T.
- Winship J.T.
- Worbye J.
- Wright J.R.
- Wright J.R.
- Wright J.R.
- Yu W.W.
- Yuen W.Y.D.
- Zets M.
- Zets M.
- Zichy J.
- Publication venue
- 'Informa UK Limited'
- Publication date
- Field of study