Computer science.
Overview
Works: | 823 works in 502 publications in 502 languages |
---|
Titles
Current trends in theoretical computer science :entering the 21st century /
by:
(Language materials, printed)
Talking with computers :explorations in the science and technology of computing /
by:
(Language materials, printed)
Introduction to computing systems :from bits and Gates to C and beyond /
by:
(Language materials, printed)
Introduction to computing systems :from bits and gates to C and beyond /
by:
(Language materials, printed)
Pillars of Computer Science :Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday /
by:
(Electronic resources)
Theoretical Computer Science (vol. # 3895)Essays in Memory of Shimon Even /
by:
(Electronic resources)
Theory and Applications of Relational Structures as Knowledge Instruments IIInternational Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers /
by:
(Electronic resources)
Information Technology in the Service Economy: Challenges and Possibilities for the 21st CenturyIFIP TC8 WG8.2 International Working Conference August 10-13, 2008, Toronto, Ontario, Canada /
by:
(Electronic resources)
Advanced Functional Programming5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures /
by:
(Electronic resources)
Automated Reasoning with Analytic Tableaux and Related Methods :International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings
by:
(Electronic resources)
Learning to Live in the Knowledge SocietyIFIP 20th World Computer Congress, IFIP TC 3 ED-L2L Conference September 7-10, 2008, Milano, Italy /
by:
(Electronic resources)
Discovering computers 2010 :living in a digital world : complete /
by:
(Language materials, printed)
Computer systemstheory, technology, and applications : a tribute to Roger Needham /
by:
(Electronic resources)
Theory is foreveressays dedicated to Arto Salomaa on the occasion of his 70th birthday /
by:
(Electronic resources)
Fundamental problems in computingessays in honor of Professor Daniel J. Rosenkrantz /
by:
(Electronic resources)
Transactions on computational science Vspecial issue on cognitive knowledge representation /
by:
(Electronic resources)
Discovering computers 2010 :living in a digital world : complete /
by:
(Language materials, printed)
Structures in logic and computer sciencea selection of essays in honor of A. Ehrenfeucht /
by:
(Electronic resources)
Concurrency, compositionality, and correctnessessays in honor of Willem-Paul de Roever /
by:
(Electronic resources)
The structure of stylealgorithmic approaches to understanding manner and meaning /
by:
(Electronic resources)
Verification, induction, termination analysisfestschrift for Christoph Walther on the occasion of his 60th birthday /
by:
(Electronic resources)
Transactions on computational science XIspecial issue on security in computing, part II /
by:
(Electronic resources)
Rainbow of computer sciencededicated to Hermann Maurer on the occasion of his 70th birthday /
by:
(Electronic resources)
Computation, cooperation, and lifeessays dedicated to Gheorghe Paun on the occasion of his 60th birthday /
by:
(Electronic resources)
Enabling real-time business intelligence4th international workshop, BIRTE 2010, held at the 36th international conference on very large databases, VLDB 2010, Singapore, September 13, 2010 : revised selected papers /
by:
(Electronic resources)
Beyond Photoshopadvanced techniques integrating Photoshop with Illustrator, Poser, Painter, Cinema 4D and ZBrush /
by:
(Electronic resources)
Digital sculpting with Mudboxessential tools and techniques for artists /
by:
(Electronic resources)
Vectored I/O :computing, data stream, atomicity, thread (computer science), computer process /
by:
(Language materials, printed)
Formal aspects of component software7th international workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010 : revised selected papers /
by:
(Electronic resources)
Multimedia for cultural heritageFirst International Workshop, MM4CH 2011, Modena, Italy, May 3, 2011 : revised selected papers /
by:
(Electronic resources)
Software businessthird International Conference, ICSOB 2012, Cambridge, MA, USA, June 18-20, 2012 : proceedings /
by:
(Electronic resources)
Android forensicsinvestigation, analysis, and mobile security for Google Android /
by:
(Electronic resources)
The mathematics of harmonyfrom Euclid to contemporary mathematics and computer science /
by:
(Electronic resources)
Introduction to computing systems :from bits and Gates to C and beyond /
by:
(Language materials, printed)
Algebraic combinatorics and computer science :a tribute to Gian-Carlo Rota /
by:
(Language materials, printed)
Benchmarking transaction and analytical processing systemsthe creation of a mixed workload benchmark and its application /
by:
(Electronic resources)
Applied information science, engineering and technologyselected topics from the field of production information engineering and IT for manufacturing: theory and practice /
by:
(Electronic resources)
Activating the tools of social media for innovative collaboration in the enterprise
by:
(Electronic resources)
Citizen in sensor networkssecond international workshop, CitiSens 2013, Barcelona, Spain, September 19, 2013 : revised selected papers /
by:
(Electronic resources)
Big data integration theorytheory and methods of database mappings, programming languages, and semantics /
by:
(Electronic resources)
Bridging between cultural heritage institutions9th Italian Research Conference, IRCDL 2013, Rome, Italy, January 31-February 1, 2013 : revised selected papers /
by:
(Electronic resources)
Information theoretic security7th international conference, ICITS 2013, Singapore, November 28-30, 2013 : proceedings /
by:
(Electronic resources)
Membrane computing14th International Conference, CMC 2013, Chisinau, Republic of Moldova, August 20-23, 2013 : revised selected papers /
by:
(Electronic resources)
Engineering secure software and systems6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014 : proceedings /
by:
(Electronic resources)
Structured object-oriented formal language and methodthird International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013 : revised selected papers /
by:
(Electronic resources)
Passive and active measurement15th International Conference, PAM 2014, Los Angeles, CA, USA, March 10-11, 2014 : proceedings /
by:
(Electronic resources)
High order nonlinear numerical schemes for evolutionary PDEsproceedings of the European Workshop HONOM 2013, Bordeaux, France, March 18-22, 2013 /
by:
(Electronic resources)
Transactions on computational science XXIIIspecial issue on cyberworlds /
by:
(Electronic resources)
Advances in information and computer security9th International Workshop on Security, IWSEC 2014, Hirosaki, Japan, August 27-29, 2014 : proceedings /
by:
(Electronic resources)
Multiple access communications7th International Workshop, MACOM 2014, Halmstad, Sweden, August 27-28, 2014 : proceedings /
by:
(Electronic resources)
Programming languages18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014 : proceedings /
by:
(Electronic resources)
Distributed computing28th International Symposium, DISC 2014, Austin, TX, USA, October 12-15, 2014 : proceedings /
by:
(Language materials, printed)
Security protocols XXII22nd International Workshop, Cambridge, UK, March 19-21, 2014 : revised selected papers /
by:
(Electronic resources)
Cyber security and privacythird Cyber Security and Privacy EU Forum, CSP Forum 2014, Athens, Greece, May 21-22, 2014, Revised Selected Papers /
by:
(Electronic resources)
Information and communication technologies in education, research, and industrial applications10th International Conference, ICTERI 2014, Kherson, Ukraine, June 9-12, 2014 : revised selected papers /
by:
(Electronic resources)
Testbeds and research infrastructuredevelopment of networks and communities : 9th International ICST Conference, TridentCom 2014, Guangzhou, China, May 5-7, 2014 : revised selected papers /
by:
(Electronic resources)
Ad hoc networks6th International ICST Conference, ADHOCNETS 2014, Rhodes, Greece, August 18-19, 2014 : revised selected papers /
by:
(Electronic resources)
Design science methodology for information systems and software engineering
by:
(Electronic resources)
Challenges of information management beyond the cloud4th International Symposium on Information Management in a Changing World, IMCW 2013, Limerick, Ireland, September 4-6, 2013 : revised selected papers /
by:
(Electronic resources)
The semantic web and web science8th Chinese Conference, CSWS 2014, Wuhan, China, August 8-12, 2014 : revised selected papers /
by:
(Electronic resources)
System modeling and optimization26th IFIP TC 7 Conference, CSMO 2013, Klagenfurt, Austria, September 9-13, 2013 : revised selected papers /
by:
(Electronic resources)
Digital Services and Information Intelligence13th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2014, Sanya, China, November 28-30, 2014 : proceedings /
by:
(Electronic resources)
Natural Language Processing and Chinese ComputingThird CCF Conference, NLPCC 2014, Shenzhen, China, December 5-9, 2014. Proceedings /
by:
(Electronic resources)
Advances in neural networks - ISNN 201411th International Symposium on Neural Networks, ISNN 2014, Hong Kong and Macao, China, November 28- December 1, 2014 : proceedings /
by:
(Electronic resources)
Big data benchmarks, performance optimization, and emerging hardware4th and 5th Workshops, BPOE 2014, Salt Lake City, USA, March 1, 2014 and Hangzhou, China, September 5, 2014 : revised selected papers /
by:
(Electronic resources)
Information security17th International Conference, ISC 2014, Hong Kong, China, October 12-14, 2014 : proceedings /
by:
(Electronic resources)
Activity Monitoring by Multiple Distributed SensingSecond International Workshop, AMMDS 2014, Stockholm, Sweden, August 24, 2014, Revised Selected Papers /
by:
(Electronic resources)
Biometric authenticationFirst International Workshop, BIOMET 2014, Sofia, Bulgaria, June 23-24, 2014 : revised selected papers /
by:
(Electronic resources)
Computer-assisted and robotic endoscopyFirst International Workshop, CARE 2014, Held in Conjunction with MICCAI 2014, Boston, MA, USA, September 18, 2014 : revised selected papers /
by:
(Electronic resources)
PRICAI 2014trends in artificial intelligence : 13th Pacific Rim International Conference on Artificial Intelligence, Gold Coast, QLD, Australia, December 1-5, 2014 : proceedings /
by:
(Electronic resources)
Applications of evolutionary computation17th European Conference, EvoApplications 2014, Granada, Spain, April 23-25, 2014 : revised selected papers /
by:
(Electronic resources)
Graph drawing22nd International Symposium, GD 2014, Wurzburg, Germany, September 24-26, 2014 : revised selected papers /
by:
(Electronic resources)
Digital forensics processing and proceduresmeeting the requirements of ISO 17020, ISO 17025, ISO 27001 and best practice requirements /
by:
(Electronic resources)
E-Learning, E-Education, and Online Trainingfirst International Conference, eLEOT 2014, Bethesda, MD, USA, September 18-20, 2014 : revised selected papers /
by:
(Electronic resources)
Machine learning and cybernetics13th International Conference, Lanzhou, China, July 13-16, 2014 : proceedings /
by:
(Electronic resources)
Knowledge representation for health care6th International Workshop, KR4HC 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 21, 2014 : revised selected papers /
by:
(Electronic resources)
Parameterized and exact computation9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014 : revised selected papers /
by:
(Electronic resources)
Information systems security10th international conference, ICISS 2014, Hyderabad, India, December 16-20, 2014, Proceedings /
by:
(Electronic resources)
Advances in visual computing10th International Symposium, ISVC 2014, Las Vegas, NV, USA, December 8-10, 2014 : proceedings.Part I /
by:
(Electronic resources)
Advances in visual computing10th International Symposium, ISVC 2014, Las Vegas, NV, USA, December 8-10, 2014 : proceedings.Part II /
by:
(Electronic resources)
Language, culture, computation.essays dedicated to Yaacov Choueka on the occasion of his 75th birthday /Part I,Computing - theory and technology
by:
(Electronic resources)
Language, culture, computation.essays dedicated to Yaacov Choueka on the occasion of his 75th birthday /Part II,Computing of the humanities, law, and narratives
by:
(Electronic resources)
Language, culture, computation.essays dedicated to Yaacov Choueka on the occasion of his 75th birthday /Part III,Computational linguistics and linguistics
by:
(Electronic resources)
Transactions on computational science XXIVspecial issue on reversible computing /
by:
(Electronic resources)
Security protocols XVIII18th International Workshop, Cambridge, UK, March 24-26, 2010 : revised selected papers /
by:
(Electronic resources)
IISS: A Framework to Influence Individuals through Social Signals on a Social Network.
by:
(Electronic resources)
Evolutionary strategies for secure moving target configuration discovery.
by:
(Electronic resources)
Moving target mechanism using infinite hash chain in hierarchical peer-to-peer cloud.
by:
(Electronic resources)
Securing internet transactions by increasing government scrutiny of private corporation security practices.
by:
(Electronic resources)
Usability Issues in the User Interfaces of Privacy-Enhancing Technologies.
by:
(Electronic resources)
Evaluation of Unsupervised Learning Techniques for Intrusion Detection in Mobile Ad Hoc Networks.
by:
(Electronic resources)
Stable and Efficient Sparse Recovery for Machine Learning and Wireless Communication.
by:
(Electronic resources)
Non-Maximally Decimated Filter Bank and Its Applications in Wideband Signal Processing.
by:
(Electronic resources)
Ontology-based search algorithms over large-scale unstructured peer-to-peer networks.
by:
(Electronic resources)
Improved wireless security through physical layer protocol manipulation and radio frequency fingerprinting.
by:
(Electronic resources)
Elements of Next-Generation Wireless Video Systems: Millimeter-Wave and Device-to-Device Algorithms.
by:
(Electronic resources)
Optimal Integration of Machine Learning Models: A Large-Scale Distributed Learning Framework with Application to Systematic Prediction of Adverse Drug Reactions.
by:
(Electronic resources)
Mining Meaningful Role-Based and Attribute-Based Access Control Policies.
by:
(Electronic resources)
High-performance power-efficient solutions for embedded vision computing.
by:
(Electronic resources)
Controlled-mobile Sensor Networks for Dynamic Sensing and Monitoring Applications.
by:
(Electronic resources)
Computer science and its applicationsubiquitous information technologies /
by:
(Electronic resources)
Discovering computers 2007 :a gateway to information : Web enhanced /
by:
(Language materials, printed)
Optimization, control, and applications in the information agein honor of Panos M. Pardalos's 60th birthday /
by:
(Electronic resources)
Logic, rewriting, and concurrencyessays dedicated to Jose Meseguer on the occasion of his 65th birthday /
by:
(Electronic resources)
Towards an understanding of information crediblity on online social networks.
by:
(Electronic resources)
Long-term study of crowdfunding platform: Predicting project success and fundraising amount.
by:
(Electronic resources)
A Bibliometric Analysis of the Field of Records Management: A Case Study of "Records Management Journal", 1989-2013.
by:
(Electronic resources)
Using machine learning techniques to predict the education level of Twitter users.
by:
(Electronic resources)
Service Quality and Perceived Value of Cloud Computing-Based Service Encounters: Evaluation of Instructor Perceived Service Quality in Higher Education in Texas.
by:
(Electronic resources)
Usability construct for mobile applications: A clustering based approach.
by:
(Electronic resources)
Understanding and Improving Online Social Interactions and Processes: Methods, Algorithms and Applications.
by:
(Electronic resources)
Collaborative Search Engines: Toward a Meta-Design for Improving the User Experience.
by:
(Electronic resources)
Opinion Mining in Online Social Networks: Patterns, Influences and Anomalies.
by:
(Electronic resources)
Investigation of general-purpose computing on graphics processing units and its application to the finite element analysis of electromagnetic problems.
by:
(Electronic resources)
Mobile persuasion designchanging behaviour by combining persuasion design with information design /
by:
(Electronic resources)
Privacy in a digital, networked worldtechnologies, implications and solutions /
by:
(Electronic resources)
Computer and computing technologies in agriculture VIII8th IFIP WG 5.14 International Conference, CCTA 2014, Beijing, China, September 16-19, 2014 : revised selected papers /
by:
(Electronic resources)
Applications and usability of interactive TVthird Iberoamerican Conference, jAUTI 2014, and Third Workshop on Interactive Digital TV, held as part of Webmedia 2014, Joao Pessoa, PB, Brazil, November 18-21, 2014 : revised selected papers /
by:
(Electronic resources)
Special topics in mathematics for computer scientistssets, categories, topologies and measures /
by:
(Electronic resources)
International Conference on Security and Privacy in Communication Networks10th International ICST Conference, SecureComm 2014, Beijing, China, September 24-26, 2014 : revised selected papers.Part I /
by:
(Electronic resources)
Engineering applications of neural networks16th International Conference, EANN 2015, Rhodes, Greece, September 25-28, 2015 : proceedings /
by:
(Electronic resources)
Advances in Digital Forensics XI11th IFIP WG 11.9 International Conference, Orlando, FL, USA, January 26-28, 2015 : revised selected papers /
by:
(Electronic resources)
Risks and resilience of collaborative networks16th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2015, Albi, France, October 5-7, 2015 : proceedings /
by:
(Electronic resources)
Information systems for crisis response and management in mediterranean countriessecond International Conference, ISCRAM-med 2015, Tunis, Tunisia, October 28-30, 2015 : proceedings /
by:
(Electronic resources)
Cognitive radio oriented wireless networks10th International Conference, CROWNCOM 2015, Doha, Qatar, April 21-23, 2015 : revised selected papers /
by:
(Electronic resources)
Enterprise and organizational modeling and simulation11th International Workshop, EOMAS 2015, Held at CAiSE 2015, Stockholm, Sweden, June 8-9, 2015 : selected papers /
by:
(Electronic resources)
Guide to flow-aware networkingquality-of-service architectures and techniques for traffic management /
by:
(Electronic resources)
Embracing global computing in emerging economiesFirst Workshop, EGC 2015, Almaty, Kazakhstan, February 26-28, 2015 : proceedings /
by:
(Electronic resources)
VLSI-SoC: internet of things foundations22nd IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2014, Playa del Carmen, Mexico, October 6-8, 2014 : revised and extended selected papers /
by:
(Electronic resources)
Cyber security and privacy4th Cyber Security and Privacy Innovation Forum, CSP Innovation Forum 2015, Brussels, Belgium April 28-29, 2015 : revised selected papers /
by:
(Electronic resources)
Wireless and satellite systems7th International Conference, WiSATS 2015 Bradford, UK, July 6-7, 2015 : revised selected papers /
by:
(Electronic resources)
Digital forensics and cyber crime7th International Conference, ICDF2C 2015, Seoul, South Korea, October 6-8, 2015 : revised selected papers /
by:
(Electronic resources)
Semantic web evaluation challengesSecond SemWebEval 2015 Challenge at ESWC 2015, Portoroz, Slovenia, May 31 - June 4, 2015 : revised selected papers /
by:
(Electronic resources)
Software technologies9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014 : revised selected papers /
by:
(Electronic resources)
The mobile learning voyage - from small ripples to massive open waters14th World Conference on Mobile and Contextual Learning, mLearn 2015, Venice, Italy, October 17-24, 2015 : proceedings /
by:
(Electronic resources)
Computer supported education6th International Conference, CSEDU 2014, Barcelona, Spain, April 1-3, 2014 : revised selected papers /
by:
(Electronic resources)
Knowledge discovery, knowledge engineering and knowledge management6th International Joint Conference, IC3K 2014, Rome, Italy, October 21-24, 2014 : revised selected papers /
by:
(Electronic resources)
Data management technologies and applicationsThird International Conference, DATA 2014, Vienna, Austria, August 29-31, 2014 : revised selected papers /
by:
(Electronic resources)
Critical infrastructure protection IX9th IFIP 11.10 International Conference, ICCIP 2015, Arlington, VA, USA, March 16-18, 2015 : revised selected papers /
by:
(Electronic resources)
E-Democracy - citizen rights in the world of the new computing paradigms6th International Conference, E-Democracy 2015, Athens, Greece, December 10-11, 2015 : proceedings /
by:
(Electronic resources)
The mobility revolution in the automotive industryhow not to miss the digital turnpike /
by:
(Electronic resources)
RoboticsJoint Conference on Robotics, LARS 2014, SBR 2014, Robocontrol 2014, Sao Carlos, Brazil, October 18-23, 2014 : revised selected papers /
by:
(Electronic resources)
ICTs for improving patients rehabilitation research techniquesSecond International Workshop, REHAB 2014, Oldenburg, Germany, May 20-23, 2014 : revised selected papers /
by:
(Electronic resources)
Applications and techniques in information security6th International Conference, ATIS 2015, Beijing, China, November 4-6, 2015 : proceedings /
by:
(Electronic resources)
The shaping of ambient intelligence and the internet of thingshistorico-epistemic, socio-cultural, politico-institutional and eco-environmental dimensions /
by:
(Electronic resources)
Social media processing4th National Conference, SMP 2015, Guangzhou, China, November 16-17, 2015 : proceedings /
by:
(Electronic resources)
Spatial information theory12th International Conference, COSIT 2015, Santa Fe, NM, USA, October 12-16, 2015 : proceedings /
by:
(Electronic resources)
Web-age information managementWAIM 2015 International Workshops: HENA, HRSUNE, Qingdao, China, June 8-10, 2015 : revised selected papers /
by:
(Electronic resources)
Agent environments for multi-agent systems IV4th International Workshop, E4MAS 2014 - 10 Years Later, Paris, France, May 6, 2014 : revised selected and invited papers /
by:
(Electronic resources)
Intelligence science and big data engineering : image and video data engineering5th International Conference, IScIDE 2015, Suzhou, China, June 14-16, 2015 : revised selected papers.Part I /
by:
(Electronic resources)
Programming languages19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015 : proceedings /
by:
(Electronic resources)
Computer algebra in scientific computing17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015 : proceedings /
by:
(Electronic resources)
Computer security - ESORICS 201520th European Symposium on Research in Computer Security, Vienna, Austria, September 21-25, 2015 : proceedings.Part I /
by:
(Electronic resources)
Computer security - ESORICS 201520th European Symposium on Research in Computer Security, Vienna, Austria, September 21-25, 2015 : proceedings.Part II /
by:
(Electronic resources)
Technology and practice of passwordsInternational Conference on Passwords, PASSWORDS'14, Trondheim, Norway, December 8-10, 2014 : revised selected papers /
by:
(Electronic resources)
Similarity-based pattern recognitionthird International Workshop, SIMBAD 2015, Copenhagen, Denmark, October 12-14, 2015 : proceedings /
by:
(Electronic resources)
Discovery science18th International Conference, DS 2015, Banff, AB, Canada, October 4-6, 2015 : proceedings /
by:
(Electronic resources)
Advances in intelligent data analysis XIV14th International Symposium, IDA 2015, Saint Etienne. France, October 22 -24, 2015 : proceedings /
by:
(Electronic resources)
Algorithmic learning theory26th International Conference, ALT 2015, Banff, AB, Canada, October 4-6, 2015 : proceedings /
by:
(Electronic resources)
KI 2015advances in artificial intelligence : 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015 : proceedings /
by:
(Electronic resources)
Reachability problems9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015 : proceedings /
by:
(Electronic resources)
Case-based reasoning research and development23rd International Conference, ICCBR 2015, Frankfurt am Main, Germany, September 28-30, 2015 : proceedings /
by:
(Electronic resources)
OpenMPheterogenous execution and data movements : 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015 : proceedings /
by:
(Electronic resources)
Intelligent data engineering and automated learning - IDEAL 201516th International Conference Wroclaw, Poland, October 14-16, 2015 : proceedings /
by:
(Electronic resources)
Machine learning in medical imaging6th International Workshop, MLMI 2015, held in Conjunction with MICCAI 2015, Munich, Germany, October 5, 2015 : proceedings /
by:
(Electronic resources)
SDL 2015model-driven engineering for smart cities : 17th International SDL Forum, Berlin, Germany, October 12-14, 2015 : proceedings /
by:
(Electronic resources)
Pattern recognition37th German Conference, GCPR 2015, Aachen, Germany, October 7-10, 2015 : proceedings /
by:
(Electronic resources)
The semantic web - ISWC 201514th International Semantic Web Conference, Bethlehem, PA, USA, October 11-15, 2015 : proceedings.Part I /
by:
(Electronic resources)
The semantic web - ISWC 201514th International Semantic Web Conference, Bethlehem, PA, USA, October 11-15, 2015 : proceedings.Part II /
by:
(Electronic resources)
Open and big data management and innovation14th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2015, Delft, The Netherlands, October 13-15, 2015 : proceedings /
by:
(Electronic resources)
Geometric science of informationsecond International Conference, GSI 2015, Palaiseau, France, October 28-30, 2015 : proceedings /
by:
(Electronic resources)
Integrated uncertainty in knowledge modelling and decision making4th International Symposium, IUKM 2015, Nha Trang, Vietnam, October 15-17, 2015 : proceedings /
by:
(Electronic resources)
Dynamic data-driven environmental systems sciencefirst International Conference, DyDESS 2014, Cambridge, MA, USA, November 5-7, 2014 : revised selected papers /
by:
(Electronic resources)
Theoretical aspects of computing - ICTAC 201512th International Colloquium Cali, Colombia, October 29-31, 2015 : proceedings /
by:
(Electronic resources)
Knowledge science, engineering and management8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015 : proceedings /
by:
(Electronic resources)
Foundations of Intelligent Systems22nd International Symposium, ISMIS 2015, Lyon, France, October 21-23, 2015 : proceedings /
by:
(Electronic resources)
Structural information and communication complexity22nd International Colloquium, SIROCCO 2015, Montserrat, Spain, July 14-16, 2015 : post-proceedings /
by:
(Electronic resources)
Conceptual modeling34th International Conference, ER 2015, Stockholm, Sweden, October 19-22, 2015 : proceedings /
by:
(Electronic resources)
Advances in neural networks - ISNN 201512th International Symposium on Neural Networks, ISNN 2015, Jeju, South Korea, October 15-18, 2015 : proceedings /
by:
(Electronic resources)
Advances in web-based learning - ICWL 201514th International Conference, Guangzhou, China, November 5-8, 2015 : proceedings /
by:
(Electronic resources)
Programming languages with applications to biology and securityessays dedicated to Pierpaolo Degano on the occasion of His 65th Birthday /
by:
(Electronic resources)
Decision and game theory for security6th International Conference, GameSec 2015, London, UK, November 4-5, 2015 : proceedings /
by:
(Electronic resources)
The semantic webESWC 2015 Satellite Events : ESWC 2015 Satellite Events Portoroz, Slovenia, May 31 - June 4, 2015 : revised selected papers /
by:
(Electronic resources)
Network and system security9th International Conference, NSS 2015, New York, NY, USA, November 3-5, 2015 : proceedings /
by:
(Electronic resources)
Trends and applications in knowledge discovery and data miningPAKDD 2015 Workshops: BigPMA, VLSP, QIMIE, DAEBH, Ho Chi Minh City, Vietnam, May 19-21, 2015 : revised selected papers /
by:
(Electronic resources)
Mobile, secure, and programmable networkingfirst International Conference, MSPN 2015, Paris, France, June 15-17, 2015 : selected papers /
by:
(Electronic resources)
Advances in conceptual modelingER 2015 Workshops AHA, CMS, EMoV, MoBID, MORE-BI, MReBA, QMMQ, and SCME, Stockholm, Sweden, October 19-22, 2015 : proceedings /
by:
(Electronic resources)
Progress in pattern recognition, image analysis, computer vision, and applications20th Iberoamerican Congress, CIARP 2015, Montevideo, Uruguay, November 9-12, 2015 : proceedings /
by:
(Electronic resources)
Rough sets, fuzzy sets, data mining, and granular computing15th International Conference, RSFDGrC 2015, Tianjin, China, November 20-23, 2015 : proceedings /
by:
(Electronic resources)
Statistical language and speech processingthird International Conference, SLSP 2015, Budapest, Hungary, November 24-26, 2015 : proceedings /
by:
(Electronic resources)
Advanced concepts for intelligent vision systems16th International Conference, ACIVS 2015, Catania, Italy, October 26-29, 2015 : proceedings /
by:
(Electronic resources)
Advances in visual informatics4th International Visual Informatics Conference, IVIC 2015, Bangi, Malaysia, November 17-19, 2015 : proceedings /
by:
(Electronic resources)
Dependable software engineeringtheories, tools, and applications : first International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015 : proceedings /
by:
(Electronic resources)
Testing Software and Systems27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015 : proceedings /
by:
(Electronic resources)
Ambient intelligence12th European Conference, AmI 2015, Athens, Greece, November 11-13, 2015 : proceedings /
by:
(Electronic resources)
Provable security9th International Conference, ProvSec 2015, Kanazawa, Japan, November 24-26, 2015 : proceedings /
by:
(Electronic resources)
Security protocols XXIII23rd International Workshop, Cambridge, UK, March 31 - April 2, 2015 : revised selected papers /
by:
(Electronic resources)
Future data and security engineeringsecond International Conference, FDSE 2015, Ho Chi Minh City, Vietnam, November 23-25, 2015 : proceedings /
by:
(Electronic resources)
Globalizing domain-specific languagesInternational Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014 : revised papers /
by:
(Electronic resources)
Multi-disciplinary trends in artificial intelligence9th International Workshop, MIWAI 2015, Fuzhou, China, November 13-15, 2015 : proceedings /
by:
(Electronic resources)
Engineering multi-agent systemsthird International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers /
by:
(Electronic resources)
Web information systems engineering - WISE 201516th International Conference, Miami, FL, USA, November 1-3, 2015 : proceedings.Part II /
by:
(Electronic resources)
Web information systems engineering - WISE 201516th International Conference, Miami, FL, USA, November 1-3, 2015 : proceedings.Part I /
by:
(Electronic resources)
Hardware and softwareverification and testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings /
by:
(Electronic resources)
AI 2015advances in artificial intelligence : 28th Australasian Joint Conference, Canberra, ACT, Australia, November 30 - December 4, 2015 : proceedings /
by:
(Electronic resources)
Research in attacks,intrusions, and defenses18th International Symposium, RAID 2015, Kyoto, Japan,November 2-4, 2015 : proceedings /
by:
(Electronic resources)
Risk assessment and risk-driven testingthird International Workshop, RISK 2015, Berlin, Germany, June 15, 2015 : revised selected papers /
by:
(Electronic resources)
Secure IT systems20th Nordic Conference, NordSec 2015, Stockholm, Sweden, October 19-21, 2015 : proceedings /
by:
(Electronic resources)
Large-scale scientific computing10th International Conference, LSSC 2015, Sozopol, Bulgaria, June 8-12, 2015 : revised selected papers /
by:
(Electronic resources)
Neural information processing22nd International Conference, ICONIP 2015, Istanbul, Turkey, November 9-12, 2015 : proceedings.Part I /
by:
(Electronic resources)
Neural information processing22nd International Conference, ICONIP 2015, Istanbul, Turkey, November 9-12, 2015 : proceedings.Part II /
by:
(Electronic resources)
Neural information processing22nd International Conference, ICONIP 2015, November 9-12, 2015 : proceedings.Part IV /
by:
(Electronic resources)
Knowledge representation for health careAIME 2015 International Joint Workshop, KR4HC/ProHealth 2015, Pavia, Italy, June 20, 2015 : revised selected papers /
by:
(Electronic resources)
Progress in cryptology - INDOCRYPT 201516th International Conference on Cryptology in India, Bangalore, India, December 6-9, 2015 : proceedings /
by:
(Electronic resources)
Cryptology and network security14th International Conference, CANS 2015, Marrakesh, Morocco, December 10-12, 2015 : proceedings /
by:
(Electronic resources)
Theory and practice of natural computingfourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015 : proceedings /
by:
(Electronic resources)
Product-focused software process improvement16th International Conference, PROFES 2015 Bolzano, Italy, December 2-4, 2015 : proceedings /
by:
(Electronic resources)
Interactive storytelling8th International Conference on Interactive Digital Storytelling, ICIDS 2015, Copenhagen, Denmark, November 30 - December 4, 2015 : proceedings /
by:
(Electronic resources)
Big data analytics4th International Conference, BDA 2015, Hyderabad, India, December 15-18, 2015 : proceedings /
by:
(Electronic resources)
Advances in artificial intelligence and soft computing14th Mexican International Conference on Artificial Intelligence, MICAI 2015, Cuernavaca, Morelos, Mexico, October 25-31, 2015 : proceedings.Part I /
by:
(Electronic resources)
Advances in artificial intelligence and its applications14th Mexican International Conference on Artificial Intelligence, MICAI 2015, Cuernavaca, Morelos, Mexico, October 25-31, 2015 : proceedings.Part II /
by:
(Electronic resources)
Algorithms and architectures for parallel processing15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015 : proceedings.Part I /
by:
(Electronic resources)
Algorithms and architectures for parallel processing15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015 : proceedings.Part IV /
by:
(Electronic resources)
Internet of vehicles - safe and intelligent mobilitysecond International Conference, IOV 2015, Chengdu, China, December 19-21, 2015 : proceedings /
by:
(Electronic resources)
Clustering high-dimensional datafirst International Workshop, CHDD 2012, Naples, Italy, May 15, 2012 : revised selected papers /
by:
(Electronic resources)
Service-oriented computing13th International Conference, ICSOC 2015, Goa, India, November 16-19, 2015 : proceedings /
by:
(Electronic resources)
Distributed computing29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015 : proceedings /
by:
(Electronic resources)
Advances in cryptology - ASIACRYPT 201521st International Conference on the Theory and Application of Cryptology and Information Security, Auckland, New Zealand, November 29 - December 3, 2015 : proceedings.Part I /
by:
(Electronic resources)
Advances in cryptology - ASIACRYPT 201521st International Conference on the Theory and Application of Cryptology and Information Security Auckland, New Zealand, November 29 - December 3, 2015 : proceedings.Part II /
by:
(Electronic resources)
Algorithms and computation26th International Symposium, ISAAC 2015, Nagoya, Japan, December 9-11, 2015 : proceedings /
by:
(Electronic resources)
Agile product developmenthow to design innovative products that create customer value /
by:
(Electronic resources)
Microsoft MappingGeospatial Development in Windows 10 with Bing Maps and C# /
by:
(Electronic resources)
Entertainment apps on the go with Windows 10music, movies, and TV for PCs, tablets, and phones /
by:
(Electronic resources)
Analysis of images, social networks and texts4th International Conference, AIST 2015, Yekaterinburg, Russia, April 9-11, 2015 : revised selected papers /
by:
(Electronic resources)
Cryptography and coding15th IMA International Conference, IMACC 2015, Oxford, UK, December 15-17, 2015 : proceedings /
by:
(Electronic resources)
Social informatics7th International Conference, SocInfo 2015, Beijing, China, December 9-12, 2015 : proceedings /
by:
(Electronic resources)
Logic for programming, artificial intelligence, and reasoning20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings /
by:
(Electronic resources)
Web and internet economics11th International Conference, WINE 2015, Amsterdam, The Netherlands, December 9-12, 2015 : proceedings /
by:
(Electronic resources)
Transactions on computational science XXVIspecial issue on cyberworlds and cybersecurity /
by:
(Electronic resources)
Cybersecurity in the European Unionresilience and adaptability in governance policy /
by:
(Electronic resources)
Participation in computingthe National Science Foundation's expansionary programs /
by:
(Electronic resources)
Technological innovation for cyber-physical systems7th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2016, Costa de Caparica, Portugal, April 11-13, 2016 : proceedings /
by:
(Electronic resources)
Theory and practice of formal methodsessays dedicated to Frank de Boer on the occasion of his 60th birthday /
by:
(Electronic resources)
A list of successes that can change the worldessays dedicated to Philip Wadler on the occasion of his 60th birthday /
by:
(Electronic resources)
Smart card research and advanced applications14th International Conference, CARDIS 2015, Bochum, Germany, November 4-6, 2015 : revised selected papers /
by:
(Electronic resources)
Innovations in enterprise information systems management and engineering4th International Conference, ERP Future 2015 - Research, Munich, Germany, November 16-17, 2015 : revised papers /
by:
(Electronic resources)
Business information systems19th International Conference, BIS 2016, Leipzig, Germany, July, 6-8, 2016 : proceedings /
by:
(Electronic resources)
Modeling and simulation in engineering, economics and managementInternational Conference, MS 2016, Teruel, Spain, July 4-5, 2016 : proceedings /
by:
(Electronic resources)
HCI International 2016 - Posters' extended abstracts18th International Conference, HCI International 2016 Toronto, Canada, July 17-22, 2016 : proceedings.Part II /
by:
(Electronic resources)
HCI International 2016 - Posters' extended abstracts18th International Conference, HCI International 2016, Toronto, Canada, July 17-22, 2016 : proceedings.Part I /
by:
(Electronic resources)
Cross-cultural design8th International Conference, CCD 2016, held as part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016 : proceedings /
by:
(Electronic resources)
Reversible computation8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016 : proceedings /
by:
(Electronic resources)
Nordic contributions in IS research7th Scandinavian Conference on Information Systems, SCIS 2016 and IFIP8.6 2016, Ljungskile, Sweden, August 7-10, 2016 : proceedings /
by:
(Electronic resources)
E-Life : Web-Enabled Convergence of Commerce, Work, and Social Life15th Workshop on e-Business, WEB 2015, Fort Worth, Texas, USA, December 12, 2015 : revised selected papers /
by:
(Electronic resources)
Text mining for qualitative data analysis in the social sciencesa study on democratic discourse in Germany /
by:
(Electronic resources)
Concise guide to computing foundationscore concepts and select scientific applications /
by:
(Electronic resources)
Fuzziness in information systemshow to deal with crisp and fuzzy data in selection, classification, and summarization /
by:
(Electronic resources)
Information and software technologies22nd International Conference, ICIST 2016, Druskininkai, Lithuania, October 13-15, 2016 : proceedings /
by:
(Electronic resources)
An introduction to online computationdeterminism, randomization, advice /
by:
(Electronic resources)
Software developers as userssemiotic investigations in human-centered software development /
by:
(Electronic resources)
Software architecture in actiondesigning and executing architectural models with SysADL grounded on the OMG SysML standard /
by:
(Electronic resources)
Resource management for big data platformsalgorithms, modelling, and high-performance computing techniques /
by:
(Electronic resources)
Probability logicsprobability-based formalization of uncertain reasoning /
by:
(Electronic resources)
Network analysis literacya practical approach to the analysis of networks /
by:
(Electronic resources)
Decision and game theory for security7th International Conference, GameSec 2016, New York, NY, USA, November 2-4, 2016 : proceedings /
by:
(Electronic resources)
Formal methods and software engineering18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016 : proceedings /
by:
(Electronic resources)
Social informatics8th International Conference, SocInfo 2016, Bellevue, WA, USA, November 11-14, 2016 : proceedings.Part II /
by:
(Electronic resources)
Social informatics8th International Conference, SocInfo 2016, Bellevue, WA, USA, November 11-14, 2016 : proceedings.Part I /
by:
(Electronic resources)
Digital heritageprogress in cultural heritage: documentation, preservation, and protection : 6th International Conference, EuroMed 2016, Nicosia, Cyprus, October 31 - November 5, 2016 : proceedings.Part I /
by:
(Electronic resources)
Cryptology and network security15th International Conference, CANS 2016, Milan, Italy, November 14-16, 2016 : proceedings /
by:
(Electronic resources)
Digital heritageprogress in cultural heritage: documentation, preservation, and protection : 6th International Conference, EuroMed 2016, Nicosia, Cyprus, October 31 - November 5, 2016 : proceedings.Part II /
by:
(Electronic resources)
Hardware and softwareverification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : proceedings /
by:
(Electronic resources)
All about musicthe complete ontology: realities, semiotics, communication, and embodiment /
by:
(Electronic resources)
International communities of invention and innovationIFIP WG 9.7 International Conference on the History of Computing, HC 2016, Brooklyn, NY, USA, May 25-29, 2016 : revised selected papers /
by:
(Electronic resources)
Digital transformation and global societyfirst International Conference, DTGS 2016, St. Petersburg, Russia, June 22-24, 2016 : revised selected papers /
by:
(Electronic resources)
Culture, technology, communicationcommon world, different futures : 10th IFIP WG 13.8 International Conference, CaTaC 2016, London, UK, June 15-17, 2016 : revised selected papers /
by:
(Electronic resources)
Discrete and computational geometry and graphs18th Japan Conference, JCDCGG 2015, Kyoto, Japan, September 14-16, 2015 : revised selected papers /
by:
(Electronic resources)
Algorithms and architectures for parallel processing16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016 : proceedings /
by:
(Electronic resources)
Learning and intelligent optimization10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016 : revised selected papers /
by:
(Electronic resources)
Salesforce.com lightning process builder and visual workflowa practical guide to model-driven development on the Force.com platform /
by:
(Electronic resources)
Objective-C for absolute beginnersiPhone, iPad and Mac programming made easy /
by:
(Electronic resources)
Text analytics with Pythona practical real-world approach to gaining actionable insights from your data /
by:
(Electronic resources)
Healthcare interoperability standards compliance handbookconformance and testing of healthcare data exchange standards /
by:
(Electronic resources)
Smart trends in information technology and computer communicationsfirst International Conference, SmartCom 2016, Jaipur, India, August 6-7, 2016 : revised selected papers /
by:
(Electronic resources)
Advances in visual computing12th International Symposium, ISVC 2016, Las Vegas, NV, USA, December 12-14, 2016 : proceedings.Part II /
by:
(Electronic resources)
Multiple access communications9th International Workshop, MACOM 2016, Aalborg, Denmark, November 21-22, 2016 : proceedings /
by:
(Electronic resources)
Machine learning, optimization, and big datasecond International Workshop, MOD 2016, Volterra, Italy, August 26-29, 2016 : revised selected papers /
by:
(Electronic resources)
Data Science Using Oracle Data Miner and Oracle R Enterprisetransform your business systems into an analytical powerhouse /
by:
(Electronic resources)
Memory System Optimizations for Customized Computing -- From Single-Chip to Datacenter.
by:
(Electronic resources)
Application layer quality of service deployed on software defined networks.
by:
(Electronic resources)
Design and analysis of privacy-preserving medical cloud computing systems.
by:
(Electronic resources)
Obfuscation of transmission fingerprints for secure wireless communications.
by:
(Electronic resources)
Krylov Subspace Spectral method with multigrid for a time-dependent, variable-coefficient partial differential equation.
by:
(Electronic resources)
Graph diffusions and matrix functions: Fast algorithms and localization results.
by:
(Electronic resources)
Single cell expression data analysis using advanced machine learning techniques.
by:
(Electronic resources)
Hybrid discriminative-generative methods for human pose reconstruction from monocular imagery.
by:
(Electronic resources)
Advances in unconventional computing.Volume 2,Prototypes, models and algorithms
by:
(Electronic resources)
Transactions on large-scale data- and knowledge-centered systems XXXIspecial issue on data and security engineering /
by:
(Electronic resources)
The Blockchain alternativerethinking macroeconomic policy and economic theory /
by:
(Electronic resources)
Reverse engineering the mindconsciously acting machines and accelerated evolution /
by:
(Electronic resources)
Collaboration technologies and social computing9th International Conference, CollabTech 2017, Saskatoon, SK, Canada, August 8-10, 2017 : proceedings /
by:
(Electronic resources)
Perspectives in business informatics research16th International Conference, BIR 2017, Copenhagen, Denmark, August 28-30, 2017, proceedings /
by:
(Electronic resources)
Advances in digital forensics XIII13th IFIP WG 11.9 International Conference, Orlando, FL, USA, January 30 - February 1, 2017 : revised selected papers /
by:
(Electronic resources)
Applied computer science for GGOS observatoriescommunication, coordination and automation of future geodetic infrastructures /
by:
(Electronic resources)
Scientific computing and algorithms in industrial simulationsprojects and products of Fraunhofer SCAI /
by:
(Electronic resources)
High Performance Computational Chemistry: Bridging Quantum Mechanics, Molecular Dynamics, and Coarse-Grained Models.
by:
(Electronic resources)
Deployment Strategies for a Fleet of Unmanned Aerial Vehicles Providing Cellular and Data Services.
by:
(Electronic resources)
DL-DI: A Deep Learning Framework for Distributed, Incremental Image Classification.
by:
(Electronic resources)
Designing Effective Security and Privacy Schemes for Wireless Mobile Devices.
by:
(Electronic resources)
Developing a Real Time Online Scheduling System for a Manufacturing Service Company: Achieving Visibility.
by:
(Electronic resources)
Object Recognition in Videos Utilizing Hierarchical and Temporal Objectness with Deep Neural Networks.
by:
(Electronic resources)
Post-Quantum Cryptography with Quasi-Cyclic Moderate-Density Parity-Check Codes.
by:
(Electronic resources)
Real-Time Energy Price-Aware Anycast RWA for Scheduled Lightpath Demands in Optical Data Center Networks.
by:
(Electronic resources)
Cyber Security in Higher Education: Accuracy of Resources Utilized by Information Technology Departments to Prevent Data Breaches.
by:
(Electronic resources)
The Design, Implementation, and Evaluation of Software and Architectural Support for ARM Virtualization.
by:
(Electronic resources)
A Comparison Framework For Interleaved Persistence Modules and Applications of Persistent Homology to Problems in Fluid Dynamics.
by:
(Electronic resources)
Learn computer science with Swiftcomputation concepts, programming paradigms, data management, and modern component architectures with Swift and Playgrounds /
by:
(Electronic resources)
Advances in service-oriented and cloud computingworkshops of ESOCC 2016, Vienna, Austria, September 5-7, 2016 : revised selected papers /
by:
(Electronic resources)
Greening video distribution networksenergy-efficient internet video delivery /
by:
(Electronic resources)
Transactions on computational science XXXIIspecial issue on cybersecurity and biometrics /
by:
(Electronic resources)
Applications of evolutionary computation21st International Conference, EvoApplications 2018, Parma, Italy, April 4-6, 2018 : proceedings /
by:
(Electronic resources)
C++17 quick syntax referenceapocket guide to the language, apis and library /
by:
(Electronic resources)
Don Pigozzi on abstract algebraic logic, universal algebra, and computer science
by:
(Electronic resources)
Emerging trends in applications and infrastructures for computational biology, bioinformatics, and systems biologysystems and applications /
by:
(Electronic resources)
Culture on the edge of chaoscultural algorithms and the foundations of social intelligence /
by:
(Electronic resources)
TraceMEa traceability-based method for conceptual model evolution : model-driven techniques, tools, guidelines, and open challenges in conceptual model evolution /
by:
(Electronic resources)
Clinical rehabilitation experience utilizing serious gamesrehabilitation technology and a technical concept for health data collection /
by:
(Electronic resources)
Real-Time C++efficient object-oriented and template microcontroller programming /
by:
(Electronic resources)
Introduction to deep learning business applications for developersfrom conversational bots in customer service to medical image processing /
by:
(Electronic resources)
Designing immersive video games using 3DUI technologiesimproving the gamer's user experience /
by:
(Electronic resources)
Autonomous control for a reliable internet of servicesmethods, models, approaches, techniques, algorithms, and tools /
by:
(Electronic resources)
Global thoughts, local designsINTERACT 2017 IFIP TC 13 Workshops, Mumbai, India, September 25-27, 2017 : revised selected papers /
by:
(Electronic resources)
High performance computing33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018 : proceedings /
by:
(Electronic resources)
Comparing and aligning process representationsfoundations and technical solutions /
by:
(Electronic resources)
Information systems in the Big Data EraCAiSE Forum 2018, Tallinn, Estonia, June 11-15, 2018 : proceedings /
by:
(Electronic resources)
Human and machine learningvisible, explainable, trustworthy and transparent /
by:
(Electronic resources)
Geo-Spatial Knowledge and Intelligence5th International Conference, GSKI 2017, Chiang Mai, Thailand, December 8-10, 2017 : revised selected papers.Part II /
by:
(Electronic resources)
Artificial intelligence for knowledge management4th IFIP WG 12.6 International Workshop, AI4KM 2016, held at IJCAI 2016, New York, NY, USA, July 9, 2016 : revised selected papers /
by:
(Electronic resources)
IT managementthe art of managing IT based on a solid framework leveraging the company's political ecosystem /
by:
(Electronic resources)
Geo-spatial knowledge and intelligence5th International Conference, GSKI 2017, Chiang Mai, Thailand, December 8-10, 2017 : revised selected papers.Part I /
by:
(Electronic resources)
HCI International 2018 - Posters' extended abstracts20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018 : proceedings.Part I /
by:
(Electronic resources)
Wireless algorithms, systems, and applications13th International Conference, WASA 2018, Tianjin, China, June 20-22, 2018 : proceedings /
by:
(Electronic resources)
Next-generation big dataa practical guide to Apache Kudu, Impala, and Spark /
by:
(Electronic resources)
Coding the Arduinobuilding fun programs, games, and electronic projects /
by:
(Electronic resources)
Unconventional computinga volume in the Encyclopedia of complexity and systems science, second edition /
by:
(Electronic resources)
Multiple criteria decision aidmethods, examples and Python implementations /
by:
(Electronic resources)
Mathematics and computingICMC 2018, Varanasi, India, January 9-11, Selected Contributions /
by:
(Electronic resources)
Network science in educationtransformational approaches in teaching and learning /
by:
(Electronic resources)
Design on High Performance Nanoscale CMOS Circuits with Low Temperature Sensitivity.
by:
(Electronic resources)
Motivating Cybersecurity Compliance in Critical Infrastructure Industries: A Grounded Theory Study.
by:
(Electronic resources)
Controllability of Networks of Linear Systems: A Graph Theoretic Approach.
by:
(Electronic resources)
Bridging the Genomic Gaps: Genome-Scale Metabolic Network Tools for Bioinformatics Analyses.
by:
(Electronic resources)
Improving Usability and Adoption of Tablet-based Electronic Health Record (EHR) Applications.
by:
(Electronic resources)
The Role of Antipodal Connectivity Structure on Cognitive Functions and Mental Disorders.
by:
(Electronic resources)
Large Scale Data Analysis in Parallel R and Its Use in Efficiently Scheduling Batch Jobs in the Cloud.
by:
(Electronic resources)
On Estimation of Contagion-based Social Network Dependence with Event Time Data.
by:
(Electronic resources)
Combinatorial algorithms26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, revised selected papers /
by:
(Electronic resources)
Critical infrastructure security and resiliencetheories, methods, tools and technologies /
by:
(Electronic resources)
The Hackable citydigital media and collaborative city-making in the network society /
by:
(Electronic resources)
Computational intelligence and sustainable systemsintelligence and sustainable computing /
by:
(Electronic resources)
Programming and performance visualization toolsInternational Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018 : revised selected papers /
by:
(Electronic resources)
Advances in computing12th Colombian Conference, CCC 2017, Cali, Colombia, September 19-22, 2017 : proceedings /
by:
(Electronic resources)
Software qualitycomplexity and challenges of software engineering in emerging technologies : 9th International Conference, SWQD 2017, Vienna, Austria, January 17-20, 2017 : proceedings /
by:
(Electronic resources)
Technological innovation for smart systems8th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2017, Costa de Caparica, Portugal, May 3-5, 2017 : proceedings /
by:
(Electronic resources)
Augmented cognitionenhancing cognition and behavior in complex human environments : 11th International Conference, AC 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.Part II /
by:
(Electronic resources)
Augmented cognitionneurocognition and machine learning : 11th International Conference, AC 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.Part I /
by:
(Electronic resources)
Cross-cultural design9th International Conference, CCD 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings /
by:
(Electronic resources)
Design, user experience, and usabilitydesigning pleasurable experiences : 6th International Conference, DUXU 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.Part II /
by:
(Electronic resources)
Design, user experience, and usabilitytheory, methodology, and management : 6th International Conference, DUXU 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.Part I /
by:
(Electronic resources)
Design, user experience, and usabilityunderstanding users and contexts : 6th International Conference, DUXU 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.Part III /
by:
(Electronic resources)
Engineering psychology and cognitive ergonomicscognition and design : 14th International Conference, EPCE 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.Part II /
by:
(Electronic resources)
Engineering psychology and cognitive ergonomicscognition and design : 14th International Conference, EPCE 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.Part I /
by:
(Electronic resources)
HCI in Business, Government and Organizations. Interacting with Information Systems4th International Conference, HCIBGO 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.Part I /
by:
(Electronic resources)
HCI in Business, Government and Organizations. Interacting with Information Systems4th International Conference, HCIBGO 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.Part II /
by:
(Electronic resources)
Human aspects of IT for the aged populationaging, design and user experience : third International Conference, ITAP 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.Part I /
by:
(Electronic resources)
Human aspects of IT for the aged populationaging, design and user experience : third International Conference, ITAP 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.Part II /
by:
(Electronic resources)
Human-computer interactioninteraction contexts : 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.Part II /
by:
(Electronic resources)
Human-computer interactionuser interface design, development and multimodality : 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.Part I /
by:
(Electronic resources)
Learning and collaboration technologiestechnology in education : 4th International Conference, LCT 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.Part II /
by:
(Electronic resources)
Pattern recognition and machine intelligence7th International Conference, PReMI 2017, Kolkata, India, December 5-8, 2017 : proceedings /
by:
(Electronic resources)
Social Computing and Social Media. Applications and Analytics9th International Conference, SCSM 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.Part II /
by:
(Electronic resources)
Unconventional computation and natural computation16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017 : proceedings /
by:
(Electronic resources)
Universal access in human-computer interactiondesigning novel interactions : 11th International Conference, UAHCI 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.Part I /
by:
(Electronic resources)
Universal access in human-computer interactiondesigning novel interactions : 11th International Conference, UAHCI 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.Part II /
by:
(Electronic resources)
Universal access in human-computer interactiondesigning novel interactions : 11th International Conference, UAHCI 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.Part III /
by:
(Electronic resources)
Unveiling dynamics and complexity13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017 : proceedings /
by:
(Electronic resources)
Virtual, augmented and mixed reality9th International Conference, VAMR 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings /
by:
(Electronic resources)
Web and wireless geographical information systems15th International Symposium, W2GIS 2017, Shanghai, China, May 8-9, 2017 : proceedings /
by:
(Electronic resources)
Computer aided verification31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019 : proceedings.Part I /
by:
(Electronic resources)
Computer aided verification31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019 : proceedings.Part II /
by:
(Electronic resources)
Transmedia knowledge for liberal arts and community engagementa StudioLab manifesto /
by:
(Electronic resources)
Artificial intelligence for knowledge management5th IFIP WG 12.6 International Workshop, AI4KM 2017, held at IJCAI 2017, Melbourne, VIC, Australia, August 20, 2017 : revised selected papers /
by:
(Electronic resources)
Cellular automata and discrete complex systems24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20-22, 2018 : proceedings /
by:
(Electronic resources)
Recent trends and future technology in applied intelligence31st International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2018, Montreal, QC, Canada, June 25-28, 2018 : proceedings /
by:
(Electronic resources)
Unconventional computation and natural computation17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018 : proceedings /
by:
(Electronic resources)
Discrete mathematics :graph algorithms, algebraic structures, coding theory, and cryptography /
by:
(Language materials, printed)
Information Recovery in Online Social Networks: Identification and Globalness Detection.
by:
(Electronic resources)
Towards a Fast and Accurate Face Recognition System from Deep Representations.
by:
(Electronic resources)
Social Role Temporal Dynamics and Interactions in Online Communities: How Are Leaders and Members Different?
by:
(Electronic resources)
Enhancing Wireless Network Performance and Security through Physical Layer Properties.
by:
(Electronic resources)
Minimax Optimality in High-Dimensional Classification, Clustering, and Privacy.
by:
(Electronic resources)
A Novel Dynamic Spectrum Sensing Approach Using Crowdsourcing for Multi-RAT Coexistence in 5g Networks.
by:
(Electronic resources)
Improving Sensor Network Predictions Through The Identification of Graphical Features.
by:
(Electronic resources)
Confocal Laser Endomicroscopy Image Analysis with Deep Convolutional Neural Networks.
by:
(Electronic resources)
MAC-PHY Frameworks for LTE and WiFi Networks' Coexistence over the Unlicensed Band.
by:
(Electronic resources)
Standard and Inception-based Encoder-Decoder Neural Networks for Predicting the Solution Convergence of Design Optimization Algorithms.
by:
(Electronic resources)
Authentication and Secure Session Establishment in Body Area Networks Using Multiple Biometrics and Physiological Signals.
by:
(Electronic resources)
Deep Learning Using Computer Vision in Self Driving Cars for Lane and Traffic Sign Detection.
by:
(Electronic resources)
Neural Network Based Representation Learning and Modeling for Speech and Speaker Recognition.
by:
(Electronic resources)
BayesBiGAN and GANify: Research and a Developer Tool for Generative Adversarial Networks.
by:
(Electronic resources)
Enhanced Filtering of False Alarm for the 5th Generation Fighter Aircraft Using Machine Learning Classification.
by:
(Electronic resources)
On the construction of engineering handbookswith an illustration from the railway safety domain /
by:
(Electronic resources)
Neuromorphic computing and beyondparallel, approximation, near memory, and quantum /
by:
(Electronic resources)
Mathematics and computation :a theory revolutionizing technology and science /
by:
(Electronic resources)
Software and system development using virtual platformsfull-system simulation with wind river simics /
by:
(Electronic resources)
The role of theory in computer scienceessays dedicated to Janusz Brzozowski /
by:
(Electronic resources)
Network and communicationresearch on the development of electronic information engineering technology in China /
by:
(Electronic resources)
Systems, software and services process improvement27th European Conference, EuroSPI 2020, Dusseldorf, Germany, September 9-11, 2020 : proceedings /
by:
(Electronic resources)
Quality of information and communications technology13th International Conference, QUATIC 2020, Faro, Portugal, September 9-11, 2020 : proceedings /
by:
(Electronic resources)
Database systems for advanced applications25th International Conference, DASFAA 2020, Jeju, South Korea, September 24-27, 2020 : proceedings.Part II /
by:
(Electronic resources)
Artificial intelligence18th Russian Conference, RCAI 2020, Moscow, Russia, October 10-16, 2020 : proceedings /
by:
(Electronic resources)
Database systems for advanced applications25th International Conference, DASFAA 2020, Jeju, South Korea, September 24-27, 2020 : proceedings.Part III /
by:
(Electronic resources)
Self-service AI with Power BI Desktopmachine learning insights for business /
by:
(Electronic resources)
Understanding Oracle APEX 20 application developmentthink like an application express developer /
by:
(Electronic resources)
Cross-cultural designculture and society : 11th International Conference, CCD 2019, held as part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019 : proceedings.Part II /
by:
(Electronic resources)
Cross-cultural designmethods, tools and user experience : 11th International Conference, CCD 2019, held as part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019 : proceedings.Part II /
by:
(Electronic resources)
Descriptional complexity of formal systems21st IFIP WG 1.02 International Conference, DCFS 2019, Kosice, Slovakia, July 17-19, 2019 : proceedings /
by:
(Electronic resources)
Ernst Denert Award for Software Engineering 2019practice meets foundations /
by:
(Electronic resources)
Introduction to computational origamithe world of new computational geometry /
by:
(Electronic resources)
Automatic Classification of Verb-Direction Constructions in Mandarin Chinese.
by:
(Electronic resources)
Methods of Enriching Domain Knowledge with Universal Semantics for Higher Text Mining Performance.
by:
(Electronic resources)
Achieving Secure Communications in Dense Multiuser Mimo Systems for 5G and Beyond.
by:
(Electronic resources)
Leveraging Social Media to Discover Threatening Tweets Using Clustering and Association Rule Mining.
by:
(Electronic resources)
An Approach of SLA Violation Prediction and QoS Optimization Using Regression Machine Learning Techniques.
by:
(Electronic resources)
Towards the Exploration and Improvement of Generative Adversarial Attacks.
by:
(Electronic resources)
Leveraging Pre-Trained Detection Networks for Label Generation on New Datasets.
by:
(Electronic resources)
Machine Learning Approaches to Improve Security and Performance Monitoring of IoT Devices.
by:
(Electronic resources)
Identifying Product Defects by Applying a Predictive Model to Customer Reviews.
by:
(Electronic resources)
Toward Deep Language Understanding: Methods for Learning Conceptual Knowledge from Definitions.
by:
(Electronic resources)
Advances in core computer science-based technologiespapers in honor of Professor Nikolaos Alexandris /
by:
(Electronic resources)
Spring Cloud data flownative cloud orchestration services for microservice applications on modern runtimes /
by:
(Electronic resources)
Formal methods in architectureproceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020 /
by:
(Electronic resources)
Red Hat Certified Engineer (RHCE) study guideAnsible automation for the Red Hat Enterprise Linux 8 Exam (EX294) /
by:
(Electronic resources)
Discovering computers, complete :your interactive guide to the digital world /
by:
(Language materials, printed)
Beginning Windows mixed reality programmingfor HoloLens and mixed reality headsets /
by:
(Electronic resources)
Logic, computation and rigorous methodsessays dedicated to Egon Borger on the occasion of his 75th birthday /
by:
(Electronic resources)
Deep Contextual Modeling for Natural Language Understanding, Generation, and Grounding.
by:
(Electronic resources)
Machine Learning in IoT Systems: From Deep Learning to Hyperdimensional Computing.
by:
(Electronic resources)
Co-designing Model Compression Algorithms and Hardware Accelerators for Efficient Deep Learning.
by:
(Electronic resources)
A Machine Learning Approach to Controlling Musical Synthesizer Parameters in Real-Time Live Performance.
by:
(Electronic resources)
Machine Learning over User-Generated Content: From Unsupervised User Behavioral Models to Emotion Recognition via Deep Learning.
by:
(Electronic resources)
Empowering Internet of Things with the Emerging Wireless Infrastructures and Technologies.
by:
(Electronic resources)
Deep Learning Algorithms for Background Subtraction and People Detection.
by:
(Electronic resources)
Novel Network Science Approaches for a Better Understanding of Protein Folding and Human Aging.
by:
(Electronic resources)
Building Secure and Reliable Deep Learning Systems from a Systems Security Perspective.
by:
(Electronic resources)
Entropy Region Decomposition Techniques to Reduce the Complexity of Network Coding Capacity Region Proofs.
by:
(Electronic resources)
Quantum Information Processing with Tunable and Low-Loss Superconducting Circuits.
by:
(Electronic resources)
Qualitative Study for Effective Small Business Cyber Regulations in the United States.
by:
(Electronic resources)
Deep Learning for Image Steganography and Steganalysis Challenges, Advances, and Opportunities.
by:
(Electronic resources)
Double-Oracle Deep Reinforcement Learning for Handling Exponential Action Space in Sequential Stackelberg Security Games.
by:
(Electronic resources)
Characterizing Surface Structures Captured in Scanning Electron Microscopy Images with Convolutional Neural Networks.
by:
(Electronic resources)
Beamforming Characterization of a Millimeter-Wave Reconfigurable Intelligent Surface.
by:
(Electronic resources)
Gaps in International Humanitarian Law regarding the Creation and Deployment of International Volunteer Cyber Armies.
by:
(Electronic resources)
Assessing the Effects and Risks of Large Language Models in AI-Mediated Communication.
by:
(Electronic resources)
Applying Lean Principles and Set-Based Approaches in Product Development.
by:
(Electronic resources)
Applications of Deep Learning in Extracting Actionable Information from Crisis-Related Social Media Content.
by:
(Electronic resources)
Analysis, verification and transformation for declarative programming and intelligent systemsessays dedicated to Manuel Hermenegildo on the occasion of his 60th birthday /
by:
(Electronic resources)
Computer science to the pointcomputer science for life sciences students and other non-computer scientists /
by:
(Electronic resources)
IBM software systems integrationwith IBM MQ Series for JMS, IBM FileNet Case Manager, and IBM Business Automation Workflow /
by:
(Electronic resources)
Handbook of research on AI methods and applications in computer engineering
by:
(Electronic resources)
Emerging computingfrom devices to systems : Looking beyond Moore and Von Neumann /
by:
(Electronic resources)
Blockchain for teenswith case studies and examples of Blockchain across various industries /
by:
(Electronic resources)
Formal methods in architectureproceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruna 2022 /
by:
(Electronic resources)
Data sciencetime complexity, inferential uncertainty, and spacekime analytics /
by:
(Electronic resources)
Information systems security19th International Conference, ICISS 2023, Raipur, India, December 16-20, 2023 : proceedings /
by:
(Electronic resources)
Future data and security engineeringbig data, security and privacy, smart city and industry 4.0 applications : 10th International Conference, FDSE 2023, Da Nang, Vietnam, November 22-24, 2023 : proceedings /
by:
(Electronic resources)
Graph Related Data Analysis and Neural Network Based Partial Differential Equations Solver.
by:
(Electronic resources)
From Fully-Supervised Single-Task to Semi-Supervised Multi-Task Deep Learning Architectures for Segmentation in Medical Imaging Applications.
by:
(Electronic resources)
Investigating the Impact of Offline Interactions on Members of Online Communities.
by:
(Electronic resources)
AI-Enabled Big Data Pipeline for Plant Phenotyping and Application in Cotton Bloom Detection and Counting.
by:
(Electronic resources)
An Evaluation of the Accuracy and Profitability of Machine Learning Algorithms in Predicting Stock Price.
by:
(Electronic resources)
Addressing Privacy Challenges in Modern Audio-Video Communication Systems and Applications.
by:
(Electronic resources)
Forecasting the Stock Prices Using Machine Learning, Deep Learning, and Reinforcement Learning.
by:
(Electronic resources)
AI-Driven Design Exploration: Use of Reinforcement Learning-Based Recommender System for Parametric Design Space Exploration.
by:
(Electronic resources)
Statistical Methods for Structured Data: Analyses of Discrete Time Series and Networks.
by:
(Electronic resources)
Delamination and Fatigue Analysis of Silicon Solar Cells Using Finite Element Method.
by:
(Electronic resources)
Predicting High-Cap Tech Stock Polarity: A Combined Approach Using Support Vector Machines and Bidirectional Encoders from Transformers.
by:
(Electronic resources)
Virtual Construction Simulation: Evaluating the Impact of Immersion and Interactivity on Knowledge Gain in Novice Designers.
by:
(Electronic resources)
AI, Agency, and Action: The Application of Intelligent Technologies and Its Effect on Morality, Deception, and Control.
by:
(Electronic resources)
Contemporary Empirical Asset Pricing: Alternative Big Data and Machine Learning Models.
by:
(Electronic resources)
Talking Human Synthesis: Learning Photorealistic Co-Speech Motions and Visual Appearances From Videos.
by:
(Electronic resources)
Finding Consistent Answers From Inconsistent Data: Systems, Algorithms, and Complexity.
by:
(Electronic resources)
A beginner's guide to informatics and artificial intelligencea short course towards practical problem solving /
by:
(Electronic resources)
Mobile, secure, and programmable networking9th International Conference, MSPN 2023, Paris, France, October 26-27, 2023 : revised selected papers /
by:
(Electronic resources)
Show more
Fewer
Subjects