1 - 20
Next
- Savas, Berkant.
- Linköping : Linköpings universitet, 2005.
- Description
- Book — xii, 65 p. ; 24 cm.
- Summary
-
- p. 1
- -8: sammanfattning, p. 9
- -65: 3 uppsatser
- Online
SAL3 (off-campus storage)
SAL3 (off-campus storage) | Status |
---|---|
Stacks | Request (opens in new tab) |
QA76.9 .D343 S296 2005 | Available |
- Parisi, David, author.
- Minneapolis, MN : University of Minnesota Press, [2018]
- Description
- Book — xviii, 448 pages : illustrations ; 23 cm
- Summary
-
- Introduction. Haptic interfaces and the quest to reinscribe tactility
- Interface 1. The electrotactile machine
- Interface 2. The haptic 99
- Interface 3. The tongue of the skin
- Interface 4. Human-machine tactile communication
- Interface 5. The cultural construction of technologized touch
- Coda. Haptics and the reordering of the mediated sensorium.
- Online
- Poromaa, Peter, 1956-
- Umeå : Univ., [1997] ; (Umeå : Umu tr.)
- Description
- Book — ix, 172 p. : ill., tab. ; 25 cm.
- Summary
-
- ix, [1] s., s. 1
- -20: sammanfattning, s. 21
- -172: 5 uppsatser
- Online
SAL3 (off-campus storage)
SAL3 (off-campus storage) | Status |
---|---|
Stacks | Request (opens in new tab) |
QA76.9 .A43 P67 1997 | Available |
- Foster, Stephen, 1985- author.
- Hoboken, NJ : Jossey-Bass/John Wiley & Sons, Inc., 2020.
- Description
- Book — 1 online resource (xiii, 264 pages) : illustrations
- Summary
-
- About the Authors xi
- Acknowledgments xiii
- Introduction 1
- Who is This Book For? 3
- Let's Do It! 3
- Chapter 1: Prologues 5
- A Wizard's Tale 5
- The Sorting of Wizards 5
- The Call to Action 10
- A Language Without 10
- Our Strange Protagonists 10
- (cons 'Apple 'Soft) 13
- Tower of Babel 15
- Confessions 16
- Penances 17
- A Language Within 17
- Installing Languages 17
- Writing in Tongues 19
- Kiss, Gift, Poison 20
- Nova: Va o no va? 22
- Hello, Hello, Hello 23
- Languages Without 25
- Tongueless Languages 27
- Babbage's Calculus Club 29
- Diffs 31
- Finite Descriptions of the Infinite 31
- Bottling the Human Will 33
- Machines Anchor Language 35
- Now That It's Out of Our System 39
- Languages Within 40
- Signed Languages 42
- Silent Battles 43
- Our Strange Citizens of Broca's Area 49
- Chapter 2: Beginnings 51
- A Wizard's Tale 51
- The Leap of Faith 51
- The Forge 53
- They Slept 56
- A Language Without 56
- Syntax - Building Materials 59
- A Meta-Linguistic Meander 60
- Back to Syntax 62
- Semantics: "When your eyes see this, do this with your mind . . . " 63
- Checking Assumptions 65
- We Have a "Language." Now What? 66
- A Language Within 66
- Cats 66
- Stories and Back Stories 71
- Ab(stract) 74
- Shortest Path: Dijkstra to You 75
- A Brave New Syntax 79
- Languages Without 81
- The Unwritten, Unwritable Backstory 83
- Three Old Friends: Language, Math, Algorithms 84
- Algorithms of Antiquity 88
- A Brief Story of Stories 90
- Languages Within 91
- Foreign Language: A Friend, Perhaps a Mentor 96
- Zapping Broca's Area 97
- More Monkey Business 98
- Chapter 3: Middles 101
- A Wizard's Tale 101
- Purgatory 101
- Descent 103
- Ascent 105
- A Language Without 106
- (Stories (Within Stories)) 106
- Order Word 111
- Easing the Transition 113
- Magic Tricks 114
- A Language Within 122
- Implicit Learning 122
- Animation 122
- Napoleon's Risky Maneuver 126
- Noughts and Crosses 131
- Round Stories-- Square Frames 132
- Languages Without 133
- Illusions of Mind 133
- Dactylonomy: Digits to Digital 134
- Externalization 137
- The Spark of the Pascaline 139
- The Best of all Possible Languages 141
- Automatons 144
- King Ludd 147
- The Song for the Luddites 149
- Languages Within 152
- The Machine Within 152
- Potions for the Mind 152
- Science and Schools 154
- Mindset 156
- Metacognition 158
- Deliberate Practice 160
- Second Language
- Acquisition 160
- Krash Course 162
- Fluency and Expertise 164
- What It Feels Like to Upgrade Your Own Wetware 166
- Meta-teaching 168
- A Universal Educational Language 169
- The Loop of Being Human 173
- Chapter 4: Ends 175
- A Wizard's Tale 176
- Learn to Teach-- Teach to Learn 176
- Montage 178
- Loop Back 183
- The Beginning 184
- A Language Without 184
- Our Road Thus Far 184
- Definitions 185
- Becoming the Machine 187
- Loops 188
- Mad Libs 190
- Turing Completeness 191
- Ifs 196
- Extending Language 199
- A Language Within 200
- So lernt man lernen: Der Weg zum Erfolg 200
- Designing Your Deck 207
- The System 210
- Unburdening Yourself 213
- Parting Exercises 214
- Languages Without 215
- The Flood and the Tower 215
- Soft is the New Hard, and the Old Hard 216
- Abstraction's Arrow 218
- Languages Within 224
- The Education Bottleneck 224
- History's First Coding Students 225
- (environment (mind (fluency))) 228
- Co-Authoring the EdTech Story 233
- Babbages and Lovelaces of Education 238
- This Final Section Has No Name 240
- Conclusion 241
- Next Steps: Learning Sciences 241
- Next Steps: Languages to Learn 242
- Next Steps: Coding 242
- Next Steps: Software Engineering 242
- Next Steps: Hacker Culture 243
- Next Steps: History 243
- Naming Things: Computer Science 244
- Naming Things: Philosophy of Mind 245
- Naming Things: Learning Science 245
- Thank You 246
- Bibliography 247
- Index 259.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
5. Historische Notizen zur Informatik [2009]
- Bauer, Friedrich Ludwig, 1924-
- Berlin : Springer, c2009.
- Description
- Book — x, 454 p. : fig., tab., ports. ; 24 cm.
- Online
SAL3 (off-campus storage)
SAL3 (off-campus storage) | Status |
---|---|
Stacks | Request (opens in new tab) |
QA76.17 .B38 2009 | Available |
- Feigenbaum, Edward A.
- [Birmingham : Aston University, 1989]
- Description
- Book — 20 p. ; 30 cm.
- Online
SAL3 (off-campus storage)
SAL3 (off-campus storage) | Status |
---|---|
Stacks | Request (opens in new tab) |
QA76.76 .E95 F44 1989 F | Available |
7. A Framework of Software Measurement [2013]
- Zuse, Horst, 1945- author.
- Reprint 2012 - Berlin ; Boston : De Gruyter, [2013]
- Description
- Book — 1 online resource (784 p.) : Zahlr. Abb Digital: text file; PDF.
- Summary
-
- Frontmatter
- Preface
- Acknowledgments
- Contents
- 1 Introduction
- 2 Aspects of Software Measurement
- 3 History of Software Measurement
- 4 Foundations of Software Measurement I
- 5 Foundations of Software Measurement II
- 6 Measurement Theory and Object-Oriented Software Measures
- 7 Desirable Properties of Software Measures
- 8 Validation of Software Measures and Prediction Models
- 9 Applications of Software Measures
- 10 Afterword
- 11 Solutions of Exercises
- 12 Glossary of Terms and Terms used as Synonyms
- Attachment I: The System ZD-MIS
- Attachment II: Proof of the Equivalence of Extensive Structures
- Attachment III: Proof of the Theorems of Chapter 8
- Attachment IV: Proof of the Theorems of Chapter 5
- Attachment V: Notations and Used Symbols
- Attachment VI: Axioms Systems
- Definitions
- Theorems
- Exercises
- References to Literature
- Name Index
- Subject Index
- Backmatter
(source: Nielsen Book Data)
- Barkovich, A. A. (Ali͡aksandr Arkadzevich)
- 3-e izdanie, stereotipnoe. - Moskva : Izdatelʹstvo "Flinta" : Izdatelʹstvo "Nauka", 2016.
- Description
- Book — 285 pages ; 21 cm
- Online
SAL3 (off-campus storage)
SAL3 (off-campus storage) | Status |
---|---|
Stacks | Request (opens in new tab) |
P120 .I6 B37 2016 | Available |
- Jack, Oliver, author.
- Reprint 2011 - Berlin ; Boston : De Gruyter, [2011]
- Description
- Book — 1 online resource (251 p). Digital: text file; PDF.
- Summary
-
- Frontmatter
- Editorial Notes
- Preface
- Contents
- List of Figures
- Symbols and Notation
- Chapter 1 Introduction
- Chapter 2 Program Testing Concepts
- Chapter 3 Logic Programming Concepts
- Chapter 4 Program Instrumentation
- Chapter 5 Test Coverage
- Chapter 6 Test Input Generation
- Chapter 7 Complexity Analysis
- Chapter 8 Summary
- Appendix A The PROTest System
- Appendix Β Case Study
- Bibliography
- Index
10. Informatikforschung in Deutschland [2008]
- Berlin ; New York : Springer, c2008.
- Description
- Book — xvii, 332 p. : ill. (some col.) ; 25 cm.
- Online
SAL3 (off-campus storage)
SAL3 (off-campus storage) | Status |
---|---|
Stacks | Request (opens in new tab) |
QA76.27 .I5286 2008 | Available |
11. Elaborazione parallela : tecnologie, architetture, applicazioni : Convegno internazionale : Papers [1988]
- Milan : Associazione Italiana per l'Informatica ed il Calcolo Automatico, 1988.
- Description
- Book — 331 p. ; 24 cm.
- Online
SAL3 (off-campus storage)
SAL3 (off-campus storage) | Status |
---|---|
Stacks | Request (opens in new tab) |
QA76.58 .E426 1988 | Available |
- Kukafka, Michael.
- 1. Aufl. - Morschen : Skriptorium-Verlag, c2007.
- Description
- Book — 118 p. : ill., ports. ; 22 cm.
- Online
SAL3 (off-campus storage)
SAL3 (off-campus storage) | Status |
---|---|
Stacks | Request (opens in new tab) |
QA76.8 .A177 K85 2007 | Available |
- World Supercomputer Exhibition (2nd : 1988 : Boston, Mass.)
- [St. Petersburg, Fla.] : International Supercomputing Institute, Inc., 1988.
- Description
- Book — 75 p. ; 28 cm.
- Online
SAL3 (off-campus storage)
SAL3 (off-campus storage) | Status |
---|---|
Stacks | Request (opens in new tab) |
QA76.88 .W675 1988 | Available |
- Signer, Beat, 1973-
- Second edition. - Norderstedt : Books on Demand, 2008.
- Description
- Book — x, 259 pages : illustrations (chiefly color) ; 22 cm.
- Online
Engineering Library (Terman)
Engineering Library (Terman) | Status |
---|---|
Stacks | |
QA76.76 .I59 S54 2008 | Unknown |
15. A logical theory of causality [2021]
- Bochman, Alexander, 1955- author.
- Cambridge, Massachusetts : The MIT Press, 2021.
- Description
- Book — 1 online resource.
- Summary
-
"The first book that provides a systematic and rigorous logical theory of causality"-- Provided by publisher.
16. Teaching computational thinking : an integrative approach for middle and high school learning [2021]
- Neumann, Maureen D., author.
- Cambridge, Massachusetts : The MIT Press, 2021.
- Description
- Book — 1 online resource.
- Summary
-
"This book provides a model for teaching computational thinking to middle and high school students across a broad range of school subjects"-- Provided by publisher.
- IFIP/IEEE International Workshop on Distributed Systems: Operations and Management (4th : 1993 : Long Branch, N.J.)
- [Berkeley Heights? : AT&T Bell Laboratories?, 1993?]
- Description
- Book — 1 volume, loose-leaf (various pagings) : illustrations ; 28 cm
- Online
SAL3 (off-campus storage)
SAL3 (off-campus storage) | Status |
---|---|
Stacks | Request (opens in new tab) |
QA76.9 .D5 I33835 1993 | Available |
- Нереальная реальность : компьютерные технлогии и феномен "нового кино"
- Terakopi͡an, Marii͡a.
- Теракопян, Мария.
- Moskva : Materik, 2007. Москва : Материк, 2007.
- Description
- Book — 149 p. : ill. ; 21 cm.
- Online
- Palo Alto, CA : Interval Research Corporation, [1997]
- Description
- Book — 2 volumes (868 pages) : Illustrations (some color) ; 28 cm
- Online
SAL3 (off-campus storage)
SAL3 (off-campus storage) | Status |
---|---|
Stacks
|
Request (opens in new tab) |
QA76.27 .I58624 1997 V.1 | Available |
QA76.27 .I58624 1997 V.2 | Available |
- Zhang, Jinhui, 1982- author.
- Boca Raton, FL : CRC Press, 2022.
- Description
- Book — 1 online resource
- Summary
-
- Chapter 1 Introduction
- Section 1 Networked Control Approaches in CPSs
- Chapter 2 Stochastic Stability and Stabilization of CPSs with Random Delay
- Chapter 3 Observer-Based Output Feedback Stabilization for CPSs with Quantized Inputs
- Chapter 4 State Feedback Networked Delay Compensation Control for CPSs with Time-Varying Delay
- Chapter 5 Output Feedback Networked Delay Compensation Control for CPSs with Random Delay
- Chapter 6 Fuzzy Networked Delay Compensation Control for Nonlinear CPSs
- Chapter 7 Networked Output Tracking Control of CPSs with Delay Compensation
- Section 2 Event-Triggered Control Approaches in CPSs
- Chapter 8 Observer-Based Event-Triggered Control for CPSs
- Chapter 9 Observer-Based Self-Triggered Control for CPSs
- Chapter 10 Event-Triggered Dynamic Output Feedback Control for CPSs
- Chapter 11 Co-Design of Event-Triggered Control and Quantized Control for CPSs
- Chapter 12 Event-Triggered Disturbance Rejection Control for CPSs.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
Articles+
Journal articles, e-books, & other e-resources
Guides
Course- and topic-based guides to collections, tools, and services.