Question: The Nexus 10 is a tablet computer co-developed by Samsung Electronics, a, the world's second largest information technology company by revenue after which company?

Context paragraphs:
Nexus 7 (2013): The second generation Nexus 7 is a mini tablet computer co-developed by Google and Asus that runs the Android operating system.  It is the third tablet in the Google Nexus series, a family of Android consumer devices marketed by Google and built by an original equipment manufacturer partner.  Following the success of the original Nexus 7, a second generation of the device was released on July 26, 2013, four days earlier than the originally scheduled date due to early releases from various retailers.  The tablet was the first device to ship with version 4.3 of Android.

Nexus 10: The Nexus 10 is a tablet computer co-developed by Google and Samsung Electronics that runs the Android operating system.  It is the second tablet in the Google Nexus series, a family of Android consumer devices marketed by Google and built by an OEM partner.  Following the success of the 7-inch Nexus 7, the first Google Nexus tablet, the Nexus 10 was released with a 10.1-inch, 2560×1600 pixel display, which was the world's highest resolution tablet display at the time of its release.  The Nexus 10 was announced on October 29, 2012, and became available on November 13, 2012.

Nexus 9: The Nexus 9 (codenamed Volantis or Flounder) is a tablet computer co-developed by Google and HTC that runs the Android operating system.  It is the fourth tablet in the Google Nexus series, a family of Android consumer devices marketed by Google and built by an OEM partner.  The device is available in two storage sizes, 16 GB for US$399 and 32 GB for US$479.  Along with the Nexus 6 mobile phone and Nexus Player digital media device, the Nexus 9 launched with 5.0 Lollipop, which offered several new features, notably a modified visual appearance, and the complete replacement of the Dalvik virtual machine with ART.  Google has included an additional step to "Enable OEM unlock" before users can unlock the Nexus 9 bootloader.

Samsung Galaxy Tab Pro 8.4: The Samsung Galaxy Tab Pro 8.4 is an 8.4-inch Android-based tablet computer produced and marketed by Samsung Electronics.  It belongs to the high-end "Pro" line of the Samsung Galaxy Tab series, which also includes a 10.1-inch and a 12.2-inch model, the Samsung Galaxy Tab Pro 10.1 and the Galaxy Tab Pro 12.2.  It was announced on 6 January 2014, and was released in the US on 19 February, starting at $399.  This is Samsung's first 8.4-inch tablet which is designed to be a direct competitor against the LG G Pad 8.3.

Samsung Galaxy Tab S 10.5: The Samsung Galaxy Tab S 10.5 is a 10.5-inch Android-based tablet computer produced and marketed by Samsung Electronics.  It belongs to the ultra high-end "S" line of the cross between the Samsung Galaxy Tab and Samsung Galaxy S series, which also includes an 8.4-inch model, the Samsung Galaxy Tab S 8.4.  It was announced on 12 June 2014, and was released on July 2014.  This is Samsung's first 10.5-inch tablet which is aimed to be a direct competitor against the iPad Air.

Samsung Galaxy Note 8.0: The Samsung Galaxy Note 8.0 is an 8-inch Android-based tablet computer produced and marketed by Samsung Electronics.  It belongs to the second generation of the Samsung Galaxy Note series tablets, which also includes a 10.1-inch model, the Galaxy Note 10.1 2014 Edition.  It was announced on 23 February 2013, and launched in the US on 11 April 2013.  Unlike the 10.1 inch tablet, the Galaxy Note 8.0 is a new size category in the Note series and making its debut at this generation of Note Tablets which like its phablet siblings, also sports Samsung's S-Pen stylus.  It is also Samsung's first 8-inch tablet which was followed later on by the release of its lower-end sibling, the Samsung Galaxy Tab 3 8.0.

Nexus 7 (2012): The first-generation Nexus 7 is a mini tablet computer co-developed by Google and Asus that runs the Android operating system.  It is the first tablet in the Google Nexus series of Android consumer devices marketed by Google and built by an original equipment manufacturer partner.  The Nexus 7 features a 7 in display, an Nvidia Tegra 3 quad-core chip, 1 GB of memory, Wi-Fi and near field communication connectivity, and 8, 16 or 32 GB of storage.  The tablet was the first device to ship with version 4.1 of Android, nicknamed "Jelly Bean".  By emphasizing the integration of the Google Play multimedia store with Android 4.1, Google intended to market the Nexus 7 as an entertainment device and a platform for consuming e-books, television shows, films, games, and music.

Samsung Galaxy Tab S 8.4: The Samsung Galaxy Tab S 8.4 is an 8.4-inch Android-based tablet computer produced and marketed by Samsung Electronics.  It belongs to the new ultra high-end "S" line of the cross between the Samsung Galaxy Tab and Samsung Galaxy S series, which also includes a 10.5-inch model, the Samsung Galaxy Tab S 10.5.  It was announced on 12 June 2014, and subsequently released on 2 July 2014.  It is available in Wi-Fi only and both Wi-Fi, 4G variants.  This is Samsung's second 8.4-inch tablet which is aimed to be a direct competitor against the LG G Pad 8.3 and the iPad Mini 2.

Samsung Electronics: Samsung Electronics Co., Ltd. (Korean: 삼성전자; Hanja: 三星電子 (Literally "tristar electronics")) is a South Korean multinational electronics company headquartered in Suwon, South Korea.  Through extremely complicated ownership structure with some circular ownership, it is the flagship company of the Samsung Group, accounting for 70% of the group's revenue in 2012.  It is the world's second largest information technology company by revenue after Apple.  Samsung Electronics has assembly plants and sales networks in 80 countries and employs around 370,000 people.  Since 2012, Kwon Oh-hyun has served as the company's CEO.

Samsung Galaxy Note 10.1: The Samsung Galaxy Note 10.1 is a 10.1-inch tablet computer designed, developed and marketed by Samsung Electronics.  The tablet runs Android 4.1.2 (Android 4.4.1 in Europe) and serves as a platform for multimedia consumption including movies, music, and web browsing.  It is the second entry in the Samsung Galaxy Note range, which emphasises the use of a stylus, officially named S-Pen ("S" standing for Samsung), as an input device for tasks such as sketching and note-taking.

Supporting paragraphs: Nexus 10 Samsung Electronics
Answer: Apple