close
1.

図書
図書
1. Proceedings : Second International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS II), October 5-8, 1987, Palo Alto, California (: pbk. : IEEE ; : case : IEEE ; : ACM)
[general chairman, Martin Freeman]
出版情報: Washington, D.C. : Computer Society Press of the IEEE, c1987  x, 205 p. ; 28 cm
所蔵情報: loading…
2.

図書
図書
2. ASPLOS XII : Twelfth International Conference on Architectural Support for Programming Languages and Operating Systems, October 21-25, 2006, San Jose, California, USA ([:pbk])
sponsored by SIGARCH, SIGPLAN, SIGOPS ; with support from AMD ... [et.al]
出版情報: New York : Association for Computing Machinery, c2006  xi, 428 p. ; 28 cm
所蔵情報: loading…
3.

図書
図書
3. ASPLOS XI : Eleventh International Conference on Architectural Support for Programming Languages and Operating Systems, October 9-13, 2004, Boston, Massachusetts ([:pbk])
sponsored by SIGARCH, SIGPLAN, SIGOPS ; with support from AMD ... [et.al]
出版情報: New York : Association for Computing Machinery, c2004  x, 286 p. ; 28 cm
所蔵情報: loading…
目次情報:
Includes bibliographical references and author index
Includes bibliographical references and author index
4.

図書
図書
4. Conference record of ACM Symposium on Principles of Programming Languages : papers presented at the symposium, Boston, Massachusetts, October 1-3, 1973 (: pbk)
sponsored by the Association for Computing Machinery Special Interest Group on Automata and Computability Theory [and] Special Interest Group on Programming Languages
出版情報: [New York] : The Association, c1973  iv, 242 p. ; 28 cm
所蔵情報: loading…
5.

図書
図書
5. Automata, languages, and programming : ninth colloquium, Aarhus, Denmark, July 12-16, 1982 (: gw ; : us)
edited by M. Nielsen and E.M. Schmidt
出版情報: Berlin ; New York : Springer-Verlag, 1982  vii, 613 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 140
所蔵情報: loading…
6.

図書
図書
6. Software engineering : an advanced course (: gw ; : us)
F. L. Bauer ... [et al.] ; edited by F. L. Bauer
出版情報: Berlin ; New York : Springer-Verlag, 1975, c1973  xii, 545 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 30
所蔵情報: loading…
7.

図書
図書
7. Command language directions : proceedings of the IFIP TC 2.7 Working Conference on Command Languages, Berchtesgaden, West Germany, 10-14 September 1979
IFIP Working Conference on Command Languages, Berchtesgaden, West Germany, 10-14 September 1979 ; organized by IFIP Technical Committee 2, Programming, International Federation for Information Processing ; edited by David Beech
出版情報: Amsterdam ; New York : North-Holland Pub. Co. , New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1980  viii, 424 p. ; 23 cm
所蔵情報: loading…
8.

図書
図書
8. Automata, languages and programming : seventh colloquium, Noordwijkerhout, the Netherlands, July 14-18, 1980 (: gw ; : us)
edited by J.W. de Bakker and J. van Leeuwen
出版情報: Berlin : Springer-Verlag, 1980  viii, 671 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 85
所蔵情報: loading…
9.

図書
図書
9. 1975 International Symposium on Computer Hardware Description Languages and Their Applications : proceedings, Graduate Center, City University of New York, New York City, September 3-5, 1975
Stephen Y.H. Su, symposium chairman ; Donald L. Dietmeyer, program chairman
出版情報: New York : Institute of Electrical and Electronics Engineers, c1975  x, 191 p. ; 28 cm
所蔵情報: loading…
10.

図書
図書
10. International Symposium on Theoretical Programming : [proceedings held on August 7-11, 1972 (: gw ; : us)
edited by Andrei Ershov and Valery A. Nepomniaschy
出版情報: Berlin ; New York : Springer-Verlag, 1974  407 p ; 25 cm
シリーズ名: Lecture notes in computer science ; 5
所蔵情報: loading…
11.

図書
図書
11. Design and implementation of programming languages : proceedings of a DoD sponsored workshop, Ithaca, October 1976 (: gw ; : us)
edited by John H. Williams and David A. Fisher
出版情報: Berlin ; New York : Springer-Verlag, 1977  x, 496 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 54
所蔵情報: loading…
12.

図書
図書
12. Language design and programming methodology : proceedings of a symposium held in Sydney, Australia, 10-11 September 1979 (: gw ; : us)
edited by Jeffrey M. Tobias
出版情報: Berlin ; New York : Springer-Verlag, 1980  255 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 79
所蔵情報: loading…
13.

図書
図書
13. Languages for sensor-based control in robotics (: Germany ; : U.S.)
edited by Ulrich Rembold, Klaus Hörmann
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  ix, 625 p. ; 25 cm
シリーズ名: NATO ASI series ; ser. F . Computer and systems sciences ; v. 29
所蔵情報: loading…
14.

図書
図書
14. Conference record of the Twelfth Annual ACM Symposium on Principles of Programming Languages : extended abstracts of papers presented at the Symposium, Monteleone Hotel, New Orleans, Louisiana, 14-16 January 1985 (pbk)
sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory (SIGACT) [and] Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : ACM , Baltimore, MD : May be ordered from ACM Order Dept., c1984  ii, 340 p. ; 28 cm
所蔵情報: loading…
15.

図書
図書
15. The Role of language in problem solving I : edited proceedings of the symposium held at the Johns Hopkins University Applied Physics Laboratory, Laurel, Maryland, 29-31 October, 1984
editors, Robert Jernigan, Bruce W. Hamill, and David M. Weintraub
出版情報: Amsterdam ; New York : North-Holland , New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1985  xi, 405 p. ; 25 cm
所蔵情報: loading…
16.

図書
図書
16. ESOP '88 : 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988 : proceedings (: gw ; : us)
H. Ganzinger (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988  vi, 379 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 300
所蔵情報: loading…
目次情報: 続きを見る
Program Development and Verification
Algebraic Specification and Type Concepts
Language Concepts
Implementation of Programming Languages
Systems Exhibition
Author Index
Program Development and Verification
Algebraic Specification and Type Concepts
Language Concepts
17.

図書
図書
17. Mathematical foundations of computer science 1978 : proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978 (: gw ; : us)
edited by J. Winkowski
出版情報: Berlin ; New York : Springer-Verlag, 1978  ix, 551 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 64
所蔵情報: loading…
18.

図書
図書
18. PARLE : parallel architectures and languages Europe, Eindhoven, The Netherlands, June 15-19, 1987 : proceedings (v. 1 : gw - v. 2 : us)
edited by J.W. de Bakker, A.J. Nijman and P.C. Treleaven
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  2 v. ; 25 cm
シリーズ名: Lecture notes in computer science ; 258-259
所蔵情報: loading…
19.

図書
図書
19. Algorithm specification : Courant Computer Science Symposium 4, March 1-2, 1971
edited by Randall Rustin
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1972  141 p. ; 24 cm
シリーズ名: Prentice-Hall series in automatic computation
所蔵情報: loading…
20.

図書
図書
20. Automata, languages and programming : 26th International Colloquium, ICALP '99, Prague, Czech Republic, July 11-15, 1999 : proceedings
Jiří Wiedermann, Peter van Emde Boas, Mogens Nielsen (eds.)
出版情報: Berlin ; Tokyo : Springer, c1999  xiv, 720 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1644
所蔵情報: loading…
21.

図書
図書
21. Static analysis : 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999 : proceedings
Agostino Cortesi, Gilberto Filé (eds.)
出版情報: Berlin : Springer, c1999  viii, 356 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1694
所蔵情報: loading…
目次情報: 続きを見る
Synchronization in JAVA Programs
A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives / John Hatcliff ; James Corbett ; Matthew Dwyer ; Stefan Sokolowski ; Hongjun Zheng
Static Analyses for Eliminating Unnecessary Synchronization from Java Programs / Jonathan Aldrich ; Craig Chambers ; Emin Gun Sirer ; Susan Eggers
Synchronous Languages
Dynamic Partitioning in Analyses of Numerical Properties / Bertrand Jeannet ; Nicolas Halbwachs ; Pascal Raymond
Polyhedral Analysis for Synchronous Languages / Frédéric Besson ; Thomas Jensen ; Jean-Pierre Talpin
Abstract Domains
Decomposing Non-Redundant Sharing by Complementation / Enea Zaffanella ; Patricia M. Hill ; Roberto Bagnara
Freeness Analysis Through Linear Refinement / Patricia Hill ; Fausto Spoto
Binary Decision Graphs / Laurent Mauborgne
Binding-Time Analysis for Both Static and Dynamic Expressions / Kenichi Asai
Concurrency
Abstract Interpretation of Mobile Ambients / René Rydhof Hansen ; Jacob Grydholt Jensen ; Flemming Nielson ; Hanne Riis Nielson
Abstracting Cryptographic Protocols with Tree Automata / David Monniaux
State Space Reduction Based on Live Variables Analysis / Marius Bozga ; Jean-Claude Fernandez ; Lucian Chirvu
Static Single Assignment
Partial Dead Code Elimination Using Extended Value Graph / Munehiro Takimoto ; Kenichi Harada
Translating Out of Single Assignment Form / Vugranam C. Sreedhar ; Roy Dz-Ching Ju ; David M. Gillies ; Vatsa Santhanam
Optimizations
Eliminating Dead Code on Recursive Data / Yanhong A. Liu ; Scott D. Stoller
Detecting Equalities of Variables Combining Efficiency with Precision / Oliver Rüthing ; Jens Knoop ; Bernhard Steffen
Foundations
A New Class of Functions for Abstract Interpretation / Jörg Köller ; Markus Mohnen
Equational Semantics / Loîe Correnson ; Etienne Duris ; Didier Parigot ; Gilles Roussel
Abstract Animator for Temporal Specifications Application to TLA / Dominique Cansell ; Dominique Méry
Invited Talks and Tutorials
Static Analysis of Mega-Programs / Daniel Weise
Safety versus Secrecy / Dennis Volpano
On the Complexity Analysis of Static Analyses / David McAllester
Model-Checking. A Tutorial Introduction / Markus Müller-Olm ; David Schmidt
Tutorial: Techniques to Improve the Scalability and Precision of Data Flow Analysis / Mary Lau Soffa
Author Index
Synchronization in JAVA Programs
A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives / John Hatcliff ; James Corbett ; Matthew Dwyer ; Stefan Sokolowski ; Hongjun Zheng
Static Analyses for Eliminating Unnecessary Synchronization from Java Programs / Jonathan Aldrich ; Craig Chambers ; Emin Gun Sirer ; Susan Eggers
22.

図書
図書
22. Static analysis : 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000 : proceedings
Jens Palsberg (ed.)
出版情報: Berlin : Springer, c2000  viii, 432 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1824
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Enforcing Design Constraints with Object Logic / Daniel Jackson
Model Checking as Constraint Solving / Andreas Podelski
Contributed Papers
Abstract Interpretation Based Semantics of Sequent Calculi / Gianluca Amato ; Giorgio Levi
A Transformational Approach for Generating Non-linear Invariants / Saddek Bensalem ; Marius Bozga ; Jean-Claude Fernandez ; Lucian Ghirvu ; Yassine Lakhnech
Deriving Parallel Codes via Invariants / Wei-Ngan Chin ; Siau-Cheng Khoo ; Zhenjiang Hu ; Masato Takeichi
Safety of Strictness Analysis via Term Graph Rewriting / David Clark ; Chris Hankin ; Sebastian Hunt
Checking Cleanness in Linked Lists / Nurit Dor ; Michael Rodeh ; Mooly Sagiv
Confidentiality Analysis of Mobile Systems / Jérôme Feret
Unified Analysis of Array and Object References in Strongly Typed Languages / Stephen Fink ; Kathleen Knobe ; Vivek Sarkar
Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C / Jeffrey S. Foster ; Manuel Fahndrich ; Alexander Aiken
Efficient Inference of Static Types for Java Bytecode / Etienne M. Gagnon ; Laurie J. Hendren ; Guillaume Marceau
Abstract Interpretation of Game Properties / Thomas A. Henzinger ; Rupak Majumdar ; Freddy Mang ; Jean-François Raskin
FULLDOC: A Full Reporting Debugger for Optimized Code / Clara Jaramillo ; Rajiv Gupta ; Mary Lou Soffa
Partial Redundancy Elimination on Predicated Code / Jens Knoop ; Jean-François Collard ; Roy Dz-ching Ju
TVLA: A System for Implementing Static Analyses / Tal Lev-Ami
Tree Schemata and Fair Termination / Laurent Mauborgne
Abstract Interpretation of Probabilistic Semantics / David Monniaux
Code Specialization Based on Value Profiles / Robert Muth ; Scott Watterson ; Saumya Debray
Flattening Is an Improvement / James Riely ; Jan Prins
Model Checking Guided Abstraction and Analysis / Hassen Sa?idi
Abstract Domains for Sharing Analysis by Optimal Semantics / Francesca Scozzari
Concurrency Analysis for Java / Cristian Ungureanu ; Suresh Jagannathan
Author Index
Invited Papers
Enforcing Design Constraints with Object Logic / Daniel Jackson
Model Checking as Constraint Solving / Andreas Podelski
23.

図書
図書
23. Automata, languages and programming : 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 : proceedings
Ugo Montanari, José D.P. Rolim, Emo Welzl (eds.)
出版情報: Berlin : Springer, c2000  xvi, 941 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1853
所蔵情報: loading…
24.

図書
図書
24. Languages and compilers for parallel computing : 12th International Workshop, LCPC'99, La Jolla, CA, USA, August 4-6, 1999 : proceedings
Larry Carter, Jeanne Ferrante (eds.)
出版情報: Berlin : Springer, c2000  xii, 500 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1863
所蔵情報: loading…
25.

図書
図書
25. Modular programming languages : Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 6-8, 2000 : proceedings
Jürg Gutknecht, Wolfgang Weck (eds.)
出版情報: Berlin : Springer-Verlag, c2000  xii, 298 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1897
所蔵情報: loading…
26.

図書
図書
26. Static analysis : 5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998 : proceedings
Giorgio Levi (ed.)
出版情報: Berlin ; New York : Springer, c1998  ix, 380 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1503
所蔵情報: loading…
目次情報: 続きを見る
Data-Flow Analysis
Bidirectional Data Flow Analysis in Code Motion: Myth and Reality / Oliver Rüthing
On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines / Masami Hagiya ; Akihiko Tozawa
Enabling Sparse Constant Propagation of Array Elements via Array SSA Form / Kathleen Knobe ; Vivek Sarkar
Assessing the Effects of Flow-Sensitivity on Pointer Alias Analyses / Michael Hind ; Anthony Pioli
Logic Programming
Analysis of Normal Logic Programs / François Fages ; Roberta Gori
The Correctness of Set-Sharing / Patricia M. Hill ; Roberto Bagnara ; Enea Zaffanella
Deriving Analysers by Folding/Unfolding of Natural Semantics and a Case Study: Slicing / Valérie Gouranton
Concurrency
A Symbolic Semantics for Abstract Model Checking / Francesca Levi
Automatic Determination of Communication Topologies in Mobile Systems / Arnaud Venet
Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation / Chiara Bodei ; Pierpaolo Degano ; Corrado Priami
Abstract Domains
A First-Order Language for Expressing Aliasing and Type Properties of Logic Programs / Paolo Volpe
Refining Static Analyses by Trace-Based Partinioning Using Control Flow / Maria Handjieva ; Stanislav Tzolovski
Building Complete Abstract Interpretations in a Linear Logic-Based Setting / Roberto Giacobazzi ; Francesco Ranzato ; Francesca Scozzari
Partial Evaluation
On the Power of Homeomorphic Embedding for Online Termination / Michael Leuschel
Analysis of Imperative Programs through Analysis of Constraint Logic Programs / Julio C. Peralta ; John P. Gallagher ; Huseyin SaGlam
Improving Control in Functional Logic Program Specialization / E. Albert ; M. Alpuente ; M. Falaschi ; P. Julián ; G. Vidal
Type Inference
Directional Type Inference for Logic Programs / Witold Charatonik ; Andreas Podelski
Finite Subtype Inference with Explicit Polymorphism / Dominic Duggan
Optimization
Sparse Jacobian Computation in Automatic Differentiation by Static Program Analysis / M. Tadjouddine ; F. Eyssette ; C. Faure
A New Solution to the Hidden Copy Problem / Deepak Goyal ; Robert Paige
Tutorials
A Tutorial on Domain Theory in Abstract Interpretation
Program Analysis as Model Checking of Abstract Interpretations / David Schmidt ; Bernhard Steffen
Invited Talks
Certifying, Optimizing Compilation / Peter Lee
Author Index
Data-Flow Analysis
Bidirectional Data Flow Analysis in Code Motion: Myth and Reality / Oliver Rüthing
On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines / Masami Hagiya ; Akihiko Tozawa
27.

図書
図書
27. Programming languages and systems : 7th European Symposium on Programming, ESOP '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings
Chris Hankin (ed.)
出版情報: Berlin : Springer-Verlag, c1998  x, 281 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1381
所蔵情報: loading…
28.

図書
図書
28. Languages and compilers for parallel computing : 10th International Workshop, LCPC '97, Minneapolis, Minnesota, USA, August 7-9, 1997 : proceedings (: gw)
Zhiyuan Li ... [et al.] (eds.)
出版情報: Berlin : Springer, c1998  xii, 428 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1366
所蔵情報: loading…
29.

図書
図書
29. Static analysis : 4th International Symposium, SAS'97, Paris, France, September 8-10, 1997 : proceedings
Pascal van Hentenryck (ed.)
出版情報: Berlin ; New York : Springer, c1997  x, 412 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1302
所蔵情報: loading…
30.

図書
図書
30. Programming languages : implementations, logics, and programs : 9th International Symposium, PLILP '97 including a special track on declarative programming languages in education, Southampton, UK, September 3-5, 1997 : proceedings (: pbk)
Hugh Glaser, Pieter Hartel, Herbert Kuchen, eds
出版情報: Berlin ; Tokyo : Springer, c1997  xi, 424 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1292
所蔵情報: loading…
31.

図書
図書
31. Automata, languages and programming : 25th International Colloquium, ICALP '98, Aalborg, Denmark, July 13-17, 1998 : proceedings
Kim G. Larsen, Sven Skyum, Glynn Winskel (eds.)
出版情報: Berlin ; Tokyo : Springer, c1998  xvi, 932 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1443
所蔵情報: loading…
32.

図書
図書
32. Principles of declarative programming : 10th International Symposium, PLILP'98 held jointly with the 6th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998 : proceedings
Catuscia Palamidessi, Hugh Glaser, Karl Meinke (eds.)
出版情報: Berlin ; Tokyo : Springer, c1998  xi, 497 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1490
所蔵情報: loading…
目次情報: 続きを見る
Verification: Invited Paper
Logic Programming and Model Checking / Baoqiu Cui ; Yifei Dong ; Xiaoqun Du ; K. Narayan Kumar ; C. R. Ramakrishnan ; I. V. Ramakrishnan ; Abhik Roychoudhury ; Scott A. Smolka ; David S. Warren
Logic Programming I
CAT: The Copying Approach to Tabling / Bart Demoen ; Konstantinos Sagonas
SICStus MT - A Multithreaded Execution Environment for SICStus Prolog / Jesper Eskilson ; Mats Carlsson
A Framework for Bottom Up Specialisation of Logic Programs / Wim Vanhoof ; Danny De Schreye ; Bern Martens
Termination of Logic Programs with block Declarations Running in Several Modes / Jan-Georg Smaus ; Pat Hill ; Andy King
Static Analysis
The Boolean Logic of Set Sharing Analysis / Michael Codish ; Harald Søndergaard
Derivation of Proof Methods by Abstract Interpretation / Giorgio Levi ; Paolo Volpe
Detecting Unsolvable Queries for Definite Logic Programs / Maurice Bruynooghe ; Henk Vandecasteele ; D. Andre de Waal ; Marc Denecker
Staging Static Analyses Using Abstraction-Based Program Specialization / John Hatcliff ; Matthew Dwyer ; Shawn Laubach
An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs / Fausto Spoto
Software Methodologies: Invited Paper Architecturing Software Using: A Methodology for Language Development / Charles Consel ; Renaud Marlet
Object Oriented Programming
Explicit Substitutions for Objects and Functions / Delia Kesner ; Pablo E. Mart'inez Lopez
The Complexity of Late-Binding in Dynamic Object-Oriented Languages / Enrico Pontelli ; Desh Ranjan ; Gopal Gupta
Term Rewriting
A Compiler for Rewrite Programs in Associative-Commutative Theories / Pierre-Etienne Moreau ; Héléne Kirchner
Solution to the Problem of Zantema on a Persistent Property of Term Rewriting Systems / Takahito Aoto
A General Framework for R-Unification Problems / Sebastien Limet ; Frédéric Saubion
Semantics: Tutorial
Operational Versus Denotational Methods in the Semantics of Higher Order Languages / Andrew M. Pitts
Functional Programming
Functional Implementations of Continuous Modeled Animation / Conal Elliott
Compiling Erlang to Scheme / Marc Feeley ; Martin Larose
From (Sequential) Haskell to (Parallel) Eden: An Implementation Point of View / Silvia Breitinger ; Ulrike Klusik ; Rita Loogen
Mobile Haskell: Compiling Lazy Functional Programs for the Java Virtual Machine / David Wakeling
Metaprogramming: Tutorial
Program Analysis in ?Prolog / John Hannan
Logic Programming II
A Game Semantics Foundation for Logic Programming / Roberto Di Cosmo ; Jean-Vincent Loddo ; Stephane Nicolet
Controlling Search in Declarative Programs / Michael Hanus ; Frank Steiner
Encapsulating Data in Logic Programming via Categorical Constraints / James Lipton ; Robert McGrail
Constructive Negation Using Typed Existence Properties / John G. Cleary ; Lunjin Lu
Optimal Evaluation: Tutorial
Optimal Reduction of Functional Expressions / Andrea Asperti
Integration
Embedding Multiset Constraints into a Lazy Functional Logic Language / P. Arenas-Sánchez ; F.J. López-Fraguas ; M. Rodr'iguez-Artalejo
A Hidden Herbrand Theorem / Joseph Goguen ; Grant Malcolm ; Tom Kemp
Constraint Solving
Integrating Constraint Propagation in Complete Solving of Linear
Diophantine Systems / Farid Ajili ; Hendrik C.R. Lock
Approaches to the Incremental Detection of Implicit Equalities with the Revised Simplex Method / Philippe Refalo
Author Index
Verification: Invited Paper
Logic Programming and Model Checking / Baoqiu Cui ; Yifei Dong ; Xiaoqun Du ; K. Narayan Kumar ; C. R. Ramakrishnan ; I. V. Ramakrishnan ; Abhik Roychoudhury ; Scott A. Smolka ; David S. Warren
Logic Programming I
33.

図書
図書
33. Languages, compilers, and run-time systems for scalable computers : 4th International Workshop, LCR '98, Pittsburgh, PA, USA, May 28-30, 1998 : selected papers
David O'Hallaron (ed.)
出版情報: Berlin ; Tokyo : Springer, c1998  ix, 412 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1511
所蔵情報: loading…
目次情報: 続きを見る
Expressing Irregular Computations in Modern Fortran Dialects / Jan F. Prins ; Siddhartha Chatterjee ; Martin Simons
Memory System Support for Irregular Applications / John Carter ; Wilson Hsieh ; Mark Swanson ; Lixin Zhang ; Erik Brunvand ; Al Davis ; Chen-Chi Kuo ; Ravindra Kuramkote ; Michael Parker ; Lambert Schaelicke ; Leigh Stoller ; Terry Tateyama
MENHIR: An Environment for High Performance Matlab / Stephane Chauveau ; Francois Bodin
On the Automatic Parallelization of Sparse and Irregular Fortran Programs / Yuan Lin ; David Padua
Loop Transformations for Hierarchical Parallelism and Locality / Vivek Sarkar
Dataflow Analysis Driven Dynamic Data Partitioning / Jodi Tims ; Rajiv Gupta ; Mary Lou Soffa
A Case for Combining Compile-Time and Run-Time Parallelization / Sungdo Moon ; Byoungro So ; Mary W. Hall ; Brian Murphy
Compiler and Run-Time Support for Adaptive Load Balancing in Software Distributed Shared Memory Systems / Sotiris Ioannidis ; Sandhya Dwarkadas
Efficient Interprocedural Data Placement Optimisation in a Parallel Library / Olav Beckmann ; Paul H. J. Kelly
A Framework for Specializing Threads in Concurrent Run-Time Systems / Gregory D. Benson ; Ronald A. Olsson
Load Balancing with Migrant Lightweight Threads / David Cronk ; Piyush Mehrotra
Integrated Task and Data Parallel Support for Dynamic Applications / James M. Rehg ; Kathleen Knobe ; Umakishore Ramachandran ; Rishiyur S. Nikhil ; Arun Chauhan
Supporting Self-Adaptivity for SPMD Message-Passing Applications / M. Cermele ; M. Colajanni ; S. Tucci
Evaluating the Effectiveness of a Parallelizing Compiler / Dixie Hisley ; Gagan Agrawal ; Lori Pollock
Comparing Reference Counting and Global Mark-and-Sweep on Parallel Computers / Hirotaka Yamamoto ; Kenjiro Taura ; Akinori Yonezawa
Design of the GODIVA Performance Measurement System / Terrence W. Pratt
Instrumentation Database for Performance Analysis of Parallel Scientific Applications / Jeffrey Nesheiwat ; Boleslaw K. Szymanski
A Performance Prediction Framework for Data Intensive Applications on Large Scale Parallel Machines / Mustafa Uysal ; Tahsin M. Kurc ; Alan Sussman ; Joel Saltz
MARS: A Distributed Memory Approach to Shared Memory Compilatio / M.F.P. O'Boyle
More on Scheduling Block-Cyclic Array Redistribution / Frédéric Desprez ; Stéphane Domas ; Jack Dongarra ; Antoine Petitet ; Cyril Randriamaro ; Yves Robert
Flexible and Optimized IDL Compilation for Distributed Applications / Eric Eide ; Jay Lepreau ; James L. Simister
QoS Aspect Languages and Their Runtime Integration / Joseph P. Loyall ; David E. Bakken ; Richard E. Schantz ; John A. Zinky ; David A. Karr ; Rodrigo Vanegas ; Kenneth R. Anderson
Statistical Properties of Host Load / Peter A. Dinda
Locality Enhancement for Large-Scale Shared-Memory Multiprocessors / Tarik Abdelrahman ; Naraig Manjikian ; Gary Liu ; S. Tandri
Language and Compiler Support for Out-of-Core Irregular Applications on Distributed-Memory Multiprocessors / Peter Brezany ; Alok Choudhary ; Minh Dang
Detection of Races and Control-Flow Nondeterminism / Mindong Feng ; Chung Kwong Yuen
Improving Locality in Out-of-Core Computations Using Data Layout Transformations / M. Kandemir ; A. Choudhary ; J. Ramanujam
Optimizing Computational and Spatial Overheads in Complex Transformed Loops / Dattatraya Kulkarni ; Michael Stumm
Building a Conservative Parallel Simulation with Existing Component Libraries / Chu-Cheow Lim ; Yoke-Hean Low
A Coordination Layer for Exploiting Task Parallelism with HPF / Salvatore Orlando ; Raffaele Perego
InterAct: Virtual Sharing for Interactive Client-Server Applications / Srinivasan Parthasarathy
Standard Templates Adaptive Parallel Library (STAPL) / Lawrence Rauchwerger ; Francisco Arzu ; Koji Ouchi
Author Index
Expressing Irregular Computations in Modern Fortran Dialects / Jan F. Prins ; Siddhartha Chatterjee ; Martin Simons
Memory System Support for Irregular Applications / John Carter ; Wilson Hsieh ; Mark Swanson ; Lixin Zhang ; Erik Brunvand ; Al Davis ; Chen-Chi Kuo ; Ravindra Kuramkote ; Michael Parker ; Lambert Schaelicke ; Leigh Stoller ; Terry Tateyama
MENHIR: An Environment for High Performance Matlab / Stephane Chauveau ; Francois Bodin
34.

図書
図書
34. ASPLOS-VIII Proceedings : Eighth International Conference on Architectural Support for Programming Languages and Operating Systems : San Jose, California, October 3-7, 1998
International Conference on Architectural Support for Programming Languages and Operating Systems
出版情報: New York, N.Y. : Association for Computing Machinery, c1998  ix, 326 p. ; 28 cm
シリーズ名: SIGPLAN notices ; v. 33, no. 11
Operating systems review ; v. 32, no. 5 "special"
Computer architecture news ; v. 26, special issue
所蔵情報: loading…
35.

図書
図書
35. Database programming languages : 6th International Workshop DBPL-6, Estes Park, Colorado, USA, August 18-20, 1997 : proceedings (: pbk)
Sophie Cluet, Rick Hull (eds.)
出版情報: Berlin ; Tokyo : Springer, c1998  xiii, 430 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1369
所蔵情報: loading…
36.

図書
図書
36. Proceedings : 1998 International Conference on Computer Languages, May 14-16, 1998, Chicago, Illinois (: casebound)
sponsored by IEEE Computer Society Technical Committee on Computer Languages ; in cooperation with ACM SIGPLAN
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1998  x, 282 p. ; 28 cm
所蔵情報: loading…
37.

図書
図書
37. Automata, languages and programming : 15th International Colloquium, Tampere, Finland, July 11-15, 1988 : proceedings (: gw ; : us)
Timo Lepistö, Arto Salomaa (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988  xi, 741 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 317
所蔵情報: loading…
38.

図書
図書
38. Languages and compilers for parallel computing : 9th International Workshop, LCPC '96, San Jose, California, USA, August 8-10, 1996 : proceedings (: gw)
David Sehr ... [et al.] (eds.)
出版情報: Berlin ; New York : Springer, c1997  xiii, 612 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1239
所蔵情報: loading…
39.

図書
図書
39. Languages and compilers for parallel computing : 7th International Workshop, Ithaca, NY, USA, August 8-10, 1994 : proceedings (: gw)
K. Pingali ... [et al.]
出版情報: Berlin ; Tokyo : Springer-Verlag, c1995  xi, 496 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 892
所蔵情報: loading…
40.

図書
図書
40. Automata, languages and programming : 23rd International Colloquium, ICALP '96 Paderborn, Germany, July 8-12, 1996 : proceedings
F. Meyer auf der Heide, B. Monien, (eds.)
出版情報: Berlin ; Tokyo : Springer, c1996  xii, 680 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1099
所蔵情報: loading…
41.

図書
図書
41. Programming languages : implementations, logics, and programs : 8th international symposium, PLILP '96, Aachen, Germany, September 24-27, 1996 : proceedings
Herbert Kuchen, S. Doaitse Swierstra (eds.)
出版情報: Berlin ; Tokyo : Springer, c1996  xi, 478 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1140
所蔵情報: loading…
42.

図書
図書
42. Static analysis : third international symposium, SAS '96, Aachen, Germany, September 24-26, 1996 : proceedings
Radhia Cousot, David A. Schmidt (eds.)
出版情報: Berlin : Springer, c1996  ix, 388 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1145
所蔵情報: loading…
43.

図書
図書
43. Languages and compilers for parallel computing : 8th International Workshop, LCPC '95, Columbus, Ohio, USA, August 10-12, 1995 : proceedings (: gw)
C.- H. Huang ... [et al.] (eds.)
出版情報: Berlin ; New York : Springer, c1996  xiii, 597 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1033
所蔵情報: loading…
44.

図書
図書
44. Programming languages and systems -- ESOP '96 : 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996 : proceedings
Hanne Riis Nielson, (ed.)
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1996  x, 403 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1058
所蔵情報: loading…
45.

図書
図書
45. Programming languages : implementations, logics and programs : 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings
Manuel Hermenegildo, S. Doaitse Swierstra, (eds.)
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1995  xi, 466 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 982
所蔵情報: loading…
46.

図書
図書
46. Static analysis : Second International Symposium, SAS '95, Glasgow, UK, September 25-27, 1995 : proceedings
Alan Mycroft (ed.)
出版情報: Berlin ; New York : Springer, c1995  viii, 421 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 983
所蔵情報: loading…
47.

図書
図書
47. Automata, languages and programming : 22nd International Colloquium, ICALP 95, Szeged, Hungary, July 10-14, 1995 : proceedings
Zoltán Fülöp, Ferenc Gécseg (eds.)
出版情報: Berlin ; New York ; Tokyo : Springer, c1995  xiii, 686 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 944
所蔵情報: loading…
48.

図書
図書
48. Data base description : proceedings of the IFIP TC-2 Special Working Conference on Data Base Description
edited by B. C. M. Douqué and G. M. Nijssen ; [organized by IFIP Technical Committee 2, Programming, International Federation for Information Processing]
出版情報: Amsterdam : North-Holland Pub. Co. , New York : American Elsevier Pub. Co., 1975  vii, 382 p. ; 23 cm
所蔵情報: loading…
49.

図書
図書
49. Proceedings of the First International Workshop on Natural Language Understanding and Logic Programming, Rennes, France, 18-20 September, 1984
edited by Veronica Dahl and Patrick Saint-Dizier
出版情報: Amsterdam ; New York : North-Holand , New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1985  xi, 243 p. ; 23 cm.
シリーズ名: Natural language understanding and logic programming ; [1]
所蔵情報: loading…
50.

図書
図書
50. Conference record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages : papers presented at the Symposium, St. Petersburg Beach, Florida, 13-15 January 1986 (: pbk)
sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory (SIGACT) [and] Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : ACM , Baltimore, MD : May be ordered from ACM Order Dept., c1986  v, 326 p. ; 28 cm
所蔵情報: loading…
51.

雑誌
雑誌
51. Conference record of the ... annual ACM Symposium on Principles of Programming Languages
sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory [and] Special Interest Group on Programming Languages
出版情報: New York, N.Y. : Association for Computing Machinery, c1978-c1993  v. ; 28 cm
巻次年月次: 5th (Jan. 23/25, 1978)-20th (Jan. 10/13, 1993)
所蔵情報: loading…
52.

図書
図書
52. Programming language implementation and logic programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991 : proceedings (: gw ; : us)
J. Maluszyński, M. Wirsing, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1991  xi, 433 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 528
所蔵情報: loading…
53.

図書
図書
53. Conference record of the second ACM Symposium on Principles of Programming Languages : papers presented at the symposium, Palo Alto, California, January 20-22, 1975
sponsored by the Association for Computing Machinery Special Interest Group on Automata and Computability Theory [and] Special Interest Group on Programming Languages
出版情報: New York : ACM, c1975  iv, 242 p. ; 28 cm
所蔵情報: loading…
54.

図書
図書
54. Conference record of the third ACM Symposium on Principles of Programming Languages : papers presented at the symposium, Atlanta, Georgia January 19-21, 1976
sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory, Special Interest Group on Programming Languages
出版情報: New York : ACM, c1976  iv, 218 p. ; 28 cm
所蔵情報: loading…
55.

図書
図書
55. Conference record of the Fifth Annual ACM Symposium on Principles of Programming Languages : papers presented at the Symposium, Tucson, Arizona, January 23-25, 1978
sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory, Special Interest Group on Programming Languages
出版情報: New York : ACM, c1978  iv, 264 p. ; 28 cm
所蔵情報: loading…
56.

図書
図書
56. Conference record of the eighth annual ACM Symposium on Principles of Programming Languages : papers presented at the symposium, Williamsburg, Virginia, January 26-28, 1981 (pbk.)
sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory [and] Special Interest Group on Programming Languages
出版情報: Baltimore : ACM, c1981  230 p. ; 28 cm
所蔵情報: loading…
57.

図書
図書
57. Conference record of the Ninth Annual ACM Symposium on Principles of Programming Languages : papers presented at the Symposium, Albuquerque, New Mexico, January 25-27, 1982 (: pbk)
sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory [and] Special Interest Group on Programming Languages
出版情報: New York, N.Y. : ACM , Baltimore, MD : May be ordered from ACM Order Dept., c1982  vi, 378 p. ; 28 cm
所蔵情報: loading…
58.

図書
図書
58. Conference record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium, Albuquerque, New Mexico, January 19-22, 1992
sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory (SIGACT) ; Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : ACM, c1992  viii, 366 p. ; 28 cm
所蔵情報: loading…
59.

図書
図書
59. Automata, languages, and programming : 19th International Colloquium, Wien, Austria, July 13-17, 1992 : proceedings (: gw ; : us)
W. Kuich (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1992  xii, 719 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 623
所蔵情報: loading…
60.

図書
図書
60. Foundations of object-oriented languages : REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : proceedings (: gw ; : us)
J.W. de Bakker, W.P. de Roever, G. Rozenberg, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1991  viii, 442 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 489
所蔵情報: loading…
61.

図書
図書
61. Conference record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages : papers presented at the symposium, Orlando, Florida, January 21-23, 1991
sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory (SIGACT) ; Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : ACM, c1990  vii, 366 p. ; 28 cm
所蔵情報: loading…
62.

図書
図書
62. Programming language implementation and logic programming : 4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 : proceedings (: gw ; : us)
M. Bruynooghe, M. Wirsing, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1992  xi, 492 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 631
所蔵情報: loading…
63.

図書
図書
63. Automata, languages and programming : sixth colloquium, Graz, Austria, July 16-20, 1979 (: gw ; : us)
edited by Hermann A. Maurer
出版情報: Berlin : Springer-Verlag, 1980  ix, 684 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 71
所蔵情報: loading…
目次情報: 続きを見る
Preface
Fabrication / Part I：
Introduction / Chapter 1：
What are MEMS? / 1.1：
Why MEMS? / 1.2：
Low cost, redundancy and disposability / 1.2.1：
Favorable scalings / 1.2.2：
How are MEMS made? / 1.3：
Roadmap and perspective / 1.4：
Essay: The Role of Surface to Volume Atoms as Magnetic Devices Miniaturize
The substrate and adding material to it / Chapter 2：
The silicon substrate / 2.1：
Silicon growth / 2.2.1：
It's a crystal / 2.2.2：
Miller indices / 2.2.3：
It's a semiconductor / 2.2.4：
Additive technique: Oxidation / 2.3：
Growing an oxide layer / 2.3.1：
Oxidation kinetics / 2.3.2：
Additive technique: Physical vapor deposition / 2.4：
Vacuum fundamentals / 2.4.1：
Thermal evaporation / 2.4.2：
Sputtering / 2.4.3：
Other additive techniques / 2.5：
Chemical vapor deposition / 2.5.1：
Electrodeposition / 2.5.2：
Spin casting / 2.5.3：
Wafer bonding / 2.5.4：
Essay: Silicon Ingot Manufacturing
Creating and transferring patterns-Photolithography / Chapter 3：
Keeping it clean / 3.1：
Photoresist / 3.3：
Positive resist / 3.3.1：
Negative resist / 3.3.2：
Working with resist / 3.4：
Applying photoresist / 3.4.1：
Exposure and pattern transfer / 3.4.2：
Development and post-treatment / 3.4.3：
Masks / 3.5：
Resolution / 3.6：
Resolution in contact and proximity printing / 3.6.1：
Resolution in projection printing / 3.6.2：
Sensitivity and resist profiles / 3.6.3：
Modeling of resist profiles / 3.6.4：
Photolithography resolution enhancement technology / 3.6.5：
Mask alignment / 3.6.6：
Permanent resists / 3.7：
Essay: Photolithography-Past, Present and Future
Creating structures-Micromachining / Chapter 4：
Bulk micromachining processes / 4.1：
Wet chemical etching / 4.2.1：
Dry etching / 4.2.2：
Surface micromachining / 4.3：
Surface micromachining processes / 4.3.1：
Problems with surface micromachining / 4.3.2：
Lift-off / 4.3.3：
Process integration / 4.4：
A surface micromachining example / 4.4.1：
Designing a good MEMS process flow / 4.4.2：
Last thoughts / 4.4.3：
Essay: Introduction to MEMS Packaging
Solid mechanics / Chapter 5：
Fundamentals of solid mechanics / 5.1：
Stress / 5.2.1：
Strain / 5.2.2：
Elasticity / 5.2.3：
Special cases / 5.2.4：
Non-isotropic materials / 5.2.5：
Thermal strain / 5.2.6：
Properties of thin films / 5.3：
Adhesion / 5.3.1：
Stress in thin films / 5.3.2：
Peel forces / 5.3.3：
Applications / Part II：
Thinking about modeling / Chapter 6：
What is modeling? / 6.1：
Units / 6.2：
The input-output concept / 6.3：
Physical variables and notation / 6.4：
Preface to the modeling chapters / 6.5：
MEMS transducers-An overview of how they work / Chapter 7：
What is a transducer? / 7.1：
Distinguishing between sensors and actuators / 7.2：
Response characteristics of transducers / 7.3：
Static response characteristics / 7.3.1：
Dynamic performance characteristics / 7.3.2：
MEMS sensors: principles of operation / 7.4：
Resistive sensing / 7.4.1：
Capacitive sensing / 7.4.2：
Piezoelectric sensing / 7.4.3：
Resonant sensing / 7.4.4：
Thermoelectric sensing / 7.4.5：
Magnetic sensing / 7.4.6：
MEMS actuators: principles of operation / 7.5：
Capacitive actuation / 7.5.1：
Piezoelectric actuation / 7.5.2：
Thermo-mechanical actuation / 7.5.3：
Thermo-electric cooling / 7.5.4：
Magnetic actuation / 7.5.5：
Signal conditioning / 7.6：
A quick look at two applications / 7.7：
RF applications / 7.7.1：
Optical applications / 7.7.2：
Piezoresistive transducers / Chapter 8：
Modeling piezoresistive transducers / 8.1：
Bridge analysis / 8.2.1：
Relating electrical resistance to mechanical strain / 8.2.2：
Device case study: Piezoresistive pressure sensor / 8.3：
Capacitive transducers / Chapter 9：
Capacitor fundamentals / 9.1：
Fixed-capacitance capacitor / 9.2.1：
Variable-capacitance capacitor / 9.2.2：
An overview of capacitive sensors and actuators / 9.2.3：
Modeling a capacitive sensor / 9.3：
Capacitive half-bridge / 9.3.1：
Conditioning the signal from the half-bridge / 9.3.2：
Mechanical subsystem / 9.3.3：
Device case study: Capacitive accelerometer / 9.4：
Piezoelectric transducers / Chapter 10：
Modeling piezoelectric materials / 10.1：
Mechanical modeling of beams and plates / 10.3：
Distributed parameter modeling / 10.3.1：
Statics / 10.3.2：
Bending in beams / 10.3.3：
Bending in plates / 10.3.4：
Case study: Cantilever piezoelectric actuator / 10.4：
Thermal transducers / Chapter 11：
Basic heat transfer / 11.1：
Conduction / 11.2.1：
Convection / 11.2.2：
Radiation / 11.2.3：
Case study: Hot-arm actuator / 11.3：
Lumped element model / 11.3.1：
Distributed parameter model / 11.3.2：
FEA model / 11.3.3：
Essay: Effect of Scale on Thermal Properties
Introduction to microfluidics / Chapter 12：
Basics of fluid mechanics / 12.1：
Viscosity and flow regimes / 12.2.1：
Entrance lengths / 12.2.2：
Basic equations of fluid mechanics / 12.3：
Conservation of mass / 12.3.1：
Conservation of linear momentum / 12.3.2：
Conservation equations at a point: Continuity and Navier-Stokes equations / 12.3.3：
Some solutions to the Navier-Stokes equations / 12.4：
Couette flow / 12.4.1：
Poiseuille flow / 12.4.2：
Electro-osmotic flow / 12.5：
Electrostatics / 12.5.1：
Ionic double layers / 12.5.2：
Navier-Stokes with a constant electric field / 12.5.3：
Electrophoretic separation / 12.6：
Essay: Detection Schemes Employed in Microfluidic Devices for Chemical Analysis
Microfabrication laboratories / Part III：
Hot-arm actuator as a hands-on case study / Chapter 13：
Overview of fabrication of hot-arm actuators / 13.2：
Cleanroom safety and etiquette / 13.3：
Experiments / 13.4：
Wet oxidation of a silicon wafer / Experiment 1：
Photolithography of sacrificial layer / Experiment 2：
Depositing metal contacts with evaporation / Experiment 3：
Wet chemical etching of aluminum / Experiment 4：
Plasma ash release / Experiment 5：
Characterization of hot-arm actuators / Experiment 6：
Notation / Appendix A：
Periodic table of the elements / Appendix B：
The complimentary error function / Appendix C：
Color chart for thermally grown silicon dioxide / Appendix D：
Glossary
Subject Index
Preface
Fabrication / Part I：
Introduction / Chapter 1：
64.

図書
図書
64. Conference record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages : papers presented at the symposium, San Francisco, California, January 17-19, 1990
sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory (SIGACT) [and] Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : ACM , Baltimore, MD : May be ordered from ACM Order Dept., c1990  vi, 401 p. ; 28 cm
所蔵情報: loading…
65.

図書
図書
65. ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, proceedings (: gw ; : us)
N. Jones (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990  ix, 435 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 432
所蔵情報: loading…
66.

図書
図書
66. Graphic languages : proceedings of the IFIP Working Conference on Graphic Languages
edited by F. Nake, A. Rosenfeld
出版情報: Amsterdam : North-Holland Pub. Co., 1972  viii, 442 p. ; 23 cm
所蔵情報: loading…
67.

図書
図書
67. Symbol manipulation languages and techniques : proceedings of the IFIP Working Conference on Symbol Manipulation Languages
edited by Daniel G. Bobrow
出版情報: Amsterdam : North-Holland, 1968  x, 487 p. ; 23 cm
所蔵情報: loading…
68.

図書
図書
68. 1990 International Conference on Computer Languages : proceedings, March 12-15, 1990, New Orleans, Louisiana (: case ; : pbk ; : microfiche)
sponsored by The Computer Society, Computer Languages Technical Committee
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1990  x, 307 p. ; 28 cm
所蔵情報: loading…
69.

図書
図書
69. Programming language implementation and logic programming : International Workshop PLILP '90, Linköping, Sweden, August 20-22, 1990 : proceedings (: gw ; : us)
P. Deransart, J. Małuszyński, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990  viii, 401 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 456
所蔵情報: loading…
70.

図書
図書
70. Algorithmic languages : proceedings of the International Symposium on Algorithmic Languages
edited by J.W. de Bakker and J.C. van Vliet
出版情報: Amsterdam ; New York : North-Holland Pub. Co., 1981  xxvi, 431 p. ; 23 cm
所蔵情報: loading…
71.

図書
図書
71. Machine oriented higher level languages : proceedings of the IFIP Working Conference on Machine Oriented Higher Level Languages, Trondheim, Norway, August 27-31, 1973 (: ne ; : us)
edited by W.L. van der Poel and L.A. Maarssen
出版情報: Amsterdam : North-Holland Pub. Co. , New York : American Elsevier, 1974  xi, 535 p. ; 23 cm
所蔵情報: loading…
72.

図書
図書
72. Conference record of the Fourth ACM Symposium on Principles of Programming Languages : papers presented at the symposium, Los Angeles, California, January 17-19, 1977
sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory, Special Interest Group on Programming Languages
出版情報: New York : The Association, c1977  iv, 280 p. ; 28 cm
所蔵情報: loading…
73.

図書
図書
73. Conference record of the sixth annual ACM Symposium on Principles of Programming Languages : papers presented at the symposium, San Antonio, Texas, January 29-31, 1979
sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory, Special Interest Group on Programming Languages
出版情報: New York : ACM, c1979  iv, 290 p. ; 28 cm
所蔵情報: loading…
74.

図書
図書
74. Proceedings, IEEE Computer Society 1986 International Conference on Computer Languages, October 27-30, 1986, Miami, Florida (pbk. ; microfiche ; hard)
sponsored by the IEEE Computer Society Computer Languages Technical Committee
出版情報: Washington, D.C. : IEEE Computer Society Press , Los Angeles, CA : Order from IEEE Computer Society, c1986  x, 201 p. ; 28 cm
所蔵情報: loading…
75.

図書
図書
75. Programming languages and system design : proceedings of the IFIP TC 2 Working Conference on Programming Languages and System Design, Dresden, GDR, 7-10 March, 1983 (U.S. ; NE)
edited by J. Bormann
出版情報: Amsterdam ; New York : North-Holland , New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1983  viii, 251 p. ; 23 cm
所蔵情報: loading…
76.

図書
図書
76. Conference record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages : papers presented at the symposium, Austin, Texas, January 11-13, 1989 (: pbk.)
sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory (SIGACT), Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : Association for Computing Machinery , Baltimore, MD : May be ordered from ACM Order Dept., c1989  vi, 352 p. ; 28 cm
所蔵情報: loading…
77.

図書
図書
77. IEEE Workshop on Languages for Automation : symbiotic and intelligent robotics (1988 : pbk. ; 1988 : case ; 1988 : microfiche)
IEEE Workshop on Languages for Automation ; IEEE Computer Society
出版情報: Washington, D. C. : IEEE Computer Society Press  ix, 235 p. ; 28 cm
所蔵情報: loading…
78.

図書
図書
78. Programming languages implementation and logic programming : International Workshop PLILP '88, Orléans, France, May 16-18, 1988 : proceedings (: gw ; : us)
P. Deransart, B. Lorho, J. Małuszyński (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989  vi, 299 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 348
所蔵情報: loading…
目次情報: 続きを見る
Contents: Functional Programming and Logic Programming.
Abstract Interpretation in Logic Programming.
Logic Programming in Compiler Writing.
Grammars.
Attribute Grammars and Logic Programming.
Attribute Grammars in Logic Programming.
Logic Programming for Programming Environments.
Contents: Functional Programming and Logic Programming.
Abstract Interpretation in Logic Programming.
Logic Programming in Compiler Writing.
79.

図書
図書
79. Machines, languages, and complexity : 5th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 14-18, 1988 : selected contributions (: gw ; : us)
J. Dassow, J. Kelemen (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989  vi, 244 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 381
所蔵情報: loading…
80.

図書
図書
80. Conference record of the Seventh Annual ACM Symposium on Principles of Programming Languages : papers presented at the symposium, Las Vegas, Nevada, January 28-30, 1980 (pbk.)
sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory, Special Interest Group on Programming Languages
出版情報: New York, N.Y. : ACM , Baltimore, MD : May be ordered from ACM Order Dept., c1980  vii, 261 p. ; 28 cm
所蔵情報: loading…
81.

図書
図書
81. 1988 International Conference on Computer Languages : proceedings, October 9-13, 1988, Castle Hotel and Resort, Miami Beach, Florida (: pbk. ; : case ; : microfiche)
sponsored by the Computer Society, Computer Languages Technical Committee
出版情報: Washington, D.C. : IEEE Computer Society Press, c1988  xv, 446 p. ; 28 cm
所蔵情報: loading…
82.

図書
図書
82. Automata, languages and programming : fourth colloquium, University of Turku, Finland, July 18-22, 1977 (: gw ; : us)
edited by Arto Salomaa and Magnus Steinby
出版情報: Berlin ; New York : Springer-Verlag, 1977  x, 569 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 52
所蔵情報: loading…
83.

図書
図書
83. Automata, languages, and programming : 11th colloquium, Antwerp, Belgium, July 16-20, 1984 (: gw ; : us)
edited by Jan Paredaens
出版情報: Berlin ; Tokyo : Springer-Verlag, 1984  vi, 526 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 172
所蔵情報: loading…
84.

図書
図書
84. Automata, languages and programming : eighth colloquium, Acre (Akko), Israel, July 13-17, 1981 (: gw ; : us)
edited by S. Even and O. Kariv
出版情報: Berlin : Springer-Verlag, 1981  viii, 550 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 115
所蔵情報: loading…
85.

図書
図書
85. Automata, languages and programming : fifth colloquium, Udine, Italy, July 17-21, 1978 (: gw ; : us)
edited by G. Ausiello and C. Böhm
出版情報: Berlin ; New York : Springer-Verlag, 1978  viii, 508 p., ; 25 cm
シリーズ名: Lecture notes in computer science ; 62
所蔵情報: loading…
86.

図書
図書
86. Symsac '76 : proceedings of the 1976 ACM Symposium on Symbolic and Algebraic Computation, August 10-12, 1976, Yorktown Heights, New York
edited by R.D. Jenks
出版情報: New York : Association for Computing Machinery, c1976  384 p. ; 28 cm
所蔵情報: loading…
87.

図書
図書
87. [Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975 (: gw ; : us)
IAC-CNR, Istituto per le applicazioni del calcolo "Mauro Picone" of the Consiglio nazionale delle ricerche ; edited by C. Böhm
出版情報: Berlin ; New York : Springer-Verlag, 1975  xii, 370 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 37
所蔵情報: loading…
88.

図書
図書
88. Conference record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages : papers presented at the Symposium, San Diego, California, January 13-15, 1988 (: pbk.)
sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory (SIGACT) [and] Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : ACM , Baltimore, MD : May be ordered from ACM Order Dept., c1988  iv, 329 p. ; 28 cm
所蔵情報: loading…
89.

図書
図書
89. Languages and compilers for parallel computing : 5th International Workshop, New Haven, Connecticut, USA, August 3-5, 1992 : proceedings (: gw ; : us)
Utpal Banerjee ... [et al.] (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1993  x, 576 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 757
所蔵情報: loading…
90.

図書
図書
90. Languages and compilers for parallel computing : 6th international workshop, Portland, Oregon, USA, August 12-14, 1993 : proceedings (: us ; : gw)
Utpal Banerjee ... [et al.], (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994  xi, 655 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 768
所蔵情報: loading…
91.

図書
図書
91. APL 81 Conference proceedings, San Francisco, California, October 21-23, 1981 (pbk.)
edited by William L. Anderson and David G. Smith ; sponsored by Association for Computing Machinery
出版情報: New York, N.Y. : The Association for Computing Machinery , Baltimore, MD : ACM Order Dept. [distributor], c1981  xviii, 359 p. ; 28 cm
シリーズ名: APL quote quad ; v. 12, no. 1
所蔵情報: loading…
92.

図書
図書
92. APL 79 Conference proceedings, Rochester, New York, U.S.A., 30 May - June, 1979 (part 1 ; part 2)
[sponsored by STAPL]
出版情報: New York, N.Y. : The Association for Computing Machinery, c1979  2 v. ; 28 cm
シリーズ名: APL quote quad ; v. 9, no. 4
所蔵情報: loading…
93.

図書
図書
93. Programming languages and system architectures : international conference, Zurich, Switzerland, March 2-4, 1994 : proceedings (: gw ; : us)
Jürg Gutknecht, [editor]
出版情報: Berlin ; New York : Springer-Verlag, c1994  x, 344 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 782
所蔵情報: loading…
94.

図書
図書
94. Programming language implementation and logic programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993 : proceedings (: us ; : gw)
Maurice Bruynooghe, Jaan Penjam, eds
出版情報: Berlin ; New York : Springer-Verlag, c1993  xi, 421 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 714
所蔵情報: loading…
95.

図書
図書
95. Static analysis : Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993 : proceedings (: gw ; : us)
Patrick Cousot ... [et al.], (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1993  ix, 283 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 724
所蔵情報: loading…
96.

図書
図書
96. Formal language description languages for computer programming : proceedings of the IFIP Working Conference on Formal Language Description Languages
edited by T.B. Steel, Jr
出版情報: Amsterdam : North-Holland, 1966  330 p. ; 23 cm
所蔵情報: loading…
97.

図書
図書
97. Programming languages and systems, ESOP '94 : 5th European Symposium on Programming, Edinburgh, U.K., April 11-13, 1994 : proceedings (: us ; : gw)
Donald Sannella, ed
出版情報: Berlin ; New York : Springer-Verlag, c1994  viii, 516 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 788
所蔵情報: loading…
98.

図書
図書
98. Proceedings of the 1994 International Conference on Computer Languages : May 16-19, 1994, Toulouse, France (: soft. ; : case. ; : micro.)
sponsored by IEEE Computer Society Technical Committee on Computer Languages in cooperation with ACM SIGNPLAN, IRIT
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1994  xi, 305 p. ; 28 cm
所蔵情報: loading…
99.

図書
図書
99. Automata, languages and programming : 21st International Colloquium, ICALP 94, Jerusalem, Israel, July 11-14, 1994 : proceedings (: gw ; : us)
Serge Abiteboul, Eli Shamir (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994  xiii, 644 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 820
所蔵情報: loading…
100.

図書
図書
100. Programming language implementation and logic programming : 6th International Symposium, PLILP '94, Madrid, Spain, September 14-16 1994 : proceedings (: us ; : gw)
Manuel Hermenegildo, Jaan Penjam, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994  xii, 468 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 844
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼