close
1.

図書
図書
1. Proceedings of IEEE TENCON '98, IEEE Region 10 International Conference on Global Connectivity in Energy, Computer, Communication and Control, New Delhi, India, 17-19 December 1998 (: softbound - v. 2)
editors, SC Dutta Roy ... [et al.] ; organised by the Institute of Electrical and Electronics Engineers, New Delhi India
出版情報: [New York] : Institute of Electrical and Electronics Engineers, c1998  2 v. (xvii, 652 p.) ; 28 cm
所蔵情報: loading…
2.

図書
図書
2. Proceedings of the Eighth Israeli Conference on Computer Systems and Software Engineering : Herzliya, Israel, June 18-19, 1997
sponsored by the IEEE Computer Society, Israel Chapter
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c1997  ix, 129 p. ; 27 cm
所蔵情報: loading…
3.

図書
図書
3. Proceedings, the 1999 IEEE Region 10 Conference, Sept. 15-17, 1999, The Silla Cheju, Cheju Island, Korea (: softbound - v. 2)
organised by IEEE Seoul Section, IEEE Korea Council ; sponsored by the Institute of Electronics Engineers of Korea, ... [et al.]
出版情報: [New York] : Institute of Electrical and Electronics Engineers, c1999  2 v. (xxxvii, 1583 p.) ; 28 cm
所蔵情報: loading…
4.

図書
図書
4. 1999 IEEE Pacific Rim Conference on Communications, Computers and Signal Processing, Victoria, BC, Canada, August 22-24, 1999 (: softbound ; : casebound)
IEEE Pacific Rim Conference on Communications, Computers and Signal Processing
出版情報: Piscataway, NJ : IEEE Service Center, c1999  xv, 618 p. ; 28 cm
所蔵情報: loading…
5.

図書
図書
5. SOFSEM '99 : theory and practice of informatics : 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27-December 4, 1999 : proceedings
Jan Pavelka, Gerard Tel, Miroslav Bartošek (eds.)
出版情報: Berlin : Springer, c1999  xiii, 498 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1725
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Trends in Theory
Quantum Challenges / Jozef Gruska
Stability of Approximation Algorithms for Hard Optimization Problems / Juraj Hromkovic
Algorithms on Compressed Strings and Arrays / Wojciech Rytter
Core Technologies
WWW Based Collaboration with the BSCW System / Wolfgang Appelt
Middleware and Quality of Service / Christian Bac ; Guy Bernard ; Didier Le Tien ; Olivier Villin
Dynamic Reconfiguration of CORBA-Based Applications / Noemi Rodriguez ; Roberto Ierusalimschy
Fast, Error Correcting Parser Combinators: A Short Tutorial / S. Doaitse Swierstra ; Pablo R. Azero Alcocer
IBM SanFrancisco: Java Based Business Components, and New Tools to Develop Applications / Ghica van Emde Boas
Software and Information Engineering
Databases and the World Wide Web / Paolo Atzeni
Exploiting Formality in Software Engineering / Juan C. Bicarregui
Biomolecular Computing and Programming (Extended Abstract) / Max H. Garzon ; Russell J. Deaton ; The Molecular Computing Group
Software Change and Evolution / Vaclav Rajlich
Distributed Simulation with Cellular Automata: Architecture and Applications / P. M. A. Sloot ; J. A. Kaandorp ; A. G. Hoekstra ; B. J. Overeinder
From Data to Knowledge
Supporting Group-By and Pipelining in Bitmap-Enabled Query Processors / Alejandro P. Buchmann ; Ming-Chuan Wu
On Interactive Computation: Intelligent Tutoring Systems (Extended Abstract) / The Tutoring Research Group
Coherent Concepts, Robust Learning / Dan Roth ; Dmitry Zelenko
Applications
Application of Artificial Neural Networks for Different Engineering Problems / Martin Bogdan ; Wolfgang Rosenstiel
Factor Oracle: A New Structure for Pattern Matching / Cyril Allauzen ; Maxime Crochemore ; Mathieu Raffinot
Principles of Forecasting- A Short Overview / Emil Pelikán
Contributed Papers
UPV-Curry: An Incremental Curry Interpreter / M. Alpuente ; S. Escobar ; S. Lucas
Quantum Finite Multitape Automata / Andris Ambainis ; Richard Bonner ; RusinÜ Freivalds ; Marats Golovkins ; Marek Karpinski
Decomposable Bulk Synchronous Parallel Computers / Martin Beran
Component Change and Version Identification in SOFA / Premysl Brada
Pattern Equations and Equations with Stuttering / Ivana Cerna ; Ondrej Klima ; Jiri Srba
Garbage Collection for Mobile and Replicated Objects / Pablo Galdámez ; Francesc D. Muñoz-Escoí ; José M. Bernabéu-Aubán
Randomized Gossiping by Packets in Faulty Networks / Anna Gambin ; Adam Malinowski
Object-Oriented Specification with the Parallel Multi-Label-Selective ?-calculus / Carlos Herrero ; Javier Oliver
Simulation Problems for One-Counter Machines / Petr Jancar ; Faron Moller ; Zdenek Sawa
On Semantics of Petri Nets over Partial Algebra / Gabriel Juhás
Towards Possibilistic Decision Functions with Minimum-Based Sugeno Integrals / Ivan Kramosil
Quantum Finite One-Counter Automata / Maksim Kravtsev
A Performance Comparison of Mobile Agents and RPC / David Rutter
Cyclic Cutwidth of the Mesh / Heiko Schroder ; Ondrej Sýkora ; Imrich Vrt'o
Some Afterthoughts on Hopfield NetworksJiri Sima / Pekka Orponen ; Teemu Antti-Poika
A Persistent-Set Approach to Abstract State-Space Construction in Verification / Ulrich Ultes-Nitsche
Computational Power of Neuroidal Nets / Jiri Wiedermann
Cellular Automata with Dynamically Reconfigurable Buses / Thomas Worsch
Author Index
Invited Talks
Trends in Theory
Quantum Challenges / Jozef Gruska
6.

図書
図書
6. Proceedings, Second IEEE Symposium on Computers and Communications, July 1-3, 1997, Alexandria, Egypt
sponsored by the IEEE Computer Society Technical Committee on Simulation, the IEEE Communications Society ; in cooperation with Alexandria University ... [et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1997  xvii, 709 p. ; 28 cm
所蔵情報: loading…
7.

図書
図書
7. SOFSEM '97 : theory and practice of informatics : 24th Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 1997 : proceedings
František Plášil, Keith G. Jeffery, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1997  xiv, 570 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1338
所蔵情報: loading…
8.

図書
図書
8. 1996 IEEE TENCON, digital signal processing applications proceedings, the Univeristy of Western Australia, Perth, Western Australia, 26-29 November 1996 (: softbound - v. 2)
sponsored by IEEE Region 10 ... [et al.]
出版情報: [New York] : Institute of Electrical and Electronics Engineers, c1996  2 v. (xii, 966 p.) ; 30 cm
所蔵情報: loading…
9.

図書
図書
9. 1997 IEEE Pacific Rim Conference on Communications, Computers and Signal Processing, Victoria, BC, Canada, August 20-22, 1997 (: softbound - v. 2)
IEEE Pacific Rim Conference on Communications, Computers and Signal Processing
出版情報: Piscataway, NJ : IEEE Service Center, c1997  2 v. (xxiii, 1021 p.) ; 28 cm
所蔵情報: loading…
10.

図書
図書
10. IEEE WESCANEX 97 : communications, power, and computing : conference proceedings, May 22-23, 1997, University of Manitoba, Winnipeg, Manitoba, Canada (: softbound ; : casebound)
IEEE WESCANEX ; Institute of Electrical and Electronics Engineers. Canadian Region
出版情報: [New York] : Institute of Electrical and Electronics Engineers, c1997  ix, 351 p. ; 28 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼