Structured Object-Oriented Formal Language and Method : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers /

Código QR

Structured Object-Oriented Formal Language and Method : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers /

Detalles Bibliográficos
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Liu, Shaoying. (Editor ), Duan, Zhenhua. (Editor ), Tian, Cong. (Editor ), Nagoya, Fumiko. (Editor )
Formato:	eBook
Lenguaje:	English
Publicado:	Cham : Springer International Publishing : Imprint: Springer, 2017.
Edición:	1st ed. 2017.
Colección:	Theoretical Computer Science and General Issues ; 10189
Materias:	Software engineering. Computers. Artificial intelligence. Computer organization. Computer hardware. Software Engineering/Programming and Operating Systems. Theory of Computation. Artificial Intelligence. Computer Systems Organization and Communication Networks. Computer Hardware.

Ejemplares similares

Theory and Applications of Satisfiability Testing - SAT 2017 : 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings /
Publicado: (2017)

Integrated Formal Methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings /
Publicado: (2017)

Network and Parallel Computing : 14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017, Proceedings /
Publicado: (2017)

Towards Integrative Machine Learning and Knowledge Extraction : BIRS Workshop, Banff, AB, Canada, July 24-26, 2015, Revised Selected Papers /
Publicado: (2017)

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings /
Publicado: (2017)

High Performance Computing Third Latin American Conference, CARLA 2016, Mexico City, Mexico, August 29-September 2, 2016, Revised Selected Papers /
Publicado: (2017)

Smart Cities, Green Technologies, and Intelligent Transport Systems : 5th International Conference, SMARTGREENS 2016, and Second International Conference, VEHITS 2016, Rome, Italy, April 23-25, 2016, Revised Selected Papers /
Publicado: (2017)

Information, Communication and Computing Technology Second International Conference, ICICCT 2017, New Delhi, India, May 13, 2017, Revised Selected Papers /
Publicado: (2017)

Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday /
Publicado: (2017)

Tests and Proofs : 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings /
Publicado: (2017)

Software Engineering for Self-Adaptive Systems III. Assurances : International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers /
Publicado: (2017)

Foundations of Python Network Programming : The comprehensive guide to building network applications with Python /
por: Goerzen, John., et al.
Publicado: (2010)

VLSI-SoC: System-on-Chip in the Nanoscale Era - Design, Verification and Reliability : 24th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2016, Tallinn, Estonia, September 26-28, 2016, Revised Selected Papers /
Publicado: (2017)

The Internet of Things : 20th Tyrrhenian Workshop on Digital Communications /
Publicado: (2010)

Practical Linux Infrastructure /
por: Ali, Syed.
Publicado: (2015)

Voice over IP in Wireless Heterogeneous Networks Signaling, Mobility and Security /
por: Fathi, Hanane., et al.
Publicado: (2009)

Principles of Computer Systems and Network Management
por: Verma, Dinesh Chandra.
Publicado: (2009)

Novel Algorithms and Techniques in Telecommunications, Automation and Industrial Electronics
Publicado: (2008)

Trust and Fairness in Open, Distributed Systems /
por: Wierzbicki, Adam.
Publicado: (2010)

Financial Cryptography and Data Security : FC 2017 International Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema, Malta, April 7, 2017, Revised Selected Papers /
Publicado: (2017)

Cloud Broker and Cloudlet for Workflow Scheduling /
por: Youn, Chan-Hyun., et al.
Publicado: (2017)

Formal Techniques for Distributed Objects, Components, and Systems : 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings /
Publicado: (2017)

Multi-Carrier Systems & Solutions 2009 Proceedings from the 7th International Workshop on Multi-Carrier Systems & Solutions, May 2009, Herrsching, Germany /
Publicado: (2009)

Information Security 20th International Conference, ISC 2017, Ho Chi Minh City, Vietnam, November 22-24, 2017, Proceedings /
Publicado: (2017)

Software Engineering and Formal Methods : 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings /
Publicado: (2017)

Software Architecture : 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings /
Publicado: (2017)

Radio Monitoring Problems, Methods and Equipment /
por: Rembovsky, Anatoly., et al.
Publicado: (2009)

Risks and Security of Internet and Systems : 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers /
Publicado: (2017)

Smart Home Automation with Linux and Raspberry Pi /
por: Goodwin, Steven.
Publicado: (2013)

Rethinking the Internet of Things : A Scalable Approach to Connecting Everything /
por: daCosta, Francis., et al.
Publicado: (2013)

Trends in Intelligent Systems and Computer Engineering
Publicado: (2008)

My personal Adaptive Global NET (MAGNET) /
Publicado: (2010)

Network-Embedded Management and Applications : Understanding Programmable Networking Infrastructure /
Publicado: (2013)

Designing the Digital Transformation : 12th International Conference, DESRIST 2017, Karlsruhe, Germany, May 30 - June 1, 2017, Proceedings /
Publicado: (2017)

Pro DNS and BIND
por: Aitchison, Ron.
Publicado: (2005)

Practical Load Balancing : Ride the Performance Tiger /
por: Membrey, Peter., et al.
Publicado: (2012)

Pro DNS and BIND 10 /
por: Aitchison, Ron.
Publicado: (2011)

Running IPv6 /
por: van Beijnum, Iljitsch.
Publicado: (2006)

Expert Network Time Protocol : An Experience in Time with NTP /
por: Rybaczyk, Peter.
Publicado: (2005)

WiMax Operator's Manual Building 802.16 Wireless Networks /
por: Sweeney, Daniel.
Publicado: (2006)

Cannot write session to /tmp/vufind_sessions/sess_rksj7qhkvhoj4mtv4cp6puon3t