 |
 |
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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
BibTeX
- 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 BibTeX
- 1714
- Maria Teresa Pazienza (Ed.):
Information Extraction: Towards Scalable, Adaptable Systems.
Springer 1999, ISBN 3-540-66625-7
Contents BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 1735
- Jan W. Amtrup:
Incremental Speech Translation.
Lecture Notes in Computer Science Vol. 1735 Springer 1999, ISBN 3-540-66753-9
Contents BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 1761
- Ricardo Caferra, Gernot Salzer (Eds.):
Automated Deduction in Classical and Non-Classical Logics, Selected Papers.
Springer 2000, ISBN 3-540-67190-0
Contents BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 1769
- Günter Haring, Christoph Lindemann, Martin Reiser (Eds.):
Performance Evaluation: Origins and Directions.
Springer 2000, ISBN 3-540-67193-5
Contents BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 1775
- Michael Thielscher:
Challenges for Action Theories.
Lecture Notes in Computer Science Vol. 1775 Springer 2000, ISBN 3-540-67455-1
Contents BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
- 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 BibTeX
Copyright © Sun May 17 00:32:11 2009
by Michael Ley (ley@uni-trier.de)