Software Engineering/Programming and Operating Systems.
概要
| 作品: | 132 作品在 132 項出版品 132 種語言 | |
|---|---|---|
書目資訊
Computer, informatics, cybernetics and applications[electronic resource] :proceedings of the CICA 2011 /
by:
(書目-語言資料,印刷品)
Membrane computing[electronic resource] :12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Foundations of algebraic specification and formal software development[electronic resource] /
by:
(書目-語言資料,印刷品)
NASA formal methods[electronic resource] :4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Programming multi-agent systems[electronic resource] :8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010 : revised selected papers /
by:
(書目-語言資料,印刷品)
Applied ontology engineering in cloud services, networks and management systems[electronic resource] /
by:
(書目-語言資料,印刷品)
Specification and analytical evaluation of heterogeneous dynamic quorum-based data replication schemes[electronic resource] /
by:
(書目-語言資料,印刷品)
Facing the multicore - Challenge II[electronic resource] :aspects of new paradigms and technologies in parallel computing /
by:
(書目-語言資料,印刷品)
Reflections on the history of computing[electronic resource] :preserving memories and sharing stories /
by:
(書目-語言資料,印刷品)
Network and parallel computing[electronic resource] :9th IFIP international conference, NPC 2012, Gwangju, Korea, September 6-8, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Software exorcism[electronic resource] :a handbook for debugging and optimizing legacy code /
by:
(書目-語言資料,印刷品)
Optimization in science and engineering[electronic resource] :in honor of the 60th birthday of Panos M. Pardalos /
by:
(書目-語言資料,印刷品)
Unboxing Android USB[electronic resource] :a hands-on approach with real World examples /
by:
(書目-語言資料,印刷品)
eScience on distributed computing infrastructure[electronic resource] :achievements of PLGrid Plus domain-specific services and tools /
by:
(書目-語言資料,印刷品)
Mathematical software - ICMS 2014[electronic resource] :4th International Congress, Seoul, South Korea, August 5-9, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Platform embedded security technology revealed[electronic resource] :safeguarding the future of computing with intel embedded security and management engine /
by:
(書目-語言資料,印刷品)
Nostradamus 2014[electronic resource] :Prediction, Modeling and Analysis of Complex Systems /
by:
(書目-語言資料,印刷品)
A beginner's guide to Scala, object orientation and functional programming[electronic resource] /
by:
(書目-語言資料,印刷品)
Aligning business processes and information systems[electronic resource] :new approaches to continuous quality engineering /
by:
(書目-語言資料,印刷品)
Software engineering techniques applied to agricultural systems[electronic resource] :an object-oriented and UML approach /
by:
(書目-語言資料,印刷品)
Advances in complex data modeling and computational methods in statistics[electronic resource] /
by:
(書目-語言資料,印刷品)
Understanding network hacks[electronic resource] :attack and defense with Python /
by:
(書目-語言資料,印刷品)
A practical guide to TPM 2.0[electronic resource] :using the new Trusted Platform Module in the new age of security /
by:
(書目-語言資料,印刷品)
Engineering secure software and systems[electronic resource] :7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Real-time security extensions for EPCglobal networks[electronic resource] :case study for the pharmaceutical industry /
by:
(書目-語言資料,印刷品)
Proceedings of International Conference on Internet Computing and Information Communications[electronic resource] :ICICIC Global 2012 /
by:
(書目-語言資料,印刷品)
IAENG transactions on engineering technologies[electronic resource] :special issue of the World Congress on Engineering and Computer Science 2012 /
by:
(書目-語言資料,印刷品)
Advanced in computer science and its applications[electronic resource] :CSA 2013 /
by:
(書目-語言資料,印刷品)
Biometrics in the new world[electronic resource] :the cloud, mobile technology and pervasive identity /
by:
(書目-語言資料,印刷品)
Engineering secure software and systems[electronic resource] :6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Programming languages and operational semantics[electronic resource] :a concise overview /
by:
(書目-語言資料,印刷品)
Model-driven software migration[electronic resource] :a methodology : Reengineering, recovery and modernization of legacy systems /
by:
(書目-語言資料,印刷品)
The privacy engineer's manifesto[electronic resource] :getting from policy to code to QA to value /
by:
(書目-語言資料,印刷品)
Irresistible apps[electronic resource] :motivational design patterns for apps, games, and web-based communities /
by:
(書目-語言資料,印刷品)
Computer aided verification[electronic resource] :27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings.Part II /
by:
(書目-語言資料,印刷品)
Computer aided verification[electronic resource] :27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings.Part I /
by:
(書目-語言資料,印刷品)
Parallel computing technologies[electronic resource] :13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Countdown to a moon launch[electronic resource] :preparing Apollo for its historic journey /
by:
(書目-語言資料,印刷品)
Introduction to concurrency theory[electronic resource] :transition systems and CCS /
by:
(書目-語言資料,印刷品)
Agile product development[electronic resource] :how to design innovative products that create customer value /
by:
(書目-語言資料,印刷品)
Graph and model transformation[electronic resource] :general framework and applications /
by:
(書目-語言資料,印刷品)
Complete symbolic simulation of SystemC models[electronic resource] :efficient formal verification of finite non-terminating programs /
by:
(書目-語言資料,印刷品)
Variation based dense 3D Reconstruction[electronic resource] :application on monocular mini-laparoscopic sequences /
by:
(書目-語言資料,印刷品)
Engineering secure software and systems[electronic resource] :8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Transactions on engineering technologies[electronic resource] :International MultiConference of Engineers and Computer Scientists 2015 /
by:
(書目-語言資料,印刷品)
Critical infrastructures[electronic resource] :risk and vulnerability assessment in transportation of dangerous goods : transportation by road and rail /
by:
(書目-語言資料,印刷品)
Description and selection of communication services for service oriented network architectures[electronic resource] /
by:
(書目-語言資料,印刷品)
The Vixen Star Book user guide[electronic resource] :how to use the Star Book TEN and the original Star Book /
by:
(書目-語言資料,印刷品)
Multidimensional views on enterprise information systems[electronic resource] :proceedings of ERP future 2014 /
by:
(書目-語言資料,印刷品)
Working around disruptions of network infrastructures[electronic resource] :mobile ad-hoc systems for resilient communication in disasters /
by:
(書目-語言資料,印刷品)
Intelligent web data management[electronic resource] :software architectures and emerging technologies /
by:
(書目-語言資料,印刷品)
Rolling out 5G[electronic resource] :use cases, applications, and technology solutions /
by:
(書目-電子資源)
Functional safety for road vehicles[electronic resource] :new challenges and solutions for e-mobility and automated driving /
by:
(書目-電子資源)
Crisis management for software development and knowledge transfer[electronic resource] /
by:
(書目-電子資源)
Control modes on mobile software platforms[electronic resource] :empirical studies on the importance of informal control /
by:
(書目-電子資源)
Analyzing time interval data[electronic resource] :introducing an information system for time interval data analysis /
by:
(書目-電子資源)
主題