Software Engineering/Programming and Operating Systems.
概観
著作: | 132 作品に 132 出版物中に 132 言語 |
---|
タイトル
Computer, informatics, cybernetics and applications[electronic resource] :proceedings of the CICA 2011 /
…で:
(言語・文字資料 (印刷物))
Membrane computing[electronic resource] :12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Foundations of algebraic specification and formal software development[electronic resource] /
…で:
(言語・文字資料 (印刷物))
Applied parallel and scientific computing[electronic resource] :10th International Conference, PARA 2010, Reykjavik, Iceland, June 6-9, 2010 : revised selected papers.Part II /
…で:
(言語・文字資料 (印刷物))
Applied parallel and scientific computing[electronic resource] :10th International Conference, PARA 2010, Reykjavik, Iceland, June 6-9, 2010 : revised selected papers.Part I /
…で:
(言語・文字資料 (印刷物))
Engineering secure software and systems[electronic resource] :4th international symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
NASA formal methods[electronic resource] :4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
Programming multi-agent systems[electronic resource] :8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Applied ontology engineering in cloud services, networks and management systems[electronic resource] /
…で:
(言語・文字資料 (印刷物))
Fundamentals of software engineering[electronic resource] :4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Specification and analytical evaluation of heterogeneous dynamic quorum-based data replication schemes[electronic resource] /
…で:
(言語・文字資料 (印刷物))
Facing the multicore - Challenge II[electronic resource] :aspects of new paradigms and technologies in parallel computing /
…で:
(言語・文字資料 (印刷物))
Reflections on the history of computing[electronic resource] :preserving memories and sharing stories /
…で:
(言語・文字資料 (印刷物))
Network and parallel computing[electronic resource] :9th IFIP international conference, NPC 2012, Gwangju, Korea, September 6-8, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
Software exorcism[electronic resource] :a handbook for debugging and optimizing legacy code /
…で:
(言語・文字資料 (印刷物))
Optimization in science and engineering[electronic resource] :in honor of the 60th birthday of Panos M. Pardalos /
…で:
(言語・文字資料 (印刷物))
Unboxing Android USB[electronic resource] :a hands-on approach with real World examples /
…で:
(言語・文字資料 (印刷物))
eScience on distributed computing infrastructure[electronic resource] :achievements of PLGrid Plus domain-specific services and tools /
…で:
(言語・文字資料 (印刷物))
Mathematical software - ICMS 2014[electronic resource] :4th International Congress, Seoul, South Korea, August 5-9, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Platform embedded security technology revealed[electronic resource] :safeguarding the future of computing with intel embedded security and management engine /
…で:
(言語・文字資料 (印刷物))
Job scheduling strategies for parallel processing[electronic resource] :17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Nostradamus 2014[electronic resource] :Prediction, Modeling and Analysis of Complex Systems /
…で:
(言語・文字資料 (印刷物))
Novel methods and technologies for enterprise information systems[electronic resource] :ERP Future 2013 Conference, Vienna, Austria, November 2013 : revised papers /
…で:
(言語・文字資料 (印刷物))
A beginner's guide to Scala, object orientation and functional programming[electronic resource] /
…で:
(言語・文字資料 (印刷物))
Aligning business processes and information systems[electronic resource] :new approaches to continuous quality engineering /
…で:
(言語・文字資料 (印刷物))
Software engineering techniques applied to agricultural systems[electronic resource] :an object-oriented and UML approach /
…で:
(言語・文字資料 (印刷物))
Advances in complex data modeling and computational methods in statistics[electronic resource] /
…で:
(言語・文字資料 (印刷物))
Understanding network hacks[electronic resource] :attack and defense with Python /
…で:
(言語・文字資料 (印刷物))
A practical guide to TPM 2.0[electronic resource] :using the new Trusted Platform Module in the new age of security /
…で:
(言語・文字資料 (印刷物))
Engineering secure software and systems[electronic resource] :7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Job scheduling strategies for parallel processing[electronic resource] :18th International Workshop, JSSPP 2014, Phoenix, AZ, USA, May 23, 2014 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Real-time security extensions for EPCglobal networks[electronic resource] :case study for the pharmaceutical industry /
…で:
(言語・文字資料 (印刷物))
Proceedings of International Conference on Internet Computing and Information Communications[electronic resource] :ICICIC Global 2012 /
…で:
(言語・文字資料 (印刷物))
IAENG transactions on engineering technologies[electronic resource] :special issue of the World Congress on Engineering and Computer Science 2012 /
…で:
(言語・文字資料 (印刷物))
Python for signal processing[electronic resource] :featuring IPython notebooks /
…で:
(言語・文字資料 (印刷物))
Advanced in computer science and its applications[electronic resource] :CSA 2013 /
…で:
(言語・文字資料 (印刷物))
Biometrics in the new world[electronic resource] :the cloud, mobile technology and pervasive identity /
…で:
(言語・文字資料 (印刷物))
Engineering secure software and systems[electronic resource] :6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Programming languages and operational semantics[electronic resource] :a concise overview /
…で:
(言語・文字資料 (印刷物))
Model-driven software migration[electronic resource] :a methodology : Reengineering, recovery and modernization of legacy systems /
…で:
(言語・文字資料 (印刷物))
The privacy engineer's manifesto[electronic resource] :getting from policy to code to QA to value /
…で:
(言語・文字資料 (印刷物))
Irresistible apps[electronic resource] :motivational design patterns for apps, games, and web-based communities /
…で:
(言語・文字資料 (印刷物))
Computer science and its applications[electronic resource] :5th IFIP TC 5 International Conference, CIIA 2015, Saida, Algeria, May 20-21, 2015 : proceedings /
…で:
(コンピュータ・メディア)
Finite difference methods, theory and applications[electronic resource] :6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Computer aided verification[electronic resource] :27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings.Part II /
…で:
(言語・文字資料 (印刷物))
Computer aided verification[electronic resource] :27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings.Part I /
…で:
(言語・文字資料 (印刷物))
Parallel computing technologies[electronic resource] :13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Euro-Par 2015[electronic resource] :parallel processing : 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Countdown to a moon launch[electronic resource] :preparing Apollo for its historic journey /
…で:
(言語・文字資料 (印刷物))
Multilevel business processes[electronic resource] :modeling and data analysis /
…で:
(言語・文字資料 (印刷物))
Introduction to concurrency theory[electronic resource] :transition systems and CCS /
…で:
(言語・文字資料 (印刷物))
Agile product development[electronic resource] :how to design innovative products that create customer value /
…で:
(言語・文字資料 (印刷物))
Graph and model transformation[electronic resource] :general framework and applications /
…で:
(言語・文字資料 (印刷物))
Euro-Par 2015[electronic resource] :Parallel Processing Workshops : Euro-Par 2015 International Workshops, Vienna, Austria, August 24-25, 2015 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Logic-based program synthesis and transformation[electronic resource] :25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Complete symbolic simulation of SystemC models[electronic resource] :efficient formal verification of finite non-terminating programs /
…で:
(言語・文字資料 (印刷物))
Variation based dense 3D Reconstruction[electronic resource] :application on monocular mini-laparoscopic sequences /
…で:
(言語・文字資料 (印刷物))
Engineering secure software and systems[electronic resource] :8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016 : proceedings /
…で:
(言語・文字資料 (印刷物))
Transactions on engineering technologies[electronic resource] :International MultiConference of Engineers and Computer Scientists 2015 /
…で:
(言語・文字資料 (印刷物))
Critical infrastructures[electronic resource] :risk and vulnerability assessment in transportation of dangerous goods : transportation by road and rail /
…で:
(言語・文字資料 (印刷物))
Description and selection of communication services for service oriented network architectures[electronic resource] /
…で:
(言語・文字資料 (印刷物))
Agile project management using Team Foundation Server 2015[electronic resource] /
…で:
(言語・文字資料 (印刷物))
The Vixen Star Book user guide[electronic resource] :how to use the Star Book TEN and the original Star Book /
…で:
(言語・文字資料 (印刷物))
Multidimensional views on enterprise information systems[electronic resource] :proceedings of ERP future 2014 /
…で:
(言語・文字資料 (印刷物))
Working around disruptions of network infrastructures[electronic resource] :mobile ad-hoc systems for resilient communication in disasters /
…で:
(言語・文字資料 (印刷物))
Algorithmic aspects of cloud computing[electronic resource] :first International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Intelligent web data management[electronic resource] :software architectures and emerging technologies /
…で:
(言語・文字資料 (印刷物))
Instruction selection[electronic resource] :principles, methods, and applications /
…で:
(コンピュータ・メディア)
Rolling out 5G[electronic resource] :use cases, applications, and technology solutions /
…で:
(コンピュータ・メディア)
Computer aided verification[electronic resource] :28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016 : proceedings.Part I /
…で:
(コンピュータ・メディア)
Computer aided verification[electronic resource] :28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016 : proceedings.Part II /
…で:
(コンピュータ・メディア)
Mathematical software - ICMS 2016[electronic resource] :5th International Conference, Berlin, Germany, July 11-14, 2016 : proceedings /
…で:
(コンピュータ・メディア)
Functional safety for road vehicles[electronic resource] :new challenges and solutions for e-mobility and automated driving /
…で:
(コンピュータ・メディア)
Crisis management for software development and knowledge transfer[electronic resource] /
…で:
(コンピュータ・メディア)
Control modes on mobile software platforms[electronic resource] :empirical studies on the importance of informal control /
…で:
(コンピュータ・メディア)
Social coordination frameworks for social technical systems[electronic resource] /
…で:
(コンピュータ・メディア)
Computer and information sciences[electronic resource] :31st International Symposium, ISCIS 2016, Krakow, Poland, October 27-28, 2016 : proceedings /
…で:
(コンピュータ・メディア)
Analyzing time interval data[electronic resource] :introducing an information system for time interval data analysis /
…で:
(コンピュータ・メディア)
Distributed computing[electronic resource] :30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016 : proceedings /
…で:
(コンピュータ・メディア)
History and philosophy of computing[electronic resource] :third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015 : revised selected papers /
…で:
(コンピュータ・メディア)
主題