close
1.

電子ブック
ＥＢ
1. Formal approaches to agent-based systems : third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004 : revised selected papers
edited by Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff
出版情報: SpringerLink , Berlin : Springer  1 online resource (viii, 291 p.)
シリーズ名: Lecture Notes in Artificial Intelligence ; 3228
Lecture Notes in Computer Science ; 3228
SpringerLink Books Computer Science 2005 ;
2.

電子ブック
ＥＢ
2. Hybrid and Real-Time Systems : International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings. 1st ed. 1997
edited by Oded Maler
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997  X, 426 p.
シリーズ名: Lecture Notes in Computer Science ; 1201
目次情報:
3.

電子ブック
ＥＢ
3. Hybrid Systems II. 1st ed. 1995
edited by Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995  IX, 575 p.
シリーズ名: Lecture Notes in Computer Science ; 999
目次情報:
4.

電子ブック
ＥＢ
4. Hybrid Systems. 1st ed. 1993
edited by Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993  VIII, 476 p.
シリーズ名: Lecture Notes in Computer Science ; 736
目次情報:
5.

電子ブック
ＥＢ
5. Hybrid Systems: Computation and Control : Second International Workshop, HSCC'99, Berg en Dal, The Netherlands, March 29-31, 1999 Proceedings. 1st ed. 1999
edited by Frits W. Vaandrager, Jan H. van Schuppen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999  CCXCII, 282 p.
シリーズ名: Lecture Notes in Computer Science ; 1569
目次情報:
6.

電子ブック
ＥＢ
6. Automata, Languages and Programming : 29th International Colloquium, ICALP 2002, Malaga, Spain, July 8-13, 2002. Proceedings. 1st ed. 2002
edited by Peter Widmayer, Francisco Triguero, Rafael Morales, Matthew Hennessy, Stephan Eidenbenz, Ricardo Conejo
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002  XLII, 1072 p.
シリーズ名: Lecture Notes in Computer Science ; 2380
目次情報: 続きを見る
Invited Talks
Molecular Assembly and Computation: From Theory to Experimental Demonstrations / John H. Reif
Towards a Predictive Computational Complexity Theory / Madhav V. Marathe
Equivariant Syntax and Semantics / Andrew M. Pitts
L(A) = L(B)? Decidability Results from Complete Formal Systems / Géraud Sénizergues (Gödel Prize 2002)
Discrete Tomography: Reconstruction under Periodicity Constraints / Alberto Del Lungo ; Andrea Frosini ; Maurice Nivat ; Laurent Vuillon
Local and Global Methods in Data Mining: Basic Techniques and Open Problems / Heikki Mannila
Program Debugging and Validation Using Semantic Approximations and Partial Specifications / M. Hermenegildo ; G. Puebla ; F. Bueno ; P. López García
Best Papers
Inapproximability Results for Equations over Finite Groups / Lars Engebretsen ; Jonas Holmerin ; Alexander Russell
A Faster All-Pairs Shortest Path Algorithm for Real-Weighted Sparse Graphs / Seth Pettie
On Families of Graphs Having a Decidable First Order Theory with Reachability / Thomas Colcombet
Contributions
Heuristically Optimized Trade-Offs: A New Paradigm for Power Laws in the Internet / Alex Fabrikant ; Elias Koutsoupias ; Christos H. Papadimitriou
The Structure and Complexity of Nash Equilibria for a Selfish Routing Game / Dimitris Fotakis ; Spyros Kontogiannis ; Marios Mavronicolas ; Paul Spirakis
Control Message Aggregation in Group Communication Protocols / Sanjeev Khanna ; Joseph (Seffi) Naor ; Dan Raz
Church-Rosser Languages vs. UCFL / Tomasz Jurdziński ; Krzysztof Loryś
Intersection of Regular Languages and Star Hierarchy / Sebastian Bala
On the Construction of Reversible Automata for Reversible Languages / Sylvain Lombardy
Priority Queues, Pairing, and Adaptive Sorting / Amr Elmasry
Exponential Structures for Efficient Cache-Oblivious Algorithms / Michael A. Bender ; Richard Cole ; Rajeev Raman
Bounded-Depth Frege Systems with Counting Axioms Polynomially Simulate Nullstellensatz Refutations / Russell Impagliazzo ; Nathan Segerlind
On the Complexity of Resolution with Bounded Conjunctions / Juan Luis Esteban ; Nicola Galesi ; Jochen Messner
Cryptographic Hardness Based on the Decoding of Reed-Solomon Codes / Aggelos Kiayias ; Moti Yung
Perfect Constant-Round Secure Computation via Perfect Randomizing Polynomials / Yuval Ishai ; Eyal Kushilevitz
Exponential Lower Bound for Static Semi-algebraic Proofs / Dima Grigoriev ; Edward A. Hirsch ; Dmitrii V. Pasechnik
Paths Problems in Symmetric Logarithmic Space / Andreas Jakoby ; Maciej Liśkiewicz
Scheduling Search Procedures / Peter Damaschke
Removable Online Knapsack Problems / Kazuo Iwama ; Shiro Taketomi
New Bounds for Variable-Sized and Resource Augmented Online Bin Packing / Leah Epstein ; Steve Seiden ; Rob van Stee
The Quest for Small Universal Cellular Automata / Nicolas Ollinger
Hyperbolic Recognition by Graph Automata / Christophe Papazian ; Eric Rémila
Quantum and Stochastic Branching Programs of Bounded Width / Farid Ablayev ; Cristopher Moore ; Christopher Pollett
Spanning Trees with Bounded Number of Branch Vertices / Luisa Gargano ; Pavol Hell ; Ladislav Stacho ; Ugo Vaccaro
Energy Optimal Routing in Radio Networks Using Geometric Data Structures / René Beier ; Peter Sanders ; Naveen Sivadasan
Gossiping with Bounded Size Messages in ad hoc Radio Networks / Malin Christersson ; Leszek G&acedil;sieniec ; Andrzej Lingas
The Kolmogorov-Loveland Stochastic Sequences Are Not Closed under Selecting Subsequences / Wolfgang Merkle
The Nondeterministic Constraint Logic Model of Computation: Reductions and Applications / Robert A. Hearn ; Erik D. Demaine
Constraint Satisfaction Problems in Non-deterministic Logarithmic Space / Víctor Dalmau
Cache Oblivious Distribution Sweeping / Gerth Stølting Brodal ; Rolf Fagerberg
One-Probe Search / Anna Östlin ; Rasmus Pagh
New Algorithms for Subset Query, Partial Match, Orthogonal Range Searching, and Related Problems / Moses Charikar ; Piotr Indyk ; Rina Panigrahy
Measuring the Probabilistic Powerdomain / Keye Martin ; Michael Mislove ; James Worrell
Games Characterizing Levy-Longo Trees / C.-H.L. Ong ; P. Di Gianantonio
Comparing Functional Paradigms for Exact Real-Number Computation / Andrej Bauer ; Martín Hötzel Escardó ; Alex Simpson
Random Sampling from Boltzmann Principles / Philippe Duchon ; Philippe Flajolet ; Guy Louchard ; Gilles Schaeffer
On the Average Performance of Orthogonal Range Search in Multidimensional Data Structures / Amalia Duch ; Conrado Martínez
Bialgebraic Modelling of Timed Processes / Marco Kick
Testing Labelled Markov Processes / Franck van Breugel ; Steven Shalit
Why Computational Complexity Requires Stricter Martingales / John M. Hitchcock ; Jack H. Lutz
Correspondence Principles for Effective Dimensions
A Total Approach to Partial Algebraic Specification / José Meseguer ; Grigore Roşu
Axiomatising Divergence / Markus Lohrey ; Pedro R. D'Argenio ; Holger Hermanns
A Spatial Logic for Querying Graphs / Luca Cardelli ; Philippa Gardner ; Giorgio Ghelli
Improving Time Bounds on Maximum Generalised Flow Computations by Contracting the Network / Tomasz Radzik
Approximation Hardness of Bounded Degree MIN-CSP and MIN-BISECTION / Piotr Berman ; Marek Karpinski
Improved Bounds and New Trade-Offs for Dynamic All Pairs Shortest Paths / Camil Demetrescu ; Giuseppe F. Italiano
Synthesis of Uninitialized Systems / Thomas A. Henzinger ; Sriram C. Krishnan ; Orna Kupferman ; Freddy Y.C. Mang
Infinite-State High-Level MSCs: Model-Checking and Realizability / Blaise Genest ; Anca Muscholl ; Helmut Seidl ; Marc Zeitoun
Universal Inherence of Cycle-Free Context-Free Ambiguity Functions / Klaus Wich
Histogramming Data Streams with Fast Per-Item Processing / Sudipto Guha ; S. Muthukrishnan ; Martin J. Strauss
Finding Frequent Items in Data Streams / Kevin Chen ; Martin Farach-Colton
Symbolic Strategy Synthesis for Games on Pushdown Graphs / Thierry Cachat
Strong Bisimilarity and Regularity of Basic Process Algebra Is PSPACE-Hard / Jiří Srba
Solving the String Statistics Problem in Time <$>{\cal O}<$>(n log n) / Rune B. Lyngsø ; Christian N.S. Pedersen
A PTAS for Distinguishing (Sub)string Selection / Xiaotie Deng ; Guojun Li ; Zimao Li ; Bin Ma ; Lusheng Wang
On the Theory of One-Step Rewriting in Trace Monoids / Dietrich Kuske
Navigating with a Browser / Michail Bielecki ; Jan Hidders ; Jan Paredaens ; Jerzy Tyszkiewicz ; Jan Van den Bussche
Improved Results for Stackelberg Scheduling Strategies / V.S. Anil Kumar
Call Control in Rings / Udo Adamy ; Christoph Ambuehl ; R. Sai Anand ; Thomas Erlebach
Preemptive Scheduling in Overloaded Systems / Marek Chrobak ; John Noga ; Jiří Sgall ; Tomáš Tichý ; Nodari Vakhania
The Equivalence Problem of Finite Substitutions on ab*c, with Applications / J. Karhumäki ; L.P. Lisovik
Deciding DPDA Equivalence Is Primitive Recursive / Colin Stirling
Two-Way Alternating Automata and Finite Models / Mikolaj Bojańczyk
Approximating Huffman Codes in Parallel / Yakov Nekrich
Seamless Integration of Parallelism and Memory Hierarchy / Carlo Fantozzi ; Andrea Pietracaprina ; Geppino Pucci
The Communication Complexity of Approximate Set Packing and Covering / Noam Nisan
Antirandomizing the Wrong Game / Benjamin Doerr
Fast Universalization of Investment Strategies with Provably Good Relative Returns / Karhan Akcoglu ; Petros Drineas ; Ming-Yang Kao
Randomized Pursuit-Evasion in Graphs / Micah Adler ; Harald Räcke ; Christian Sohler ; Berthold Vöcking
The Essence of Principal Typings / J. B. Wells
Complete and Tractable Local Linear Time Temporal Logics over Traces / Bharat Adsul ; Milind Sohoni
An Elementary Expressively Complete Temporal Logic for Mazurkiewicz Traces / Paul Gastin ; Madhavan Mukund
Random Numbers and an Incomplete Immune Recursive Set / Vasco Brattka
A Banach-Mazur Computable But Not Markov Computable Function on the Computable Real Numbers / Peter Hertling
Polynomial-Time Approximation Schemes for the Euclidean Survivable Network Design Problem / Artur Czumaj ; Hairong Zhao
Finding a Path of Superlogarithmic Length / Andreas Björklund ; Thore Husfeldt
Linear Time Algorithms on Chordal Bipartite and Strongly Chordal Graphs / Ryuhei Uehara
Improved Inapproximability Results for Vertex Cover on k-Uniform Hypergraphs
Efficient Testing of Hypergraphs / Yoshiharu Kohayakawa ; Brendan Nagle ; Vojtěch Rödl
Optimal Net Surface Problems with Applications / Xiaodong Wu ; Danny Z. Chen
Wagner's Theorem on Realizers / Nicolas Bonichon ; Bertrand Le Saëc ; Mohamed Mosbah
Circular Arrangements / Vincenzo Liberatore
Author Index
Invited Talks
Molecular Assembly and Computation: From Theory to Experimental Demonstrations / John H. Reif
Towards a Predictive Computational Complexity Theory / Madhav V. Marathe
7.

電子ブック
ＥＢ
7. The Quintessential PIC® Microcontroller. 2nd ed. 2005
by Sid Katzen
出版情報: London : Springer London, 2005  XII, 567 p.
シリーズ名: Computer Communications and Networks ;
目次情報: 続きを見る
Preface to the Second Edition
Preface to the First Edition
The Fundamentals / Part I：
Digital Representation / 1：
Logic Circuitry / 2：
Stored Program Processing / 3：
The Software / Part II：
The PIC16F84 Microcontroller / 4：
The Instruction Set / 5：
Subroutines and Modules / 6：
Interrupt Handling / 7：
Assembly Language Code Building Tools / 8：
High-Level Language / 9：
The Outside World / Part III：
The Real World / 10：
One Byte at a Time / 11：
One Bit at a Time / 12：
Time Is of the Essence / 13：
Take the Rough with the Smooth / 14：
To Have and to Hold / 15：
Enhancing the Family / 16：
A Case Study / 17：
Appendices
Acronyms and Abbreviations / A：
Special-Purpose Register Structure for the PIC16F87XA / B：
C Instruction Set / C：
Index
Preface to the Second Edition
Preface to the First Edition
The Fundamentals / Part I：
8.

電子ブック
ＥＢ
8. System Modeling and Optimization : Proceedings of the 21st IFIP TC7 Conference held in July 21st - 25th, 2003, Sophia Antipolis, France. 1st ed. 2005
edited by John Cagnol, Jean Paul Zolesio
出版情報: New York, NY : Springer US, 2005  XV, 306 p.
シリーズ名: IFIP Advances in Information and Communication Technology ; 166
目次情報: 続きを見る
Foreword
Organizing Institutions
Contributing Authors
Toward a Mathematical Theory of Aeroelasticity
Uniform Cusp Property, Boundary Integral, and Compactness for Shape Optimization
Interior and Boundary Stabilization of Navier-Stokes Equations
Matrix Rounding with Application to Digital Halftoning -Nonlinear Programming: Algorithms, Software, and Applications -Stochastic Modeling and Optimization of Complex Infrastructure Systems
Feedback Robust Control for a Parabolic Variational Inequality
Tracking Control of Parabolic Systems-Modeling of Topology Variations in Elasticity
Factorization by Invariant Embedding of Elliptic Problems in a Circular Domain
On Identifiability of Linear Infinite-Dimensional Systems
An Inverse Problem For the Telegraph Equation Solvability and Numerical Solution of Variational Data Assimilation Problems
Existence of Solutions to Evolution Second Order Hemivariational Inequalities with Multivalued Damping
Probabilistic Investigation on Dynamic Response of Deck Slabs of Highway Bridges
Optimal Maintenance for Bridge Considering Earthquake Effects
Uniform Decay Rates of Solutions to a Nonlinear Wave Equation with Boundary Condition of Memory Type
Bayesian Deconvolution of Functions in RKHS using MCMC Techniques
Modeling Stochastic Hybrid Systems
Mathematical Models and State Observation of the Glucose-Insulin Homeostasis
Convergence Estimates of POD-Galerkin Methods for Parabolic Problems
Foreword
Organizing Institutions
Contributing Authors
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼