このエントリーをはてなブックマークに追加

このページのリンク

Lecture notes in computer science

データ種別 図書
出版者 Berlin ; Tokyo : Springer-Verlag
本文言語 und
別書名 異なりアクセスタイトル:LNCS

子書誌情報を非表示

1 6 Matrix eigensystem routines : EISPACK guide / B.T. Smith ... [et al.] : gw,: us. - Berlin ; New York : Springer-Verlag , 1974
2 14 Automata, languages and programming : 2nd colloquium, University of Saarbrücken, July 29-August 2, 1974 / edited by Jacques Loeckx : gw,: us. - Berlin ; New York : Springer-Verlag , 1974
3 18 PASCAL : user manual and report / Kathleen Jensen, Niklaus Wirth : gw,: us. - Berlin ; New York : Springer-Verlag , 1974
4 20 Simple program schemes and formal languages / Joost Engelfriet : gw,: us. - Berlin ; New York : Springer-Verlag , 1974
5 21 Compiler construction : an advanced course / F.L. Bauer ... [et al.] ; edited by F.L. Bauer and J. Eickel : gw,: us. - Berlin ; New York : Springer-Verlag , 1974
6 v. 22 Formal Aspects of Cognitive Processes : Interdisciplinary Conference, Ann Arbor, March 1972 / edited by Thomas Storer and David Winter : gw,: us. - Berlin : Springer-Verlag , 1975
7 24 Parallel processing : proceedings of the Sagamore Computer Conference, August 20-23, 1974 / edited by Tse-yun Feng : gw,: us. - Berlin : Springer-Verlag , 1975
8 28 Mathematical foundations of computer science : 3rd symposium at Jadwisin near Warsaw, June 17-22, 1974 / edited by A. Blikle : gw,: us. - Berlin ; New York : Springer-Verlag , 1975
9 30 Software engineering : an advanced course / F. L. Bauer ... [et al.] ; edited by F. L. Bauer : gw,: us. - Berlin ; New York : Springer-Verlag , 1975, c1973
10 32 Mathematical foundations of computer science 1975 : 4th Symposium, Mariánské Lázně, September 1-5, 1975 / edited by J. Bečvář : gw,: us. - Berlin : New York : Springer-Verlag , 1975
11 35 Exercises in computer systems analysis / W. Everling : gw,: us. - Corrected reprint of the 1st ed. - Berlin ; New York : Springer-Verlag , 1975
12 36 Theory of program structures : schemes, semantics, verification / Sheila A. Greibach : gw,: us. - Berlin ; New York : Springer-Verlag , 1975
13 38 An Optimized translation process and its application to ALGOL 68 / P. Branquart ... [et al.] : gw,: us. - Berlin ; New York : Springer-Verlag , 1976
14 40, 41 . Series, I.F.I.P. TC7 optimization conferences Optimization techniques : modeling and optimization in the service of man : proceedings, 7th IFIP conference, Nice, September 8-12, 1975 / edited by Jean Cea pt. 1 : gw - pt. 2 : us. - Berlin ; New York : Springer-Verlag , 1976
15 75 Mathematical studies of information processing : proceedings of the international conference, Kyoto, Japan, August 23-26, 1978 / edited by E. K. Blum, M. Paul and S. Takasu : gw,: us. - Berlin ; New York : Springer-Verlag , 1979
16 76 Codes for boundary-value problems in ordinary differential equations : proceedings of a working conference, May 14-17, 1978 / edited by B. Childs ... [et al.] : gw,: us. - Berlin : Springer-Verlag , 1979
17 79 Language design and programming methodology : proceedings of a symposium held in Sydney, Australia, 10-11 September 1979 / edited by Jeffrey M. Tobias : gw,: us. - Berlin ; New York : Springer-Verlag , 1980
18 80 Pictorial information systems / edited by S.K. Chang and K.S. Fu : gw,: us. - Berlin : Springer-Verlag , c1980
19 81 Data base techniques for pictorial applications, Florence, June 20-22, 1979 / edited by A. Blaser : gw,: us. - Berlin ; New York : Springer-Verlag , 1980
20 82 A relational theory of computing / John G. Sanderson : gw,: us. - Berlin : Springer-Verlag , 1980
21 83 International Symposium on Programming : proceedings of the Fourth "Colloque International sur la Programmation" Paris, 22-24 April 1980 / edited by B. Robinet : gw,: us. - Berlin : Springer-Verlag , 1980
22 84 Net theory and applications : proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, October 8-19, 1979 / edited by Wilfried Brauer : gw,: us. - Berlin : Springer-Verlag , 1980
23 85 Automata, languages and programming : seventh colloquium, Noordwijkerhout, the Netherlands, July 14-18, 1980 / edited by J.W. de Bakker and J. van Leeuwen : gw,: us. - Berlin : Springer-Verlag , 1980
24 87 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 / edited by W. Bibel and R. Kowalski : gw,: us. - Berlin ; New York : Springer-Verlag , 1980
25 89 Computer aided design : modelling, systems engineering, CAD-systems : CREST Advanced Course, Darmstadt, 8.-19. September 1980 / edited by J. Encarnacao : gw,: us. - Berlin : Springer-Verlag , 1980
26 90 Using sophisticated models in resolution theorem proving / David M. Sandford : gw,: us. - Berlin ; New York : Springer-Verlag , 1980
27 91 Grammar and L forms : an introduction / Derick Wood : gw,: us. - Berlin ; New York : Springer-Verlag , 1980
28 92 A calculus of communicating systems / Robin Milner : gw,: us. - Berlin ; New York : Springer-Verlag , 1980
29 94 Semantics-directed compiler generation : proceedings of a workshop, Aarhus, Denmark, January 14-18, 1980 / edited by Neil D. Jones : gw,: us. - Berlin : Springer-Verlag , 1980
30 323 Attribute grammars : definitions, systems and bibliography / Pierre Deransart, Martin Jourdan, Bernard Lorho : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
31 461 Attribute grammars and their applications : international conference WAGA, Paris, France, September 19-21, 1990 : proceedings / P. Deransart, M. Jourdan (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990
32 500 On the computational geometry of pocket machining / Martin Held : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
33 538 A Unified approach to interior point algorithms for linear complementarity problems / M. Kojima ... [et al.] : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
34 545 Attribute grammars, applications and systems : international summer school SAGA, Prague, Czechoslovakia, June 4-13, 1991 : proceedings / H. Alblas, B. Melichar, (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
35 559 Fundamental algorithms for permutation groups / G. Butler : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991
36 . Lecture notes in artificial intelligence ; 695 Fuzzy logic in artificial intelligence : 8th Austrian Artificial Intelligence Conference, FLAI '93, Linz, Austria, June 28-30, 1993 : proceedings / E.P. Klement, W. Slany (eds.) : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1993
37 731 DCE -- the OSF distributed computing environment : client/server model and beyond : International DCE Workshop, Karlsruhe, Germany, October 7-8, 1993 : proceedings / Alexander Schill, (ed.) : gw,: us. - Berlin ; New York : Springer-Verlag , c1993
38 973 Information management in computer integrated manufacturing : a comprehensive guide to state-of-the-art CIM solutions / Heimo H. Adelsberger, Jiří Lažanský, Vladimír Mařík (eds.) Berlin ; New York : Springer-Verlag , c1995
39 994 Object representation in computer vision : International NSF-ARPA Workshop, New York City, NY, USA, December 5-7, 1994 : proceedings / Martial Hebert ... [et al.], (eds.) Berlin ; New York : Springer , 1995
40 1016 Active visual inference of surface shape / Roberto Cipolla Berlin ; New York : Springer-Verlag , c1996
41 1035 Recent developments in computer vision : Second Asian Conference on Computer Vision, ACCV '95, Singapore, December 5-8, 1995, invited session papers / S.Z. Li ... [et al.] (eds.) Berlin ; New York : Springer , c1996
42 1036 . Lecture notes in artificial intelligence Trends in natural language generation : an artificial intelligence perspective : Fourth European Workshop, EWNLG '93, Pisa, Italy, April 28-30, 1993 : selected papers / Giovanni Adorni, Michael Zock, (eds.) Berlin ; New York ; Tokyo : Springer , c1996
43 1053 . Lecture notes in artificial intelligence Term indexing / Peter Graf Berlin ; New York ; Tokyo : Springer-Verlag , c1995
44 1064-1065 Computer vision -- ECCV '96 : 4th European Conference on Computer Vision, Cambridge, UK, April 15-18, 1996 : proceedings / Bernard Buxton, Roberto Cipolla, (eds.) v. 1,v. 2. - Berlin : Springer , c1996
45 1144 Object representation in computer vision II : ECCV '96 International Workshop, Cambridge, U.K., April 13-14, 1996 : proceedings / Jean Ponce, Andrew Zisserman, Martial Hebert (eds.) Berlin : Springer , c1996
46 1163 Advances in cryptology, ASIACRYPT '96 : International Conference on the Theory and Applications of Cryptology and Information Security, Kyongju, Korea, November 3-7, 1996 : proceedings / Kwangjo Kim, Tsutomu Matsumoto (eds.) Berlin ; Tokyo : Springer-Verlag , c1996
47 1205 CVRMed-MRCAS'97 : First Joint Conference Computer Vision, Virtual Reality and Robotics in Medicine and Medical Robotics and Computer-Assisted Surgery Grenoble, France, March 19-22, 1997, proceedings / Jocelyne Troccaz, Eric Grimson, Ralph Mösges (eds.) Berlin : Springer , c1997
48 1229 . Lecture notes in artificial intelligence Distributed reason maintenance for multiagent systems / Gerhard K. Kraetzschmar Berlin ; Tokyo : Springer , c1997
49 1286 . Lecture notes in artificial intelligence Multi-agent systems : methodologies and applications : Second Australian Workshop on Distributed Artificial Intelligence, Cairns, QLD, Australia, August 27, 1996 : selected papers / Chengqi Zhang, Dickson Lukose, (eds.) Berlin : Springer , c1997
50 1453 . Lecture notes in artificial intelligence Conceptual structures : theory, tools, and applications : 6th International Conference on Conceptual Structures, ICCS'98, Montpellier, France, August 10-12, 1998 : proceedings / Marie-Laure Mugnier, Michel Chein, (eds.) Berlin ; New York : Springer Verlag , c1998
51 1575 Compiler construction : 8th international conference, CC '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings / Stefan Jähnichen, (ed.) Berlin ; Tokyo : Springer-Verlag , c1999
52 1604 . Lecture notes in artificial intelligence RoboCup-98 : Robot Soccer World Cup II / Minoru Asada, Hiroaki Kitano (eds.) Berlin ; Tokyo : Springer , c1999
53 1647 . Lecture notes in artificial intelligence Multi-agent system engineering : 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'99 : Valencia, Spain, June 30-July 2, 1999 : proceedings / Francisco J. Garijo, Magnus Boman (eds.) Berlin ; New York : Springer , c1999
54 1739 . Lecture notes in artificial intelligence Gesture-based communication in human-computer interaction : International Gesture Workshop, GW '99, Gif-sur-Yvette, France, March 17-19, 1999 : proceedings / Annelies Braffort ... [et al.] (eds.) Berlin ; Tokyo : Springer , c1999
55 1876 Advances in pattern recognition : joint IAPR International Workshops SSPR 2000 and SPR 2000, Alicante, Spain, August 30-September 1, 2000 : proceedings / Francesc J. Ferri ... [et al.] (eds.) Berlin : Springer , c2000
56 1907 Recent advances in intrusion detection : third International Workshop, RAID 2000, Toulouse, France, October 2-4, 2000 : proceedings / Hervé Debar, Ludovic Mé, S. Felix Wu (eds.) Berlin : Springer , c2000
57 2033 . Lecture notes in artificial intelligence E-commerce agents : marketplace solutions, security issues, and supply and demand / Jiming Liu, Yiming Ye (eds.) Berlin : Springer , c2001
58 2045 Advances in cryptology - EUROCRYPT 2001 : International Conference on the Theory and Application of Cryptographic Techniques, Innsbruck, Austria, May 6-10, 2001 : proceedings / Birgit Pfitzmann (ed.) Berlin : Springer , c2001
59 2139 Advances in cryptology - CRYPTO 2001 : 21st Annual International Cryptology Conference, Santa Barbara, California, USA, August 19-23, 2001 : proceedings / Joe Kilian (ed.) Berlin ; Tokyo : Springer , c2001
60 2198 . Lecture notes in artificial intelligence Web intelligence : research and development : First Asia-Pacific Conference, WI 2001, Maebashi City, Japan, October 23-26, 2001 : proceedings / Ning Zhong ... [et al.] (eds.) Berlin : Springer , c2001
61 2240 Mobile agents : 5th International Conference, MA 2001, Atlanta, GA, USA, December 2-4, 2001 : proceedings / Gian Pietro Picco (ed.) Berlin ; Tokyo : Springer , c2001
62 2248 Advances in Cryptology - ASIACRYPT 2001 : 7th International Conference on the Theory and Application of Cryptology and Information Security, Gold Coast, Australia, December 9-13, 2001 : proceedings / Colin Boyd (ed.) Berlin ; New York : Springer , c2001
63 2332 Advances in cryptology-EUROCRYPT 2002 : International Conference on the Theory and Applications of Cryptographic Techniques, Amsterdam, The Netherlands, April 28-May 2, 2002 : proceedings / Lars Knudsen (ed.) Berlin ; Tokyo : Springer , c2002
64 2442 Advances in cryptology - CRYPTO 2002 : 22nd Annual International Cryptology Conference, Santa Barbara, California, USA, August 18-22, 2002 : proceedings / Moti Yung (ed.) Berlin ; Tokyo : Springer , c2002
65 2445 . Lecture notes in artificial intelligence Music and artificial intelligence : Second International Conference, ICMAI 2002, Edinburgh, Scotland, UK, September 12-14, 2002 : proceedings / Christina Anagnostopoulou, Miguel Ferrand, Alan Smaill (eds.) Berlin : Springer , c2002
66 2501 Advances in cryptology - ASIACRYPT 2002 : 8th International Conference on the Theory and Application of Cryptology and Information Security, Queenstown, New Zealand, December 1-5, 2002 : proceedings / Yuliang Zheng (ed.) Berlin ; Tokyo : Springer , c2002
67 2535 Mobile agents : 6th International Conference, MA 2002, Barcelona, Spain, October 22-25, 2002 : proceedings / Niranjan Suri (ed.) Berlin ; Tokyo : Springer , c2002
68 2581 . Lecture notes in artificial intelligence Multi-agent-based simulation II : Third International Workshop, MABS 2002, Bologna, Italy, July 15-16, 2002 : revised papers / Jaime Simão Sichman, François Bousquet, Paul Davidsson (eds.) Berlin ; Tokyo : Springer , c2003
69 2636 . Lecture notes in artificial intelligence Adaptive agents and multi-agent systems : adaptation and multi-agent learning / Eduardo Alonso, Daniel Kudenko, Dimitar Kazakov (eds.) Berlin ; Tokyo : Springer , c2003
70 2656 Advances in cryptology - EUROCRPYT [i.e. EUROCRYPT] 2003 : International Conference on the Theory and Applications of Cryptographic Techniques, Warsaw, Poland, May 4-8, 2003 : proceedings / Eli Biham (ed.) Berlin ; Tokyo : Springer , c2003
71 2696 Digital rights management : ACM CCS-9 Workshop, DRM 2002, Washington, DC, USA, November 18, 2002 : revised papers / Joan Feigenbaum (ed.) Berlin ; Tokyo : Springer , c2003
72 2729 Advances in cryptology - CRYPTO 2003 : 23rd Annual International Cryptology Conference, Santa Barbara, California, USA, August 17-21, 2003 : proceedings / Dan Boneh (ed.) Berlin ; Tokyo : Springer , c2003
73 2894 Advances in cryptology - ASIACRYPT 2003 : 9th International Conference on the Theory and Application of Cryptology and Information Security, Taipei, Taiwan, November 30 - December 4, 2003 : proceedings / Chi Sung Laih (ed.) Berlin ; Tokyo : Springer , c2003
74 2934 . Lecture notes in artificial intelligence Regulated agent-based social systems : first International Workshop, RASTA 2002, Bologna, Italy, July 16, 2002 : revised selected and invited papers / Gabriela Lindemann, Daniel Moldt, Mario Paolucci (eds.) Berlin ; Tokyo : Springer , c2004
75 3027 Advances in cryptology - EUROCRYPT 2004 : International Conference on the Theory and Applications of Cryptographic Techniques, Interlaken, Switzerland, May 2-6, 2004 : proceedings / Christian Cachin, Jan Camenisch (eds.) Berlin ; Tokyo : Springer , c2004
76 3100 Transactions on Rough sets I / James F. Perters ... [et al.] (eds.) Berlin : Springer , c2004
77 3152 Advances in cryptology - CRYPTO 2004 : 24th Annual International Cryptology Conference, Santa Barbara, California, USA, August 15-19, 2004 : proceedings / Matt Franklin (ed.) Berlin ; Tokyo : Springer , [2004]
78 3329 Advances in cryptology - ASIACRYPT 2004 : 10th International Conference on the Theory and Application of Cryptology and Information Security, Jeju Island, Korea, December 5-9, 2004 : proceedings / Pil Joong Lee (ed.) Berlin ; Tokyo : Springer , c2004
79 3485 Peer-to-peer systems and applications / Ralf Steinmetz, Klaus Wehrle (eds.) Berlin : Springer , c2005
80 3494 Advances in cryptology - EUROCRYPT 2005 : 24th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Aarhus, Denmark, May 22-26, 2005 : proceedings / Ronald Cramer (ed.) Berlin ; Tokyo : Springer , c2005
81 3621 Advances in cryptology - CRYPTO 2005 : 25th Annual International Cryptology Conference, Santa Barbara, California, USA, August 14-18, 2005 : proceedings / Victor Shoup (ed.) Berlin : Springer , c2005
82 4500 The disappearing computer : interaction design, system infrastructures and applications for smart environments / Norbert Streitz, Achilles Kameas, Irene Mavrommati (eds.) Berlin : Springer , c2007
83 4501 Theory and applications of satisfiability testing - SAT 2007 : 10th International Conference, Lisbon, Portugal, May 28-31, 2007 : proceedings / João Marques-Silva, Karem A. Sakallah (eds.) Berlin : Springer , c2007
84 4996 Theory and applications of satisfiability testing - SAT 2008 : 11th international conference, SAT 2008 Guangzhou, China, May 12-15, 2008 : proceedings / Hans Kleine Büning, Xishun Zhao (eds.) Berlin : Springer , c2008
85 5011 Algorithmic number theory : 8th International Symposium, ANTS-VIII, Banff, Canada, May 17-22, 2008 : proceedings / Alfred J. van der Poorten, Andreas Stein (eds.) Berlin : Springer , c2008
86 5584 Theory and applications of satisfiability testing - SAT 2009 : 12th international conference, SAT 2009 Swansea, UK, June 30 - July 3, 2009 : proceedings / Oliver Kullmann (ed.) Berlin : Springer , c2009

書誌詳細を非表示

書誌ID 1000000188
NCID BA00009279
巻冊次 volumes 1-100 index