Reflections on Programming Systems : Historical and Philosophical Aspects / / edited by Liesbeth De Mol, Giuseppe Primiero |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (VIII, 286 p. 79 illus.) |
Disciplina | 601 |
Collana | Philosophical Studies Series |
Soggetto topico |
Technology - Philosophy
Operating systems (Computers) Computers - History Science - History Technology History Philosophy of Technology Operating Systems History of Computing History of Science History of Technology |
ISBN | 3-319-97226-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Preface -- Part I: Programming without Systems -- Chapter 1. Validity & Correctness before the OS: the case of LEO I and LEO II (Rabia Arif, Elisabetta Mori, Giuseppe Primiero) -- Chapter 2. What is an Operating System? A historical investigation (1954–1964) (Maarten Bullynck) -- Part II: Formalizing Systems -- Chapter 3. Formal Semantics of ALGOL 60: Four Descriptions in their Historical Context (Troy K. Astarte, Cliff B. Jones) -- Chapter 4. Sans-papiers as first-class citizens (Julian Rohrhuber) -- Part III: Creating Systems -- Chapter 5. Unix, Plan 9 and the Lurking Smalltalk (Stephen Kell) -- Chapter 6. Unix: Building a Development Environment from Scratch (Warren Toomey) -- Part IV: Evaluating Systems -- Chapter 7. Ethical Operating Systems (Naveen Sundar Govindarajulu, Selmer Bringsjord, Atriya Sen, Jean-Claude Paquin, Kevin O’Neill) -- Chapter 8. From Sovereign Operating Systems to the Sovereign Digital Chain (Gael Duval) -- Chapter 9. Elegance in Software (Robin K. Hill). |
Record Nr. | UNINA-9910309856203321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Reflections on technology for educational practitioners : philosophers of technology inspiring technology education / / edited by John R. Dakers, Jonas Hallström and Marc J. de Vries |
Pubbl/distr/stampa | Leiden : , : Brill Sense, , [2019] |
Descrizione fisica | 1 online resource |
Disciplina | 601 |
Collana | International technology education studies |
Soggetto topico |
Technical education
Technology - Philosophy |
Soggetto genere / forma | Electronic books. |
ISBN | 90-04-40551-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Front Matter -- Copyright page -- Preface -- List of Figures and Tables -- Notes on Contributors -- Introduction / John R. Dakers , Jonas Hallström and Marc J. de Vries -- Carl Mitcham / Johan Svenningsson -- Peter Kroes and Anthonie Meijers / Marc J. de Vries -- Günter Ropohl / Vicki Compton -- Pierre Rabardel / Marjolaine Chatoney and Patrice Laisney -- Gilbert Simondon / John R. Dakers -- Bernard Stiegler / John R. Dakers -- Bruno Latour / John R. Dakers -- Andrew Feenberg / Piet J. Ankiewicz -- Langdon Winner / Cecilia Axell -- Kevin Kelly / David Barlex -- Don Ihde / Steve Keirl -- Albert Borgmann / John R. Dakers and Marc J. de Vries -- Clive Staples Lewis / Jonas Hallström. |
Record Nr. | UNINA-9910494749503321 |
Leiden : , : Brill Sense, , [2019] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Reflections on technology for educational practitioners : philosophers of technology inspiring technology education / / edited by John R. Dakers, Jonas Hallström and Marc J. de Vries |
Pubbl/distr/stampa | Leiden : , : Brill Sense, , [2019] |
Descrizione fisica | 1 online resource |
Disciplina | 601 |
Collana | International technology education studies |
Soggetto topico |
Technical education
Technology - Philosophy |
ISBN | 90-04-40551-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Front Matter -- Copyright page -- Preface -- List of Figures and Tables -- Notes on Contributors -- Introduction / John R. Dakers , Jonas Hallström and Marc J. de Vries -- Carl Mitcham / Johan Svenningsson -- Peter Kroes and Anthonie Meijers / Marc J. de Vries -- Günter Ropohl / Vicki Compton -- Pierre Rabardel / Marjolaine Chatoney and Patrice Laisney -- Gilbert Simondon / John R. Dakers -- Bernard Stiegler / John R. Dakers -- Bruno Latour / John R. Dakers -- Andrew Feenberg / Piet J. Ankiewicz -- Langdon Winner / Cecilia Axell -- Kevin Kelly / David Barlex -- Don Ihde / Steve Keirl -- Albert Borgmann / John R. Dakers and Marc J. de Vries -- Clive Staples Lewis / Jonas Hallström. |
Record Nr. | UNINA-9910794090303321 |
Leiden : , : Brill Sense, , [2019] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Reflections on technology for educational practitioners : philosophers of technology inspiring technology education / / edited by John R. Dakers, Jonas Hallström and Marc J. de Vries |
Pubbl/distr/stampa | Leiden : , : Brill Sense, , [2019] |
Descrizione fisica | 1 online resource |
Disciplina | 601 |
Collana | International technology education studies |
Soggetto topico |
Technical education
Technology - Philosophy |
ISBN | 90-04-40551-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Front Matter -- Copyright page -- Preface -- List of Figures and Tables -- Notes on Contributors -- Introduction / John R. Dakers , Jonas Hallström and Marc J. de Vries -- Carl Mitcham / Johan Svenningsson -- Peter Kroes and Anthonie Meijers / Marc J. de Vries -- Günter Ropohl / Vicki Compton -- Pierre Rabardel / Marjolaine Chatoney and Patrice Laisney -- Gilbert Simondon / John R. Dakers -- Bernard Stiegler / John R. Dakers -- Bruno Latour / John R. Dakers -- Andrew Feenberg / Piet J. Ankiewicz -- Langdon Winner / Cecilia Axell -- Kevin Kelly / David Barlex -- Don Ihde / Steve Keirl -- Albert Borgmann / John R. Dakers and Marc J. de Vries -- Clive Staples Lewis / Jonas Hallström. |
Record Nr. | UNINA-9910809512503321 |
Leiden : , : Brill Sense, , [2019] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Regulators of G-protein signaling / edited by David P. Siderovski |
Pubbl/distr/stampa | Amsterdam ; Boston : Elsevier Academic Press, 2004 |
Descrizione fisica | 2 v. : ill. ; 24 cm |
Disciplina | 601 |
Altri autori (Persone) | Siderovski, David P. |
Collana |
Methods in enzymology; 389
Methods in enzymology; 390 |
Soggetto topico | G proteins - Analysis |
ISBN |
0121827941 (v.389)
012182795x (v.390) |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Pt.A.: General methods of RGS protein analysis: Expression and post-translational modification. Assays of RGS box activity and allosteric control. Electrophysiological methods and RGS-insensitive G[alpha] subunits. Mouse models of RGS protein action. Methods of RGS protein inhibition ; G-protein regulators of model organisms
Pt.B.: The RGS protein superfamily ; Other RGS proteins |
Record Nr. | UNISALENTO-991000886319707536 |
Amsterdam ; Boston : Elsevier Academic Press, 2004 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Research objects in their technological setting / / edited by Bernadette Bensaude Vincent. [et al.] |
Pubbl/distr/stampa | London ; ; New York, N.Y. : , : Routledge, , 2017 |
Descrizione fisica | 1 online resource (283 pages) : illustrations |
Disciplina | 601 |
Altri autori (Persone) | Bensaude-VincentBernadette |
Collana | History and Philosophy of Technoscience |
Soggetto topico |
Technology - Philosophy
Science - Philosophy Research - Philosophy |
ISBN |
1-78144-839-6
1-351-96637-5 1-351-96638-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | pt. I. Horizon of possibilities -- pt. II. Arenas of contestation -- pt. III. Multiple temporalities. |
Record Nr. | UNINA-9910792745403321 |
London ; ; New York, N.Y. : , : Routledge, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Research objects in their technological setting / / edited by Bernadette Bensaude Vincent. [et al.] |
Pubbl/distr/stampa | London ; ; New York, N.Y. : , : Routledge, , 2017 |
Descrizione fisica | 1 online resource (283 pages) : illustrations |
Disciplina | 601 |
Altri autori (Persone) | Bensaude-VincentBernadette |
Collana | History and Philosophy of Technoscience |
Soggetto topico |
Technology - Philosophy
Science - Philosophy Research - Philosophy |
ISBN |
1-78144-839-6
1-351-96637-5 1-351-96638-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | pt. I. Horizon of possibilities -- pt. II. Arenas of contestation -- pt. III. Multiple temporalities. |
Record Nr. | UNINA-9910811414003321 |
London ; ; New York, N.Y. : , : Routledge, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Resources in technical communication : outcomes and approaches / / edited by Cynthia L. Selfe |
Pubbl/distr/stampa | London : , : Routledge, , 2017 |
Descrizione fisica | vi, 350 p. : ill |
Disciplina | 601 |
Altri autori (Persone) | SelfeCynthia L. <1951-> |
Collana | Baywood's technical communications series |
Soggetto topico |
Communication of technical information - Study and teaching
Communication and technology |
Soggetto genere / forma | Electronic books. |
ISBN |
0-415-44047-5
1-315-22380-5 0-89503-682-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | section 1. Focus on rhetorical understanding -- section 2. Focus on sociocultural understanding -- section 3. Focus on the complexities of practice. |
Record Nr. | UNINA-9910466336603321 |
London : , : Routledge, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Resources in technical communication : outcomes and approaches / / edited by Cynthia L. Selfe |
Pubbl/distr/stampa | London : , : Routledge, , 2017 |
Descrizione fisica | vi, 350 p. : ill |
Disciplina | 601 |
Altri autori (Persone) | SelfeCynthia L. <1951-> |
Collana | Baywood's technical communications series |
Soggetto topico |
Communication of technical information - Study and teaching
Communication and technology |
ISBN |
1-351-84198-X
0-415-44047-5 1-315-22380-5 0-89503-682-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | section 1. Focus on rhetorical understanding -- section 2. Focus on sociocultural understanding -- section 3. Focus on the complexities of practice. |
Record Nr. | UNINA-9910792525403321 |
London : , : Routledge, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Resources in technical communication : outcomes and approaches / / edited by Cynthia L. Selfe |
Pubbl/distr/stampa | London : , : Routledge, , 2017 |
Descrizione fisica | vi, 350 p. : ill |
Disciplina | 601 |
Altri autori (Persone) | SelfeCynthia L. <1951-> |
Collana | Baywood's technical communications series |
Soggetto topico |
Communication of technical information - Study and teaching
Communication and technology |
ISBN |
1-351-84198-X
0-415-44047-5 1-315-22380-5 0-89503-682-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | section 1. Focus on rhetorical understanding -- section 2. Focus on sociocultural understanding -- section 3. Focus on the complexities of practice. |
Record Nr. | UNINA-9910808172003321 |
London : , : Routledge, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|