 |
 |
- 4700
- Cliff B. Jones, Zhiming Liu, Jim Woodcock (Eds.):
Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24-25, 2007.
Springer 2007, ISBN 978-3-540-75220-2
Contents BibTeX
- 4701
- Joost N. Kok, Jacek Koronacki, Ramon López de Mántaras, Stan Matwin, Dunja Mladenic, Andrzej Skowron (Eds.):
Machine Learning: ECML 2007, 18th European Conference on Machine Learning, Warsaw, Poland, September 17-21, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-74957-8
Contents BibTeX
- 4702
- Joost N. Kok, Jacek Koronacki, Ramon López de Mántaras, Stan Matwin, Dunja Mladenic, Andrzej Skowron (Eds.):
Knowledge Discovery in Databases: PKDD 2007, 11th European Conference on Principles and Practice of Knowledge Discovery in Databases, Warsaw, Poland, September 17-21, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-74975-2
Contents BibTeX
- 4703
- Luís Caires, Vasco Thudichum Vasconcelos (Eds.):
CONCUR 2007 - Concurrency Theory, 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-74406-1
Contents BibTeX
- 4704
- Denilson Barbosa, Angela Bonifati, Zohra Bellahsene, Ela Hunt, Rainer Unland (Eds.):
Database and XMLTechnologies, 5th International XML Database Symposium, XSym 2007, Vienna, Austria, September 23-24, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-75287-5
Contents BibTeX
- 4705
- Osvaldo Gervasi, Marina L. Gavrilova (Eds.):
Computational Science and Its Applications - ICCSA 2007, International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part I.
Springer 2007, ISBN 978-3-540-74468-9
Contents BibTeX
- 4706
- Osvaldo Gervasi, Marina L. Gavrilova (Eds.):
Computational Science and Its Applications - ICCSA 2007, International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part II.
Springer 2007, ISBN 978-3-540-74475-7
Contents BibTeX
- 4707
- Osvaldo Gervasi, Marina L. Gavrilova (Eds.):
Computational Science and Its Applications - ICCSA 2007, International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings. Part III.
Springer 2007, ISBN 978-3-540-74482-5
Contents BibTeX
- 4708
- Ludek Kucera, Antonín Kucera (Eds.):
Mathematical Foundations of Computer Science 2007, 32nd International Symposium, MFCS 2007, Ceský Krumlov, Czech Republic, August 26-31, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-74455-9
Contents BibTeX
- 4709
- Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever (Eds.):
Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures.
Springer 2007, ISBN 978-3-540-74791-8
Contents BibTeX
- 4710
- Chris George, Zhiming Liu, Jim Woodcock (Eds.):
Domain Modeling and the Duration Calculus, International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures.
Springer 2007, ISBN 978-3-540-74963-9
Contents BibTeX
- 4711
- Cliff B. Jones, Zhiming Liu, Jim Woodcock (Eds.):
Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-75290-5
Contents BibTeX
- 4712
- Yevgeni Koucheryavy, Jarmo Harju, Alexander Sayenko (Eds.):
Next Generation Teletraffic and Wired/Wireless Advanced Networking, 7th International Conference, NEW2AN 2007, St. Petersburg, Russia, September 10-14, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-74832-8
Contents BibTeX
- 4713
- Fred A. Hamprecht, Christoph Schnörr, Bernd Jähne (Eds.):
Pattern Recognition, 29th DAGM Symposium, Heidelberg, Germany, September 12-14, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-74933-2
Contents BibTeX
- 4714
- Gustavo Alonso, Peter Dadam, Michael Rosemann (Eds.):
Business Process Management, 5th International Conference, BPM 2007, Brisbane, Australia, September 24-28, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-75182-3
Contents BibTeX
- 4715
- Jörg M. Haake, Sergio F. Ochoa, Alejandra Cechich (Eds.):
Groupware: Design, Implementation, and Use, 13th International Workshop, CRIWG 2007, Bariloche, Argentina, September 16-20, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-74811-3
Contents BibTeX
- 4716
- Bertrand Meyer, Mathai Joseph (Eds.):
Software Engineering Approaches for Offshore and Outsourced Development, First International Conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007. Revised Papers.
Springer 2007, ISBN 978-3-540-75541-8
Contents BibTeX
- 4717
- John Krumm, Gregory D. Abowd, Aruna Seneviratne, Thomas Strang (Eds.):
UbiComp 2007: Ubiquitous Computing, 9th International Conference, UbiComp 2007, Innsbruck, Austria, September 16-19, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-74852-6
Contents BibTeX
- 4718
- Jeffrey Hightower, Bernt Schiele, Thomas Strang (Eds.):
Location- and Context-Awareness, Third International Symposium, LoCA 2007, Oberpfaffenhofen, Germany, September 20-21, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-75159-5
Contents BibTeX
- 4719
- ...
- 4720
- Boris Konev, Frank Wolter (Eds.):
Frontiers of Combining Systems, 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-74620-1
Contents BibTeX
- 4721
- Willem Jonker, Milan Petkovic (Eds.):
Secure Data Management, 4th VLDB Workshop, SDM 2007, Vienna, Austria, September 23-24, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-75247-9
Contents BibTeX
- 4722
- Catherine Pelachaud, Jean-Claude Martin, Elisabeth André, Gérard Chollet, Kostas Karpouzis, Danielle Pelé (Eds.):
Intelligent Virtual Agents, 7th International Conference, IVA 2007, Paris, France, September 17-19, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-74996-7
Contents BibTeX
- 4723
- Michael R. Berthold, John Shawe-Taylor, Nada Lavrac (Eds.):
Advances in Intelligent Data Analysis VII, 7th International Symposium on Intelligent Data Analysis, IDA 2007, Ljubljana, Slovenia, September 6-8, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-74824-3
Contents BibTeX
- 4724
- Khaled Mellouli (Ed.):
Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-75255-4
Contents BibTeX
- 4725
- David Hutchison, Randy H. Katz (Eds.):
Self-Organizing Systems, Second International Workshop, IWSOS 2007, The Lake District, UK, September 11-13, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-74916-5
Contents BibTeX
- 4726
- Nivio Ziviani, Ricardo A. Baeza-Yates (Eds.):
String Processing and Information Retrieval, 14th International Symposium, SPIRE 2007, Santiago, Chile, October 29-31, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-75529-6
Contents BibTeX
- 4727
- Pascal Paillier, Ingrid Verbauwhede (Eds.):
Cryptographic Hardware and Embedded Systems - CHES 2007, 9th International Workshop, Vienna, Austria, September 10-13, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-74734-5
Contents BibTeX
- 4728
- Symeon Bozapalidis, George Rahonis (Eds.):
Algebraic Informatics, Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers.
Springer/Springer 2007, ISBN 978-3-540-75413-8
Contents BibTeX
- 4729
- Francesco Mele, Giuliana Ramella, Silvia Santillo, Francesco Ventriglia (Eds.):
Advances in Brain, Vision, and Artificial Intelligence, Second International Symposium, BVAI 2007, Naples, Italy, October 10-12, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-75554-8
Contents BibTeX
- 4730
- Carol Peters, Paul Clough, Fredric C. Gey, Jussi Karlgren, Bernardo Magnini, Douglas W. Oard, Maarten de Rijke, Maximilian Stempfhuber (Eds.):
Evaluation of Multilingual and Multi-modal Information Retrieval, 7th Workshop of the Cross-Language Evaluation Forum, CLEF 2006, Alicante, Spain, September 20-22, 2006, Revised Selected Papers.
Springer 2007, ISBN 978-3-540-74998-1
Contents BibTeX
- 4731
- Andrzej Pelc (Ed.):
Distributed Computing, 21st International Symposium, DISC 2007, Lemesos, Cyprus, September 24-26, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-75141-0
Contents BibTeX
- 4732
- Klaus Schneider, Jens Brandt (Eds.):
Theorem Proving in Higher Order Logics, 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-74590-7
Contents BibTeX
- 4733
- Roberto Basili, Maria Teresa Pazienza (Eds.):
AI*IA 2007: Artificial Intelligence and Human-Oriented Computing, 10th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 10-13, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-74781-9
Contents BibTeX
- 4734
- Joachim Biskup, Javier Lopez (Eds.):
Computer Security - ESORICS 2007, 12th European Symposium On Research In Computer Security, Dresden, Germany, September 24-26, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-74834-2
Contents BibTeX
- 4735
- Gregor Engels, Bill Opdyke, Douglas C. Schmidt, Frank Weil (Eds.):
Model Driven Engineering Languages and Systems, 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-75208-0
Contents BibTeX
- 4736
- Stephan Winter, Matt Duckham, Lars Kulik, Benjamin Kuipers (Eds.):
Spatial Information Theory, 8th International Conference, COSIT 2007, Melbourne, Australia, September 19-23, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-74786-4
Contents BibTeX
- 4737
- Bettina Berendt, Andreas Hotho, Dunja Mladenic, Giovanni Semeraro (Eds.):
From Web to Social Web: Discovering and Deploying User and Content Profiles, Workshop on Web Mining, WebMine 2006, Berlin, Germany, September 18, 2006. Revised Selected and Invited Papers.
Springer 2007, ISBN 978-3-540-74950-9
Contents BibTeX
- 4738
- Ana Paiva, Rui Prada, Rosalind W. Picard (Eds.):
Affective Computing and Intelligent Interaction, Second International Conference, ACII 2007, Lisbon, Portugal, September 12-14, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-74888-5
Contents BibTeX
- 4739
- Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia (Eds.):
Computer Aided Systems Theory - EUROCAST 2007, 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers.
Springer 2007, ISBN 978-3-540-75866-2
Contents BibTeX
- 4740
- Lizhuang Ma, Matthias Rauterberg, Ryohei Nakatsu (Eds.):
Entertainment Computing - ICEC 2007, 6th International Conference, Shanghai, China, September 15-17, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-74872-4
Contents BibTeX
- 4741
- Christian Bessiere (Ed.):
Principles and Practice of Constraint Programming - CP 2007, 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-74969-1
Contents BibTeX
- 4742
- Ivan Stojmenovic, Ruppa K. Thulasiram, Laurence Tianruo Yang, Weijia Jia, Minyi Guo, Rodrigo Fernandes de Mello (Eds.):
Parallel and Distributed Processing and Applications, 5th International Symposium, ISPA 2007, Niagara Falls, Canada, August 29-31, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-74741-3
Contents BibTeX
- 4743
- Parimala Thulasiraman, Xubin He, Tony Li Xu, Mieso K. Denko, Ruppa K. Thulasiram, Laurence Tianruo Yang (Eds.):
Frontiers of High Performance Computing and Networking ISPA 2007 Workshops, ISPA 2007 International Workshops SSDSN, UPWN, WISH, SGC, ParDMCom, HiPCoMB, and IST-AWSN Niagara Falls, Canada, August 28 - September 1, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-74766-6
Contents BibTeX
- 4744
- Yvonne de Kort, Wijnand IJsselsteijn, Cees J. H. Midden, Berry Eggen, B. J. Fogg (Eds.):
Persuasive Technology, Second International Conference on Persuasive Technology, PERSUASIVE 2007, Palo Alto, CA, USA, April 26-27, 2007, Revised Selected Papers.
Springer 2007, ISBN 978-3-540-77005-3
Contents BibTeX
- 4745
- Emmanuel Gaudin, Elie Najm, Rick Reed (Eds.):
SDL 2007: Design for Dependable Systems, 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-74983-7
Contents BibTeX
- 4746
- Andrea Bondavalli, Francisco Vilar Brasileiro, Sergio Rajsbaum (Eds.):
Dependable Computing, Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-75293-6
Contents BibTeX
- 4747
- Saso Dzeroski, Jan Struyf (Eds.):
Knowledge Discovery in Inductive Databases, 5th International Workshop, KDID 2006, Berlin, Germany, September 18, 2006, Revised Selected and Invited Papers.
Springer 2007, ISBN 978-3-540-75548-7
Contents BibTeX
- 4748
- Katinka Wolter (Ed.):
Formal Methods and Stochastic Models for Performance Evaluation, Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-75210-3
Contents BibTeX
- 4749
- Bernd J. Krämer, Kwei-Jay Lin, Priya Narasimhan (Eds.):
Service-Oriented Computing - ICSOC 2007, Fifth International Conference, Vienna, Austria, September 17-20, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-74973-8
Contents BibTeX
- 4750
- Marina L. Gavrilova, Chih Jeng Kenneth Tan (Eds.):
Transactions on Computational Science I.
Springer 2008, ISBN 978-3-540-79298-7
Contents BibTeX
- 4751
- Glenn Tesler, Dannie Durand (Eds.):
Comparative Genomics, RECOMB 2007 International Workshop, RECOMB-CG 2007, San Diego, CA, USA, September 16-18, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-74959-2
Contents BibTeX
- 4752
- Atsuko Miyaji, Hiroaki Kikuchi, Kai Rannenberg (Eds.):
Advances in Information and Computer Security, Second International Workshop on Security, IWSEC 2007, Nara, Japan, October 29-31, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-75650-7
Contents BibTeX
- 4753
- Erik Duval, Ralf Klamma, Martin Wolpers (Eds.):
Creating New Learning Experiences on a Global Scale, Second European Conference on Technology Enhanced Learning, EC-TEL 2007, Crete, Greece, September 17-20, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-75194-6
Contents BibTeX
- 4754
- Marcus Hutter, Rocco A. Servedio, Eiji Takimoto (Eds.):
Algorithmic Learning Theory, 18th International Conference, ALT 2007, Sendai, Japan, October 1-4, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-75224-0
Contents BibTeX
- 4755
- Vincent Corruble, Masayuki Takeda, Einoshin Suzuki (Eds.):
Discovery Science, 10th International Conference, DS 2007, Sendai, Japan, October 1-4, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-75487-9
Contents BibTeX
- 4756
- Luis Rueda, Domingo Mery, Josef Kittler (Eds.):
Progress in Pattern Recognition, Image Analysis and Applications, 12th Iberoamericann Congress on Pattern Recognition, CIARP 2007, Valparaiso, Chile, November 13-16, 2007, Proceedings.
Springer 2008, ISBN 978-3-540-76724-4
Contents BibTeX
- 4757
- Franck Cappello, Thomas Hérault, Jack Dongarra (Eds.):
Recent Advances in Parallel Virtual Machine and Message Passing Interface, 14th European PVM/MPI User's Group Meeting, Paris, France, September 30 - October 3, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-75415-2
Contents BibTeX
- 4758
- Flávio Oquendo (Ed.):
Software Architecture, First European Conference, ECSA 2007, Aranjuez, Spain, September 24-26, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-75131-1
Contents BibTeX
- 4759
- ...
- 4760
- ...
- 4761
- Roman Obermaisser, Yunmook Nah, Peter P. Puschner, Franz-Josef Rammig (Eds.):
Software Technologies for Embedded and Ubiquitous Systems, 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 2007. Revised Papers.
Springer 2007, ISBN 978-3-540-75663-7
Contents BibTeX
- 4762
- Kedar S. Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura (Eds.):
Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007, Tokyo, Japan, October 22-25, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-75595-1
Contents BibTeX
- 4763
- Jean-François Raskin, P. S. Thiagarajan (Eds.):
Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-75453-4
Contents BibTeX
- 4764
- Pekka Abrahamsson, Nathan Baddoo, Tiziana Margaria, Richard Messnarz (Eds.):
Software Process Improvement, 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-74765-9
Contents BibTeX
- 4765
- ...
- 4766
- Nicolas Maudet, Simon Parsons, Iyad Rahwan (Eds.):
Argumentation in Multi-Agent Systems, Third International Workshop, ArgMAS 2006, Hakodate, Japan, May 8, 2006, Revised Selected and Invited Papers.
Springer 2007, ISBN 978-3-540-75525-8
Contents BibTeX
- 4767
- Farhad Arbab, Marjan Sirjani (Eds.):
International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-75697-2
Contents BibTeX
- 4768
- ...
- 4769
- Andreas Brandstädt, Dieter Kratsch, Haiko Müller (Eds.):
Graph-Theoretic Concepts in Computer Science, 33rd International Workshop, WG 2007, Dornburg, Germany, June 21-23, 2007. Revised Papers.
Springer 2007, ISBN 978-3-540-74838-0
Contents BibTeX
- 4770
- Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov (Eds.):
Computer Algebra in Scientific Computing, 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-75186-1
Contents BibTeX
- 4771
- Thomas Bartz-Beielstein, María J. Blesa Aguilera, Christian Blum, Boris Naujoks, Andrea Roli, Günter Rudolph, Michael Sampels (Eds.):
Hybrid Metaheuristics, 4th International Workshop, HM 2007, Dortmund, Germany, October 8-9, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-75513-5
Contents BibTeX
- 4772
- Henri Prade, V. S. Subrahmanian (Eds.):
Scalable Uncertainty Management, First International Conference, SUM 2007, Washington, DC, USA, October 10-12, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-75407-7
Contents BibTeX
- 4773
- Shingo Ata, Choong Seon Hong (Eds.):
Managing Next Generation Networks and Services, 10th Asia-Pacific Network Operations and Management Symposium, APNOMS 2007, Sapporo, Japan, October 10-12, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-75475-6
Contents BibTeX
- 4774
- Jagath C. Rajapakse, Bertil Schmidt, L. Gwenn Volkert (Eds.):
Pattern Recognition in Bioinformatics, Second IAPR International Workshop, PRIB 2007, Singapore, October 1-2, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-75285-1
Contents BibTeX
- 4775
- Anna Esposito, Marcos Faúndez-Zanuy, Eric Keller, Maria Marinaro (Eds.):
Verbal and Nonverbal Communication Behaviours, COST Action 2102 International Workshop, Vietri sul Mare, Italy, March 29-31, 2007, Revised Selected and Invited Papers.
Springer 2007, ISBN 978-3-540-76441-0
Contents BibTeX
- 4776
- Nikita Borisov, Philippe Golle (Eds.):
Privacy Enhancing Technologies, 7th International Symposium, PET 2007 Ottawa, Canada, June 20-22, 2007, Revised Selected Papers.
Springer 2007, ISBN 978-3-540-75550-0
Contents BibTeX
- 4777
- Subhash Bhalla (Ed.):
Databases in Networked Information Systems, 5th International Workshop, DNIS 2007, Aizu-Wakamatsu, Japan, October 17-19, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-75511-1
Contents BibTeX
- 4778
- Shaohua Kevin Zhou, Wenyi Zhao, Xiaoou Tang, Shaogang Gong (Eds.):
Analysis and Modeling of Faces and Gestures, Third International Workshop, AMFG 2007, Rio de Janeiro, Brazil, October 20, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-75689-7
Contents BibTeX
- 4779
- Juan A. Garay, Arjen K. Lenstra, Masahiro Mambo, René Peralta (Eds.):
Information Security, 10th International Conference, ISC 2007, Valparaíso, Chile, October 9-12, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-75495-4
Contents BibTeX
- 4780
- ...
- 4781
- Guoping Qiu, Clement Leung, Xiangyang Xue, Robert Laurini (Eds.):
Advances in Visual Information Systems, 9th International Conference, VISUAL 2007, Shanghai, China, June 28-29, 2007 Revised Selected Papers.
Springer 2007, ISBN 978-3-540-76413-7
Contents BibTeX
- 4782
- Ronald H. Perrott, Barbara M. Chapman, Jaspal Subhlok, Rodrigo Fernandes de Mello, Laurence Tianruo Yang (Eds.):
High Performance Computing and Communications, Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-75443-5
Contents BibTeX
- 4783
- Jan Holub, Jan Zdárek (Eds.):
Implementation and Application of Automata, 12th International Conference, CIAA 2007, Praque, Czech Republic, July 16-18, 2007, Revised Selected Papers.
Springer 2007, ISBN 978-3-540-76335-2
Contents BibTeX
- 4784
- Willy Susilo, Joseph K. Liu, Yi Mu (Eds.):
Provable Security, First International Conference, ProvSec 2007, Wollongong, Australia, November 1-2, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-75669-9
Contents BibTeX
- 4785
- Alexander Clemm, Lisandro Zambenedetti Granville, Rolf Stadler (Eds.):
Managing Virtualization of Networks and Services, 18th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2007, San José, CA, USA, October 29-31, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-75693-4
Contents BibTeX
- 4786
- Deep Medhi, José Marcos S. Nogueira, Tom Pfeifer, Shyhtsun Felix Wu (Eds.):
IP Operations and Management, 7th IEEE International Workshop, IPOM 2007, San José, USA, October 31 - November 2, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-75852-5
Contents BibTeX
- 4787
- Dilip Krishnaswamy, Tom Pfeifer, Danny Raz (Eds.):
Real-Time Mobile Multimedia Services, 10th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services, MMNS 2007, San José, USA, October 31 - November 2, 2007.
Springer 2007, ISBN 978-3-540-75868-6
Contents BibTeX
- 4788
- Daniel Borrajo, Luis A. Castillo, Juan M. Corchado (Eds.):
Current Topics in Artificial Intelligence, 12th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2007, Salamanca, Spain, November 12-16, 2007. Selected Papers.
Springer 2007, ISBN 978-3-540-75270-7
Contents BibTeX
- 4789
- Michael Butler, Michael G. Hinchey, María M. Larrondo-Petrie (Eds.):
Formal Methods and Software Engineering, 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-76648-3
Contents BibTeX
- 4790
- Nachum Dershowitz, Andrei Voronkov (Eds.):
Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-75558-6
Contents BibTeX
- 4791
- Nicholas Ayache, Sébastien Ourselin, Anthony J. Maeder (Eds.):
Medical Image Computing and Computer-Assisted Intervention - MICCAI 2007, 10th International Conference, Brisbane, Australia, October 29 - November 2, 2007, Proceedings, Part I.
Springer 2007, ISBN 978-3-540-75756-6
Contents BibTeX
- 4792
- Nicholas Ayache, Sébastien Ourselin, Anthony J. Maeder (Eds.):
Medical Image Computing and Computer-Assisted Intervention - MICCAI 2007, 10th International Conference, Brisbane, Australia, October 29 - November 2, 2007, Proceedings, Part II.
Springer 2007, ISBN 978-3-540-75758-0
Contents BibTeX
- 4793
- Gerd Kortuem, Joe Finney, Rodger Lea, Vasughi Sundramoorthy (Eds.):
Smart Sensing and Context, Second European Conference, EuroSSC 2007, Kendal, England, October 23-25, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-75695-8
Contents BibTeX
- 4794
- Bernt Schiele, Anind K. Dey, Hans Gellersen, Boris E. R. de Ruyter, Manfred Tscheligi, Reiner Wichert, Emile H. L. Aarts, Alejandro P. Buchmann (Eds.):
Ambient Intelligence, European Conference, AmI 2007, Darmstadt, Germany, November 7-10, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-76651-3
Contents BibTeX
- 4795
- Frank Schilder, Graham Katz, James Pustejovsky (Eds.):
Annotating, Extracting and Reasoning about Time and Events, International Seminar, Dagstuhl Castle, Germany, April 10-15, 2005. Revised Papers.
Springer 2007, ISBN 978-3-540-75988-1
Contents BibTeX
- 4796
- Michael S. Lew, Nicu Sebe, Thomas S. Huang, Erwin M. Bakker (Eds.):
Human-Computer Interaction, IEEE International Workshop, HCI 2007, Rio de Janeiro, Brazil, October 20, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-75772-6
Contents BibTeX
- 4797
- Marcelo Arenas, Michael I. Schwartzbach (Eds.):
Database Programming Languages, 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers.
Springer 2007, ISBN 978-3-540-75986-7
Contents BibTeX
- 4798
- Zili Zhang, Jörg H. Siekmann (Eds.):
Knowledge Science, Engineering and Management, Second International Conference, KSEM 2007, Melbourne, Australia, November 28-30, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-76718-3
Contents BibTeX
- 4799
- Andreas Holzinger (Ed.):
HCI and Usability for Medicine and Health Care, Third Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2007, Graz, Austria, November, 22, 2007, Proceedings.
Springer 2007, ISBN 978-3-540-76804-3
Contents BibTeX
Copyright © Sun May 17 00:32:35 2009
by Michael Ley (ley@uni-trier.de)