Computer software
Resource Information
The concept Computer software represents the subject, aboutness, idea or notion of resources found in University of Missouri Libraries.
The Resource
Computer software
Resource Information
The concept Computer software represents the subject, aboutness, idea or notion of resources found in University of Missouri Libraries.
- Label
- Computer software
- Source
- lcgft
365 Items that share the Concept Computer software
Context
Context of Computer softwareSubject of
No resources found
No enriched resources found
- AI 2012 : advances in artificial intelligence : 25th Australasian Joint Conference, Sydney, Australia, December 4-7, 2012 : proceedings
- Abstract state machines, Alloy, B, VDM, and Z : third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
- Ad hoc networks : 4th International ICST Conference, ADHOCNETS 2012, Paris, France, October 16-17, 2012, revised selected papers
- Ad hoc networks : third International ICST Conference, ADHOCNETS 2011, Paris, France, September 21-23, 2011, Revised selected papers
- Adaptive and learning agents : international workshop, ALA 2011, held at AAMAS 2011, Taipei, Taiwan, May 2, 2011, Revised selected papers
- Adaptive and natural computing algorithms : 11th International Conference, ICANNGA 2013, Lausanne, Switzerland, April 4-6, 2013 : proceedings
- Advanced computing, networking and security : International Conference, ADCONS 2011, Surathkal, India, December 16-18, 2011, Revised selected papers
- Advanced concepts for intelligent vision systems : 14th International Conference, ACIVS 2012, Brno, Czech Republic, September 4-7, 2012. Proceedings
- Advanced data mining and applications : 7th International Conference, ADMA 2011, Beijing, China, December 17-19, 2011, proceedings, Part I
- Advanced data mining and applications : 8th International Conference, ADMA 2012, Nanjing, China, December 15-18, 2012 : proceedings
- Advanced infocomm technology : 5th IEEE International Conference, ICAIT 2012, Paris, France, July 25-27, 2012, revised papers
- Advanced machine learning technologies and applications : first international conference, AMLTA 2012, Cairo, Egypt, December 8-10, 2012, proceedings
- Advanced research in applied artificial intelligence : 25th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2012, Dalian, China, June 9-12 2012 : proceedings
- Advances in bioinformatics and computational biology : 7th Brazilian Symposium on Bioinformatics, BSB 2012, Campo Grande, Brazil, August 15-17, 2012. Proceedings
- Advances in communication, network, and computing : third international conference, CNC 2012, Chennai, India, February 24-25, 2012, revised selected papers
- Advances in computational intelligence : IEEE World Congress on Computational Intelligence, WCCI 2012, Brisbane, Australia, June 10-15, 2012. Plenary/Invited lectures
- Advances in computer entertainment : 9th international conference, ACE 2012, Kathmandu, Nepal, November 3-5, 2012 : proceedings
- Advances in computer games : 13th International Conference, ACG 2011, Tilburg, the Netherlands, November 20-22, 2011, Revised selected papers
- Advances in computer science and information technology : Networks and Communications : second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part I
- Advances in computer science and information technology : computer science and engineering : second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. proceedings, Part II
- Advances in computer science and information technology : computer science and information technology : second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part III
- Advances in computing, communication, and control : third International Conference, ICAC3 2013, Mumbai, India, January 18-19, 2013. Proceedings
- Advances in cryptology -- EUROCRYPT 2012 : 31st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cambridge, UK, April 15-19, 2012. Proceedings
- Advances in cryptology -- EUROCRYPT 2013 : 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Athens, Greece, May 26-30, 2013, proceedings
- Advances in cryptology--ASiACRYPT 2012 : 18th international conference on the theory and application of cryptology and information security, Beijing, China, December 2-6, 2012, proceedings
- Advances in grid and pervasive computing : 7th international conference, GPC 2012, Hong Kong, China, May 11-13, 2012 : proceedings
- Advances in information and computer security : 7th International Workshop on Security, IWSEC 2012, Fukuoka, Japan, November 7-9, 2012. Proceedings
- Advances in intelligent data analysis XI : 11th international symposium, IDA 2012, Helsinki, Finland, October 25-27, 2012 : proceedings
- Advances in knowledge discovery and data mining : 16th Pacific-Asia Conference, PAKDD 2012, Kuala Lumpur, Malaysia, May 29-June 1, 2012, Proceedings, Part I
- Advances in knowledge discovery and data mining : 16th Pacific-Asia Conference, PAKDD 2012, Kuala Lumpur, Malaysia, May 29-June 1, 2012, Proceedings, Part II
- Advances in neural networks-- ISNN 2012 : 9th International Symposium on Neural Networks, Shenyang, China, July 11-14, 2012. Proceedings, Part I
- Advances in neural networks-- ISNN 2012 : 9th International Symposium on Neural Networks, Shenyang, China, July 11-14, 2012. Proceedings, Part II
- Advances in swarm intelligence : 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part II
- Advances in swarm intelligence : third International Conference, ICSI 2012, Shenzhen, China, June 17-20, 2012 Proceedings, Part I
- Advances in wireless sensor networks : 6th China Conference, CWSN 2012, Huangshan, China, October 25-27, 2012, Revised selected papers
- Agents and artificial intelligence : third International Conference, ICAART 2011, Rome, Italy, January 28-30, 2011. Revised selected papers
- Algebraic modeling systems : modeling and solving real world optimization problems
- Algorithm theory-- SWAT 2012 : 13th Scandinavian Symposium and Workshops, Helsinki, Finland, July 4-6, 2012. Proceedings
- Algorithmic learning theory : 23rd International Conference, ALT 2012, Lyon, France, October 29-31, 2012. Proceedings
- Algorithms and architectures for parallel processing : 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part I
- Algorithms and architectures for parallel processing : 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part II
- Algorithms and complexity : 8th International Conference, CIAC 2013, Barcelona, Spain, May 22-24, 2013. Proceedings
- Algorithms and computation : 23rd international symposium, ISAAC 2012, Taipei, Taiwan, December 19-21, 2012 : proceedings
- Algorithms and models for the web graph : 9th International Workshop, WAW 2012, Halifax, NS, Canada, June 22-23, 2012. Proceedings
- Algorithms for sensor systems : 7th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2011, Saarbrücken, Germany, September 8-9, 2011 : revised selected papers
- Algorithms for sensor systems : 8th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2012, Ljubljana, Slovenia, September 13-14, 2012. Revised selected papers
- Algorithms in bioinformatics : 12th International Workshop, WABI 2012, Ljubljana, Slovenia, September 10-12, 2012. Proceedings
- Algorithms-- ESA 2012 : 20th Annual European Symposium, Ljubljana, Slovenia, September 10-12, 2012. Proceedings
- An introduction to modern mathematical computing : with Mathematica®
- Analytical and stochastic modeling techniques and applications : 19th International Conference, ASMTA 2012, Grenoble, France, June 4-6, 2012. Proceedings
- Anaphora processing and applications : 8th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2011, Faro, Portugal, October 6-7, 2011 : revised selected papers
- Applications of discrete geometry and mathematical morphology : first International Workshop, WADGMM 2010, Istanbul, Turkey, August 22, 2010, Revised selected papers
- Applications of evolutionary computation : 16th European Conference, EvoApplications 2013, Vienna, Austria, April 3-5, 2013. Proceedings
- Applications of graph transformations with industrial relevance : 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised selected and invited papers
- Applied parallel and scientific computing : 10th International Conference, PARA 2010, Reykjavík, Iceland, June 6-9, 2010, Revised selected papers, Part I
- Applied parallel and scientific computing : 11th International Conference, PARA 2012, Helsinki, Finland, June 10-13, 2012, Revised selected papers
- Approximation algorithms and semidefinite programming
- Approximation and Online Algorithms : 9th International Workshop, WAOA 2011, Saarbrücken, Germany, September 8-9, 2011, Revised selected papers
- Approximation and online algorithms : 10th International Workshop, WAOA 2012, Ljubljana, Slovenia, September 13-14, 2012 : revised selected papers
- Arithmetic of finite fields : 4th International Workshop, WAIFI 2012, Bochum, Germany, July 16-19, 2012. Proceedings
- Artificial evolution : 10th International Conference, Evolution Artificielle, EA 2011, Angers, France, October 24-26, 2011, revised selected papers
- Artificial general intelligence : 5th International Conference, AGI 2012, Oxford, UK, December 8-11, 2012, proceedings
- Artificial immune systems : 11th International Conference, ICARIS 2012, Taormina, Italy, August 28-31, 2012. Proceedings
- Artificial intelligence and computational intelligence : 4th International Conference, AICI 2012, Chengdu, China, October 26-28, 2012, Proceedings
- Artificial intelligence: Theories and applications : 7th Hellenic Conference on AI, SETN 2012, Lamia, Greece, May 28-31, 2012. Proceedings
- Artificial neural networks and machine learning-- ICANN 2012 : 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings, Part I
- Artificial neural networks and machine learning-- ICANN 2012 : 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings, Part II
- AsiaSim 2012 : Asia Simulation Conference 2012, Shanghai, China, October 27-30, 2012, Proceedings, Part I
- AsiaSim 2012 : Asia Simulation Conference 2012, Shanghai, China, October 27-30, 2012, Proceedings, Part II
- AsiaSim 2012 : Asia Simulation Conference 2012, Shanghai, China, October 27-30, 2012, Proceedings, Part III
- Automata, Languages, and Programming : 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I
- Automata, languages, and programming : 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II
- Automated solution of differential equations by the finite element method : the FEniCS book
- Big data analytics : first international conference, BDA 2012, New Delhi, India, December 24-26, 2012 : proceedings
- Bioinformatics research and applications : 8th international symposium, ISBRA 2012, Dallas, TX, USA, May 21-23, 2012 : proceedings
- Bioinformatics research and applications : 9th International Symposium, ISBRA 2013, Charlotte, NC, USA, May 20-22, 2013, proceedings
- Biomedical engineering systems and technologies : 4th International Joint Conference, BIOSTEC 2011, Rome, Italy, January 26-29, 2011, Revised selected papers
- Biometric recognition : 7th Chinese conference, CCBR 2012, Guangzhou, China, December 4-5, 2012 : proceedings
- Brain informatics : international conference, BI 2012, Macau, China, December 4-7, 2012, proceedings
- Building a national distributed e-Infrastructure--PL-Grid : scientific and technical achievements
- Cellular automata : 10th International Conference on Cellular Automata for Research and Industry, ACRI 2012, Santorini Island, Greece, September 24-27, 2012. Proceedings
- CloudPEST : a python module for cloud-computing deployment of PEST, a program for parameter estimation
- Combinatorial algorithms : 23rd international workshop, IWOCA 2012, Tamil Nadu, India, July 19-21, 2012, revised selected papers
- Combinatorial image analysis : 15th international workshop, IWCIA 2012, Austin, TX, USA, November 28-30, 2012 : proceedings
- Combinatorial optimization : Second International Symposium, ISCO 2012, Athens, Greece, April 19-21, 2012, Revised selected papers
- Combinatorial optimization and applications : 6th International Conference, COCOA 2012, Banff, AB, Canada, August 5-9, 2012. Proceedings
- Combinatorial pattern matching : 23rd Annual Symposium, CPM 2012, Helsinki, Finland, July 3-5, 2012. Proceedings
- Combinatorial pattern matching : 24th Annual Symposium, CPM 2013, Bad Herrenalb, Germany, June 17-19, 2013. Proceedings
- Communication and networking : International Conference, FGCN 2011, held as part of the Future Generation Information Technology Conference, FGIT 2011, in conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011, proceedings, Part II
- Communications and Information Processing : International Conference, ICCIP 2012, Aveiro, Portugal, March 7-11, 2012, Revised selected papers, Part II
- Communications and information processing : International Conference, ICCIP 2012 Aveiro, Portugal, March 7-11, 2012 Revised selected papers, Part I
- Compiler construction : 21st International Conference, CC 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24-April 1, 2012. Proceedings
- Computation, logic, games, and quantum foundations : the many facets of Samson Abramsky ; essays dedicated to Samson Abramsky on the occasion of his 60th birthday
- Computation, physics and beyond : International Workshop on Theoretical Computer Science, WTCS 2012, dedicated to Cristian S. Calude on the occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised selected and invited papers
- Computational intelligence and information technology : first international conference, CIIT 2011, Pune, India, November 7-8, 2011 : proceedings
- Computational intelligence and intelligent systems : 6th International Symposium, ISICA 2012, Wuhan, China, October 27-28, 2012. Proceedings
- Computational intelligence methods for bioinformatics and biostatistics : 8th International Meeting, CIBB 2011, Gargnano del Garda, Italy, June 30-July 2, 2011, revised selected papers
- Computational intelligence methods for bioinformatics and biostatistics : 9th International Meeting, CIBB 2012, Houston, TX, USA, July 12-14, 2012 : revised selected papers
- Computational logistics : third International Conference, ICCL 2012, Shanghai, China, September 24-26, 2012. Proceedings
- Computational science and its applications-- ICCSA 2012 : 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part I
- Computational science and its applications-- ICCSA 2012 : 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part II
- Computational science and its applications-- ICCSA 2012 : 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part IV
- Computational topology in image context : 4th International Workshop, CTIC 2012, Bertinoro, Italy, May 28-30, 2012. Proceedings
- Computational visual media : First International Conference, CVM 2012, Beijing, China, November 8-10, 2012 : proceedings
- Computer algebra in scientific computing : 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012, Proceedings
- Computer applications for bio-technology, multimedia, and ubiquitous city : international conferences MulGraB, BSBT and IUrC 2012 held as part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012, proceedings
- Computer applications for communication, networking, and digital contents : international conferences, FGCN and DCA 2012, held as part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012, proceedings
- Computer applications for database, education, and ubiquitous computing : international conferences, EL, DTA and UNESST 2012, held as part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012, proceedings
- Computer applications for graphics, grid computing, and industrial environment : International Conferences, GDC, IESH and CGAG 2012, held as part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012, proceedings
- Computer applications for modeling, simulation, and automobile : international conferences, MAS and ASNT 2012 held in conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012, proceedings
- Computer applications for security, control and system engineering : International Conferences, SecTech, CA, CES3 2012, held in conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings
- Computer architecture : ISCA 2010 International Workshops A4MMC, AMAS-BT, EAMA, WEED, WIOSCA, Saint-Malo, France, June 19-23, 2010, Revised selected papers
- Computer information systems and industrial management : 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012. Proceedings
- Computer information systems--analysis and technologies : 10th international conference, CISIM 2011, Kolkata, India, December 14-16, 2011 : proceedings
- Computer safety, reliability, and security : 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings
- Computer science-- Theory and applications : 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012. Proceedings
- Computer vision and graphics : international conference, ICCVG 2012, Warsaw, Poland, September 24-26, 2012, proceedings
- Computer vision, imaging and computer graphics : theory and applications : International Joint Conference, VISIGRAPP 2010, Angers, France, May 17-21, 2010. Revised selected papers
- Computer vision, imaging and computer graphics : theory and applications ; International Joint Conference, VISIGRAPP 2011, Vilamoura, Portugal, March 5-7, 2011. Revised selected papers
- Computer vision-- ECCV 2012 : 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012, Proceedings, Part I
- Computer vision-- ECCV 2012 : 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012, Proceedings, Part III
- Computer vision-- ECCV 2012 : 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012, Proceedings, Part V
- Computer vision-- ECCV 2012 : 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012, Proceedings, Part VI
- Computer vision-- ECCV 2012 : 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012, Proceedings, Part VII
- Computer vision-- ECCV 2012. Workshops and demonstrations : Florence, Italy, October 7-13, 2012, Proceedings, Part I
- Computer vision-- ECCV 2012. Workshops and demonstrations : Florence, Italy, October 7-13, 2012, Proceedings, Part II
- Computer vision-- ECCV 2012. Workshops and demonstrations : Florence, Italy, October 7-13, 2012, Proceedings, Part III
- Computing and Combinatorics : 18th Annual International Conference, COCOON 2012, Sydney, Australia, August 20-22, 2012. Proceedings
- Computing and combinatorics : 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings
- Connected dominating set : theory and applications
- Constructive side-channel analysis and secure design : Third International Workshop, COSADE 2012, Darmstadt, Germany, May 3-4, 2012. Proceedings
- Contemporary computing : 5th International Conference, IC3 2012, Noida, India, August 6-8, 2012. Proceedings
- Control and automation, and energy system engineering : International Conferences, CA and CES3 2011, held as part of the Future Generation Information Technology Conference, FGIT 2011, in conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings
- Critical infrastructure protection : information infrastructure models, analysis, and defense
- Cryptographic hardware and embedded systems-- CHES 2012 : 14th International Workshop, Leuven, Belgium, September 9-12, 2012. Proceedings
- Cryptography and coding : 13th IMA International Conference, IMACC 2011, Oxford, UK, December 12-15, 2011 : proceedings
- Cryptography and security : from theory to applications ; essays dedicated to Jean-Jacques Quisquater on the occasion of his 65th birthday
- Cyberspace safety and security : 4th international symposium, CSS 2012, Melbourne, Australia, December 12-13, 2012, proceedings
- DNA computing and molecular programming : 18th international conference, DNA 18, Aarhus, Denmark, August 14-17, 2012, Proceedings
- Data and knowledge engineering : third International Conference, ICDKE 2012, Wuyishan, Fujian, China, November 21-23, 2012. Proceedings
- Data correcting approaches in combinatorial optimization
- Decision and Game Theory for Security : Third International Conference, GameSec 2012, Budapest, Hungary, November 5-6, 2012. Proceedings
- Dependable networks and services : 6th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2012, Luxembourg, Luxembourg, June 4-8, 2012 : proceedings
- Design and analysis of algorithms : first Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012 : proceedings
- Discovery science : 15th International Conference, DS 2012, Lyon, France, October 29-31, 2012 : proceedings
- Distributed computing : 26th International Symposium, DISC 2012, Salvador, Brazil, October 16-18, 2012 : proceedings
- Distributed computing and internet technology : 9th International Conference, ICDCIT 2013, Bhubaneswar, India, February 5-8, 2013. Proceedings
- Distributed computing and networking : 13th international conference, ICDCN 2012, Hong Kong, China, January 3-6, 2012 : proceedings
- Distributed computing and networking : 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings
- Distributed graph algorithms for computer networks
- E-Business and telecommunications : 7th International Joint Conference, ICETE 2010, Athens, Greece, July 26-28, 2010, Revised selected papers
- Efficient algorithms for discrete wavelet transform : with applications to denoising and fuzzy inference systems
- Emerging intelligent computing technology and applications : 8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012. Proceedings
- Emerging trends and applications in information communication technologies : second International Multi Topic Conference, IMTIC 2012, Jamshoro, Pakistan, March 28-30, 2012. Proceedings
- Engaging learners through emerging technologies : International Conference on ICT in Teaching and Learning, ICT 2012, Hong Kong, China, July 4-6, 2012. Proceedings
- Eternal systems : first InternationalWorkshop, EternalS 2011, Budapest, Hungary, May 3, 2011, Revised selected papers
- Euro-Par 2012: Parallel processing workshops : BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012. Revised selected papers
- Evolutionary and biologically inspired music, sound, art and design : second International Conference, EvoMUSART 2013, Vienna, Austria, April 3-5, 2013. Proceedings
- Evolutionary computation in combinatorial optimization : 12th European Conference, EvoCOP 2012, Málaga, Spain, April 11-13, 2012. Proceedings
- Evolutionary computation in combinatorial optimization : 13th European Conference, EvoCOP 2013, Vienna, Austria, April 3-5, 2013. Proceedings
- Evolutionary computation, machine learning and data mining in bioinformatics : 10th European Conference, EvoBIO 2012, Málaga, Spain, April 11-13, 2012. Proceedings
- Evolutionary computation, machine learning and data mining in bioinformatics : 11th European Conference, EvoBIO 2013, Vienna, Austria, April 3-5, 2013, proceedings
- Evolutionary multi-criterion optimization : 7th International Conference, EMO 2013, Sheffield, UK, March 19-22, 2013. Proceedings
- Experimental algorithms : 11th International Symposium, SEA 2012, Bordeaux, France, June 7-9, 2012. Proceedings
- Experimental algorithms : 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013, proceedings
- Facing the multicore-- Challenge II : aspects of new paradigms and technologies in parallel computing
- Fast compact algorithms and software for spline smoothing
- Fast software encryption : 19th International Workshop, FSE 2012, Washington, DC, USA, March 19-21, 2012. Revised selected papers
- Financial cryptography and data security : 15th International Conference, FC 2011, Gros Islet, St. Lucia, February 28 - March 4, 2011, Revised selected papers
- Formal methods and software engineering : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012 : proceedings
- Formal modeling and analysis of timed systems : 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings
- Foundational and practical aspects of resource analysis : second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised selected papers
- Foundations and practice of security : 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011 : revised selected papers
- Foundations of information and knowledge systems : 7th international symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings
- From animals to animats 12 : 12th International Conference on Simulation of Adaptive Behavior, SAB 2012, Odense, Denmark, August 27-30, 2012. Proceedings
- Frontiers in algorithmics and algorithmic aspects in information and management : joint international conference, FAW-AAIM 2012, Beijing, China, May 14-16, 2012. Proceedings
- Fun with algorithms : 6th International Conference, FUN 2012, Venice, Italy, June 4-6, 2012. Proceedings
- Fundamentals of discrete math for computer science : a problem-solving primer
- Future generation information technology : 4th International Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012, proceedings
- Game theory for networks : 2nd International ICST Conference, GAMENETS 2011, Shanghai, China, April 16-18, 2011 : revised selected papers
- Genetic programming : 15th European Conference, EuroGP 2012, Málaga, Spain, April 11-13, 2012. Proceedings
- Genetic programming : 16th European Conference, EuroGP 2013, Vienna, Austria, April 3-5, 2013. Proceedings
- Genetic programming theory and practice X
- Geographic information science : 7th International Conference, GIScience 2012, Columbus, OH, USA, September 18-21, 2012. Proceedings
- Global trends in computing and communication systems : 4th International Conference, ObCom 2011, Vellore, TN, India, December 9-11, 2011, proceedings, Part I
- Global trends in information systems and software applications : 4th International Conference, ObCom 2011, Vellore, TN, India, December 9-11, 2011. Proceedings, Part II
- Graph drawing : 20th International Symposium, GD 2012, Redmond, WA, USA, September 19-21, 2012, Revised selected papers
- Graph structures for knowledge representation and reasoning : second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised selected papers
- Graph transformations : 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings
- Graph-theoretic concepts in computer science : 38th international workshop, WG 2012, Jerusalem, Israel, June 26-28, 2012, revised selected papers
- Green and smart technology with sensor applications : international conferences, GST and SIA 2012 Jeju Island, Korea, November 28-December 2, 2012, proceedings
- Grid and distributed computing : International Conference, GDC 2011, held as Part of the Future Generation Information Technology Conference, FGIT 2011, Jeju Island, Korea, December 8-10, 2011, proceedings
- Grid and pervasive computing : 8th International Conference, GPC 2013 and colocated Workshops, Seoul, Korea, May 9-11, 2013 : proceedings
- High performance computing for computational science-- VECPAR 2012 : 10th International Conference, Kobe, Japan, July 17-20, 2012, Revised selected papers
- How the world computes : Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings
- Hybrid artificial intelligent systems : 7th International Conference, HAIS 2012, Salamanca, Spain, March 28-30th, 2012. Proceedings, Part I
- Hybrid artificial intelligent systems : 7th International Conference, HAIS 2012, Salamanca, Spain, March 28-30th, 2012. Proceedings, Part II
- Hybrid metaheuristics : 8th International Workshop, HM 2013, Ischia, Italy, May 23-25, 2013, Proceedings
- Image analysis and recognition : 9th International Conference, ICIAR 2012, Aveiro, Portugal, June 25-27, 2012. Proceedings, Part I
- Image analysis and recognition : 9th International Conference, ICIAR 2012, Aveiro, Portugal, June 25-27, 2012. Proceedings, Part II
- Image and signal processing : 5th International Conference, ICISP 2012, Agadir, Morocco, June 28-30, 2012. Proceedings
- Implementation and application of automata : 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings
- In the matter of certain computer products, computer components and products containing same : investigation no. 337-TA-628
- Information and business intelligence : International Conference, IBI 2011, Chongqing, China, December 23-25, 2011. Proceedings, Part I
- Information and business intelligence : International Conference, IBI 2011, Chongqing, China, December 23-25, 2011. Proceedings, Part II
- Information computing and applications : second international conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011 : proceedings
- Information computing and applications : third International Conference, ICICA 2012, Chengde, China, September 14-16, 2012. Proceedings
- Information hiding : 14th International Conference, IH 2012, Berkeley, CA, USA, May 15-18, 2012, Revised selected papers
- Information retrieval technology : 7th Asia Information Retrieval Societies Conference, AIRS 2011, Dubai, United Arab Emirates, December 18-20, 2011 : proceedings
- Information retrieval technology : 8th Asia Information Retrieval Societies Conference, AIRS 2012, Tianjin, China, December 17-19, 2012 : proceedings
- Information security : 15th International Conference, ISC 2012, Passau, Germany, September 19-21, 2012. Proceedings
- Information security and cryptology : 7th international conference, Inscrypt 2011, Beijing, China, November 30 - December 3, 2011 : revised selected papers
- Information security and cryptology-- ICISC 2011 : 14th International Conference, Seoul, Korea, November 30 - December 2, 2011. Revised selected papers
- Information security and privacy research : 27th IFIP TC 11 Information Security and Privacy Conference, SEC 2012, Heraklion, Crete, Greece, June 4-6, 2012. Proceedings
- Information security applications : 12th International Workshop, WISA 2011, Jeju Island, Korea, August 22-24, 2011. Revised selected papers
- Information security applications : 13th international workshop, WISA 2012, Jeju Island, Korea, August 16-18, 2012, Revised selected papers
- Information theory, combinatorics, and search theory : in memory of Rudolf Ahlswede
- Innovative computing technology : first international conference, INCT 2011, Tehran, Iran, December 13-15, 2011 : proceedings
- Integer programming and combinatorial optimization : 16th International Conference, IPCO 2013, Valparaíso, Chile, March 18-20, 2013. Proceedings
- Integrated formal methods : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
- Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013 : proceedings
- Intelligent computing for sustainable energy and environment : second International Conference, ICSEE 2012, Shanghai, China, September 12-13, 2012. Revised selected papers
- Intelligent computing theories and applications : 8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012. Proceedings
- Intelligent data engineering and automated learning -- IDEAL 2012 : 13th International Conference, Natal, Brazil, August 29-31, 2012. Proceedings
- Intelligent information and database systems : 4th Asian Conference, ACIIDS 2012, Kaohsiung, Taiwan, March 19-21, 2012 : proceedings, Part I
- Intelligent information and database systems : 4th Asian Conference, ACIIDS 2012, Kaohsiung, Taiwan, March 19-21, 2012, Proceedings, Part II
- Intelligent information and database systems : 4th Asian Conference, ACIIDS 2012, Kaohsiung, Taiwan, March 19-21, 2012, Proceedings, Part III
- Internet and distributed computing systems : 5th International Conference, IDCS 2012, Wuyishan, Fujian, China, November 21-23, 2012. Proceedings
- Internet and network economics : 8th international workshop, WINE 2012, Liverpool, UK, December 10-12, 2012, proceedings
- Internet of things, smart spaces, and next generation networking : 12th International Conference, NEW2AN 2012, and 5th Conference, ruSMART 2012, St. Petersburg, Russia, August 27-29, 2012, Proceedings
- Job scheduling strategies for parallel processing : 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised selected papers
- LATIN 2012: Theoretical informatics : 10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012. Proceedings
- Language and automata theory and applications : 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings
- Language and automata theory and applications : 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings
- Large-scale scientific computing : 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised selected papers
- Latent variable analysis and signal separation : 10th International Conference, LVA/ICA 2012, Tel Aviv, Israel, March 12-15, 2012. Proceedings
- Learning and intelligent optimization : 6th International Conference, LION 6, Paris, France, January 16-20, 2012, Revised selected papers
- Lectures on logic and computation : ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected lecture notes
- Logic and program semantics : essays dedicated to Dexter Kozen on the occasion of his 60th birthday
- Logic, language, information and computation : 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings
- Logical foundations of mathematics and computational complexity : a gentle introduction
- Mathematical and engineering methods in computer science : 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011 : revised selected papers
- Mathematical and engineering methods in computer science : 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised selected papers
- Mathematical foundations of computer science 2012 : 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings
- Membrane computing : 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised selected papers
- Mesh processing in medical image analysis 2012 : MICCAI 2012 international workshop, MeshMed 2012, Nice, France, October 1, 2012, proceedings
- Middleware 2012 : ACM/IFIP/USENIX 13th international middleware conference, Montreal, QC, Canada, December 3-7, 2012, proceedings
- Mobile and ubiquitous Systems: Computing, networking, and services : 7th International ICST Conference, MobiQuitous 2010, Sydney, Australia, December 6-9, 2010, Revised selected papers
- Mobile and ubiquitous systems: Computing, networking, and services : 8th International ICST Conference, MobiQuitous 2011, Copenhagen, Denmark, December 6-9, 2011, Revised selected papers
- Mobile lightweight wireless systems : third International ICST Conference, MOBILIGHT 2011, Bilbao, Spain, May 9-10, 2011, Revised selected papers
- Mobile networks and management : third international ICST conference, MONAMI 2011, Aveiro, Portugal, September 21-23, 2011 : revised selected papers
- Monte carlo and quasi-monte carlo methods 2010
- Multi-agent systems : 9th European workshop, EUMAS 2011, Maastricht, the Netherlands, November 14-15, 2011 : revised selected papers
- Multi-agent-based simulation XII : international workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011, Revised selected papers
- Multi-disciplinary trends in artificial intelligence : 5th international workshop, MIWAI 2011, Hyderabad, India, December 7-9, 2011 : proceedings
- Multi-disciplinary trends in artificial intelligence : 6th International Workshop, MIWAI 2012, Ho Chi Minh City, Vietnam, December 26-28, 2012. Proceedings
- Multimedia, computer graphics and broadcasting : international conference, MulGraB 2011, held as part of the Future Generation Information Technology Conference, FGIT 2011, in conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011, proceedings, Part II
- Multimodal brain image analysis : second International Workshop, MBIA 2012, held in conjunction with MICCAI 2012, Nice, France, October 1-5, 2012. Proceedings
- Multiple access communications : 5th International Workshop, MACOM 2012, Maynooth, Ireland, November 19-20, 2012. Proceedings
- NETWORKING 2012 : 11th International IFIP TC 6 Networking Conference, Prague, Czech Republic, May 21-25, 2012, Proceedings, Part I
- NETWORKING 2012 : 11th International IFIP TC 6 Networking Conference, Prague, Czech Republic, May 21-25, 2012, proceedings, Part II
- NETWORKING 2012 workshops : International IFIP TC 6 Workshops, ETICS, HetsNets, and CompNets, held at NETWORKING 2012, Prague, Czech Republic, May 25, 2012. Proceedings
- Network and parallel computing : 9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 6-8, 2012 : proceedings
- OpenMP in a heterogeneous world : 8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012. Proceedings
- OpenStudio : an open source integrated analysis platform : preprint
- Pairing-based cryptography-- Pairing 2012 : 5th International Conference, Cologne, Germany, May 16-18, 2012, Revised selected papers
- Parallel problem solving from nature-- PPSN XII : 12th International Conference, Taormina, Italy, September 1-5, 2012, Proceedings, Part I
- Parallel problem solving from nature-- PPSN XII : 12th International Conference, Taormina, Italy, September 1-5, 2012, Proceedings, Part II
- Parallel processing and applied mathematics : 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised selected papers, Part I
- Parallel processing and applied mathematics : 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised selected papers, Part II
- Parameterized and exact computation : 6th International Symposium, IPEC 2011, Saarbrücken, Germany, September 6-8, 2011. Revised selected papers
- Parameterized and exact computation : 7th International Symposium, IPEC 2012, Ljubljana, Slovenia, September 12-14, 2012. Proceedings
- Partially supervised learning : first IAPR TC3 workshop, PSL 2011, Ulm, Germany, September 15-16, 2011 : revised selected papers
- Passive and active measurement : 13th International Conference, PAM 2012, Vienna, Austria, March 12-14th, 2012. Proceedings
- Pattern recognition : Chinese Conference, CCPR 2012, Beijing, China, September 24-26, 2012. Proceedings
- Perspectives of systems informatics : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised selected papers
- Principles and practice of constraint programming : 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings
- Principles of distributed systems : 15th international conference, OPODIS 2011, Toulouse, France, December 13-16, 2011 : proceedings
- Principles of distributed systems : 16th international conference, OPODIS 2012, Rome, Italy, December 18-20, 2012 : proceedings
- Principles of security and trust : first international conference, POST 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings
- Privacy and identity management for life : 7th IFIP WG 9.2, 9.6/11.7, 11.4, 11.6/PrimeLife International Summer School, Trento, Italy, September 5-9, 2011, Revised selected papers
- Privacy enhancing technologies : 12th International Symposium, PETS 2012, Vigo, Spain, July 11-13, 2012. Proceedings
- Progress in VLSI design and test : 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings
- Progress in cryptology-- INDOCRYPT 2012 : 13th International Conference on Cryptology in India, Kolkata, India, December 9-12, 2012, proceedings
- Progress in pattern recognition, image analysis, computer vision, and applications : 17th Iberoamerican Congress, CIARP 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings
- Public key cryptography-- PKC 2012 : 15th International Conference on Practice and Theory in Public Key Cryptography, Darmstadt, Germany, May 21-23, 2012. Proceedings
- Public key infrastructures, services and applications : 8th European Workshop, EuroPKI 2011, Leuven, Belgium, September 15-16, 2011, Revised selected papers
- Pyomo-- Optimization modeling in Python
- Quality, reliability, security and robustness in heterogeneous networks : 7th International Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2010, and Dedicated Short Range Communications Workshop, DSRC 2010, Houston, TX, USA, November 17-19, 2010, Revised selected papers
- Quantum attacks on public-key cryptosystems
- Quantum interaction : 6th International Symposium, QI 2012, Paris, France, June 27-29, 2012, revised selected papers
- RFID: Security and privacy : 7th International Workshop, RFIDSec 2011, Amherst, USA, June 26-28, 2011, Revised selected papers
- Reachability problems : 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings
- Recent advances in algorithmic differentiation
- Recent advances in intrusion detection : 14th international symposium, RAID 2011, Menlo Park, CA, USA, September 20-21, 2011 : proceedings
- Recent advances in the message passing interface : 19th European MPI Users' group meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012, Proceedings
- Recent trends in applied artificial intelligence : 26th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2013, Amsterdam, the Netherlands, June 17-21, 2013 : proceedings
- Recent trends in computer networks and distributed systems security : International Conference, SNDS 2012, Trivandrum, India, October 11-12, 2012. Proceedings
- Reconfigurable computing : architectures, tools and applications : 8th International Symposium, ARC 2012, Hong Kong, China, March 19-23, 2012. Proceedings
- Reconfigurable computing: Architectures, tools and applications : 9th International Symposium, ARC 2013, Los Angeles, CA, USA, March 25-27, 2013. Proceedings
- Research in computational molecular biology : 16th Annual International Conference, RECOMB 2012, Barcelona, Spain, April 21-24, 2012, proceedings
- Research in computational molecular biology : 17th Annual International Conference, RECOMB 2013, Beijing, China, April 7-10, 2013. Proceedings
- Reversible computation : 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012, revised papers
- Reversible computation : third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers
- Runtime verification : second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers
- Runtime verification : third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised selected papers
- SOFSEM 2012 : theory and practice of computer science : 38th conference on current trends in theory and practice of computer science, Špindlerův Mlýn, Czech Republic, January 21-27, 2012 : proceedings
- SOFSEM 2013: Theory and practice of computer science : 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings
- Scale space and variational methods in computer vision : 4th International Conference, SSVM 2013, Schloss Seggau, Leibnitz, Austria, June 2-6, 2013. Proceedings
- Scale space and variational methods in computer vision : third international conference, SSVM 2011, Ein-Gedi, Israel, May 29-June 2, 2011 : revised selected papers
- Search based software engineering : 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012. Proceedings
- Security protocols XX : 20th International Workshop, Cambridge, UK, April 12-13, 2012, Revised selected papers
- Security technology : international conference, SecTech 2011, held as part of the Future Generation Information Technology Conference, FGIT 2011, in conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011, proceedings
- Security, privacy, and applied cryptography engineering : second international conference, SPACE 2012, Chennai, India, November 3-4, 2012 : proceedings
- Selected areas in cryptography : 18th International Workshop, SAC 2011, Toronto, ON, Canada, August 11-12, 2011, Revised selected papers
- Selected areas in cryptography : 19th International Conference, SAC 2012, Windsor, ON, Canada, August 15-16, 2012, Revised selected papers
- Sequences and their applications -- SETA 2012 : 7th International Conference, Waterloo, ON, Canada, June 4-8 2012 : proceedings
- Signal processing and information technology : first International Joint Conference, SPIT 2011 and IPC 2011, Amsterdam, the Netherlands, December 1-2, 2011, Revised selected papers
- Signal processing, image processing and pattern recognition : international conference, SIP 2011, held as part of the Future Generation Information Technology Conference FGIT 2011, in conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011, proceedings
- Similarity search and applications : 5th International Conference, SISAP 2012, Toronto, ON, Canada, August 9-10, 2012. Proceedings
- Smart card research and advanced applications : 11th International Conference, CARDIS 2012, Graz, Austria, November 28-30, 2012, Revised selected papers
- Software process improvement and capability determination : 12th International Conference, SPICE 2012, Palma, Spain, May 29-31, 2012. Proceedings
- Sparsity : graphs, structures, and algorithms
- Spatio-temporal image analysis for longitudinal and time-series image data : second International Workshop, STIA 2012, held in conjunction with MICCAI 2012, Nice, France, October 1, 2012. Proceedings
- Stabilization, safety, and security of distributed systems : 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings
- Structural, syntactic, and statistical pattern recognition : joint IAPR International Workshop, SSPR & SPR 2012, Hiroshima, Japan, November 7-9, 2012 : proceedings
- Structure of solutions of variational problems
- Swarm intelligence : 8th International Conference, ANTS 2012, Brussels, Belgium, September 12-14, 2012. Proceedings
- Swarm, evolutionary, and memetic computing : second International Conference, SEMCCO 2011, Visakhapatnam, Andhra Pradesh, India, December 19-21, 2011, proceedings, Part II
- Swarm, evolutionary, and memetic computing : third international conference, SEMCCO 2012, Bhubaneswar, India, December 20-22, 2012 : proceedings
- System simulation and scientific computing : International Conference, ICSC 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part II
- System simulation and scientific computing : International conference, ICSC 2012, Shanghai, China, October 27-30, 2012, Proceedings, Part I
- The SimCalc vision and contributions : democratizing access to important mathematics
- The Tower of Hanoi-- myths and maths
- The logic of categorial grammars : a deductive account of natural language syntax and semantics
- The multivariate algorithmic revolution and beyond : essays dedicated to Michael R. Fellows on the occasion of his 60th birthday
- Theoretical computer science : 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, the Netherlands, September 26-28, 2012, proceedings
- Theory and applications of models of computation : 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013 : proceedings
- Theory and applications of models of computation : 9th annual conference, TAMC 2012, Beijing, China, May 16-21, 2012 : proceedings
- Theory and applications of satisfiability testing-- SAT 2012 : 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings
- Theory and practice of natural computing : first International Conference, TPNC 2012, Tarragona, Spain, October 2-4, 2012. Proceedings
- Theory of cryptography : 10th Theory of Cryptography Conference, TCC 2013, Tokyo, Japan, March 3-6, 2013. Proceedings
- Theory of cryptography : 9th Theory of Cryptography Conference, TCC 2012, Taormina, Sicily, Italy, March 19-21, 2012. Proceedings
- Theory of quantum computation, communication, and cryptography : 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised selected papers
- Theory of security and applications : joint workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011 : revised selected papers
- Tools and algorithms for the construction and analysis of systems : 19th International Conference, TACAS 2013, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
- Tools for high performance computing 2011 : proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing, September 2011, ZIH, Dresden
- Topics in cryptology-- CT-RSA 2012 : the Cryptographers' track at the RSA Conference 2012, San Francisco, CA, USA, February 27-March 2, 2012. Proceedings
- Transactions on computational science XV : special issue on advances in autonomic computing: formal engineering methods for nature-inspired computing systems
- Transactions on computational systems biology XIV : special issue on computational models for cell processes
- Transactions on data hiding and multimedia security VII
- Transactions on petri nets and other models of concurrency V
- Trends in intelligent robotics, automation, and manufacturing : first international conference, IRAM 2012, Kuala Lumpur, Malaysia, November 28-30, 2012, proceedings
- Trust and trustworthy computing : 5th International Conference, TRUST 2012, Vienna, Austria, June 13-15, 2012. Proceedings
- Trustworthy global computing : 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised selected papers
- U- and E-Service, science and technology : International Conference, UNESST 2011, held as part of the Future Generation Information Technology Conference, FGIT 2011, in conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings
- Unconventional computation and natural computation : 11th International Conference, UCNC 2012, Orléans, France, September 3-7, 2012. Proceedings
- VLSI-SoC: Forward-Looking Trends in IC and Systems Design : 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, Madrid, Spain, September 27-29, 2010, Revised Selected Papers
- Verification, Model Checking, and Abstract Interpretation : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings
- WALCOM: Algorithms and computation : 7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 2013. Proceedings
- Wireless algorithms, systems, and applications : 7th International Conference, WASA 2012, Yellow Mountains, China, August 8-10, 2012. Proceedings
- Wireless communications and applications : first International Conference, ICWCA 2011, Sanya, China, August 1-3, 2011, Revised Selected Papers
- Wireless internet : 6th International ICST Conference, WICON 2011, Xi'an, China, October 19-21, 2011, Revised selected papers
- Wireless sensor networks : 10th European Conference, EWSN 2013, Ghent, Belgium, February 13-15, 2013. Proceedings
- Wireless sensor networks : 9th European conference, EWSN 2012, Trento, Italy, February 15-17, 2012 : proceedings
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/resource/ioyrrUYr1hA/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/resource/ioyrrUYr1hA/">Computer software</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Concept Computer software
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/resource/ioyrrUYr1hA/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/resource/ioyrrUYr1hA/">Computer software</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
