Search Results for Systems software.

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

Arama Sonuçlarını Sınırlandır

Yazar

SpringerLink (Online service)

(472)

Apduhan, Bernady O. editor.

(12)

Bernardo, Marco. editor.

(11)

Messnarz, Richard. editor.

(10)

Taylor and Francis.

(9)

Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X

(6)

Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194

(6)

Misra, Sanjay. editor. (orcid)0000-0002-3556-9331

(6)

Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959

(6)

Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886

(6)

Stankova, Elena. editor. (orcid)0000-0003-2625-452X

(6)

Taniar, David. editor.

(6)

Taniar, David. editor. (orcid)0000-0002-8862-3960

(6)

Tarantino, Eufemia. editor. (orcid)0000-0002-2468-0771

(6)

Torre, Carmelo. editor. (orcid)0000-0003-4737-6040

(6)

Elleithy, Khaled. editor.

(5)

Filipe, Joaquim. editor.

(5)

Gavrilova, Marina L. editor.

(5)

Gervasi, Osvaldo. editor.

(5)

Misra, Sanjay. editor.

(5)

Murgante, Beniamino. editor.

(5)

O'Connor, Rory V. editor.

(5)

Prokopova, Zdenka. editor.

(5)

Rocha, Ana Maria Alves Coutinho. editor.

(5)

Romanovsky, Alexander. editor.

(5)

Silhavy, Petr. editor.

(5)

Silhavy, Radek. editor.

(5)

Torre, Carmelo. editor.

(5)

Bergsmann, Johannes. editor.

(4)

Hammoudi, Slimane. editor.

(4)

John Wiley & Sons, publisher.

(4)

Li, Kenli. editor.

(4)

Martinez, Gregorio. editor.

(4)

Wang, Guojun. editor.

(4)

Zomaya, Albert. editor.

(4)

Balas, Valentina Emilia. editor.

(3)

Biffl, Stefan. editor.

(3)

(3)

Camp, Olivier. editor.

(3)

Chen, Wai-Kai, 1936-

(3)

Choren, Ricardo. editor.

(3)

Cordeiro, José. editor.

(3)

Cortesi, Agostino. editor.

(3)

El-Qawasmeh, Eyas. editor.

(3)

Garau, Chiara. editor. (orcid)

(3)

Garcia, Alessandro. editor.

(3)

Gervasi, Osvaldo. editor. (orcid)

(3)

Giese, Holger. editor.

(3)

Hölzl, Matthias. editor.

(3)

Hřebíček, Jiří. editor.

(3)

Laffly, Dominique.

(3)

Lucena, Carlos. editor.

(3)

Maciaszek, Leszek A. editor.

(3)

Merayo, Mercedes G. editor.

(3)

Murgante, Beniamino. editor. (orcid)

(3)

Nurcan, Selmin. editor.

(3)

Riel, Andreas. editor.

(3)

Schaefer, Ina. editor.

(3)

Schimak, Gerald. editor.

(3)

Shishkov, Boris. editor.

(3)

Sobh, Tarek. editor.

(3)

Stamelos, Ioannis. editor.

(3)

Wan Mohd, Wan Maseri bt. editor.

(3)

Winkler, Dietmar. editor.

(3)

Wirsing, Martin. editor.

(3)

Yilmaz, Murat. editor.

(3)

Zannone, Nicola. editor.

(3)

Śmiałek, Michał. editor.

(3)

Abdelnour Nocera, José. editor.

(2)

Abrahamsson, Pekka. editor.

(2)

Asahi, Yumi. editor.

(2)

Barolli, Leonard. editor.

(2)

Barthe, Gilles. editor.

(2)

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662

(2)

Bielova, Nataliia. editor.

(2)

Bishop, Robert H., 1957-

(2)

Bossler, John D.

(2)

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140

(2)

Broy, Manfred. editor.

(2)

Calinescu, Radu. editor.

(2)

Chaki, Nabendu. editor.

(2)

Chaki, Rituparna. editor.

(2)

Chen, Shu-Jiun. editor.

(2)

Clarke, Paul. editor.

(2)

Corral, Luis. editor.

(2)

Crassidis, John L., author.

(2)

Damiani, Ernesto. editor.

(2)

Damiani, Ferruccio. editor.

(2)

Dastani, Mehdi. editor.

(2)

De Silva, Clarence W.

(2)

Deelman, Ewa. editor.

(2)

Denzer, Ralf. editor.

(2)

Dhillon, B. S. (Balbir S.), 1947, author.

(2)

Docter, Quentin, author.

(2)

Dongarra, Jack. editor.

(2)

Dorf, Richard C.

(2)

Fitzgerald, Brian. editor.

(2)

Fujita, Hamido. editor. (orcid)

(2)

Goh, Dion H. editor.

(2)

Henkel, Jörg. author.

(2)

Huisman, Marieke. editor.

(2)

Jing, Jiwu. editor.

(2)

John Wiley & Sons.

(2)

Johnsen, Einar Broch. editor.

(2)

Junkins, John L.

(2)

Jürjens, Jan. editor.

(2)

Kacprzyk, Janusz. editor.

(2)

Karaca, Yeliz. editor.

(2)

Karczewski, Konrad. editor.

(2)

Kenett, Ron, editor.

(2)

Kim, Haeng Kon. editor.

(2)

Kowalczyk, Martin. author.

(2)

Kristín Lárusdóttir, Marta. editor.

(2)

Lee, Roger. editor.

(2)

Lemos, Rogério. editor.

(2)

(2)

Liu, Zhiming. editor. (orcid)0000-0001-9771-3071

(2)

Livshits, Benjamin. editor.

(2)

Majumdar, Rupak. editor.

(2)

Massacci, Fabio. editor.

(2)

Matulevičius, Raimundas. editor.

(2)

Mazurkiewicz, Jacek. editor.

(2)

McMaster, Robert Brainerd.

(2)

Meyer, Bertrand. editor.

(2)

Mi, Chris, author.

(2)

Mori, Hirohiko. editor.

(2)

Münch, Jürgen. author.

(2)

Navet, Nicolas.

(2)

Niranjanamurthy, M., editor.

(2)

Noël, Frédéric. editor.

(2)

O’Connor, Rory V. editor.

(2)

Pardalos, Panos M. author.

(2)

Park, James J. (Jong Hyuk). editor.

(2)

Petrenko, Alexandre. editor.

(2)

Petrie, Helen. editor.

(2)

Piccinno, Antonio. editor.

(2)

Pierro, Alessandra. editor.

(2)

Piessens, Frank. editor.

(2)

Pimenidis, Elias. editor.

(2)

(2)

Puschner, Peter. editor.

(2)

(2)

Rocha, Ana Maria A. C. editor. (orcid)

(2)

Saeed, Khalid. editor. (orcid)0000-0002-7741-7045

(2)

Sankaranarayanan, Sriram. editor.

(2)

Scandariato, Riccardo. editor.

(2)

Scorza, Francesco. editor.

(2)

Shafique, Muhammad. author.

(2)

Shankar, P. (Priti)

(2)

Sharygina, Natasha. editor.

(2)

(2)

Srivatsa, Mudhakar. editor.

(2)

Stirna, Janis. editor. (orcid)0000-0002-3669-832X

(2)

Succi, Giancarlo. editor.

(2)

Sugier, Jarosław. editor.

(2)

Tayntor, Christine B., author.

(2)

Tolk, Andreas, editor.

(2)

Torre, Carmelo M. editor.

(2)

Trendowicz, Adam. author.

(2)

Tripathi, Suman Lata, editor.

(2)

Tuarob, Suppawong. editor.

(2)

Ulrich, Andreas. editor.

(2)

(2)

Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792

(2)

Walkowiak, Tomasz. editor.

(2)

Wang, Ning. editor.

(2)

Wasserman, Anthony I. editor.

(2)

(2)

Wiklicky, Herbert. editor.

(2)

Winckler, Marco. editor.

(2)

Winkler, Dietmar. editor. (orcid)0000-0002-4743-3124

(2)

Wu, Zhaohui. editor.

(2)

Wyrzykowski, Roman. editor.

(2)

Yang, Laurence T. editor.

(2)

Zain, Jasni Mohamad. editor.

(2)

Zamojski, Wojciech. editor.

(2)

Zavattaro, Gianluigi. editor.

(2)

Zhang, Lijun. editor. (orcid)0000-0002-3692-2088

(2)

Zhang, Zili. editor.

(2)

Zurawski, Richard.

(2)

(1)

Aalst, Wil van der.

(1)

Abbas, Assad, editor.

(1)

Abbasimoshaei, Alireza. editor.

(1)

Abdallah, Abderazek Ben. author.

(1)

Abdulla, Parosh Aziz. editor.

(1)

Abelló, Alberto. editor.

(1)

Abraham, Erika. editor.

(1)

Abrahart, Robert J., 1956- editor.

(1)

Abramowicz, Witold. editor.

(1)

Acher, Mathieu. editor.

(1)

Adam, Azad., author.

(1)

Adams, Carlisle. editor.

(1)

Adeli, Hojjat. editor.

(1)

Adibi, Sasan. editor.

(1)

Adler, Aaron. editor.

(1)

Afonso, João L. editor.

(1)

Agapito, Giuseppe. editor.

(1)

Agmon Ben-Yehuda, Orna. editor.

(1)

Agrawal, Arun Prakash. editor.

(1)

Tümünü genişlet

Dil

(828)

(1)

(1)

(1)

Yayın Yılı

-

(148)

(112)

(63)

(60)

(57)

(53)

(33)

(30)

(26)

(26)

(26)

(25)

(25)

(23)

(22)

(21)

(20)

(18)

(17)

(16)

(15)

(14)

(13)

(9)

(5)

(5)

(4)

(4)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

Software engineering.

(238)

Computer science.

(157)

Electronic books.

(106)

Artificial intelligence.

(81)

Computer Communication Networks.

(56)

(47)

(40)

TECHNOLOGY & ENGINEERING.

(39)

Information systems.

(38)

Computational intelligence.

(37)

Management information systems.

(34)

Software Engineering/Programming and Operating Systems.

(33)

Application software.

(25)

Computer communication systems.

(24)

(21)

Information Systems.

(21)

Computer software.

(20)

Systems engineering.

(20)

Computer security.

(19)

Computer software -- Development.

(17)

Telecommunication.

(17)

Computer simulation.

(16)

Operating systems (Computers).

(16)

Computer network architectures.

(15)

Computer system performance.

(15)

(15)

(14)

Embedded computer systems.

(14)

Intelligence (AI) & Semantics.

(14)

Internet of things.

(14)

(13)

Information storage and retrieval systems.

(12)

(12)

Cloud computing.

(11)

Data structures (Computer science).

(11)

User interfaces (Computer systems).

(11)

Communications Engineering, Networks.

(10)

Electronic circuits.

(10)

Programming Languages, Compilers, Interpreters.

(10)

Control engineering.

(9)

Database management.

(9)

(9)

Ingénierie des systèmes.

(9)

Logics and Meanings of Programs.

(9)

Programming Techniques.

(9)

Systems engineering

(9)

TECHNOLOGY & ENGINEERING -- Mechanical.

(9)

(8)

Cloud computing

(8)

Computer logic.

(8)

Computer system failures.

(8)

Data encryption (Computer science).

(8)

Electronic Circuits and Systems.

(8)

Internet des objets.

(8)

Optical data processing.

(8)

(8)

Sécurité informatique.

(8)

TECHNOLOGY & ENGINEERING -- Engineering (General)

(8)

(7)

COMPUTERS -- Machine Theory.

(7)

Computer engineering.

(7)

Computer hardware.

(7)

Data transmission systems.

(7)

Engineering -- Data processing.

(7)

Engineering mathematics.

(7)

Industrial engineering.

(7)

Information theory.

(7)

Software architecture.

(7)

Applied Dynamical Systems.

(6)

Bioinformatics.

(6)

COMPUTERS -- Hardware -- General.

(6)

Computer architecture.

(6)

Computer networks.

(6)

Data Mining and Knowledge Discovery.

(6)

Data protection.

(6)

(6)

Electrical engineering.

(6)

Industrial and Production Engineering.

(6)

Internet of things

(6)

Machine learning.

(6)

Microelectronics.

(6)

Mobile & Wireless Communications.

(6)

Nonlinear theories.

(6)

Operating Systems.

(6)

Programming languages (Electronic computers).

(6)

Apprentissage automatique.

(5)

Artificial Intelligence (incl. Robotics).

(5)

(5)

Biomedical engineering.

(5)

COMPUTERS -- Computer Literacy.

(5)

COMPUTERS -- Computer Science.

(5)

COMPUTERS -- Data Processing.

(5)

COMPUTERS -- Information Technology.

(5)

COMPUTERS -- Reference.

(5)

Computer Security

(5)

Computer networks -- Security measures.

(5)

Control, Robotics, Automation.

(5)

(5)

Electronics and Microelectronics, Instrumentation.

(5)

Engineering design.

(5)

Guides de l'étudiant.

(5)

Information Storage and Retrieval.

(5)

Intelligence artificielle.

(5)

Management of Computing and Information Systems.

(5)

Medical records -- Data processing.

(5)

Optical pattern recognition.

(5)

Production engineering.

(5)

(5)

Project Management.

(5)

Project management.

(5)

(5)

Software Development & Engineering.

(5)

(5)

(5)

Telecommunications.

(5)

examination study guides.

(5)

Algorithm Analysis and Problem Complexity.

(4)

Application software -- Development.

(4)

Artificial intelligence -- Industrial applications.

(4)

BUSINESS & ECONOMICS.

(4)

Computer Engineering.

(4)

Computer organization.

(4)

Computer programming.

(4)

Computer software -- Quality control.

(4)

Computer vision.

(4)

Control and Systems Theory.

(4)

(4)

Data Analysis and Big Data.

(4)

Electric power systems.

(4)

Electronic data processing -- Distributed processing.

(4)

Electronic data processing personnel -- Certification

(4)

(4)

Geographic information systems.

(4)

Human engineering.

(4)

Human-computer interaction.

(4)

Industrial Management.

(4)

Industrial safety.

(4)

Information Systems Applications (incl. Internet).

(4)

Intelligence artificielle -- Applications industrielles.

(4)

Livres numériques.

(4)

Mathematical and Computational Engineering Applications.

(4)

Mathematical logic.

(4)

(4)

Multiprocessors.

(4)

(4)

Open source software.

(4)

Parallel processing (Electronic computers)

(4)

Quantitative research.

(4)

Renewable energy sources.

(4)

Signal processing -- Digital techniques.

(4)

Simulation and Modeling.

(4)

System Performance and Evaluation.

(4)

(4)

TECHNOLOGY & ENGINEERING -- Reference.

(4)

Theory of Computation.

(4)

User Interfaces and Human Computer Interaction.

(4)

(4)

Artificial intelligence -- Industrial applications

(3)

(3)

Automatic control.

(3)

Business Information Systems.

(3)

COMPUTERS -- General.

(3)

COMPUTERS -- Software Development & Engineering -- General.

(3)

COMPUTERS / Programming / Software Development

(3)

(3)

Cloud Computing.

(3)

Computational Biology/Bioinformatics.

(3)

Computer Systems Organization and Communication Networks.

(3)

Computer industry.

(3)

Computer networks .

(3)

Computer software -- Reliability.

(3)

Computer systems -- Reliability.

(3)

Computer vision

(3)

Data Engineering.

(3)

Data Structures, Cryptology and Information Theory.

(3)

Electric power systems

(3)

Electrical and Electronic Engineering.

(3)

Electronic commerce.

(3)

Embedded computer systems -- Design and construction.

(3)

Embedded computer systems -- Programming.

(3)

(3)

Génie logiciel.

(3)

Health Informatics.

(3)

Information Systems and Communication Service.

(3)

Information resources management.

(3)

Input-output equipment (Computers).

(3)

(3)

(3)

Logiciels libres.

(3)

Mathematical Logic and Formal Languages.

(3)

Mathematical Modeling and Industrial Mathematics.

(3)

Mathematical models.

(3)

Mathematical optimization.

(3)

(3)

Medical informatics.

(3)

Microcontrollers.

(3)

Mobile communication systems.

(3)

Open source software

(3)

Operating systems (Computers)

(3)

Penetration testing (Computer security)

(3)

Tümünü genişlet

Materyal Türü

Shelf Location

Beytepe Genel Koleksiyon

Beytepe Tez Koleksiyonu

CRC Ekitapları

Elektronik Kütüphane

Sağlık Bilimleri Genel Koleksiyon

Taylor Francis E-Kitap Koleksiyonu

Wiley E-Kitap Koleksiyonu

Tümünü genişlet

Kütüphane

Beytepe Kütüphanesi

Sağlık Bilimleri Kütüphanesi

Çevrimiçi Kütüphane

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Liste görünümüne geç

Küçük resim görünümüne geç

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

835 sonuç bulundu

Arama sonuçlarına abone ol

1 .. 13 14 15 16 17 .. 70

000000000000DEFAULT_TR

Yazdır

Liste seç

Bunu varsayılan liste yap.

Öğeler başarıyla eklendi

Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.

One or more items could not be added because you are not logged in.

1.

Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings için kapak resmi

Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Yazar

Castagna, Giuseppe. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-00590-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings için kapak resmi

Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Yazar

Kowalewski, Stefan. editor. Philippou, Anna. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-00768-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures için kapak resmi

Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures

Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures

Yazar

Bernardo, Marco. editor. Padovani, Luca. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-01918-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Architectures for Adaptive Software Systems 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings için kapak resmi

Architectures for Adaptive Software Systems 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings

Architectures for Adaptive Software Systems 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings

Yazar

Mirandola, Raffaela. editor. Gorton, Ian. editor. Hofmeister, Christine. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-02351-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Testing of Software and Communication Systems 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings için kapak resmi

Testing of Software and Communication Systems 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings

Testing of Software and Communication Systems 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings

Yazar

Núñez, Manuel. editor. Baker, Paul. editor. Merayo, Mercedes G. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-05031-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Software Technologies for Embedded and Ubiquitous Systems 7th IFIP WG 10.2 International Workshop, SEUS 2009 Newport Beach, CA, USA, November 16-18, 2009 Proceedings için kapak resmi

Software Technologies for Embedded and Ubiquitous Systems 7th IFIP WG 10.2 International Workshop, SEUS 2009 Newport Beach, CA, USA, November 16-18, 2009 Proceedings

Software Technologies for Embedded and Ubiquitous Systems 7th IFIP WG 10.2 International Workshop, SEUS 2009 Newport Beach, CA, USA, November 16-18, 2009 Proceedings

Yazar

Lee, Sunggu. editor. Narasimhan, Priya. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-10265-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Modelling systems : practical tools and techniques in software development için kapak resmi

Modelling systems : practical tools and techniques in software development

Modelling systems : practical tools and techniques in software development

Yazar

Fitzgerald, John, 1965- author. Larsen, P. G. (Peter Gorm), 1964- author.

Yer Numarası

QA76.76 .D47 F59 2009

Elektronik Erişim

https://doi.org/10.1017/CBO9780511626975

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Architecting software intensive systems : a practitioner's guide için kapak resmi

Architecting software intensive systems : a practitioner's guide

Architecting software intensive systems : a practitioner's guide

Yazar

Lattanze, Anthony J., author.

Yer Numarası

QA76.758 .L3285 2009

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Modeling and verification of real-time systems formalisms and software tools için kapak resmi

Modeling and verification of real-time systems formalisms and software tools

Modeling and verification of real-time systems formalisms and software tools

Yazar

Merz, Stephan. Navet, Nicolas.

Yer Numarası

ONLINE

Elektronik Erişim

Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=477643
John Wiley http://dx.doi.org/10.1002/9780470611012
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0806/2007045063-b.html

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Testing of Software and Communicating Systems 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings için kapak resmi

Testing of Software and Communicating Systems 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings

Testing of Software and Communicating Systems 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings

Yazar

Suzuki, Kenji. editor. Higashino, Teruo. editor. Ulrich, Andreas. editor. Hasegawa, Toru. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-68524-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

The Making of Information Systems Software Engineering and Management in a Globalized World için kapak resmi

The Making of Information Systems Software Engineering and Management in a Globalized World

The Making of Information Systems Software Engineering and Management in a Globalized World

Yazar

Kurbel, Karl E. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-79261-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Software Technologies for Embedded and Ubiquitous Systems 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, October 1-3, 2008 Proceedings için kapak resmi

Software Technologies for Embedded and Ubiquitous Systems 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, October 1-3, 2008 Proceedings

Software Technologies for Embedded and Ubiquitous Systems 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, October 1-3, 2008 Proceedings

Yazar

Brinkschulte, Uwe. editor. Givargis, Tony. editor. Russo, Stefano. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-87785-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 .. 13 14 15 16 17 .. 70

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11