Search Results for Software

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

554 sonuç bulundu

1 2 3 4 5 6 .. 47

000000000000DEFAULT_TR

37.

Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers

Yazar

Cohen, Ernie. editor. Rybalchenko, Andrey. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-642-54108-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

38.

Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Yazar

Bernardo, Marco. editor. Damiani, Ferruccio. editor. Haehnle, Reiner. editor. (orcid)0000-0001-8000-7613 Johnsen, Einar Broch. editor. Schaefer, Ina. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-07317-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

39.

Software test attacks to break mobile and embedded devices

Yazar

Hagar, Jon Duncan, author.

Yer Numarası

ONLINE(342868.1)

Elektronik Erişim

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

40.

Software designers in action : a human-centric look at design work

Yazar

Petre, Marian, 1959- editor of compilation. Hoek, André van der, 1971- editor of compilation.

Yer Numarası

ONLINE(342873.1)

Elektronik Erişim

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

41.

Directory of library automation software, systems, and services.

Yazar

Cibbarelli, Pamela R., ed. Information Today, Inc.

Yer Numarası

Z678.9.A3 D6

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

42.

Rapid prototyping of software for avionics systems : model-oriented approaches for complex systems certification

Yazar

Larrieu, Nicolas, author. Varet, Antoine, author.

Yer Numarası

ONLINE(342171.1)

Elektronik Erişim

ebrary An electronic book accessible through the World Wide Web; click to view
John Wiley http://dx.doi.org/10.1002/9781119050643

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

43.

Embedded and networking systems : design, software, and implementation

Yazar

Khan, Gul N., editor. Iniewski, Krzysztof, 1960- editor.

Yer Numarası

ONLINE(342872.1)

Elektronik Erişim

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

44.

Object-oriented software engineering : using UML, patterns, and Java

Yazar

Bruegge, Bernd. Dutoit, Allen H.

Yer Numarası

QA76.758 B785 2014

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

45.

The digital renaissance : old master techniques in new digital software

Yazar

Beccia, Carlyn, author.

Yer Numarası

N7433.8 B433 2014

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

46.

Systems, Software and Services Process Improvement 21st European Conference, EuroSPI 2014, Luxembourg, June 25-27, 2014. Proceedings

Yazar

Barafort, Béatrix. editor. O'Connor, Rory V. editor. Poth, Alexander. editor. (orcid)0000-0002-2868-5633 Messnarz, Richard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-43896-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

47.

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Yazar

Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)