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…
目次情報:
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼