close
1.

図書

図書
Maciej Liśkiewicz, Rüdiger Reischuk (eds.)
出版情報: Berlin ; Heidelberg : Springer, c2005  xv, 576 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3623
所蔵情報: loading…
2.

図書

図書
Gabriel Ciobanu, Gheorghe Păun (eds.)
出版情報: Berlin ; Tokyo : Springer, c1999  xi, 570 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1684
所蔵情報: loading…
目次情報: 続きを見る
Invited Lectures
Randomized Complexity of Linear Arrangements and Polyhedra / M. Karpinski
Tile Transition Systems as Structured Coalgebras / A. Corradini ; R. Heckel ; U. Montanari
Caesar and DNA. Views on Cryptology / A. Salomaa
Automata and Their Interaction: Definitional Suggestions / B.A. Trakhtenbrot
Axiomatising Asynchronous Process Calculi / M. Hennessy
Technical Contributions
A Polynomial Time Approximation Scheme for Dense Min 2Sat / C. Bazgan ; W. Fernandez de la Vega
Decidable Classes of the Verification Problem in a Timed Predicate Logic / D. Beauquier ; A. Slissenko
Interpretations of Extensible Objects and Types / V. Bono ; M. Bugliesi
Restrictive Acceptance Suffices for Equivalence Problems / B. Borchert ; L.A. Hemaspaandra ; J. Rothe
Grammar Systems as Language Analyzers and Recursively Enumerable Languages / H. Bordihn ; J. Dassow ; G. Vaszil
An Interpretation of Extensible Objects / G. Boudol ; S. Dal-Zilio
Modeling Operating Systems Schedulers with Multi-Stack-Queue Grammars / L. Breveglieri ; S. Crespi Reghizzi ; A. Cherubini
Iterative Arrays with a Wee Bit Alternation / T. Buchholz ; A. Klein ; M. Kutrib
Secret Sharing Schemes with Detection of Cheaters for a General Access Structure / S. Cabello ; C. Padró ; G. Saez
Constructive Notes on Uniform and Locally Convex Spaces / L. Dediu ; D. Bridges
Graph Automorphisms with Maximal Projection Distances / H.N. de Ridder ; H.L. Bodlaender
Kleene Theorems for Event-Clock Automata / C. Dima
Strong Iteration Lemmata for Regular, Linear, Context-Free, and Linear Indexed Languages / P. Dömösi ; M. Kudlek
Exponential Output Size of Top-Down Tree Transducers / F. Drewes
On Recognizable Languages in Divisibility Monoids / M. Droste ; D. Kuske
Expressiveness of Point-to-Point versus Broadcast Communications / C. Ene ; T. Muntean
On Relative Loss Bounds in Generalized Linear Regression / J. Forster
Generalized P-Systems / R. Freund
Optimal, Distributed Decision-Making: The Case of No Communication / S. Georgiades ; M. Mavronicolas ; P. Spirakis
Generalized PCP Is Decidable for Marked Morphisms / V. Halava ; T. Harju ; M. Hirvensalo
On Time-Constructible Functions in One-Dimensional Cellular Automata / C. Iwamoto ; T. Hatsuyama ; K. Morita ; K. Imai
Dichotomy Theorem for the Generalized Unique Satisfiability Problem / L. Juban
A General Categorical Connection between Local Event Structures and Local Traces / H.C.M. Kleijn ; R. Morin ; B. Rozoy
Correct Translation of Mutually Recursive Function Systems into TOL Collage Grammars / R. Klempien-Hinrichs ; H.-J. Kreowski ; S. Taubenberger
Synchronized Product of Linear Bounded Machines / T. Knapik ; É. Payet
On Maximal Repetitions in Words / R. Kolpakov ; G. Kucherov
Axiomatization of the Coherence Property for Categories of Symmetries / D. Lucanu
Sewing Grammars / C. Martin-Vide ; A. Mateescu
State and Transition Complexity of Watson-Crick Finite Automata / A. Păun ; M. Păun
A Confluence Result for a Typed λ-Calculus of Exception Handling with Fixed-Point / C. Piliere
δ-Uniformly Decidable Sets / Turing Machines ; A. Popovici ; D. Popovici
A Parallel Context-Free Derivation Hierarchy / K. Reinhardt
Generalized Synchronization Languages / I. Ryl ; Y. Roos ; M. Clerbout
A Generalization of Dijkstra's Calculus to Typed Program Specifications / K.-D. Schewe ; B. Thalheim
Homomorphisms and Concurrent Term Rewriting / F. Seynhaeve ; S. Tison ; M. Tommasi
On Two-Sided Infinite Fixed Points of Morphisms / J. Shallit ; M.-w. Wang
Tiling Multi-dimensional Arrays / J.P. Sharp
Modeling Interaction by Sheaves and Geometric Logic / V. Sofronie-Stokkermans ; K. Stokkermans
The Operators minCh and maxCh on the Polynomial Hierarchy / H. Spakowski ; J. Vogel
The Kolmogorov Complexity of Real Numbers / L. Staiger
A Partial Order Method for the Verification of Time Petri Nets / I. Virbitskaite ; E. Pokozy
Deriving Formulas for Domination Numbers of Fasciagraphs and Rotagraphs / J. Äerovnik
Author Index
Invited Lectures
Randomized Complexity of Linear Arrangements and Polyhedra / M. Karpinski
Tile Transition Systems as Structured Coalgebras / A. Corradini ; R. Heckel ; U. Montanari
3.

図書

図書
Andrzej Lingas, Bengt J. Nilsson (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xii, 431 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2751
所蔵情報: loading…
4.

図書

図書
Rūsin̦š Freivalds (ed.)
出版情報: Berlin ; Tokyo : Springer, c2001  xiii, 542 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2138
所蔵情報: loading…
5.

図書

図書
Bogdan S. Chlebus, Ludwik Czaja (eds.)
出版情報: Berlin ; Tokyo : Springer, c1997  xi, 474 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1279
所蔵情報: loading…
6.

図書

図書
Horst Reichel (ed.)
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1995  ix, 433 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 965
所蔵情報: loading…
7.

図書

図書
edited by Marek Karpiński
出版情報: Berlin ; New York : Springer-Verlag, 1977  xi, 542 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 56
所蔵情報: loading…
8.

図書

図書
edited by Ferenc Gécseg
出版情報: Berlin : Springer-Verlag, 1981  x, 471 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 117
所蔵情報: loading…
9.

図書

図書
L. Budach, R.G. Bukharajev, O.B. Lupanov (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  xiv, 505 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 278
所蔵情報: loading…
10.

図書

図書
J. Csirik, J. Demetrovics, F. Gécseg (eds.)
出版情報: New York ; Tokyo : Springer-Verlag, c1989  xi, 493 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 380
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼