 |
 |
- 1700
- Rolf Stadler, Burkhard Stiller (Eds.):
Active Technologies for Network and Service Management, 10th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM '99, Zurich, Switzerland, October 11-13, 1999, Proceedings.
Springer 1999, ISBN 3-540-66598-6
Contents 
- 1701
- Wolfram Burgard, Thomas Christaller, Armin B. Cremers (Eds.):
KI-99: Advances in Artificial Intelligence, 23rd Annual German Conference on Artificial Intelligence, Bonn, Germany, September 13-15, 1999, Proceedings.
Springer 1999, ISBN 3-540-66495-5
Contents
- 1702
- Gopalan Nadathur (Ed.):
Principles and Practice of Declarative Programming, International Conference PPDP'99, Paris, France, September 29 - October 1, 1999, Proceedings.
Springer 1999, ISBN 3-540-66540-4
Contents
- 1703
- Laurence Pierre, Thomas Kropf (Eds.):
Correct Hardware Design and Verification Methods, 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME '99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings.
Springer 1999, ISBN 3-540-66559-5
Contents
- 1704
- Jan M. Zytkow, Jan Rauch (Eds.):
Principles of Data Mining and Knowledge Discovery, Third European Conference, PKDD '99, Prague, Czech Republic, September 15-18, 1999, Proceedings.
Springer 1999, ISBN 3-540-66490-4
Contents
- 1705
- Harald Ganzinger, David A. McAllester, Andrei Voronkov (Eds.):
Logic Programming and Automated Reasoning, 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings.
Springer 1999, ISBN 3-540-66492-0
Contents
- 1706
- John Hatcliff, Torben Æ. Mogensen, Peter Thiemann (Eds.):
Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998.
Springer 1999, ISBN 3-540-66710-5
Contents
- 1707
- Hans-Werner Gellersen (Ed.):
Handheld and Ubiquitous Computing, First International Symposium, HUC'99, Karlsruhe, Germany, September 27-29, 1999, Proceedings.
Springer 1999, ISBN 3-540-66550-1
Contents
- 1708
- Jeannette M. Wing, Jim Woodcock, Jim Davies (Eds.):
FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I.
Springer 1999, ISBN 3-540-66587-0
Contents
- 1709
- Jeannette M. Wing, Jim Woodcock, Jim Davies (Eds.):
FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II.
Springer 1999, ISBN 3-540-66588-9
Contents
- 1710
- Ernst-Rüdiger Olderog, Bernhard Steffen (Eds.):
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel).
Springer 1999, ISBN 3-540-66624-9
Contents
- 1711
- Ning Zhong, Andrzej Skowron, Setsuo Ohsuga (Eds.):
New Directions in Rough Sets, Data Mining, and Granular-Soft Computing, 7th International Workshop, RSFDGrC '99, Yamaguchi, Japan, November 9-11, 1999, Proceedings.
Springer 1999, ISBN 3-540-66645-1
Contents
- 1712
- Harold Boley:
A Tight, Practical Integration of Relations and Functions.
Lecture Notes in Computer Science Vol. 1712 Springer 1999, ISBN 3-540-66644-3
- 1713
- Joxan Jaffar (Ed.):
Principles and Practice of Constraint Programming - CP'99, 5th International Conference, Alexandria, Virginia, USA, October 11-14, 1999, Proceedings.
Springer 1999, ISBN 3-540-66626-5
Contents
- 1714
- Maria Teresa Pazienza (Ed.):
Information Extraction: Towards Scalable, Adaptable Systems.
Springer 1999, ISBN 3-540-66625-7
Contents
- 1715
- Petra Perner, Maria Petrou (Eds.):
Machine Learning and Data Mining in Pattern Recognition, First International Workshop, MLDM'99, Leipzig, Germany, September 16-18, 1999, Proceedings.
Springer 1999, ISBN 3-540-66599-4
Contents
- 1716
- Kwok-Yan Lam, Eiji Okamoto, Chaoping Xing (Eds.):
Advances in Cryptology - ASIACRYPT '99, International Conference on the Theory and Applications of Cryptology and Information Security, Singapore, November 14-18, 1999, Proceedings.
Springer 1999, ISBN 3-540-66666-4
Contents
- 1717
- Çetin Kaya Koç, Christof Paar (Eds.):
Cryptographic Hardware and Embedded Systems, First International Workshop, CHES'99, Worcester, MA, USA, August 12-13, 1999, Proceedings.
Springer 1999, ISBN 3-540-66646-X
Contents
- 1718
- Michel Diaz, Philippe Owezarski, Patrick Sénac (Eds.):
Interactive Distributed Multimedia Systems and Telecommunication Services, 6th International Workshop, IDMS '99, Toulouse, France, October 12-15, 1999, Proceedings.
Springer 1999, ISBN 3-540-66595-1
Contents
- 1719
- Marc P. C. Fossorier, Hideki Imai, Shu Lin, Alain Poli (Eds.):
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 13th International Symposium, AAECC-13, Honolulu, Hawaii, USA, November 15-19, 1999, Proceedings.
Springer 1999, ISBN 3-540-66723-7
Contents
- 1720
- Osamu Watanabe, Takashi Yokomori (Eds.):
Algorithmic Learning Theory, 10th International Conference, ALT '99, Tokyo, Japan, December 6-8, 1999, Proceedings.
Springer 1999, ISBN 3-540-66748-2
Contents
- 1721
- Setsuo Arikawa, Koichi Furukawa (Eds.):
Discovery Science, Second International Conference, DS '99, Tokyo, Japan, December, 1999, Proceedings.
Springer 1999, ISBN 3-540-66713-X
Contents
- 1722
- Aart Middeldorp, Taisuke Sato (Eds.):
Functional and Logic Programming, 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings.
Springer 1999, ISBN 3-540-66677-X
Contents
- 1723
- Robert B. France, Bernhard Rumpe (Eds.):
«UML»'99: The Unified Modeling Language - Beyond the Standard, Second International Conference, Fort Collins, CO, USA, October 28-30, 1999, Proceedings.
Springer 1999
Contents
- 1724
- Henrik I. Christensen, Horst Bunke, Hartmut Noltemeier (Eds.):
Sensor Based Intelligent Robots, International Workshop, Dagstuhl Castle, Germany, September 28 - October 2, 1998, Selected Papers.
Springer 1999, ISBN 3-540-66933-7
Contents
- 1725
- Jan Pavelka, Gerard Tel, Miroslav Bartosek (Eds.):
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.
Springer 1999, ISBN 3-540-66694-X
Contents
- 1726
- Vijay Varadharajan, Yi Mu (Eds.):
Information and Communication Security, Second International Conference, ICICS'99, Sydney, Australia, November 9-11, 1999, Proceedings.
Springer 1999, ISBN 3-540-66682-6
Contents
- 1727
- Peter P. Chen, David W. Embley, Jacques Kouloumdjian, Stephen W. Liddle, John F. Roddick (Eds.):
Advances in Conceptual Modeling: ER '99 Workshops on Evolution and Change in Data Management, Reverse Engineering in Information Systems, and the World Wide Web and Conceptual Modeling, Paris, France, November 15-18, 1999, Proceedings.
Springer 1999, ISBN 3-540-66653-2
Contents
- 1728
- Jacky Akoka, Mokrane Bouzeghoub, Isabelle Comyn-Wattiau, Elisabeth Métais (Eds.):
Conceptual Modeling - ER '99, 18th International Conference on Conceptual Modeling, Paris, France, November, 15-18, 1999, Proceedings.
Springer 1999, ISBN 3-540-66686-9
Contents
- 1729
- Masahiro Mambo, Yuliang Zheng (Eds.):
Information Security, Second International Workshop, ISW'99, Kuala Lumpur, Malaysia, November 1999, Proceedings.
Springer 1999, ISBN 3-540-66695-8
Contents
- 1730
- Michael Gelfond, Nicola Leone, Gerald Pfeifer (Eds.):
Logic Programming and Nonmonotonic Reasoning, 5th International Conference, LPNMR'99, El Paso, Texas, USA, December 2-4, 1999, Proceedings.
Springer 1999, ISBN 3-540-66749-0
Contents
- 1731
- Jan Kratochvíl (Ed.):
Graph Drawing, 7th International Symposium, GD'99, Stirín Castle, Czech Republic, September 1999, Proceedings.
Springer 1999, ISBN 3-540-66904-3
Contents
- 1732
- Satoshi Matsuoka, R. R. Oldehoeft, Marydell Tholburn (Eds.):
Computing in Object-Oriented Parallel Environments, Third International Symposium, ISCOPE 99, San Francisco, California, USA, December 8-10, 1999, Proceedings.
Springer 1999, ISBN 3-540-66818-7
Contents
- 1733
- Hideyuki Nakashima, Chengqi Zhang (Eds.):
Approaches to Intelligent Agents, Second Pacific Rim International Workshop on Multi-Agents, PRIMA '99, Kyoto, Japan, December 2-3, 1999, Proceedings.
Springer 1999, ISBN 3-540-66823-3
Contents
- 1734
- Hermann Hellwagner, Alexander Reinefeld (Eds.):
SCI: Scalable Coherent Interface, Architecture and Software for High-Performance Compute Clusters.
Springer 1999, ISBN 3-540-66696-6
Contents
- 1735
- Jan W. Amtrup:
Incremental Speech Translation.
Lecture Notes in Computer Science Vol. 1735 Springer 1999, ISBN 3-540-66753-9
Contents
- 1736
- Luigi Rizzo, Serge Fdida (Eds.):
Networked Group Communication, First International COST264 Workshop, NGC'99, Pisa, Italy, November 17-20, 1999, Proceedings.
Springer 1999, ISBN 3-540-66782-2
Contents
- 1737
- Peggy Agouris, Anthony Stefanidis (Eds.):
Integrated Spatial Databases, Digital Inages and GIS, International Workshop ISD '99, Portland, ME, USA, June 14-16, 1999, Selected Papers.
Springer 1999, ISBN 3-540-66931-0
Contents
- 1738
- C. Pandu Rangan, Venkatesh Raman, Ramaswamy Ramanujam (Eds.):
Foundations of Software Technology and Theoretical Computer Science, 19th Conference, Chennai, India, December 13-15, 1999, Proceedings.
Springer 1999, ISBN 3-540-66836-5
Contents
- 1739
- Annelies Braffort, Rachid Gherbi, Sylvie Gibet, James Richardson, Daniel Teil (Eds.):
Gesture-Based Communication in Human-Computer Interaction, International Gesture Workshop, GW'99, Gif-sur-Yvette, France, March 17-19, 1999, Proceedings.
Springer 1999, ISBN 3-540-66935-3
Contents
- 1740
- Rainer Baumgart (Ed.):
Secure Networking - CQRE (Secure) '99, International Exhibition and Congress Düsseldorf, Germany, November 30 - December 2, 1999, Proceedings.
Springer 1999, ISBN 3-540-66800-4
Contents
- 1741
- Alok Aggarwal, C. Pandu Rangan (Eds.):
Algorithms and Computation, 10th International Symposium, ISAAC '99, Chennai, India, December 16-18, 1999, Proceedings.
Springer 1999, ISBN 3-540-66916-7
Contents
- 1742
- P. S. Thiagarajan, Roland H. C. Yap (Eds.):
Advances in Computing Science - ASIAN'99, 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999, Proceedings.
Springer 1999, ISBN 3-540-66856-X
Contents
- 1743
- Ana M. D. Moreira, Serge Demeyer (Eds.):
Object-Oriented Technology, ECOOP'99 Workshop Reader, ECOOP'99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings.
Springer 1999, ISBN 3-540-66954-X
Contents
- 1744
- Steffen Staab:
Grading Knowledge, Extracting Degree Information from Texts.
Lecture Notes in Computer Science Vol. 1744 Springer 1999, ISBN 3-540-66934-5
Contents
- 1745
- Prithviraj Banerjee, Viktor K. Prasanna, Bhabani P. Sinha (Eds.):
High Performance Computing - HiPC'99, 6th International Conference, Calcutta, India, December 17-20, 1999, Proceedings.
Springer 1999, ISBN 3-540-66907-8
Contents
- 1746
- Michael Walker (Ed.):
Cryptography and Coding, 7th IMA International Conference, Cirencester, UK, December 20-22, 1999, Proceedings.
Springer 1999, ISBN 3-540-66887-X
Contents
- 1747
- Norman Y. Foo (Ed.):
Advanced Topics in Artificial Intelligence, 12th Australian Joint Conference on Artificial Intelligence, AI '99, Sydney, Australia, December 6-10, 1999, Proceedings.
Springer 1999, ISBN 3-540-66822-5
Contents
- 1748
- Hong Va Leong, Wang-Chien Lee, Bo Li, Li Yin (Eds.):
Mobile Data Access, First International Conference, MDA'99, Hong Kong, China, December 16-17, 1999, Proceedings.
Springer 1999, ISBN 3-540-66878-0
Contents
- 1749
- Lucas Chi Kwong Hui, Dik Lun Lee (Eds.):
Internet Applications, 5th International Computer Science Conference, ICSC'99, Hong Kong, China, December 13-15, 1999, Proceedings.
Springer 1999, ISBN 3-540-66903-5
Contents
- 1750
- Donald E. Knuth:
MMIXware, A RISC Computer for the Third Millennium.
Lecture Notes in Computer Science Vol. 1750 Springer 1999, ISBN 3-540-66938-8
Contents
- 1751
- Hideki Imai, Yuliang Zheng (Eds.):
Public Key Cryptography, Third International Workshop on Practice and Theory in Public Key Cryptography, PKC 2000, Melbourne, Victoria, Australia, January 18-20, 2000, Proceedings.
Springer 2000, ISBN 3-540-66967-1
Contents
- 1752
- Sacha Krakowiak, Santosh K. Shrivastava (Eds.):
Advances in Distributed Systems, Advanced Distributed Computing: From Algorithms to Systems.
Springer 1999, ISBN 3-540-67196-X
Contents
- 1753
- Enrico Pontelli, Vítor Santos Costa (Eds.):
Practical Aspects of Declarative Languages, Second International Workshop, PADL 2000, Boston, MA, USA, January 2000, Proceedings.
Springer 2000, ISBN 3-540-66992-2
Contents
- 1754
- Jouko A. Väänänen (Ed.):
Generalized Quantifiers and Computation, 9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop, Aix-en-Provence, France, August 11-22, 1997, Revised Lectures.
Springer 2000, ISBN 3-540-66993-0
Contents
- 1755
- Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (Eds.):
Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings.
Springer 2000, ISBN 3-540-67102-1
Contents
- 1756
- Günther Ruhe, Frank Bomarius (Eds.):
Learning Software Organizations, Methodology and Applications, 11th International Conference on Software Engineering and Knowledge Engineering, SEKE'99, Kaiserslautern, Germany, June 16-19, 1999, Proceedings.
Springer 2000, ISBN 3-540-41430-4
Contents
- 1757
- Nicholas R. Jennings, Yves Lespérance (Eds.):
Intelligent Agents VI, Agent Theories, Architectures, and Languages (ATAL), 6th International Workshop, ATAL '99, Orlando, Florida, USA, July 15-17, 1999, Proceedings.
Springer 2000, ISBN 3-540-67200-1
Contents
- 1758
- Howard M. Heys, Carlisle M. Adams (Eds.):
Selected Areas in Cryptography, 6th Annual International Workshop, SAC'99, Kingston, Ontario, Canada, August 9-10, 1999, Proceedings.
Springer 2000, ISBN 3-540-67185-4
Contents
- 1759
- Mohammed Javeed Zaki, Ching-Tien Ho (Eds.):
Large-Scale Parallel Data Mining, Workshop on Large-Scale Parallel KDD Systems, SIGKDD, August 15, 1999, San Diego, CA, USA, revised papers.
Springer 2000, ISBN 3-540-67194-3
Contents
- 1760
- John-Jules Ch. Meyer, Pierre-Yves Schobbens (Eds.):
Formal Models of Agents, ESPRIT Project ModelAge Final Workshop, Selected Papers.
Springer 1999, ISBN 3-540-67027-0
Contents
- 1761
- Ricardo Caferra, Gernot Salzer (Eds.):
Automated Deduction in Classical and Non-Classical Logics, Selected Papers.
Springer 2000, ISBN 3-540-67190-0
Contents
- 1762
- Klaus-Dieter Schewe, Bernhard Thalheim (Eds.):
Foundations of Information and Knowledge Systems, First International Symposium, FoIKS 2000, Burg, Germany, February 14-17, 2000, Proceedings.
Springer 2000, ISBN 3-540-67100-5
Contents
- 1763
- Jin Akiyama, Mikio Kano, Masatsugu Urabe (Eds.):
Discrete and Computational Geometry, Japanese Conference, JCDCG'98, Tokyo, Japan, December 9-12, 1998, Revised Papers.
Springer 2000, ISBN 3-540-67181-1
Contents
- 1764
- Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg (Eds.):
Theory and Application of Graph Transformations, 6th International Workshop, TAGT'98, Paderborn, Germany, November 16-20, 1998, Selected Papers.
Springer 2000, ISBN 3-540-67203-6
Contents
- 1765
- Toru Ishida, Katherine Isbister (Eds.):
Digital Cities, Technologies, Experiences, and Future Perspectives [the book is based on an international symposium held in Kyoto, Japan, in September 1999].
Springer 2000, ISBN 3-540-67265-6
Contents
- 1766
- Mehdi Jazayeri, Rüdiger Loos, David R. Musser (Eds.):
Generic Programming, International Seminar on Generic Programming, Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers.
Springer 2000, ISBN 3-540-41090-2
Contents
- 1767
- Gian Carlo Bongiovanni, Giorgio Gambosi, Rossella Petreschi (Eds.):
Algorithms and Complexity, 4th Italian Conference, CIAC 2000, Rome, Italy, March 2000, Proceedings.
Springer 2000, ISBN 3-540-67159-5
Contents
- 1768
- Andreas Pfitzmann (Ed.):
Information Hiding, Third International Workshop, IH'99, Dresden, Germany, September 29 - October 1, 1999, Proceedings.
Springer 2000, ISBN 3-540-67182-X
Contents
- 1769
- Günter Haring, Christoph Lindemann, Martin Reiser (Eds.):
Performance Evaluation: Origins and Directions.
Springer 2000, ISBN 3-540-67193-5
Contents
- 1770
- Horst Reichel, Sophie Tison (Eds.):
STACS 2000, 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 2000, Proceedings.
Springer 2000, ISBN 3-540-67141-2
Contents
- 1771
- Patrick Lambrix:
Part-Whole Reasoning in an Object-Centered Framework.
Lecture Notes in Computer Science Vol. 1771 Springer 2000, ISBN 3-540-67225-7
Contents
- 1772
- Michael Beetz:
Concurrent Reactive Plans, Anticipation and Forestalling Execution Failures.
Lecture Notes in Computer Science Vol. 1772 Springer 2000, ISBN 3-540-67241-9
Contents
- 1773
- Gunter Saake, Kerstin Schwarz, Can Türker (Eds.):
Transactions and Database Dynamics, Eight International Workshop on Foundations of Models and Languages for Data and Objects, Schloß Dagstuhl, Germany, September 27-30, 1999, Selected Papers.
Springer 2000, ISBN 3-540-67201-X
Contents
- 1774
- Jaime Delgado, George D. Stamoulis, Alvin P. Mullery, Didoe Prevedourou, Keith Start (Eds.):
Telecommunications and IT Convergence Towards Service E-volution, 7th International Conference on Intelligence and Services in Networks, IS&N 2000, Athens, Greece, February 23-25, 2000, Proceedings.
Springer 2000, ISBN 3-540-67152-8
Contents
- 1775
- Michael Thielscher:
Challenges for Action Theories.
Lecture Notes in Computer Science Vol. 1775 Springer 2000, ISBN 3-540-67455-1
Contents
- 1776
- Gaston H. Gonnet, Daniel Panario, Alfredo Viola (Eds.):
LATIN 2000: Theoretical Informatics, 4th Latin American Symposium, Punta del Este, Uruguay, April 10-14, 2000, Proceedings.
Springer 2000, ISBN 3-540-67306-7
Contents
- 1777
- Carlo Zaniolo, Peter C. Lockemann, Marc H. Scholl, Torsten Grust (Eds.):
Advances in Database Technology - EDBT 2000, 7th International Conference on Extending Database Technology, Konstanz, Germany, March 27-31, 2000, Proceedings.
Springer 2000, ISBN 3-540-67227-3
Contents
- 1778
- Stefan Wermter, Ron Sun (Eds.):
Hybrid Neural Systems, revised papers from a workshop held December 4-5, 1998, Denver, USA.
Springer 2000, ISBN 3-540-67305-9
Contents
- 1779
- Manfred Nagl, Andy Schürr, Manfred Münch (Eds.):
Applications of Graph Transformations with Industrial Relevance, International Workshop, AGTIVE'99, Kerkrade, The Netherlands, September 1-3, 1999, Proceedings.
Springer 2000, ISBN 3-540-67658-9
Contents
- 1780
- Reidar Conradi (Ed.):
Software Process Technology, 7th European Workshop, EWSPT 2000, Kaprun, Austria, February 21-25, 2000, Proceedings.
Springer 2000, ISBN 3-540-67140-4
Contents
- 1781
- David A. Watt (Ed.):
Compiler Construction, 9th International Conference, CC 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, Arch 25 - April 2, 2000, Proceedings.
Springer 2000, ISBN 3-540-67263-X
Contents
- 1782
- Gert Smolka (Ed.):
Programming Languages and Systems, 9th European Symposium on Programming, ESOP 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings.
Springer 2000, ISBN 3-540-67262-1
Contents
- 1783
- T. S. E. Maibaum (Ed.):
Fundamental Approaches to Software Engineering, Third Internationsl Conference, FASE 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings.
Springer 2000, ISBN 3-540-67261-3
Contents
- 1784
- Jerzy Tiuryn (Ed.):
Foundations of Software Science and Computation Structures, Third International Conference, FOSSACS 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings.
Springer 2000, ISBN 3-540-67257-5
Contents
- 1785
- Susanne Graf, Michael I. Schwartzbach (Eds.):
Tools and Algorithms for Construction and Analysis of Systems, 6th International Conference, TACAS 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings.
Springer 2000, ISBN 3-540-67282-6
Contents
- 1786
- Boudewijn R. Haverkort, Henrik C. Bohnenkamp, Connie U. Smith (Eds.):
Computer Performance Evaluation: Modelling Techniques and Tools, 11th International Conference, TOOLS 2000, Schaumburg, IL, USA, March 27-31, 2000, Proceedings.
Springer 2000, ISBN 3-540-67260-5
Contents
- 1787
- JooSeok Song (Ed.):
Information Security and Cryptology - ICISC'99, Second International Conference, Seoul, Korea, December 9-10, 1999, Proceedings.
Springer 2000, ISBN 3-540-67380-6
Contents
- 1788
- Alexandros Moukas, Carles Sierra, Fredrik Ygge (Eds.):
Agent Mediated Electronic Commerce II, Towards Next-Generation Agent-Based Electronic Commerce Systems, IJCAI 1999 Workshop.
Springer 2000, ISBN 3-540-67773-9
Contents
- 1789
- Benkt Wangler, Lars Bergman (Eds.):
Advanced Information Systems Engineering, 12th International Conference CAiSE 2000, Stockholm, Sweden, June 5-9, 2000, Proceedings.
Springer 2000, ISBN 3-540-67630-9
Contents
- 1790
- Nancy A. Lynch, Bruce H. Krogh (Eds.):
Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings.
Springer 2000, ISBN 3-540-67259-1
Contents
- 1791
- Dieter Fensel:
Problem-Solving Methods: Understanding, Description, Development, and Reuse.
Lecture Notes in Computer Science Vol. 1791 Springer 2000, ISBN 3-540-67816-6
Contents
- 1792
- Evelina Lamma, Paola Mello (Eds.):
AI*IA 99:Advances in Artificial Intelligence, 6th Congress of the Italian Association for Artificial Intelligence, Bologna, Italy, September 14-17, 1999, Proceedings.
Springer 2000, ISBN 3-540-67350-4
Contents
- 1793
- Osvaldo Cairó, Luis Enrique Sucar, Francisco J. Cantu (Eds.):
MICAI 2000: Advances in Artificial Intelligence, Mexican International Conference on Artificial Intelligence, Acapulco, Mexico, April 11-14, 2000, Proceedings.
Springer 2000, ISBN 3-540-67354-7
Contents
- 1794
- Hélène Kirchner, Christophe Ringeissen (Eds.):
Frontiers of Combining Systems, Third International Workshop, FroCoS 2000, Nancy, France, March 22-24, 2000, Proceedings.
Springer 2000, ISBN 3-540-67281-8
Contents
- 1795
- Joseph S. Sventek, Geoff Coulson (Eds.):
Middleware 2000, IFIP/ACM International Conference on Distributed Systems Platforms, New York, NY, USA, April 4-7, 2000, Proceedings.
Springer 2000, ISBN 3-540-67352-0
Contents
- 1796
- Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe (Eds.):
Security Protocols, 7th International Workshop, Cambridge, UK, April 19-21, 1999, Proceedings.
Springer 2000, ISBN 3-540-67381-4
Contents
- 1797
- Babak Falsafi, Mario Lauria (Eds.):
Network-Based Parallel Computing: Communication, Architecture, and Applications, 4th International Workshop, CANPC 2000, Toulouse, France, January 8, 2000, Proceedings.
Springer 2000, ISBN 3-540-67879-4
Contents
- 1798
- Franz Pichler, Roberto Moreno-Díaz, Peter Kopacek (Eds.):
Computer Aided Systems Theory - EUROCAST'99, Vienna, Austria, September 29 - October 2, 1999, Proceedings.
Springer 2000, ISBN 3-540-67822-0
Contents
- 1799
- Krzysztof Czarnecki, Ulrich W. Eisenecker (Eds.):
Generative and Component-Based Software Engineering, First International Symposium, GCSE'99, Erfurt, Germany, September 28-30, 1999, Revised Papers.
Springer 2000, ISBN 3-540-41172-0
Contents
Copyright © Fri Mar 12 17:34:36 2010
by Michael Ley (ley@uni-trier.de)