close
1.

電子ブック

EB
Hugh Richard Slotten, editor in chief
出版情報: [Oxford] : Oxford University Press, 2015  1 online resource
所蔵情報: loading…
2.

電子ブック

EB
Richard N. Porter
出版情報: [Singapore] : World Scientific, [202-]  1 online resource (xv, 284 p.)
所蔵情報: loading…
3.

電子ブック

EB
edited by R. E. Shostak
出版情報:   VIII, 509 p.
シリーズ名: Lecture Notes in Computer Science ; 170
所蔵情報: loading…
目次情報:
4.

電子ブック

EB
edited by John H. Reif
出版情報:   XII, 480 p.
シリーズ名: Lecture Notes in Computer Science ; 319
所蔵情報: loading…
目次情報: 続きを見る
Corfu, Greece, June 28 - July 1 / 88:
Proceedings / 1988:
Parallel Set and Graph Algorithms
NC Algorithms
Parallel Tree Contraction
Simulation and Embedding of Parallel Networks
Compaction and Channel Routing
VLSI Layout
VLSI Testing and Derivation
Distributed Computing
Parallel Routing and Sorting
Late Paper
Corfu, Greece, June 28 - July 1 / 88:
Proceedings / 1988:
Parallel Set and Graph Algorithms
5.

電子ブック

EB
by Bruce R. Donald
出版情報:   XXIV, 315 p. 94 illus.
シリーズ名: Lecture Notes in Computer Science ; 336
所蔵情報: loading…
目次情報:
6.

電子ブック

EB
edited by Pierre Deransart, Bernard Lorho, Jan Maluszynski
出版情報:   VIII, 308 p.
シリーズ名: 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.
7.

電子ブック

EB
by Wolfgang Bibel, A.W. Biermann, J.P. Delgrande, G. Huet, Philippe Jorrand, J. Mylopoulos, E. Shapiro, M.E. Stickel ; edited by Wolfgang Bibel, Philippe Jorrand
出版情報:   VII, 314 p.
シリーズ名: Lecture Notes in Computer Science ; 232
所蔵情報: loading…
目次情報:
8.

電子ブック

EB
edited by M. Joseph, R. Shyamasundar
出版情報:   X, 470 p.
シリーズ名: Lecture Notes in Computer Science ; 181
所蔵情報: loading…
目次情報:
9.

電子ブック

EB
edited by Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simonetta Ronchi Della Rocca
出版情報:   XIV, 790 p.
シリーズ名: Lecture Notes in Computer Science ; 372
所蔵情報: loading…
目次情報:
10.

電子ブック

EB
edited by James H. Davenport
出版情報:   VIII, 500 p.
シリーズ名: Lecture Notes in Computer Science ; 378
所蔵情報: loading…
目次情報:
11.

電子ブック

EB
edited by Hartmut Ehrig, Horst Herrlich, Hans-Jörg Kreowski, Gerhard Preuß
出版情報:   VI, 354 p.
シリーズ名: Lecture Notes in Computer Science ; 393
所蔵情報: loading…
目次情報:
12.

電子ブック

EB
by David Hutchison, Takeo Kanade, Josef Kittler, Jon Kleinberg, Alfred Kobsa, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar M. Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Sudan Madhu, Demetri Terzopoulos, J. Doug Tygar, Gerhard Weikum
出版情報:   IX, 333 p.
シリーズ名: Lecture Notes in Computer Science ; 155
所蔵情報: loading…
目次情報:
13.

電子ブック

EB
edited by Jaques Calmet
出版情報:   VII, 417 p.
シリーズ名: Lecture Notes in Computer Science ; 229
所蔵情報: loading…
目次情報:
14.

電子ブック

EB
by M.J. Flynn, J.N. Gray, A.K. Jones, K. Lagally, H. Opderbeck, G.J. Popek, B. Randell, J.H. Saltzer, H.R. Wiehle ; edited by R. Bayer, R.M. Graham, G. Seegmüller
出版情報:   X, 595 p.
シリーズ名: Lecture Notes in Computer Science ; 60
所蔵情報: loading…
目次情報:
15.

電子ブック

EB
edited by Eddy Odijk, Martin Rem, Jean-Claude Syre
出版情報:   XVI, 444 p.
シリーズ名: Lecture Notes in Computer Science ; 366
所蔵情報: loading…
目次情報:
16.

電子ブック

EB
edited by R. Nakajima, T. Yuasa
出版情報:   IX, 217 p.
シリーズ名: Lecture Notes in Computer Science ; 160
所蔵情報: loading…
目次情報:
17.

電子ブック

EB
edited by Jacobus W. De Bakker, Willem-Paul De Roever, Grzegorz Rozenberg
出版情報:   XIV, 718 p.
シリーズ名: Lecture Notes in Computer Science ; 224
所蔵情報: loading…
目次情報:
18.

電子ブック

EB
edited by Frank Dehne, Jörg-Rüdiger Sack, Nicola Santoro
出版情報:   VI, 244 p.
シリーズ名: Lecture Notes in Computer Science ; 382
所蔵情報: loading…
目次情報:
19.

電子ブック

EB
by D.W. Davies, E. Holler, E.D. Jensen, S.R. Kimbleton, B.W. Lampson, G. LeLann, K.J. Thurber, R.W. Watson ; edited by B. W. Lampson, M. Paul, H. J. Siegert
出版情報:   XIII, 510 p.
シリーズ名: Lecture Notes in Computer Science ; 105
所蔵情報: loading…
目次情報:
20.

電子ブック

EB
edited by D. W. Loveland
出版情報:   VII, 389 p.
シリーズ名: Lecture Notes in Computer Science ; 138
所蔵情報: loading…
目次情報:
21.

電子ブック

EB
by Björn Lisper
出版情報:   X, 266 p.
シリーズ名: Lecture Notes in Computer Science ; 362
所蔵情報: loading…
目次情報:
22.

電子ブック

EB
edited by Stein Gjessing, Kristen Nygaard
出版情報:   X, 414 p.
シリーズ名: Lecture Notes in Computer Science ; 322
所蔵情報: loading…
目次情報: 続きを見る
What Object-Oiented Programming May Be - and What It Does Not Have to Be / O. Lehrmann Madsen ; B. Moller-Pedersen
Teaching Object-Oriented Programming Is More Than Teaching Object-Oriented Programming Languages / J. Lindskov Knudsen
The Mj0mer Environment: Direct Interaction with Abstractions / G. Hedin ; B. Magnusson
Inheritance as an Incremental Modification Mechanism or What Like Is and Isn't Like / P. Wegner ; S.B. Zdonik
GSBL: An Algebraic Specification Language Based on Inheritance / S. Clerici ; F. Orejas
Name Collision in Multiple Classification Hierarchies
Relexive Architecture: From ObjVLisp to CLOS / N. Graube
Nesting in an Object-Oriented Language is NOT for the Birds / P.A. Buhr ; C.R. Zarnke
An Object-Oriented Exception Handling System for an Object-Oriented Language / C. Dony
On the Darker Side of C++ / M. Sakkinen
Prototyping an Interactive Electronic Book System Using an Object-Oriented Approach / J. Pasquier-Boltuck ; E. Grossman ; G. Collaud
SCOOP, Structured Concurrent Object-Oriented Prolog / J. Vaucher ; G. Lapalme ; J. Malenfant
The Implementation of a Distributed Smalltalk / M. Schelvis ; E. Bledoeg
Implementing Concurrency Control in Reliable Distibuted Object-Oriented Systems / G.D. Parrington ; S.K. Shrivastava
An Implementation of an Operating System Kernel Using Concurrent Object-Oriented Language ABCL/c+ / N. Doi ; Y. Kodama ; K. Hirose
Debugging Concurrent Systems Based on Object Groups / Y. Honda ; A. Yonezawa
Fitting Round Objects Into Square Databases (invited paper) / D.C. Tsichritzis ; O.M. Nierstrasz
Database Concepts Discussed in an Object-Oiented Perspective / Y. Lindsjorn ; D. Sjoberg
Object-Oriented Programming and Computeised Shared Mateial / P. Sorgaard
Asynchronous Data Retrieval from an Object-Oiented Database / J.P. Gilbert ; L. Bic
An Overview of OOPS+, An Object-Oriented Database Programming Language / E. Laenens ; D. Vermeir
PCLOS: A Flexible Implementation of CLOS Persistence / A. Paepcke
A Shared, Persistent Object Store / C. Low
What Object-Oiented Programming May Be - and What It Does Not Have to Be / O. Lehrmann Madsen ; B. Moller-Pedersen
Teaching Object-Oriented Programming Is More Than Teaching Object-Oriented Programming Languages / J. Lindskov Knudsen
The Mj0mer Environment: Direct Interaction with Abstractions / G. Hedin ; B. Magnusson
23.

電子ブック

EB
edited by Bernadette Bouchon, Ronald R. Yager
出版情報:   VIII, 412 p.
シリーズ名: Lecture Notes in Computer Science ; 286
所蔵情報: loading…
目次情報: 続きを見る
Preliminary Papers
Approaches to Uncertainty
Applications
Information Theoretic Approach
Preliminary Papers
Approaches to Uncertainty
Applications
24.

電子ブック

EB
edited by Marc Gyssens, Jan Paredaens, Dirk Van Gucht
出版情報:   VIII, 412 p.
シリーズ名: Lecture Notes in Computer Science ; 326
所蔵情報: loading…
目次情報: 続きを見る
Contents: Invited Lectures.
Logic and Deductive Databases.
Complexity and Optimization.
Object Oriented Databases.
Data Models and Query Languages.
Dynamic Aspects of Databases.
Miscellaneous Topics.
Contents: Invited Lectures.
Logic and Deductive Databases.
Complexity and Optimization.
25.

電子ブック

EB
edited by Bruno Buchberger
出版情報:   VIII, 236 p.
シリーズ名: Lecture Notes in Computer Science ; 203
所蔵情報: loading…
目次情報:
26.

電子ブック

EB
by K. Jensen, N. Wirth
出版情報:   XI, 170 p.
シリーズ名: Lecture Notes in Computer Science ; 18
所蔵情報: loading…
27.

電子ブック

EB
edited by Eiichi Goto, Keijiro Araki, Taiichi Yuasa
出版情報:   XIV, 330 p.
シリーズ名: Lecture Notes in Computer Science ; 220
所蔵情報: loading…
目次情報:
28.

電子ブック

EB
edited by A. Nico Habermann, Ugo Montanari
出版情報:   VIII, 308 p.
シリーズ名: Lecture Notes in Computer Science ; 275
所蔵情報: loading…
目次情報: 続きを見る
The PCTE Initiative: Toward a European Approach to Software Engineering
Engineering VAX Ada for a Multi-Language Programming Environment
The Ada Environment - A Personal View
Knowledge-Based Software Development from Requirements to Code
The SMoLCS Approach to the Formal Semantics of Programming Languages - A Tutorial Introduction
Project Graphs and Meta-Programs
Towards a Theory of Software Development
Software Development Based on Formal Methods
Integration of Program Construction and Verification: The PROSPECTRA Methodology
Ada Compiler Validation: An Example of Software Testing Theory and Practice
The Software Engineering Institute at Carnegie-Mellon University
Task Sequencing Language for Specifying Distributed Ada Systems
The PCTE Initiative: Toward a European Approach to Software Engineering
Engineering VAX Ada for a Multi-Language Programming Environment
The Ada Environment - A Personal View
29.

電子ブック

EB
edited by Feng Tse-Yun
出版情報:   VI, 433 p.
シリーズ名: Lecture Notes in Computer Science ; 24
所蔵情報: loading…
目次情報:
30.

電子ブック

EB
by Andrzej Skowron
出版情報:   X, 402 p.
シリーズ名: Lecture Notes in Computer Science ; 208
所蔵情報: loading…
目次情報:
31.

電子ブック

EB
von Dirk Siefkes
出版情報:   IX, 751 S.
シリーズ名: Lecture Notes in Computer Science ; 26
所蔵情報: loading…
32.

電子ブック

EB
von Wilfried Brauer
出版情報:   XI, 509 S.
シリーズ名: Lecture Notes in Computer Science ; 1
所蔵情報: loading…
33.

電子ブック

EB
edited by Guy Cousineau, Pierre-Louis Curien, Bernard Robinet
出版情報:   VIII, 212 p.
シリーズ名: Lecture Notes in Computer Science ; 242
所蔵情報: loading…
目次情報:
34.

電子ブック

EB
edited by Jan van Leeuwen
出版情報:   VII, 432 p.
シリーズ名: Lecture Notes in Computer Science ; 312
所蔵情報: loading…
目次情報:
35.

電子ブック

EB
by M.W. Alford, J.P. Ansart, G. Hommel, L. Lamport, B. Liskov, G.P. Mullery, F.B. Schneider ; edited by Manfred Paul, H.J. Siegert
出版情報:   VIII, 576 p.
シリーズ名: Lecture Notes in Computer Science ; 190
所蔵情報: loading…
目次情報:
36.

電子ブック

EB
edited by Conjeevaram E. Veni Madhavan
出版情報:   VIII, 341 p.
シリーズ名: Lecture Notes in Computer Science ; 405
所蔵情報: loading…
目次情報:
37.

電子ブック

EB
edited by E. Astesiano, C. Böhm
出版情報:   VI, 365 p.
シリーズ名: Lecture Notes in Computer Science ; 112
所蔵情報: loading…
目次情報:
38.

電子ブック

EB
edited by Carl Pomerance
出版情報:   X, 466 p.
シリーズ名: Lecture Notes in Computer Science ; 293
所蔵情報: loading…
目次情報:
39.

電子ブック

EB
edited by Klaus P. Jantke
出版情報:   IX, 338 p.
シリーズ名: Lecture Notes in Artificial Intelligence ; 397
所蔵情報: loading…
目次情報:
40.

電子ブック

EB
herausgegeben von P. Deussen
出版情報:   X, 266 p.
シリーズ名: Lecture Notes in Computer Science ; 104
所蔵情報: loading…
目次情報:
41.

電子ブック

EB
by F.L. Bauer, F.L. DeRemer, A.P. Ershov, D. Gries, M. Griffiths, U. Hill, J.J. Horning, C.H.A. Koster, W.M. McKeeman, P.C. Poole, W.M. Waite ; edited by F. L. Bauer, J. Eickel
出版情報:   XIV, 638 p.
シリーズ名: Lecture Notes in Computer Science ; 21
所蔵情報: loading…
42.

電子ブック

EB
by A. C. Hartmann
出版情報:   VIII, 124 p.
シリーズ名: Lecture Notes in Computer Science ; 50
所蔵情報: loading…
目次情報:
43.

電子ブック

EB
edited by Joseph H. Fasel, Robert M. Keller
出版情報:   XVI, 450 p.
シリーズ名: Lecture Notes in Computer Science ; 279
所蔵情報: loading…
目次情報: 続きを見る
Graph Reduction on Existing Architectures
Graph Reduction Architectures
Resource Control Issues
Performance Modelling and Simulation
Arrays
Relationship to Logic Progamming
Graph Reduction on Existing Architectures
Graph Reduction Architectures
Resource Control Issues
44.

電子ブック

EB
edited by V. Claus, H. Ehrig, G. Rozenberg
出版情報:   X, 486 p.
シリーズ名: Lecture Notes in Computer Science ; 73
所蔵情報: loading…
目次情報:
45.

電子ブック

EB
edited by Robin E. Bloomfield, Lynn S. Marshall, Roger B. Jones
出版情報:   XII, 504 p.
シリーズ名: Lecture Notes in Computer Science ; 328
所蔵情報: loading…
目次情報:
46.

電子ブック

EB
edited by Tosiyasu Kunii
出版情報:   IX, 308 p.
シリーズ名: Lecture Notes in Computer Science ; 163
所蔵情報: loading…
目次情報:
47.

電子ブック

EB
edited by Maurizio Rafanelli, John C. Klensin, Per Svensson
出版情報:   XIV, 458 p.
シリーズ名: Lecture Notes in Computer Science ; 339
所蔵情報: loading…
目次情報:
48.

電子ブック

EB
edited by Jacobus W. de Bakker, Willem-Paul de Roever, Grzegorz Rozenberg
出版情報:   X, 718 p.
シリーズ名: Lecture Notes in Computer Science ; 354
所蔵情報: loading…
目次情報:
49.

電子ブック

EB
by David C. Luckham, Friedrich W. von Henke, Bernd Krieg-Brueckner, Olaf Owe
出版情報:   V, 148 p.
シリーズ名: Lecture Notes in Computer Science ; 260
所蔵情報: loading…
目次情報:
50.

電子ブック

EB
by Alan Burns, Andrew M. Lister, Andrew J. Wellings
出版情報:   X, 146 p.
シリーズ名: Lecture Notes in Computer Science ; 262
所蔵情報: loading…
目次情報:
51.

電子ブック

EB
by Manfred Schmidt-Schauß
出版情報:   X, 174 p.
シリーズ名: Lecture Notes in Artificial Intelligence ; 395
所蔵情報: loading…
目次情報:
52.

電子ブック

EB
herausgegeben von K. Brunnstein, K. Haefner, W. Händler
出版情報:   X, 424 S.
シリーズ名: Lecture Notes in Computer Science ; 17
所蔵情報: loading…
目次情報:
53.

電子ブック

EB
edited by Wilfried Brauer, Wolfgang Reisig, Grzegorz Rozenberg
出版情報:   X, 519 p.
シリーズ名: Lecture Notes in Computer Science ; 255
所蔵情報: loading…
目次情報:
54.

電子ブック

EB
edited by Jan L.A. van de Snepscheut
出版情報:   XII, 428 p.
シリーズ名: Lecture Notes in Computer Science ; 375
所蔵情報: loading…
目次情報:
55.

電子ブック

EB
edited by Grzegorz Rozenberg
出版情報:   VI, 440 p.
シリーズ名: Lecture Notes in Computer Science ; 340
所蔵情報: loading…
目次情報:
56.

電子ブック

EB
edited by C. Choffrut
出版情報:   VII, 130 p.
シリーズ名: Lecture Notes in Computer Science ; 316
所蔵情報: loading…
目次情報: 続きを見る
An Introduction to Automata Network Theory / P. Schupp
Arrays, Automata and Groups: Some Interconnections / D. Perrin
Local Maps / E. Goles
Threshold Networks and Generalizations / M. Tchuente
Computation on Finite Networks of Automata / Y. Robert
Systolic Algorithms for Path-Finding Problems / J. Mazoyer
An Overview of the Firing Squad Synchronization Problem / F. Fogelman SouliF
Representation of Knowledge and Learning on Automata Networks / G. Weisbuch
Random Boolean Nets and Disordered Systems
An Introduction to Automata Network Theory / P. Schupp
Arrays, Automata and Groups: Some Interconnections / D. Perrin
Local Maps / E. Goles
57.

電子ブック

EB
edited by Haran Boral, Pascal Faudemay
出版情報:   VIII, 392 p.
シリーズ名: Lecture Notes in Computer Science ; 368
所蔵情報: loading…
目次情報:
58.

電子ブック

EB
edited by Gerard Cohen, Philippe Godlewski
出版情報:   XVI, 200 p.
シリーズ名: Lecture Notes in Computer Science ; 311
所蔵情報: loading…
目次情報:
59.

電子ブック

EB
by Mark S. Sherman
出版情報:   XVI, 368 p.
シリーズ名: Lecture Notes in Computer Science ; 189
所蔵情報: loading…
目次情報:
60.

電子ブック

EB
by F.L. Bauer, E.W. Dijkstra, S.L. Gerhart, D. Gries, M. Griffiths, J. V. Guttag, J. J. Horning, S. S. Owicki, C. Pair, H. Partsch, P. Pepper, M. Wirsing, H. Wössner ; edited by F.L. Bauer, M. Broy
出版情報:   X, 654 p.
シリーズ名: Lecture Notes in Computer Science ; 69
所蔵情報: loading…
目次情報:
61.

電子ブック

EB
by J. Engelfriet
出版情報:   X, 258 p.
シリーズ名: Lecture Notes in Computer Science ; 20
所蔵情報: loading…
62.

電子ブック

EB
edited by K. Mehlhorn
出版情報:   VII, 375 p.
シリーズ名: Lecture Notes in Computer Science ; 182
所蔵情報: loading…
目次情報:
63.

電子ブック

EB
edited by Wolfgang Bibel, R. Kowalski
出版情報:   VIII, 388 p.
シリーズ名: Lecture Notes in Computer Science ; 87
所蔵情報: loading…
目次情報:
64.

電子ブック

EB
edited by Jean-Daniel Boissonnat, Jean-Paul Laumond
出版情報:   VI, 415 p.
シリーズ名: Lecture Notes in Computer Science ; 391
所蔵情報: loading…
目次情報:
65.

電子ブック

EB
edited by E. Engeler
出版情報:   VII, 245 p.
シリーズ名: Lecture Notes in Computer Science ; 125
所蔵情報: loading…
目次情報:
66.

電子ブック

EB
edited by Alica Kelemenova, Jozef Kelemen
出版情報:   VIII, 220 p.
シリーズ名: Lecture Notes in Computer Science ; 281
所蔵情報: loading…
目次情報:
67.

電子ブック

EB
edited by Alan L. Selman
出版情報:   VIII, 404 p.
シリーズ名: Lecture Notes in Computer Science ; 223
所蔵情報: loading…
目次情報:
68.

電子ブック

EB
edited by J. A. van Hulzen
出版情報:   XIII, 306 p.
シリーズ名: Lecture Notes in Computer Science ; 162
所蔵情報: loading…
目次情報:
69.

電子ブック

EB
edited by Klaus P. Jantke
出版情報:   VIII, 232 p.
シリーズ名: Lecture Notes in Computer Science ; 265
所蔵情報: loading…
目次情報:
70.

電子ブック

EB
edited by W. Brauer
出版情報:   XVI, 540 p.
シリーズ名: Lecture Notes in Computer Science ; 84
所蔵情報: loading…
目次情報:
71.

電子ブック

EB
by J.L. Peterson
出版情報:   IX, 215 p.
シリーズ名: Lecture Notes in Computer Science ; 96
所蔵情報: loading…
72.

電子ブック

EB
edited by Patrizia Gianni
出版情報:   XII, 488 p.
シリーズ名: Lecture Notes in Computer Science ; 358
所蔵情報: loading…
目次情報:
73.

電子ブック

EB
by Kathleen Jensen, Niklaus Wirth
出版情報:   VI, 169 p. 1 illus.
シリーズ名: Lecture Notes in Computer Science ; 18
所蔵情報: loading…
目次情報:
74.

電子ブック

EB
edited by Rohit Parikh
出版情報:   VIII, 428 p.
シリーズ名: Lecture Notes in Computer Science ; 193
所蔵情報: loading…
目次情報:
75.

電子ブック

EB
herausgegeben von J. Loeckx
出版情報:   619 p.
シリーズ名: Lecture Notes in Computer Science ; 14
所蔵情報: loading…
目次情報:
76.

電子ブック

EB
by Carlos Delgado Kloos
出版情報:   X, 124 p.
シリーズ名: Lecture Notes in Computer Science ; 285
所蔵情報: loading…
目次情報:
77.

電子ブック

EB
edited by Gerrit A. van Zee, Johannes G.G. van de Vorst
出版情報:   X, 142 p.
シリーズ名: Lecture Notes in Computer Science ; 384
所蔵情報: loading…
目次情報:
78.

電子ブック

EB
by Benjamin Benninghofen, Susanne Kemmerich, Michael M. Richter
出版情報:   XII, 272 p.
シリーズ名: Lecture Notes in Computer Science ; 277
所蔵情報: loading…
目次情報: 続きを見る
Finite Sets of Reductions
Infinite Sets of Reductions
Automata and Reductions
Deciding Algebraic Properties of Finitely Presented Monoids by Friedrich Otto
References
Subject Index
List of Symbols and Abbreviations
Finite Sets of Reductions
Infinite Sets of Reductions
Automata and Reductions
79.

電子ブック

EB
by Job Zwiers
出版情報:   VIII, 276 p.
シリーズ名: Lecture Notes in Computer Science ; 321
所蔵情報: loading…
目次情報: 続きを見る
Contents: Introduction.
The languages DNP and TNP.
The semantics for TNP.
Correctness formulae.
Proof systems for TNP.
Completeness.
The Hoare and Invariant systems.
References.
Contents: Introduction.
The languages DNP and TNP.
The semantics for TNP.
80.

電子ブック

EB
edited by Andreas Albrecht, Hermann Jung, Kurt Mehlhorn
出版情報:   IX, 200 p.
シリーズ名: Lecture Notes in Computer Science ; 269
所蔵情報: loading…
目次情報:
81.

電子ブック

EB
by David M. Sandford
出版情報:   XI, 242 p.
シリーズ名: Lecture Notes in Computer Science ; 90
所蔵情報: loading…
目次情報:
82.

電子ブック

EB
edited by Albert R. Meyer, Michael A. Taitslin
出版情報:   XII, 292 p.
シリーズ名: Lecture Notes in Computer Science ; 363
所蔵情報: loading…
目次情報:
83.

電子ブック

EB
edited by D. Hutchison, J.A. Mariani, W.D. Shepherd
出版情報:   VIII, 497 p.
シリーズ名: Lecture Notes in Computer Science ; 184
所蔵情報: loading…
目次情報:
84.

電子ブック

EB
edited by Jörg H. Siekmann
出版情報:   XII, 716 p.
シリーズ名: Lecture Notes in Computer Science ; 230
所蔵情報: loading…
目次情報:
85.

電子ブック

EB
edited by B.T. Denvir, W.T. Harwood, M.I. Jackson, M.J. Wray
出版情報:   XII, 404 p.
シリーズ名: Lecture Notes in Computer Science ; 207
所蔵情報: loading…
目次情報:
86.

電子ブック

EB
edited by Marek Karpinski
出版情報:   XIV, 546 p.
シリーズ名: Lecture Notes in Computer Science ; 56
所蔵情報: loading…
目次情報:
87.

電子ブック

EB
edited by Eddy Odijk, Martin Rem, Jean-Claude Syre
出版情報:   XIII, 479 p.
シリーズ名: Lecture Notes in Computer Science ; 365
所蔵情報: loading…
目次情報:
88.

電子ブック

EB
by S.H. Fuller
出版情報:   XII, 288 p.
シリーズ名: Lecture Notes in Computer Science ; 31
所蔵情報: loading…
目次情報:
89.

電子ブック

EB
edited by Elöd Knuth, E.J. Neuhold
出版情報:   VIII, 168 p.
シリーズ名: Lecture Notes in Computer Science ; 152
所蔵情報: loading…
目次情報:
90.

電子ブック

EB
edited by M. Nivat, D. Perrin
出版情報:   X, 222 p.
シリーズ名: Lecture Notes in Computer Science ; 192
所蔵情報: loading…
目次情報:
91.

電子ブック

EB
edited by Stephane Kaplan, Jean-Pierre Jouannaud
出版情報:   VIII, 284 p.
シリーズ名: Lecture Notes in Computer Science ; 308
所蔵情報: loading…
目次情報: 続きを見る
Hierarchical Contextual Rewriting with Several Levels
Confluence of Conditional Rewrite Systems
Solving Goals in Equational Languages
On the Use of Conditional Rewrite Rules in Inductive Theorem Proving
A Completion Procedure for Conditional Equations
A Compiler for a Class of Conditional Term Rewriting Systems
Notes on the Elimination of Conditions
Equational Axiomatizations of If-Then-Else
Compiling Conditional Rewriting Systems
Positive/Negative Conditional Rewriting
On Word Problems in Horn Theories
Conditional Specifications with Inequational Assumptions
A Logical Analysis on Theory of Conditional Rewriting
Computing with Conditional Rewrite Rules
A Logic for Conditional Term Rewriting Systems
Confluent Term Rewriting Systems with Membership Conditions
System Presentations: TRSPEC
CEC
Asspegique
Reveur4
An Introduction to OBJ 3
The Passau RAP System: Rapid Prototyping for Algebraic Specifications
Architecture for Conditional Term Rewriting
Hierarchical Contextual Rewriting with Several Levels
Confluence of Conditional Rewrite Systems
Solving Goals in Equational Languages
92.

電子ブック

EB
edited by Laurent Kott
出版情報:   XII, 476 p.
シリーズ名: Lecture Notes in Computer Science ; 226
所蔵情報: loading…
目次情報:
93.

電子ブック

EB
edited by D. Bjorner, C.B. Jones
出版情報:   XX, 384 p.
シリーズ名: Lecture Notes in Computer Science ; 61
所蔵情報: loading…
目次情報:
94.

電子ブック

EB
by Z. Zlatev, J. Wasniewski, K. Schaumburg
出版情報:   XII, 132 p.
シリーズ名: Lecture Notes in Computer Science ; 121
所蔵情報: loading…
目次情報:
95.

電子ブック

EB
by J. H. Davenport
出版情報:   II, 197 p.
シリーズ名: Lecture Notes in Computer Science ; 102
所蔵情報: loading…
目次情報:
96.

電子ブック

EB
edited by E. Börger, G. Hasenjaeger, D. Rödding
出版情報:   VI, 460 p.
シリーズ名: Lecture Notes in Computer Science ; 171
所蔵情報: loading…
目次情報:
97.

電子ブック

EB
by Paul Klint
出版情報:   XI, 169 p.
シリーズ名: Lecture Notes in Computer Science ; 205
所蔵情報: loading…
目次情報:
98.

電子ブック

EB
edited by Eiiti Wada
出版情報:   IX, 315 p.
シリーズ名: Lecture Notes in Computer Science ; 221
所蔵情報: loading…
目次情報:
99.

電子ブック

EB
edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher
出版情報:   XVIII, 422 p.
シリーズ名: Lecture Notes in Computer Science ; 185
所蔵情報: loading…
目次情報:
100.

電子ブック

EB
edited by Christoph G. Günther
出版情報:   VI, 383 p.
シリーズ名: Lecture Notes in Computer Science ; 330
所蔵情報: loading…
目次情報:
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼