A 25-Year Perspective on Logic Programming
Achievements of the Italian Association for Logic Programming, GULP
Agostino Dovier and Enrico Pontelli
Lecture Notes in Computer Science, 2010, Volume 6125
A Calculus of Communicating Systems
Robin Milner
Lecture Notes in Computer Science, 1980, Volume 92
A Collection of Test Problems for Constrained Global Optimization Algorithms
Christodoulos A. Floudas and Panos M. Pardalos
Lecture Notes in Computer Science, 1990, Volume 455
A Comparative Study of Very Large Data Bases
Edward Hill
Lecture Notes in Computer Science, 1978, Volume 59
A Concurrent Pascal Compiler for Minicomputers
Alfred C. Hartmann
Lecture Notes in Computer Science, 1977, Volume 50
A Connotational Theory of Program Structure
James S. Royer
Lecture Notes in Computer Science, 1987, Volume 273
A Decade of Concurrency Reflections and Perspectives
REX School/Symposium Noordwijkerhout, The Netherlands June 1–4, 1993 Proceedings
J. W. de Bakker, W. -P. de Roever and G. Rozenberg
Lecture Notes in Computer Science, 1994, Volume 803
A Formal Model of Visualization in Computer Graphics Systems
Tamiya Onodera and Satoru Kawai
Lecture Notes in Computer Science, 1990, Volume 421
A Future for Knowledge Acquisition
8th European Knowledge Acquisition Workshop, EKAW '94 Hoegaarden, Belgium, September 26–29, 1994 Proceedings
Luc Steels, Guus Schreiber and Walter Van de Velde
Lecture Notes in Computer Science, 1994, Volume 867
A Generative Theory of Shape
Lecture Notes in Computer Science, 2001, Volume 2145
A Hierarchical Associative Processing System
Heinrich J. Stüttgen
Lecture Notes in Computer Science, 1985, Volume 195
A Hybrid Deliberative Layer for Robotic Agents
Fusing DL Reasoning with HTN Planning in Autonomous Robots
Ronny Hartanto
Lecture Notes in Computer Science, 2011, Volume 6798
A Methodology for Uncertainty in Knowledge-Based Systems
Kurt Weichselberger and Sigrid Pöhlmann
Lecture Notes in Computer Science, 1990, Volume 419
A Perspective of Constraint-Based Reasoning
An Introductory Tutorial
Hans Werner Guesgen and Joachim Hertzberg
Lecture Notes in Computer Science, 1992, Volume 597
A Practical Programming Model for the Multi-Core Era
3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings
Barbara Chapman, Weiming Zheng, Guang R. Gao, Mitsuhisa Sato and Eduard Ayguadé, et al.
Lecture Notes in Computer Science, 2008, Volume 4935
A Relational Theory of Computing
John G. Sanderson
Lecture Notes in Computer Science, 1980, Volume 82
A Resolution Principle for a Logic with Restricted Quantifiers
H. -J. Bürckert
Lecture Notes in Computer Science, 1991, Volume 568
A Review of Ada Tasking
Alan Burns, Andrew M. Lister and Andrew J. Wellings
Lecture Notes in Computer Science, 1987, Volume 262
A Study in String Processing Languages
Paul Klint
Lecture Notes in Computer Science, 1985, Volume 205
A Survey of Verification Techniques for Parallel Programs
Howard Barringer
Lecture Notes in Computer Science, 1985, Volume 191
A Systematic Catalogue of Reusable Abstract Data Types
Jürgen Uhl and Hans Albrecht Schmid
Lecture Notes in Computer Science, 1990, Volume 460
A Tight, Practical Integration of Relations and Functions
Harold Boley
Lecture Notes in Computer Science, 1999, Volume 1712
A Unified Approach to Interior Point Algorithms for Linear Complementarity Problems
Masakazu Kojima, Nimrod Megiddo, Toshihito Noma and Akiko Yoshise
Lecture Notes in Computer Science, 1991, Volume 538
ABAP/4 Programmiertechniken
Trainingsbuch
Thomas Winkler
Xpert.press, 2005
Abgründe der Informatik
Geheimnisse und Gemeinheiten
Alois Potton
2012
Abnahme komplexer Software-Systeme
Das Praxishandbuch
Wolfgang Osterhage
Xpert.press, 2009
Abstract Compositional Analysis of Iterated Relations
A Structural Approach to Complex State Transition Systems
Frédéric Geurts
Lecture Notes in Computer Science, 1998, Volume 1426
Abstract Computing Machines
A Lambda Calculus Perspective
W. Kluge
Texts in Theoretical Computer Science. An EATCS Series, 2005
Abstract Software Specifications
1979 Copenhagen Winter School January 22 – February 2, 1979 Proceedings
Dines Bjøorner
Lecture Notes in Computer Science, 1980, Volume 86
Abstract State Machines - Theory and Applications
International Workshop, ASM 2000 Monte Verità, Switzerland, March 19–24, 2000 Proceedings
Yuri Gurevich, Philipp W. Kutter, Martin Odersky and Lothar Thiele
Lecture Notes in Computer Science, 2000, Volume 1912
Abstract State Machines 2003
Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings
Egon Börger, Angelo Gargantini and Elvinia Riccobene
Lecture Notes in Computer Science, 2003, Volume 2589
Abstract State Machines 2004. Advances in Theory and Practice
11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings
Wolf Zimmermann and Bernhard Thalheim
Lecture Notes in Computer Science, 2004, Volume 3052
Abstract State Machines, Alloy, B and Z
Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings
Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau and Steve Reeves
Lecture Notes in Computer Science, 2010, Volume 5977
Abstract State Machines, B and Z
First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
Egon Börger, Michael Butler, Jonathan P. Bowen and Paul Boca
Lecture Notes in Computer Science, 2008, Volume 5238
Abstraction, Refinement and Proof for Probabilistic Systems
Annabelle McIver and Carroll Morgan
Texts and Monographs in Computer Science, 2005
Abstraction, Reformulation and Approximation
6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005. Proceedings
Jean-Daniel Zucker and Lorenza Saitta
Lecture Notes in Computer Science, 2005, Volume 3607
Abstraction, Reformulation, and Approximation
4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26–29, 2000 Proceedings
Berthe Y. Choueiry and Toby Walsh
Lecture Notes in Computer Science, 2000, Volume 1864
Abstraction, Reformulation, and Approximation
7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007. Proceedings
Ian Miguel and Wheeler Ruml
Lecture Notes in Computer Science, 2007, Volume 4612
Abstraction, Reformulation, and Approximation
5th International Symposium, SARA 2002 Kananaskis, Alberta, Canada August 2–4, 2002 Proceedings
Sven Koenig and Robert C. Holte
Lecture Notes in Computer Science, 2002, Volume 2371
Access Control Systems
Security, Identity Management and Trust Models
Messaoud Benantar
2006
Access Networks
5th International ICST Conference on Access Networks, AccessNets 2010 and First ICST International Workshop on Autonomic Networking and Self-Management in Access Networks, SELFMAGICNETS 2010, Budapest, Hungary, November 3-5, 2010, Revised Selected Papers
Róbert Szabó, Hua Zhu, Sándor Imre and Ranganai Chaparadza
Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, 2011, Volume 63
Access Networks
4th International Conference, AccessNets 2009, Hong Kong, China, November 1-3, 2009, Revised Selected Papers
Xiao Jun Hei and Lawrence Cheung
Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, 2010, Volume 37
Access to Mobile Services
The Kluwer International Series on Advances in Database Systems, 2009, Volume 38
Accessible Access 2003
Mark Whitehorn and Bill Marklyn
2005
Accessing Multilingual Information Repositories
6th Workshop of the Cross-Language Evalution Forum, CLEF 2005, Vienna, Austria, 21-23 September, 2005, Revised Selected Papers
Carol Peters, Fredric C. Gey, Julio Gonzalo, Henning Müller and Gareth J.F. Jones, et al.
Lecture Notes in Computer Science, 2006, Volume 4022
AccessNets
Third International Conference on Access Networks, AccessNets 2008, Las Vegas, NV, USA, October 15-17, 2008. Revised Papers
Chonggang Wang
Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, 2009, Volume 6
Accurate Scientific Computations
Symposium, Bad Neuenahr, FRG, March 12–14, 1985 Proceedings
Willard L. Miranker and Richard A. Toupin
Lecture Notes in Computer Science, 1986, Volume 235
Achievements in European Research on Grid Systems
CoreGRID Integration Workshop 2006 (Selected Papers)
Sergei Gorlatch, Marian Bubak and Thierry Priol
2008
Achieving Systems Safety
Proceedings of the Twentieth Safety-Critical Systems Symposium, Bristol, UK, 7-9th February 2012
Chris Dale and Tom Anderson
2012
ActionScript 2
Ein Lehr- und Übungsbuch
Arno Kohl
X.media.press, 2011
Active and Programmable Networks
IFIP TC6 7th International Working Conference, IWAN 2005, Sophia Antipolis, France, November 21-23, 2005. Revised Papers
David Hutchison, Spyros Denazis, Laurent Lefevre and Gary J. Minden
Lecture Notes in Computer Science, 2009, Volume 4388
Active Conceptual Modeling of Learning
Next Generation Learning-Base System Development
Peter P. Chen and Leah Y. Wong
Lecture Notes in Computer Science, 2007, Volume 4512
Active Knowledge Modeling of Enterprises
Frank Lillehagen and John Krogstie
2008
Active Media Technology
7th International Conference, AMT 2011, Lanzhou, China, September 7-9, 2011. Proceedings
Ning Zhong, Vic Callaghan, Ali A. Ghorbani and Bin Hu
Lecture Notes in Computer Science, 2011, Volume 6890
Active Media Technology
5th International Conference, AMT 2009, Beijing, China, October 22-24, 2009. Proceedings
Jiming Liu, Jinglong Wu, Yiyu Yao and Toyoaki Nishida
Lecture Notes in Computer Science, 2009, Volume 5820
Active Media Technology
6th International Conference, AMT 2010, Toronto, Canada, August 28-30, 2010. Proceedings
Aijun An, Pawan Lingras, Sheila Petty and Runhe Huang
Lecture Notes in Computer Science, 2010, Volume 6335
Active Media Technology
6th International Computer Science Conference, AMT 2001 Hong Kong, China, December 18–20, 2001 Proceedings
Jiming Liu, Pong C. Yuen, Chun-hung Li, Joseph Ng and Toru Ishida
Lecture Notes in Computer Science, 2001, Volume 2252
Active Mining
Second International Workshop, AM 2003, Maebashi, Japan, October 28, 2003. Revised Selected Papers
Shusaku Tsumoto, Takahira Yamaguchi, Masayuki Numao and Hiroshi Motoda
Lecture Notes in Computer Science, 2005, Volume 3430
Active Networks
IFIP-TC6 5th InternationalWorking Conference, IWAN 2003, Kyoto, Japan, December 10-12, 2003. Proceedings
Naoki Wakamiya, Marcin Solarski and James Sterbenz
Lecture Notes in Computer Science, 2004, Volume 2982
Active Networks
IFIP-TC6 Third International Working Conference, IWAN 2001 Philadelphia, PA, USA, September 30–October 2, 2001 Proceedings
Ian W. Marshall, Scott Nettles and Naoki Wakamiya
Lecture Notes in Computer Science, 2001, Volume 2207
Active Networks
IFIP TC6 6th International Working Conference, IWAN 2004, Lawrence, KS, USA, October 27-29, 2004. Revised Papers
Gary J. Minden, Kenneth L. Calvert, Marcin Solarski and Miki Yamamoto
Lecture Notes in Computer Science, 2007, Volume 3912
Active Networks
First International Working Conference, IWAN’99, Berlin, Germany, June 30 - July 2, 1999. Proceedings
Stefan Covaci
Lecture Notes in Computer Science, 1999, Volume 1653
Active Networks
Second International Working Conference, IWAN 2000 Tokyo, Japan, October 16–18, 2000 Proceedings
Hiroshi Yasuda
Lecture Notes in Computer Science, 2000, Volume 1942
Active Networks
IFIP-TC6 4th International Working Conference, IWAN 2002 Zurich, Switzerland, December 4–6, 2002 Proceedings
James Sterbenz, Osamu Takada, Christian Tschudin and Bernhard Plattner
Lecture Notes in Computer Science, 2002, Volume 2546
Active Networks and Active Network Management
A Proactive Management Framework
Stephen Bush and Amit Kulkarni
Network and Systems Management, 2002
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
Rolf Stadler and Burkhard Stiller
Lecture Notes in Computer Science, 1999, Volume 1700
Active Visual Inference of Surface Shape
Roberto Cipolla
Lecture Notes in Computer Science, 1996, Volume 1016
Active, Real-Time, and Temporal Database Systems
Second International Workshop, ARTDB-97 Como, Italy, September 8–9, 1997 Proceedings
Sten F. Andler and Jörgen Hansson
Lecture Notes in Computer Science, 1999, Volume 1553
Activity Recognition in Pervasive Intelligent Environments
Liming Chen, Chris D. Nugent, Jit Biswas and Jesse Hoey
Atlantis Ambient and Pervasive Intelligence, 2011, Volume 4
Ad Hoc Networks
First International Conference, ADHOCNETS 2009, Niagara Falls, Ontario, Canada, September 22-25, 2009. Revised Selected Papers
Jun Zheng, Shiwen Mao, Scott F. Midkiff and Hua Zhu
Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, 2010, Volume 28
Ad Hoc Networks
Second International Conference, ADHOCNETS 2010, Victoria, BC, Canada, August 18-20, 2010, Revised Selected Papers
Jun Zheng, David Simplot-Ryl and Victor C. M. Leung
Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, 2010, Volume 49
Ad-Hoc Networking
IFIP 19th World Computer Congress, TC-6, IFIP Interactive Conference on Ad-Hoc Networking, August 20–25, 2006, Santiago, Chile
Khaldoun Al Agha
IFIP International Federation for Information Processing, 2006, Volume 212
Ad-hoc Networks: Fundamental Properties and Network Topologies
Ramin Hekmat
2006
Ad-Hoc, Mobile and Wireless Networks
8th International Conference, ADHOC-NOW 2009, Murcia, Spain, September 22-25, 2009 Proceedings
Pedro M. Ruiz and Jose Joaquin Garcia-Luna-Aceves
Lecture Notes in Computer Science, 2009, Volume 5793
Ad-Hoc, Mobile and Wireless Networks
9th International Conference, ADHOC-NOW 2010, Edmonton, AB, Canada, August 20-22, 2010. Proceedings
Ioanis Nikolaidis and Kui Wu
Lecture Notes in Computer Science, 2010, Volume 6288
Ad-hoc, Mobile and Wireless Networks
7th International Conference, ADHOC-NOW 2008 Sophia-Antipolis, France, September 10-12, 2008 Proceedings
David Coudert, David Simplot-Ryl and Ivan Stojmenovic
Lecture Notes in Computer Science, 2008, Volume 5198
Ad-Hoc, Mobile, and Wireless Networks
Third International Conference, ADHOC-NOW 2004, Vancouver, Canada, July 22-24, 2004. Proceedings
Ioanis Nikolaidis, Michel Barbeau and Evangelos Kranakis
Lecture Notes in Computer Science, 2004, Volume 3158
Ad-Hoc, Mobile, and Wireless Networks
5th International Conference, ADHOC-NOW 2006, Ottawa, Canada, August 17-19, 2006. Proceedings
Thomas Kunz and S. S. Ravi
Lecture Notes in Computer Science, 2006, Volume 4104
Ad-Hoc, Mobile, and Wireless Networks
6th International Conference, ADHOC-NOW 2007, Morelia, Mexico, September 24-26, 2007, Proceeedings
Evangelos Kranakis and Jaroslav Opatrny
Lecture Notes in Computer Science, 2007, Volume 4686
Ad-Hoc, Mobile, and Wireless Networks
4th International Conference, ADHOC-NOW 2005, Cancun, Mexico, October 6-8, 2005. Proceedings
Violet R. Syrotiuk and Edgar Chávez
Lecture Notes in Computer Science, 2005, Volume 3738
Ad-Hoc, Mobile, and Wireless Networks
Second International Conference, ADHOC-NOW2003, Montreal, Canada, October 8-10, 2003. Proceedings
Samuel Pierre, Michel Barbeau and Evangelos Kranakis
Lecture Notes in Computer Science, 2003, Volume 2865
Ad-hoc, Mobile, and Wireless Networks
10th International Conference, ADHOC-NOW 2011, Paderborn, Germany, July 18-20, 2011. Proceedings
Hannes Frey, Xu Li and Stefan Ruehrup
Lecture Notes in Computer Science, 2011, Volume 6811
Ada: Moving Towards 2000
11th Ada-Europe International Conference Zandvoort, The Netherlands, June 1–5, 1992 Proceedings
J. van Katwijk
Lecture Notes in Computer Science, 1992, Volume 603
Ada: The Choice for '92
Ada-Europe International Conference Athens, Greece, May 13–17, 1991 Proceedings
Dimitris Christodoulakis
Lecture Notes in Computer Science, 1991, Volume 499
Ada - Europe '93
12th Ada-Europe International Conference, “Ada Sans Frontières” Paris, France, June 14–18, 1993 Proceedings
Michel Gauthier
Lecture Notes in Computer Science, 1993, Volume 688
Ada 2005 Rationale
The Language, The Standard Libraries
John Barnes
Lecture Notes in Computer Science, 2008, Volume 5020
Ada 2005 Reference Manual. Language and Standard Libraries
International Standard ISO/IEC 8652/1995 (E) with Technical Corrigendum 1 and Amendment 1
S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder and Pascal Leroy
Lecture Notes in Computer Science, 2006, Volume 4348
Ada 95 Quality and Style
Christine Ausnit-Hood, Kent A. Johnson, Robert G. Pettit and Steven B. Opdahl
Lecture Notes in Computer Science, 1995, Volume 1344
Ada 95 Rationale
The Language The Standard Libraries
John Barnes
Lecture Notes in Computer Science, 1995, Volume 1247
Ada 95 Reference Manual
Language and Standard Libraries
S. Tucker Taft and Robert A. Duff
Lecture Notes in Computer Science, 1995, Volume 1246
Ada for Software Engineers (Second Edition with Ada 2005)
Mordechai Ben-Ari
2009
Ada in Europe
Second International Eurospace — Ada-Europe Symposium Frankfurt/Main, Germany, October 2–6, 1995 Proceedings
Marcel Toussaint
Lecture Notes in Computer Science, 1996, Volume 1031
Ada in Europe
First International Eurospace-Ada-Europe Symposium Copenhagen, Denmark, September 26–30, 1994 Proceedings
Marcel Toussaint
Lecture Notes in Computer Science, 1994, Volume 887
Ada Software Tools Interfaces
Workshop, Bath, July 13–15, 1983 Proceedings
Peter J.L. Wallis
Lecture Notes in Computer Science, 1984, Volume 180
Adaptation and Value Creating Collaborative Networks
12th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2011, São Paulo, Brazil, October 17-19, 2011. Proceedings
Luis M. Camarinha-Matos, Alexandra Pereira-Klen and Hamideh Afsarmanesh
IFIP Advances in Information and Communication Technology, 2011, Volume 362
Adapting Proofs-as-Programs
The Curry-Howard Protocol
Iman Poernomo, Martin Wirsing and John Crossley
Texts and Monographs in Computer Science, 2005
Adaption and Learning in Multi-Agent Systems
IJCAI'95 Workshop Montréal, Canada, August 21, 1995 Proceedings
Gerhard Weiß and Sandip Sen
Lecture Notes in Computer Science, 1996, Volume 1042
Adaptive Agents and Multi-Agent Systems
Adaptation and Multi-Agent Learning
Eduardo Alonso, Daniel Kudenko and Dimitar Kazakov
Lecture Notes in Computer Science, 2003, Volume 2636
Adaptive Agents and Multi-Agent Systems II
Adaptation and Multi-Agent Learning
Daniel Kudenko, Dimitar Kazakov and Eduardo Alonso
Lecture Notes in Computer Science, 2005, Volume 3394
Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning
5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers
Karl Tuyls, Ann Nowe, Zahia Guessoum and Daniel Kudenko
Lecture Notes in Computer Science, 2008, Volume 4865