1. Software engineering--ESEC/FSE Author/Creator: ESEC/FSE Publication/Creation: Berlin ; New York : Springer, [1997-] Resource Type: Journal, Newspaper or Serial Access & Availability: Loading
2. Electronic government : 20th IFIP WG 8.5 International Conference, EGOV 2021, Granada, Spain, September 7-9, 2021 : proceedings Author/Creator: EGOV (Conference) Granada, Spain) 2021 : (20th Publication/Creation: Cham, Switzerland : Springer, [2021] Resource Type: Book Access & Availability: Loading
3. Electronic voting : 6th International Joint Conference, e-Vote-ID 2021, Virtual event, October 5-8, 2021, Proceedings Author/Creator: E-Vote-ID (Conference) Online) 2021 : (6th Publication/Creation: Cham : Springer, 2021 Resource Type: Book Access & Availability: Loading
4. Electronic participation : 12th IFIP WG 8.5 international conference, ePart 2020, Linköping, Sweden, August 31-September 2, 2020, Proceedings Author/Creator: ePart (Conference) Online) 2020 : (12th Publication/Creation: Cham, Switzerland : Springer, 2020 Resource Type: Book Access & Availability: Loading
5. Disinformation in open online media : second Multidisciplinary International Symposium, MISDOOM 2020, Leiden, the Netherlands, October 26-27, 2020 : proceedings Author/Creator: MISDOOM (Symposium) Online) 2020 : (2nd Publication/Creation: Cham, Switzerland : Springer, [2020] Resource Type: Book Access & Availability: Loading
6. Comparative genomics : 16th International Conference, RECOMB-CG 2018, Mogog-Orford, QC, Canada, October 9-12, 2018, proceedings Author/Creator: RECOMB-CG (Conference) Québec, Québec) 2018 : (16th Publication/Creation: Cham, Switzerland : Springer, [2018] Resource Type: Book Access & Availability: Loading
7. Digital libraries : data, information, and knowledge for digital lives : 19th International Conference on Asia-Pacific Digital Libraries, ICADL 2017, Bangkok, Thailand, November 13-15, 2017, Proceedings Author/Creator: International Conference on Asia-Pacific Digital Libraries Bangkok, Thailand) 2017 : (19th Publication/Creation: Cham, Switzerland : Springer, 2017 Resource Type: Book Access & Availability: Loading
8. Intelligent strategies for pathway mining : model and pattern identification Author/Creator: Chen, Qingfeng Publication/Creation: Heidelberg : Springer, [2014] Resource Type: Book Access & Availability: Loading
9. Molecular biology : not only for bioinformaticians Author/Creator: Widłak, Wiesława Publication/Creation: Berlin : Springer, [2013] Resource Type: Book Access & Availability: Loading
10. AI approaches to the complexity of legal systems : models and ethical challenges for legal systems, legal language and legal ontologies, argumentation and software agents : international workshop AICOL-III, held as part of the 25th IVR Congress Frankfurt am Main, Germany, August 15-16, 2011 : revised selected papers Author/Creator: AICOL (Conference) Frankfurt am Main, Germany) 2011 : (3rd Publication/Creation: Heidelberg ; New York : Springer, 2012 Resource Type: Book Access & Availability: Loading
11. Information security applications : 9th International Workshop, WISA 2008, Jeju Island, Korea, September 23-25, 2008 : revised selected papers Author/Creator: WISA (Workshop : Information security) Cheju-do, Korea) 2008 : (9th Publication/Creation: Berlin : Springer-Verlag, [2009] Resource Type: Book Access & Availability: Loading
12. High performance embedded architectures and compilers : fourth international conference, HiPEAC 2009, Paphos, Cyprus, January 25-28, 2009 : proceedings Author/Creator: HiPEAC 2009 Paphos, Cyprus) (2009 Publication/Creation: Berlin ; New York : Springer, [2009] Resource Type: Book Access & Availability: Loading
13. Declarative agent languages and technologies VI : 6th international workshop, DALT 2008, Estoril, Portugal, May 12, 2008 : revised selected and invited papers Author/Creator: International Workshop on Declarative Agent Languages and Technologies Estoril, Portugal) 2008 : (6th Publication/Creation: Berlin ; New York : Springer, [2009] Resource Type: Book Access & Availability: Loading
14. Approximation and online algorithms : 6th International workshop, WAOA 2008, Karlsruhe, Germany, September 18-19, 2008 : revised papers Author/Creator: WAOA 2008 Karlsruhe, Germany) (2008 Publication/Creation: Berlin : Springer, [2009] Resource Type: Book Access & Availability: Loading
15. SOFSEM 2009 : theory and practice of computer science : 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 24-30, 2009 : proceedings Author/Creator: SOFSEM (Conference) Špindlerův Mlýn, Czech Republic) 2009 : (35th Publication/Creation: Berlin : Springer, [2009] Resource Type: Book Access & Availability: Loading
16. Digital watermarking : 6th International Workshop, IWDW 2007, Guangzhou, China, December 3-5, 2007 : proceedings Author/Creator: IWDW (Conference) Guangzhou, China) 2007 : (6th Publication/Creation: Berlin ; New York : Springer, [2008] Resource Type: Book Access & Availability: Loading
17. Advances in web mining and web usage analysis : 9th International Workshop on Knowledge Discovery on the Web, WebKDD 2007, and 1st International Workshop on Social Networks Analysis, SNA-KDD 2007, San Jose, CA, USA, August 12-15, 2007 : revised papers Author/Creator: WebKDD 2007 San Jose, Calif.) (2007 Publication/Creation: Berlin ; New York : Springer, [2009] Resource Type: Book Access & Availability: Loading
18. Distributed computing and networking : 10th international conference, ICDCN 2009, Hyderabad, India, January 3-6, 2009 : proceedings Author/Creator: ICDCN (Conference) Hyderabad, India) 2009 : (10th Publication/Creation: Berlin ; New York : Springer, [2009] Resource Type: Book Access & Availability: Loading
19. Algorithms and models for the web-graph : 6th international workshop, WAW 2009, Barcelona, Spain, February 12-13, 2009 : proceedings Author/Creator: WAW 2009 Barcelona, Spain) (2009 Publication/Creation: Berlin : Springer, 2009 Resource Type: Book Access & Availability: Loading
20. Self-organizing systems : third international workshop, IWSOS 2008, Vienna, Austria, December 10-12, 2008 : proceedings Author/Creator: IWSOS 2008 Vienna, Austria) (2008 Publication/Creation: Berlin ; New York : Springer, 2008 Resource Type: Book Access & Availability: Loading
21. Engineering interactive systems 2008 : Second Conference on Human-Centered Software Engineering, HCSE 2008 and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008 : proceedings Author/Creator: Conference on Human-Centered Software Engineering Pisa, Italy) 2008 : (2nd Publication/Creation: Berlin : Springer, 2008 Resource Type: Book Access & Availability: Loading
22. A practical programming model for the multi-core era : 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 ; proceedings Author/Creator: IWOMP (Conference) Beijing, China) 2007 : (3rd Publication/Creation: Berlin : Springer, 2008 Resource Type: Book Access & Availability: Loading
23. Computers helping people with special needs : 11th international conference, ICCHP 2008, Linz, Austria, July 9-11, 2008 : proceedings Author/Creator: International Conference on Computers Helping People with Special Needs Linz, Austria) 2008 : (11th Publication/Creation: Berlin ; New York : Springer, [2008] Resource Type: Book Access & Availability: Loading
24. Information security and cryptology : third SKLOIS Conference, Inscrypt 2007, Xining, China, August 31 - September 5, 2007 : revised selected papers Author/Creator: Inscrypt (Conference) Xining, Qinghai Sheng, China) 2007 : (3rd Publication/Creation: Berlin ; New York : Springer, [2008] Resource Type: Book Access & Availability: Loading
25. Unconventional computation : 7th international conference, UC 2008, Vienna, Austria, August 25 - 28, 2008, proceedings Author/Creator: UC (Conference) Vienna, Austria) 2008 : (7th Publication/Creation: Berlin ; New York, NY : Springer, [2008] Resource Type: Book Access & Availability: Loading
26. Data management in grid and peer-to-peer systems : First International Conference, Globe 2008, Turin, Italy, September 3, 2008 : proceedings Author/Creator: Globe (Conference : 2008-) Publication/Creation: Berlin ; New York : Springer, [2008] Resource Type: Book Access & Availability: Loading
27. Quality of software architectures : models and architectures : 4th International Conference on the Quality of Software Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008, proceedings Author/Creator: International Conference on the Quality of Software Architectures Karlsruhe, Germany) 2008 : (4th Publication/Creation: Berlin : Springer, [2008] Resource Type: Book Access & Availability: Loading
28. Computer mathematics : 8th Asian symposium, ASCM 2007, Singapore, December 15-17, 2007 : revised and invited papers Author/Creator: Asian Symposium on Computer Mathematics Singapore) 2007 : (8th Publication/Creation: Berlin : Springer, 2008 Resource Type: Book Access & Availability: Loading
29. Verified software: theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 : proceedings Author/Creator: VSTTE (Conference) Toronto, Ont.) 2008 : (2nd Publication/Creation: Berlin : Springer, 2008 Resource Type: Book Access & Availability: Loading
30. Scalable uncertainty management : second international conference, SUM 2008, Naples, Italy, October 1-3, 2008 ; proceedings Author/Creator: SUM (Conference) Naples, Italy) 2008 : (2nd Publication/Creation: Berlin : Springer, 2008 Resource Type: Book Access & Availability: Loading
31. Formal methods in systems biology : first international workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008 : proceedings Author/Creator: FMSB 2008 Cambridge, England) (2008 Publication/Creation: Berlin ; New York : Springer, c2008, [date of publication not identified] Resource Type: Book Access & Availability: Loading
32. Architecting dependable systems V Publication/Creation: Berlin ; New York : Springer, [2008] Resource Type: Book Access & Availability: Loading
33. Automated technology for verification and analysis : 6th international symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 : proceedings Author/Creator: ATVA (Symposium) Seoul, Korea) 2008 : (6th Publication/Creation: Berlin : Springer, 2008 Resource Type: Book Access & Availability: Loading
34. Cooperative design, visualization, and engineering : 5th international conference, CDVE 2008, Calvia, Mallorca, Spain, September 21-25, 2008 ; proceedings Author/Creator: CDVE (Conference) Calviá, Spain) 2008 : (5th Publication/Creation: Berlin : Springer, 2008 Resource Type: Book Access & Availability: Loading
35. String processing and information retrieval : 15th international symposium, SPIRE 2008, Melbourne, Australia, November 10-12, 2008 : proceedings Author/Creator: SPIRE (Symposium) Melbourne, Vic.) 2008 : (15th Publication/Creation: Berlin ; New York : Springer, [2008] Resource Type: Book Access & Availability: Loading
36. Information security theory and practices : smart devices, convergence and next generation networks : second IFIP WG 11.2 International Workshop, WISTP 2008, Seville, Spain, May 13-16, 2008 : proceedings Author/Creator: WISTP 2008 Seville, Spain) (2008 Publication/Creation: Berlin ; New York : Springer, [2008] Resource Type: Book Access & Availability: Loading
37. Probabilistic inductive logic programming : theory and applications Publication/Creation: Berlin ; New York : Springer, 2008 Resource Type: Book Access & Availability: Loading
38. Rough sets and knowledge technology : third international conference, RSKT 2008, Chengdu, China, May 17-19, 2008 : proceedings Author/Creator: RSKT (Conference) Chengdu, China) 2008 : (3rd Publication/Creation: Berlin ; New York : Springer, [2008] Resource Type: Book Access & Availability: Loading
39. Evolutionary computation, machine learning, and data mining in bioinformatics : 6th European Conference, EvoBIO 2008, Naples, Italy, March 26-28, 2008 : proceedings Author/Creator: EvoBIO (Conference) Naples, Italy) 2008 : (6th Publication/Creation: Berlin ; New York : Springer, [2008] Resource Type: Book Access & Availability: Loading
40. Advances in Web based learning--ICWL 2007 : 6th international conference, Edinburgh, UK, August 15-17, 2007 : revised papers Author/Creator: ICWL (Conference) Edinburgh, Scotland) 2007 : (6th Publication/Creation: Berlin ; New York : Springer, [2008] Resource Type: Book Access & Availability: Loading
41. Formal methods for industrial critical systems : 12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 : revised selected papers Author/Creator: International Workshop on Formal Methods for Industrial Critical Systems Berlin, Germany) 2007 : (12th Publication/Creation: Berlin ; New York : Springer, [2008] Resource Type: Book Access & Availability: Loading
42. Performance evaluation : metrics, models and benchmarks : SPEC International Performance Evaluation Workshop, SIPEW 2008, Darmstadt, Germany, June 27-28, 2008 : proceedings Author/Creator: SPEC International Performance Evaluation Workshop Darmstadt, Germany) (2008 Publication/Creation: Berlin ; New York : Springer, [2008] Resource Type: Book Access & Availability: Loading
43. Critical information infrastructures security : second international workshop, CRITIS 2007, Málaga, Spain, October 3-5, 2007 ; revised papers Author/Creator: CRITIS (Conference) Málaga, Spain) 2007 : (2nd Publication/Creation: Berlin : Springer, [2008] Resource Type: Book Access & Availability: Loading
44. Intelligent robotics and applications : first international conference, ICIRA 2008, Wuhan, China, October 15-17, 2008 ; proceedings Author/Creator: ICIRA (Conference) Wuhan, China) 2008 : (1st Publication/Creation: Berlin ; New York : Springer, [2008] Resource Type: Book Access & Availability: Loading
45. RoboCup 2007 : Robot Soccer World Cup XI Author/Creator: RoboCup (Conference) Atlanta, Ga.) 2007 : (11th Publication/Creation: Berlin ; New York : Springer, [2008] Resource Type: Book Access & Availability: Loading
46. Wireless sensor networks : 5th European conference, EWSN 2008, Bologna, Italy, January 30 - February 1, 2008 : proceedings Author/Creator: EWSN (Conference) Bologna, Italy) 2008 : (5th Publication/Creation: Berlin ; New York : Springer, 2008 Resource Type: Book Access & Availability: Loading
47. Logic for programming, artificial intelligence, and reasoning : 15th international conference, LPAR 2008, Doha, Qatar, November 22-27, 2008 ; proceedings Author/Creator: LPAR (Conference) Dawḥah, Qatar) 2008 : (15th Publication/Creation: Berlin : Springer, 2008 Resource Type: Book Access & Availability: Loading
48. Text, speech and dialogue : 11th international conference, TSD 2008, Brno, Czech Republic, September 8-12, 2008 ; proceedings Author/Creator: TSD (Conference) Brno, Czech Republic) 2008 : (11th Publication/Creation: Berlin : Springer, 2008 Resource Type: Book Access & Availability: Loading
49. Affect and emotion in human-computer interaction : from theory to applications Publication/Creation: Berlin ; New York : Springer, 2008 Resource Type: Book Access & Availability: Loading
50. Theorem proving in higher order logics : 21st international conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008 ; proceedings Author/Creator: TPHOLs Montreal, Quebec) 2008 : (21st Publication/Creation: Berlin : Springer, 2008 Resource Type: Book Access & Availability: Loading
51. Progress in cryptology : AFRICACRYPT 2008 : First International Conference on Cryptology in Africa, Casablanca, Morocco, June 11-14, 2008 : proceedings Author/Creator: International Conference on Cryptology in Africa Casablanca, Morocco) 2008 : (1st Publication/Creation: Berlin ; New York : Springer, [2008] Resource Type: Book Access & Availability: Loading
52. Algorithmic aspects in information and management : 4th international conference, AAIM 2008, Shanghai, China, June 23-25, 2008 : proceedings Author/Creator: AAIM (Conference) Shanghai, China) 2008 : (4th Publication/Creation: Berlin ; New York : Springer, [2008] Resource Type: Book Access & Availability: Loading
53. Hybrid artificial intelligence systems : third international workshop, HAIS 2008, Burgos, Spain, September 24-26, 2008 : proceedings Author/Creator: International Workshop on Hybrid Artificial Intelligence Systems Publication/Creation: Berlin : Springer, 2008 Resource Type: Book Access & Availability: Loading
54. Management of converged multimedia networks and services : 11th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services, MMNS 2008, Samos Island, Greece, September 22-26, 2008 ; proceedings Author/Creator: International Conference on Management of Multimedia Networks and Services Samos Island, Greece) 2008 : (11th Publication/Creation: Berlin : Springer, 2008 Resource Type: Book Access & Availability: Loading
55. OpenMP shared memory parallel programming : international workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006 : proceedings Author/Creator: IWOMP (Conference) Eugene, Or.) 2005 : (1st Publication/Creation: Berlin ; New York : Springer, [2008] Resource Type: Book Access & Availability: Loading
56. The Internet of things : first international conference, IOT 2008, Zurich, Switzerland, March 26-28, 2008 : proceedings Author/Creator: IOT (Conference) Zurich, Switzerland) 2008 : (1st Publication/Creation: Berlin ; New York : Springer, [2008] Resource Type: Book Access & Availability: Loading
57. Agent-oriented software engineering VIII : 8th international workshop, AOSE 2007, Honolulu, Hi, USA, May 14, 2007 : revised selected papers Author/Creator: AOSE 2007 Honolulu, Hawaii) (2007 Publication/Creation: Berlin ; New York : Springer, [2008] Resource Type: Book Access & Availability: Loading
58. Advances in databases and information systems : 12th East European conference, ADBIS 2008, Pori, Finland, September 5-9, 2008 ; proceedings Author/Creator: ADBIS (Conference) Pori, Finland) 2008 : (12th Publication/Creation: Berlin; New York : Springer, 2008 Resource Type: Book Access & Availability: Loading
59. Theory of cryptography : Fifth Theory of Cryptography Conference, Tcc 2008, New York, USA, March 19-21, 2008, proceedings Author/Creator: Theory of Cryptography Conference New York, N.Y.) 2008 : (5th Publication/Creation: [New York] : Springer, 2008 Resource Type: Book Access & Availability: Loading
60. Computer performance engineering : 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008 ; proceedings Author/Creator: EPEW (Workshop) Palma de Mallorca, Spain) 2008 : (5th Publication/Creation: Berlin : Springer, 2008 Resource Type: Book Access & Availability: Loading
61. Haptic and audio interaction design : third international workshop, HAID 2008, Jyväskylä, Finland, September 15-16 2008 ; proceedings Author/Creator: HAID 2008 Jyväskylä, Finland) (2008 Publication/Creation: Berlin : Springer, 2008 Resource Type: Book Access & Availability: Loading
62. Advances in artificial intelligence - SBIA 2008 : 19th Brazilian Symposium on Artificial Intelligence, Salvador, Brazil, October 26-30, 2008 ; proceedings Author/Creator: Simpósio Brasileiro de Inteligência Artificial Salvador, Brazil) 2008 : (19th Publication/Creation: Berlin : Springer, 2008 Resource Type: Book Access & Availability: Loading
63. Passive and active network measurement : 9th international conference, PAM 2008, Cleveland, OH, USA, April 29-30, 2008 ; proceedings Author/Creator: PAM (Conference) Cleveland, Ohio) 2008 : (9th Publication/Creation: Berlin ; New York : Springer, 2008 Resource Type: Book Access & Availability: Loading
64. Approximation and online algorithms : 5th international workshop, WAOA 2007, Eilat, Israel, October 11-12, 2007 ; revised papers Author/Creator: WAOA 2007 Elat, Israel) (2007 Publication/Creation: Berlin ; New York : Springer, [2008] Resource Type: Book Access & Availability: Loading
65. PRICAI 2008 : trends in artificial intelligence : 10th Pacific Rim International Conference on Artificial Intelligence, Hanoi, Vietnam, December 15-19, 2008 ; proceedings Author/Creator: Pacific Rim International Conference on Artificial Intelligence Hanoi, Vietnam) 2008 : (10th Publication/Creation: Berlin : Springer, 2008 Resource Type: Book Access & Availability: Loading
66. Advances in software engineering : Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, revised tutorial lectures Publication/Creation: Berlin ; New York : Springer, [2008] Resource Type: Book Access & Availability: Loading
67. Medical image computing and computer-assisted intervention - MICCAI 2008 : 11th international conference, New York, NY, USA, September 6-10, 2008 ; proceedings Author/Creator: International Conference on Medical Image Computing and Computer-Assisted Intervention New York, N.Y.) 2008 : (11th Publication/Creation: Berlin ; New York : Springer, [2008] Resource Type: Book Access & Availability: Loading
68. Engineering societies in the agents world VIII : 8th international workshop, ESAW 2007, Athens, Greece, October 22-24, 2007 : revised selected papers Author/Creator: ESAW 2007 Athens, Greece) (2007 Publication/Creation: Berlin : Springer, 2008 Resource Type: Book Access & Availability: Loading
69. Foundations of information and knowledge systems : 5th international symposium, FOIKS 2008, Pisa, Italy, February 11-15, 2008 : proceedings Author/Creator: FoIKS 2008 Pisa, Italy) (2008 Publication/Creation: Berlin ; New York : Springer, [2008] Resource Type: Book Access & Availability: Loading
70. Computational linguistics and intelligent text processing : 9th international conference, CICLing 2008, Haifa, Israel, February 17-23, 2008 : proceedings Author/Creator: CICLing (Conference) Haifa, Israel) 2008 : (9th Publication/Creation: Berlin ; New York : Springer, 2008 Resource Type: Book Access & Availability: Loading
71. Multiobjective optimization : interactive and evolutionary approaches Publication/Creation: Berlin ; New York : Springer, [2008] Resource Type: Book Access & Availability: Loading
72. Algorithmic number theory : 8th international symposium, ANTS-VIII, Banff, Canada, May 17-22, 2008 : proceedings Author/Creator: ANTS (Symposium : Algorithmic number theory) Banff, Alta.) 2008 : (8th Publication/Creation: Berlin ; New York : Springer, [2008] Resource Type: Book Access & Availability: Loading
73. Functional and logic programming : 9th international symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008 : proceedings Author/Creator: Fuji International Symposium on Functional and Logic Programming Ise-shi, Japan) 2008 : (9th Publication/Creation: Berlin ; New York : Springer, [2008] Resource Type: Book Access & Availability: Loading
74. Advances in geometric modeling and processing : 5th International Conference, GMP 2008, Hangzhou, China, April 23-25, 2008 : proceedings Author/Creator: GMP 2008 Hangzhou, China) (2008 Publication/Creation: Berlin ; New York : Springer, 2008 Resource Type: Book Access & Availability: Loading
75. Computing and combinatorics : 14th annual international conference, COCOON 2008, Dalian, China, June 27-29, 2008 : proceedings Author/Creator: COCOON (Conference) Dalian Shi, China) 2008 : (14th Publication/Creation: Berlin : Springer, [2008] Resource Type: Book Access & Availability: Loading
76. Smart homes and health telematics : 6th international conference, ICOST 2008, Ames, IA, USA, June 28 - July 2, 2008 ; proceedings Author/Creator: International Conference on Smart Homes and Health Telematics Ames, Iowa) 2008 : (6th Publication/Creation: Berlin : Springer, 2008 Resource Type: Book Access & Availability: Loading
77. The semantic web : ISWC 2008 : 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008 : proceedings Author/Creator: International Semantic Web Conference Karlsruhe, Germany) 2008 : (7th Publication/Creation: Berlin ; New York : Springer, [2008] Resource Type: Book Access & Availability: Loading
78. Massively multi-agent technology : AAMAS workshops, MMAS 2006, LSMAS 2006, and CCMMS 2007, Hakodate, Japan, May 9, 2006, Honolulu, HI, USA, May 15, 2007 : selected and revised papers Publication/Creation: Berlin : Springer, [2008] Resource Type: Book Access & Availability: Loading
79. Recent advances in constraints : 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, Rocquencourt, France, June 7-8, 2007 ; revised selected papers Author/Creator: ERCIM International Workshop on Constraint Solving and Constraint Logic Programming Rocquencourt, Yvelines, France) 2007 : (12th Publication/Creation: Berlin : Springer, 2008 Resource Type: Book Access & Availability: Loading
80. Automated Reasoning : 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008 : proceedings Author/Creator: IJCAR (Conference) Sydney, N.S.W.) 2008 : (4th Publication/Creation: Berlin ; New York : Springer, 2008 Resource Type: Book Access & Availability: Loading
81. Balancing agility and formalism in software engineering : Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007 : revised selected papers Author/Creator: IFIP TC 2 Central and East European Conference on Software Engineering Techniques Poznań, Poland) 2007 : (2nd Publication/Creation: Berlin ; New York : Springer, 2008 Resource Type: Book Access & Availability: Loading
82. Emerging technologies and information systems for the knowledge society : first World Summit on the Knowledge Society, WSKS 2008, Athens, Greece, September 24-26, 2008 ; proceedings Author/Creator: World Summit on the Knowledge Society Athens, Greece) 2008 : (1st Publication/Creation: Berlin : Springer, 2008 Resource Type: Book Access & Availability: Loading
83. Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : 5th international conference, CPAIOR 2008, Paris, France, May 20-23, 2008 : proceedings Author/Creator: International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems Paris, France) 2008 : (5th Publication/Creation: Berlin ; New York : Springer, [2008] Resource Type: Book Access & Availability: Loading
84. Implementation and application of functional languages : 19th international symposium, IFL 2007, Freiburg, Germany, September 2007 : revised selected papers Author/Creator: International Symposium on Implementation and Application of Functional Languages Freiburg, Germany) 2007 : (19th Publication/Creation: Berlin : Springer, [2008] Resource Type: Book Access & Availability: Loading
85. Trust, privacy and security in digital business : 5th International Conference, TrustBus 2008, Turin, Italy, September 4-5, 2008 ; proceedings Author/Creator: TrustBus (Conference) Turin, Italy) 2008 : (5th Publication/Creation: Berlin : Springer, 2008 Resource Type: Book Access & Availability: Loading
86. Reliable software technologies--Ada-Europe 2008 : 13th Ada-Europe international conference on reliable software technologies, Venice, Italy, June 16-20, 2008 : proceedings Author/Creator: Ada-Europe International Conference on Reliable Software Technologies Venice, Italy) 2008 : (13th Publication/Creation: Berlin ; New York : Springer, [2008] Resource Type: Book Access & Availability: Loading
87. Transactions on petri nets and other models of concurrency I Publication/Creation: Berlin : Springer-Verlag, [2008] Resource Type: Book Access & Availability: Loading
88. Distributed computing and internet technology : 5th international conference, ICDCIT 2008, New Delhi, India, December 10-12, 2008, proceedings Author/Creator: International Conference on Distributed Computing and Internet Technology New Delhi, India) 2008 : (5th Publication/Creation: Berlin : Springer, [2008] Resource Type: Book Access & Availability: Loading
89. Software-intensive systems and new computing paradigms : challenges and visions Publication/Creation: Berlin ; New York : Springer, [2008] Resource Type: Book Access & Availability: Loading
90. Computational intelligence : research frontiers : IEEE World Congress on Computational Intelligence, WCCI 2008, Hong Kong, China, June 1-6, 2008 : plenary/invited lectures Author/Creator: IEEE World Congress on Computational Intelligence Hong Kong) 2008 : (5th Publication/Creation: Berlin ; New York : Springer, 2008 Resource Type: Book Access & Availability: Loading
91. Model checking software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 : proceedings Author/Creator: International SPIN Workshop Los Angeles, Calif.) 2008 : (15th Publication/Creation: Berlin ; New York : Springer, 2008 Resource Type: Book Access & Availability: Loading
92. Hybrid learning and education : First International Conference, ICHL 2008 Hong Kong, China, August 13-15, 2008 : proceedings Author/Creator: ICHL (Conference) Hong Kong, China) 2008 : (1st Publication/Creation: Berlin : Springer, 2008 Resource Type: Book Access & Availability: Loading
93. Privacy enhancing technologies : 8th international symposium, PETS 2008, Leuven, Belgium, July 23-25, 2008 : proceedings Author/Creator: PET 2008 Louvain, Belgium) (2008 Publication/Creation: Berlin ; New York : Springer, [2008] Resource Type: Book Access & Availability: Loading
94. E-commerce and web technologies : 9th international conference, EC-WEB 2008, Turin, Italy, September 3-4, 2008 : proceedings Author/Creator: International Conference on Electronic Commerce and Web Technologies Turin, Italy) 2008 : (9th Publication/Creation: Berlin ; New York : Springer, [2008] Resource Type: Book Access & Availability: Loading
95. Semantic Web, ontologies and databases : VLDB Workshop, SWDB-ODBIS 2007, Vienna, Austria, September 24, 2007, revised selected papers Author/Creator: International Conference on Very Large Data Bases Vienna, Austria) 2007 : (33rd Publication/Creation: Berlin ; London : Springer, 2008 Resource Type: Book Access & Availability: Loading
96. Rewriting techniques and applications : 19th international conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008 : proceedings Author/Creator: International Conference on Rewriting Techniques and Applications Hagenberg im Mühlkreis, Austria) 2008 : (19th Publication/Creation: Berlin ; New York : Springer, [2008] Resource Type: Book Access & Availability: Loading
97. Conceptual modeling - ER 2008 : 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008 : proceedings Author/Creator: International Conference on Conceptual Modeling Barcelona, Spain) 2008 : (27th Publication/Creation: Berlin ; New York : Springer, [2008] Resource Type: Book Access & Availability: Loading
98. Formal modeling and analysis of timed systems : 6th international conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008 ; proceedings Author/Creator: FORMATS (Conference) Saint-Malo, France) 2008 : (6th Publication/Creation: Berlin : Springer, 2008 Resource Type: Book Access & Availability: Loading
99. Innovations for requirements analysis : from stakeholders' needs to formal designs : 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007 : revised selected papers Author/Creator: Monterey Workshop Monterey, Calif.) 2007 : (14th Publication/Creation: Berlin ; New York : Springer, [2008] Resource Type: Book Access & Availability: Loading
100. Grid economics and business models : 5th international workshop, GECON 2008, Las Palmas de Gran Canaria, Spain, August 26, 2008 ; proceeedings Author/Creator: International Workshop on Grid Economics and Business Models Las Palmas, Canary Islands) 2008 : (5th Publication/Creation: Berlin ; New York : Springer, [2008] Resource Type: Book Access & Availability: Loading