Software Engineering/Programming and Operating Systems.
Overview
| Works: | 132 works in 132 publications in 132 languages | |
|---|---|---|
Titles
The future of EU agricultural markets by AGMEMOD[electronic resource] /
by:
(Language materials, printed)
Computer, informatics, cybernetics and applications[electronic resource] :proceedings of the CICA 2011 /
by:
(Language materials, printed)
Membrane computing[electronic resource] :12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011 : revised selected papers /
by:
(Language materials, printed)
Foundations of algebraic specification and formal software development[electronic resource] /
by:
(Language materials, printed)
Applied parallel and scientific computing[electronic resource] :10th International Conference, PARA 2010, Reykjavik, Iceland, June 6-9, 2010 : revised selected papers.Part II /
by:
(Language materials, printed)
Applied parallel and scientific computing[electronic resource] :10th International Conference, PARA 2010, Reykjavik, Iceland, June 6-9, 2010 : revised selected papers.Part I /
by:
(Language materials, printed)
Engineering secure software and systems[electronic resource] :4th international symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012 : proceedings /
by:
(Language materials, printed)
VLSI-SoC: Forward-Looking Trends in IC and Systems Design[electronic resource] :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 /
by:
(Language materials, printed)
NASA formal methods[electronic resource] :4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings /
by:
(Language materials, printed)
Programming multi-agent systems[electronic resource] :8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010 : revised selected papers /
by:
(Language materials, printed)
Testbeds and research infrastructure Development of Networks and Communities[electronic resource] :development of networks and communities : 7th International ICST Conference,TridentCom 2011, Shanghai, China, April 17-19, 2011 : revised selected papers /
by:
(Language materials, printed)
Applied ontology engineering in cloud services, networks and management systems[electronic resource] /
by:
(Language materials, printed)
Fundamentals of software engineering[electronic resource] :4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011 : revised selected papers /
by:
(Language materials, printed)
Specification and analytical evaluation of heterogeneous dynamic quorum-based data replication schemes[electronic resource] /
by:
(Language materials, printed)
Facing the multicore - Challenge II[electronic resource] :aspects of new paradigms and technologies in parallel computing /
by:
(Language materials, printed)
Advances in computer science, engineering & applications[electronic resource] :proceedings of the Second International Conference on Computer Science, Engineering & Applications (ICCSEA 2012), May 25-27, 2012, New Delhi, India.Volume 2 /
by:
(Language materials, printed)
Advances in computer science, engineering & applications[electronic resource] :proceedings of the Second International Conference on Computer Science, Engineering and Applications (ICCSEA 2012), May 25-27, 2012, New Delhi, India.Volume 1 /
by:
(Language materials, printed)
Reflections on the history of computing[electronic resource] :preserving memories and sharing stories /
by:
(Language materials, printed)
Quality of software architectures[electronic resource] :models and architectures : 4th international conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008 : proceedings /
by:
(Language materials, printed)
Testbeds and research infrastructure[electronic resource] :development of networks and communities : 8th International ICST Conference, TridentCom 2012, Thessanoliki, Greece, June 11-13, 2012 : revised selected papers /
by:
(Language materials, printed)
Network and parallel computing[electronic resource] :9th IFIP international conference, NPC 2012, Gwangju, Korea, September 6-8, 2012 : proceedings /
by:
(Language materials, printed)
VLSI-SoC: Advanced Topics on Systems on a Chip[electronic resource] :a selection of extended versions of the best papers of the Fourteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC2007), October 15-17, 2007, Atlanta, USA /
by:
(Language materials, printed)
Software exorcism[electronic resource] :a handbook for debugging and optimizing legacy code /
by:
(Language materials, printed)
Distributed applications and interoperable systems[electronic resource] :14th IFIP WG 6.1 International Conference, DAIS 2014, held as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014 : proceedings /
by:
(Language materials, printed)
Coordination models and languages[electronic resource] :16th IFIP WG 6.1 International Conference, COORDINATION 2014, held as part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014 : proceedings /
by:
(Language materials, printed)
Optimization in science and engineering[electronic resource] :in honor of the 60th birthday of Panos M. Pardalos /
by:
(Language materials, printed)
Unboxing Android USB[electronic resource] :a hands-on approach with real World examples /
by:
(Language materials, printed)
eScience on distributed computing infrastructure[electronic resource] :achievements of PLGrid Plus domain-specific services and tools /
by:
(Language materials, printed)
Mathematical software - ICMS 2014[electronic resource] :4th International Congress, Seoul, South Korea, August 5-9, 2014 : proceedings /
by:
(Language materials, printed)
A primer on scientific programming with Python[electronic resource] /
by:
(Language materials, printed)
Platform embedded security technology revealed[electronic resource] :safeguarding the future of computing with intel embedded security and management engine /
by:
(Language materials, printed)
Computer aided verification[electronic resource] :26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014 : proceedings /
by:
(Language materials, printed)
Job scheduling strategies for parallel processing[electronic resource] :17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 : revised selected papers /
by:
(Language materials, printed)
Nostradamus 2014[electronic resource] :Prediction, Modeling and Analysis of Complex Systems /
by:
(Language materials, printed)
Novel methods and technologies for enterprise information systems[electronic resource] :ERP Future 2013 Conference, Vienna, Austria, November 2013 : revised papers /
by:
(Language materials, printed)
A beginner's guide to Scala, object orientation and functional programming[electronic resource] /
by:
(Language materials, printed)
Aligning business processes and information systems[electronic resource] :new approaches to continuous quality engineering /
by:
(Language materials, printed)
Software engineering techniques applied to agricultural systems[electronic resource] :an object-oriented and UML approach /
by:
(Language materials, printed)
Requirements engineering for digital health[electronic resource] /
by:
(Language materials, printed)
Advances in complex data modeling and computational methods in statistics[electronic resource] /
by:
(Language materials, printed)
Understanding network hacks[electronic resource] :attack and defense with Python /
by:
(Language materials, printed)
A practical guide to TPM 2.0[electronic resource] :using the new Trusted Platform Module in the new age of security /
by:
(Language materials, printed)
Engineering secure software and systems[electronic resource] :7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015 : proceedings /
by:
(Language materials, printed)
Job scheduling strategies for parallel processing[electronic resource] :18th International Workshop, JSSPP 2014, Phoenix, AZ, USA, May 23, 2014 : revised selected papers /
by:
(Language materials, printed)
Real-time security extensions for EPCglobal networks[electronic resource] :case study for the pharmaceutical industry /
by:
(Language materials, printed)
Proceedings of International Conference on Internet Computing and Information Communications[electronic resource] :ICICIC Global 2012 /
by:
(Language materials, printed)
IAENG transactions on engineering technologies[electronic resource] :special issue of the World Congress on Engineering and Computer Science 2012 /
by:
(Language materials, printed)
Python for signal processing[electronic resource] :featuring IPython notebooks /
by:
(Language materials, printed)
Advanced in computer science and its applications[electronic resource] :CSA 2013 /
by:
(Language materials, printed)
Intelligent computing, networking, and informatics[electronic resource] :proceedings of the International Conference on Advanced Computing, Networking, and Informatics, India, June 2013 /
by:
(Language materials, printed)
Biometrics in the new world[electronic resource] :the cloud, mobile technology and pervasive identity /
by:
(Language materials, printed)
Engineering secure software and systems[electronic resource] :6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014 : proceedings /
by:
(Language materials, printed)
Programming languages and operational semantics[electronic resource] :a concise overview /
by:
(Language materials, printed)
Model-driven software migration[electronic resource] :a methodology : Reengineering, recovery and modernization of legacy systems /
by:
(Language materials, printed)
The privacy engineer's manifesto[electronic resource] :getting from policy to code to QA to value /
by:
(Language materials, printed)
Irresistible apps[electronic resource] :motivational design patterns for apps, games, and web-based communities /
by:
(Language materials, printed)
Computer science and its applications[electronic resource] :5th IFIP TC 5 International Conference, CIIA 2015, Saida, Algeria, May 20-21, 2015 : proceedings /
by:
(Electronic resources)
Correct software in web applications and web services[electronic resource] /
by:
(Language materials, printed)
Finite difference methods, theory and applications[electronic resource] :6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014 : revised selected papers /
by:
(Language materials, printed)
Optimization methods, theory and applications[electronic resource] /
by:
(Language materials, printed)
Computer aided verification[electronic resource] :27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings.Part II /
by:
(Language materials, printed)
Computer aided verification[electronic resource] :27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings.Part I /
by:
(Language materials, printed)
Parallel computing technologies[electronic resource] :13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015 : proceedings /
by:
(Language materials, printed)
Euro-Par 2015[electronic resource] :parallel processing : 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015 : proceedings /
by:
(Language materials, printed)
Countdown to a moon launch[electronic resource] :preparing Apollo for its historic journey /
by:
(Language materials, printed)
Multilevel business processes[electronic resource] :modeling and data analysis /
by:
(Language materials, printed)
Introduction to concurrency theory[electronic resource] :transition systems and CCS /
by:
(Language materials, printed)
Learning MATLAB[electronic resource] :a problem solving approach /
by:
(Language materials, printed)
Agile product development[electronic resource] :how to design innovative products that create customer value /
by:
(Language materials, printed)
Continuous delivery with Visual Studio ALM 2015[electronic resource] /
by:
(Language materials, printed)
Graph and model transformation[electronic resource] :general framework and applications /
by:
(Language materials, printed)
Euro-Par 2015[electronic resource] :Parallel Processing Workshops : Euro-Par 2015 International Workshops, Vienna, Austria, August 24-25, 2015 : revised selected papers /
by:
(Language materials, printed)
Logic-based program synthesis and transformation[electronic resource] :25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015 : revised selected papers /
by:
(Language materials, printed)
Complete symbolic simulation of SystemC models[electronic resource] :efficient formal verification of finite non-terminating programs /
by:
(Language materials, printed)
Variation based dense 3D Reconstruction[electronic resource] :application on monocular mini-laparoscopic sequences /
by:
(Language materials, printed)
Engineering secure software and systems[electronic resource] :8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016 : proceedings /
by:
(Language materials, printed)
Transactions on engineering technologies[electronic resource] :International MultiConference of Engineers and Computer Scientists 2015 /
by:
(Language materials, printed)
Critical infrastructures[electronic resource] :risk and vulnerability assessment in transportation of dangerous goods : transportation by road and rail /
by:
(Language materials, printed)
Description and selection of communication services for service oriented network architectures[electronic resource] /
by:
(Language materials, printed)
Distributed applications and interoperable systems[electronic resource] :16th IFIP WG 6.1 International Conference, DAIS 2016, held as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016 : proceedings /
by:
(Language materials, printed)
Agile project management using Team Foundation Server 2015[electronic resource] /
by:
(Language materials, printed)
The Vixen Star Book user guide[electronic resource] :how to use the Star Book TEN and the original Star Book /
by:
(Language materials, printed)
Behavioral program synthesis with genetic programming[electronic resource] /
by:
(Language materials, printed)
Multidimensional views on enterprise information systems[electronic resource] :proceedings of ERP future 2014 /
by:
(Language materials, printed)
Information technology in environmental engineering[electronic resource] :proceedings of the 7th International Conference on Information Technologies in Environmental Engineering (ITEE 2015) /
by:
(Language materials, printed)
Working around disruptions of network infrastructures[electronic resource] :mobile ad-hoc systems for resilient communication in disasters /
by:
(Language materials, printed)
Algorithmic aspects of cloud computing[electronic resource] :first International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015 : revised selected papers /
by:
(Language materials, printed)
Intelligent web data management[electronic resource] :software architectures and emerging technologies /
by:
(Language materials, printed)
Instruction selection[electronic resource] :principles, methods, and applications /
by:
(Electronic resources)
High performance computing in science and engineering[electronic resource] :second International Conference, HPCSE 2015, Solan, Czech Republic, May 25-28, 2015 : revised selected papers /
by:
(Electronic resources)
Rolling out 5G[electronic resource] :use cases, applications, and technology solutions /
by:
(Electronic resources)
Computer aided verification[electronic resource] :28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016 : proceedings.Part I /
by:
(Electronic resources)
Computer aided verification[electronic resource] :28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016 : proceedings.Part II /
by:
(Electronic resources)
Mathematical software - ICMS 2016[electronic resource] :5th International Conference, Berlin, Germany, July 11-14, 2016 : proceedings /
by:
(Electronic resources)
Functional safety for road vehicles[electronic resource] :new challenges and solutions for e-mobility and automated driving /
by:
(Electronic resources)
Crisis management for software development and knowledge transfer[electronic resource] /
by:
(Electronic resources)
Control modes on mobile software platforms[electronic resource] :empirical studies on the importance of informal control /
by:
(Electronic resources)
Social coordination frameworks for social technical systems[electronic resource] /
by:
(Electronic resources)
Computer and information sciences[electronic resource] :31st International Symposium, ISCIS 2016, Krakow, Poland, October 27-28, 2016 : proceedings /
by:
(Electronic resources)
Analyzing time interval data[electronic resource] :introducing an information system for time interval data analysis /
by:
(Electronic resources)
Distributed computing[electronic resource] :30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016 : proceedings /
by:
(Electronic resources)
System architecture[electronic resource] :an ordinary engineering discipline /
by:
(Electronic resources)
History and philosophy of computing[electronic resource] :third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015 : revised selected papers /
by:
(Electronic resources)
Coordination of complex sociotechnical systems[electronic resource] :self-organisation of knowledge in MoK /
by:
(Language materials, printed)
Decision procedures[electronic resource] :an algorithmic point of view /
by:
(Language materials, printed)
Applied computer sciences in engineering[electronic resource] :third Workshop on Engineering Applications, WEA 2016, Bogota, Colombia, September 21-23, 2016 : revised selected papers /
by:
(Language materials, printed)
Solving PDEs in Python[electronic resource] :the FEniCS tutorial I /
by:
(Language materials, printed)
Subjects