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