Search results

RSS feed for this result

20,251 results

Book
1 online resource (x, 201 p.) : ill.
dx.doi.org SpringerLink
Book
1 online resource (xvii, 479 pages) : illustrations.
  • Topical sections on program verification
  • Design, synthesis and testing
  • Calculi
  • Specifications
  • Composition and transformation
  • Automata
  • Temporal logics
  • Tool and short papers.
This book constitutes the refereed proceedings of the 13th International Colloquium on Theoretical Aspects of Computing, ICTAC 2016, held in Taipei, Taiwan, in October 2016. The 23 revised full papers presented together with two short papers, two invited papers and one abstract of an invited paper were carefully reviewed and selected from 60 submissions. The papers are organized in topical sections on program verification; design, synthesis and testing; calculi; specifications; composition and transformation; automata; temporal logics; tool and short papers.
Book
1 online resource (xv, 179 pages) : color illustrations.
This book constitutes the thoroughly refereed post-conference proceedings of the First IFIP WG 1.8 International Conference on Topics in Theoretical Computer Science, held in Tehran, Iran, in August 2015. The 10 full papers presented together with 3 invited talks were carefully reviewed and selected from 48 submissions. The papers feature novel and high-quality research in all areas of theoretical computer science.
Book
xi, 159 p. : ill.
This book presents fundamental contributions to computer science as written and recounted by those who made the contributions themselves. As such, it is a highly original approach to a living history of the field of computer science. The scope of the book is broad in that it covers all aspects of computer science, going from the theory of computation, the theory of programming, and the theory of computer system performance, all the way to computer hardware and to major numerical applications of computers.
(source: Nielsen Book Data)9781848162907 20160605
Book
xi, 159 p. : ill.
  • 1. Böhm's theorem / Stefano Guerrini, Adolfo Piperno and Mariangiola Dezani-Ciancaglini. 1. Introduction. 2. Böhm's theorem for trees. 3. Böhm's theorem for [symbol]-calculus. 4. Follow-up to Böhm's theorem
  • 2. Membrane computing : history and brief introduction / Gheorghe Păun. 1. Personal views on the history of membrane computing. 2. Elements of membrane computing
  • 3.Critique of computational reason in the natural sciences / Giuseppe Longo. 1. From the alphabet to the machine. 2. The elementary and the complex. 3. Imitations and models. 4. Calculus, physics, and living phenomena. 5. But...natural processes compute? 6. Mnemonic interlude. 7. Conclusion : a question of principles
  • 4. Deterministic computation with random G-networks / Erol Gelenbe, Zhi-Hong Mao and Yanda Li. 1. Introduction. 2. The GNN and its extensions. 3. Approximation of functions of one variable by the GNN with a bounded number of layers. 4. Approximation of continuous functions of s variables. 5. Conclusions
  • 5. Assertions : a personal perspective / Tony Hoare. 1. Experience in industry, 1960-1968. 2. Research in Belfast, 1968-1977. 3. Move to Oxford, 1977-1999. 4. Back in industry, 1999
  • 6. The call to ARMs / Steve Furber. 1. Acorn Computer Ltd. 2. The BBC micro. 3. Why design a microprocessor? 4. The ARM design process. 5. The formation of ARM Ltd. 6. A 20-year perspective
  • 7. Carl Adam Petri and "Petri Nets" / Wilfried Brauer and Wolfgang Reisig. 1. Introduction. 2. The dissertation. 3. Carl Adam Petri, the man. 4. The years until 1980. 5. The years since 1980. 6. Honors. 7. What will the future bring?
  • 8. From stochastic modeling to operational analysis : the journey begins / Jeffrey P. Buzen. 1. Stochastic processes and the central server model. 2. Early concerns about stochastic modeling. 3. Impact of empirical success. 4. Lectures at Serre Chevalier and Bologna. 5. Emergence of operational analysis
  • 9. From rocket control to virtual design / Olivier Pironneau. 1. Computational fluid dynamics. 2. Open problems. 3. Computational fluid dynamics and computer science.
This book presents fundamental contributions to computer science as written and recounted by those who made the contributions themselves. As such, it is a highly original approach to a living history of the field of computer science. The scope of the book is broad in that it covers all aspects of computer science, going from the theory of computation, the theory of programming, and the theory of computer system performance, all the way to computer hardware and to major numerical applications of computers.
(source: Nielsen Book Data)9781848162907 20160605
Book
xiii, 268 p. : ill. ; cm.
Book
v. ; 24 cm.
Book
xxiv, 307 p. : ill. ; 24 cm.
Computing isn't simply about hardware or software, or calculation or applications. Computing, writes Paul Rosenbloom, is an exciting and diverse, yet remarkably coherent, scientific enterprise that is highly multidisciplinary yet maintains a unique core of its own. In On Computing, Rosenbloom proposes that computing is a great scientific domain on a par with the physical, life, and social sciences. Rosenbloom introduces a relational approach for understanding computing, conceptualizing it in terms of forms of interaction and implementation, to reveal the hidden structures and connections among its disciplines. He argues for the continuing vitality of computing, surveying the leading edge in computing's combination with other domains, from biocomputing and brain-computer interfaces to crowdsourcing and virtual humans to robots and the intermingling of the real and the virtual. He explores forms of higher order coherence, or macrostructures, over complex computing topics and organizations, such as computing's role in the pursuit of science and the structure of academic computing. Finally, he examines the very notion of a great scientific domain in philosophical terms, honing his argument that computing should be considered the fourth great scientific domain. Rosenbloom's proposal may prove to be controversial, but the intent is to initiate a long overdue conversation about the nature and future of a field in search of its soul. Rosenbloom, a key architect of the founding of University of Southern California's Institute for Creative Technologies and former Deputy Director of USC's Information Sciences Institute, offers a broader perspective on what computing is and what it can become.
(source: Nielsen Book Data)9780262018326 20160609
Green Library, SAL1&2 (on-campus shelving)
Book
1 online resource (xxii, 846 pages) : illustrations (some color)
Journal/Periodical
1 online resource
Journal/Periodical
1 online resource
Journal/Periodical
1 online resource
Journal/Periodical
1 online resource
Journal/Periodical
1 online resource

15. Journal of computing [2009 - ]

Journal/Periodical
1 online resource
Journal/Periodical
1 online resource
Journal/Periodical
1 online resource
Journal/Periodical
1 online resource
Journal/Periodical
1 online resource

Looking for different results?

Modify your search: Search all fields

Search elsewhere: Search WorldCat Search library website