Search Results for Computer network architectures.

|

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

Daraltılmış:

+

Konu: Computer network architectures.

Yazar

SpringerLink (Online service)

(755)

Kim, Tai-hoon. editor.

(9)

Halang, Wolfgang A. editor.

(6)

Holleczek, Peter. editor.

(6)

Prasanna, Viktor K. editor.

(6)

Afsarmanesh, Hamideh. editor.

(5)

Camarinha-Matos, Luis M. editor.

(5)

Dongarra, Jack. editor. (orcid)0000-0003-3247-1782

(5)

Liu, Chunfeng. editor.

(5)

Malyshkin, Victor. editor.

(5)

Parashar, Manish. editor.

(5)

Priol, Thierry. editor.

(5)

Vassiliadis, Stamatis. editor.

(5)

Ślęzak, Dominik. editor.

(5)

Barolli, Leonard. editor.

(4)

Betz, Charles T.

(4)

Diniz, Pedro C. editor.

(4)

Elleithy, Khaled. editor.

(4)

Koucheryavy, Yevgeni. editor.

(4)

Li, Jin. editor.

(4)

Lin, Simon C. editor.

(4)

Liu, Cheng-Lin. editor.

(4)

Margaria, Tiziana. editor.

(4)

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

(4)

Reed, Rick. editor.

(4)

Steffen, Bernhard. editor.

(4)

Wang, Cliff. editor.

(4)

Wong, Stephan. editor.

(4)

Yen, Eric. editor.

(4)

Yeo, Sang-Soo. editor.

(4)

Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853

(4)

Alexander, Michael. editor.

(3)

Ao, Sio-Iong. editor.

(3)

Badrinath, Ramamurthy. editor.

(3)

Balandin, Sergey. editor.

(3)

Berekovic, Mladen. editor.

(3)

Bertels, Koen. editor.

(3)

Boche, Holger. author.

(3)

Bougé, Luc. editor.

(3)

Brinkschulte, Uwe. editor.

(3)

Chen, Xilin. editor.

(3)

Chutimaskul, Wichian. editor.

(3)

Filipe, Joaquim. editor.

(3)

Fu, Haohuan. editor.

(3)

Furht, Borko. editor.

(3)

Gelenbe, Erol. editor.

(3)

Gorlatch, Sergei. editor.

(3)

Hammer, Barbara. editor.

(3)

Hartman, Alan. editor.

(3)

Hochberger, Christian. editor.

(3)

Hossain, Ekram. editor.

(3)

Hämäläinen, Timo D. editor.

(3)

IGI Global, publisher.

(3)

Iliadis, Lazaros. editor.

(3)

Kacsuk, Péter. editor.

(3)

Kang, Byeong-Ho. editor.

(3)

Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X

(3)

Kůrková, Věra. editor. (orcid)0000-0002-8181-2128

(3)

Lai, Jian-Huang. editor.

(3)

Lees, Michael Harold. editor.

(3)

Lent, Ricardo. editor.

(3)

Liu, Baoxiang. editor.

(3)

Maglogiannis, Ilias. editor.

(3)

Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329

(3)

Meinel, Christoph. author.

(3)

Misra, Sudip. editor.

(3)

Müller-Schloer, Christian. editor.

(3)

Papasratorn, Borworn. editor.

(3)

Park, Jong Hyuk. editor.

(3)

Pedrycz, Witold. editor.

(3)

Reis, Ricardo. editor.

(3)

Rensink, Arend. editor.

(3)

Sack, Harald. author.

(3)

Shi, Yong. editor.

(3)

Shon, Taeshik. editor.

(3)

Sloot, Peter M. A. editor. (orcid)0000-0002-3848-5395

(3)

Sobh, Tarek. editor.

(3)

Spanoudakis, George. editor.

(3)

Stephanidis, Constantine. editor.

(3)

Streit, Achim. editor.

(3)

Takala, Jarmo. editor.

(3)

Tan, Tieniu. editor.

(3)

Tian, Yingjie. editor.

(3)

Träff, Jesper Larsson. editor.

(3)

Vaidya, Jaideep. editor.

(3)

Vanijja, Vajirasak. editor.

(3)

Vogel-Heuser, Birgit. editor.

(3)

Wang, Cho-Li. editor.

(3)

Woungang, Isaac. editor.

(3)

Yokota, Rio. editor. (orcid)0000-0001-7573-7873

(3)

Zha, Hongbin. editor.

(3)

Zhang, Yanchun. editor.

(3)

Zheng, Nanning. editor.

(3)

Zhou, Jie. editor.

(3)

Zhu, Rongbo. editor.

(3)

Abdalla, Michel. editor. (orcid)0000-0002-2447-4329

(2)

Abedi, Ali. author.

(2)

Bajo, Javier. editor.

(2)

Baun, Christian. author.

(2)

Bereković, Mladen. editor.

(2)

Bertino, Elisa. editor. (orcid)0000-0002-4029-7051

(2)

Beyah, Raheem. editor.

(2)

Bhattacharyya, Shuvra S. editor.

(2)

Birman, Kenneth P. author.

(2)

Bouguettaya, Athman. author.

(2)

Bouvry, Pascal. editor.

(2)

Bruaset, Are Magnus. editor.

(2)

Calisti, Monique. editor.

(2)

Cao, Jiannong. editor.

(2)

Cardoso, João M. P. editor.

(2)

Chang, Alan Chin-Chen. editor.

(2)

Chang, Bing. editor.

(2)

Chang, Jincai. editor.

(2)

Chapman, Barbara M. editor.

(2)

Chen, Jinjun. editor.

(2)

Clemm, Alexander. editor.

(2)

Cortés, Ulises. editor.

(2)

Cowley, John. author.

(2)

Dahab, Ricardo. editor.

(2)

Damiani, Ernesto. editor.

(2)

Danelutto, Marco. editor.

(2)

Deelman, Ewa. editor. (orcid)0000-0001-5106-503X

(2)

Deprettere, Ed F. editor.

(2)

Dick, Jeremy. author.

(2)

Dimopoulos, Nikitas. editor.

(2)

Dongarra, Jack. editor.

(2)

Dustdar, Schahram. author.

(2)

Enokido, Tomoya. editor.

(2)

Erlebach, Thomas. editor.

(2)

Escalante, Armando. editor.

(2)

Falsafi, Babak. editor.

(2)

Fang, Wai-Chi. editor.

(2)

Fazel, Khaled. editor.

(2)

Filiol, Éric. author.

(2)

Ganguly, Niloy. editor.

(2)

Gaïti, Dominique. editor.

(2)

Geoghegan, Michael W. author.

(2)

Getov, Vladimir. editor.

(2)

Ghasemi, Abdollah. author.

(2)

Ghasemi, Farshid. author.

(2)

Giambene, Giovanni. editor.

(2)

Gollmann, Dieter. editor.

(2)

Gotzhein, Reinhard. editor.

(2)

Gouda, Mohamed G. author.

(2)

Haubelt, Christian. author.

(2)

Haugen, Øystein. editor.

(2)

Huebner, Michael. editor.

(2)

Hull, Elizabeth. author.

(2)

Ignatov, Dmitry I. editor. (orcid)0000-0002-6584-8534

(2)

Jin, Hai. editor.

(2)

Johnson, Ralph. editor.

(2)

Kaiser, Stefan. editor.

(2)

Karczewski, Konrad. editor.

(2)

Keller, Rainer. editor.

(2)

Khendek, Ferhat. editor.

(2)

Klass, Dan. author.

(2)

Koltsova, Olessia. editor. (orcid)0000-0002-2669-3154

(2)

Kontargyri, Vassiliki T. editor.

(2)

Korytkowski, Marcin. editor.

(2)

Kotenko, Igor. editor.

(2)

Krammer, Bettina. editor.

(2)

Kranzlmüller, Dieter. editor.

(2)

Kunze, Marcel. author.

(2)

Kłopotek, Mieczysław A. editor.

(2)

Lavangnananda, Kittichai. editor.

(2)

Lee, Changhoon. editor.

(2)

Lehner, Wolfgang. editor.

(2)

Lent, Bogdan. author.

(2)

Leung, Victor C.M. editor.

(2)

Leupers, Rainer. editor.

(2)

Li, Yingjiu. editor.

(2)

Lian, Shiguo. editor.

(2)

Liu, Peng. editor.

(2)

Lopez, Javier. editor.

(2)

Lucks, Stefan. editor.

(2)

Lukowicz, Paul. editor.

(2)

Ma, Yan. editor.

(2)

Mambretti, Joe. editor.

(2)

Marciniak, Małgorzata. editor.

(2)

Mastorakis, Nikos. editor.

(2)

Maña, Antonio. author.

(2)

Medhi, Deepankar.

(2)

Meyer, Norbert. editor.

(2)

Misra, Subhas Chandra. editor.

(2)

Mladenov, Valeri. editor.

(2)

Mukherjee, Animesh. editor.

(2)

Mukhopadhyay, Subhas Chandra. editor.

(2)

Mykowiecka, Agnieszka. editor.

(2)

Müller, Matthias S. editor.

(2)

Nagel, Wolfgang E. editor.

(2)

Nikoletseas, Sotiris. editor.

(2)

Nimis, Jens. author.

(2)

Noble, James. editor.

(2)

Németh, Zsolt. editor.

(2)

Obaidat, Mohammad S. editor.

(2)

Ollus, Martin. editor.

(2)

Ortuño, Francisco. editor.

(2)

Paige, Richard F. editor.

(2)

Pan, Yi. editor.

(2)

Pan, Zhaoqing. editor. (orcid)0000-0003-1390-399X

(2)

Tümünü genişlet

Dil

(727)

(52)

(3)

(2)

Yayın Yılı

-

(157)

(113)

(75)

(75)

(70)

(65)

(58)

(57)

(54)

(48)

(3)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

Computer science.

(583)

Computer Communication Networks.

(273)

Software engineering.

(272)

Information systems.

(187)

Artificial intelligence.

(131)

Telecommunication.

(124)

(103)

Operating systems (Computers).

(90)

Computer system performance.

(82)

Computer software.

(80)

Data structures (Computer science).

(80)

Data encryption (Computer science).

(66)

Computer vision.

(56)

Data protection.

(55)

Computer Systems Organization and Communication Networks.

(48)

(47)

Information theory.

(43)

Computer hardware.

(42)

Information Systems.

(36)

Computer simulation.

(34)

(30)

Computer security.

(30)

Information storage and retrieval systems.

(30)

Database management.

(27)

Electronic data processing.

(26)

Multimedia systems.

(26)

Systems engineering.

(23)

(22)

(19)

Management information systems.

(19)

Communications Engineering, Networks.

(18)

Computer engineering.

(18)

Data transmission systems.

(16)

(16)

(16)

Data structures (Computer scienc.

(14)

Information Systems Applications (incl. Internet).

(14)

Microprogramming.

(14)

Social sciences -- Data processing.

(14)

Computer System Implementation.

(13)

Computational complexity.

(12)

Electronic commerce.

(11)

Computer industry.

(10)

Information Systems and Communication Service.

(10)

Medical records -- Data processing.

(10)

Optical pattern recognition.

(9)

Algorithm Analysis and Problem Complexity.

(8)

(8)

Bioinformatics.

(7)

(7)

(7)

Computer graphics.

(6)

Engineering mathematics.

(6)

Information technology -- Management.

(6)

System Performance and Evaluation.

(6)

Systems and Data Security.

(6)

Artificial Intelligence (incl. Robotics).

(5)

Computer networks.

(5)

Computers -- Law and legislation.

(5)

Information Storage and Retrieval.

(5)

Operations research.

(5)

Signal, Image and Speech Processing.

(5)

Systems theory.

(5)

(4)

Distribution (Probability theory).

(4)

Engineering design.

(4)

Information technology.

(4)

Management of Computing and Information Systems.

(4)

(4)

Routers (Computer networks)

(4)

Special Purpose and Application-Based Systems.

(4)

Bilgisayar ağı mimarileri.

(3)

Biomedical engineering.

(3)

Computer network protocols.

(3)

Computer science -- Mathematics.

(3)

Computers and Society.

(3)

Economics/Management Science.

(3)

Engineering economy.

(3)

Industrial management.

(3)

Multimedia Information Systems.

(3)

Natural language processing (Computer science).

(3)

Operating Systems.

(3)

Performance and Reliability.

(3)

Physical optics.

(3)

Production of electric energy or power.

(3)

Simulation and Modeling.

(3)

Software Engineering/Programming and Operating Systems.

(3)

Theory of Computation.

(3)

e-Commerce/e-business.

(3)

Algebra -- Data processing.

(2)

(2)

(2)

Business -- Data processing.

(2)

Business Information Systems.

(2)

Business enterprises -- Computer networks -- Management.

(2)

Business logistics.

(2)

Business planning.

(2)

Civil engineering.

(2)

Computer Science, general.

(2)

Computer aided design.

(2)

Data Encryption.

(2)

Data Structures, Cryptology and Information Theory.

(2)

Data Structures.

(2)

Electrical Engineering.

(2)

Industrial engineering.

(2)

(2)

Mathematical Modeling and Industrial Mathematics.

(2)

Mathematical optimization.

(2)

Physiology -- Mathematics.

(2)

Power Electronics, Electrical Machines and Networks.

(2)

Processor Architectures.

(2)

Psychology, clinical.

(2)

Radiology, Medical.

(2)

(2)

User Interfaces and Human Computer Interaction.

(2)

Accounting/Auditing.

(1)

Aerospace Technology and Astronautics.

(1)

(1)

Applied and Technical Physics.

(1)

(1)

Asynchronous transfer mode.

(1)

(1)

Bilgi teknolojisi -- Yönetim.

(1)

Bilgi teknolojisi.

(1)

Bilgisayar ağları.

(1)

Biological models.

(1)

Biomedicine general.

(1)

(1)

(1)

(1)

Broadband communication systems.

(1)

Business Strategy/Leadership.

(1)

Business enterprises -- Computer networks -- Planning.

(1)

BİLGİSAYAR AĞI MİMARİLERİ.

(1)

Circuits and Systems.

(1)

(1)

Commercial law.

(1)

Complex Networks.

(1)

Complex Systems.

(1)

Computational Biology/Bioinformatics.

(1)

Computational Intelligence.

(1)

Computational Science and Engineering.

(1)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(1)

Computer files.

(1)

Computer interfaces.

(1)

Computer networks -- Security measures.

(1)

Computer networks -- Standards.

(1)

Computer programming.

(1)

Control Structures and Microprogramming.

(1)

Control, Robotics, Mechatronics.

(1)

Convergence (Telecommunication)

(1)

Data Storage Representation.

(1)

Differential equations, partial.

(1)

Economics, Mathematical.

(1)

Economics/Management Science, general.

(1)

Electric engineering.

(1)

Electronic books.

(1)

Extranets (Bilgisayar ağları)

(1)

Extranets (Computer networks)

(1)

Extraterrestrial Physics, Space Sciences.

(1)

Firewalls (Computer security)

(1)

Geographical Information Systems/Cartography.

(1)

Geographical information systems.

(1)

Health Informatics.

(1)

IBM Cluster systems management.

(1)

Image Processing and Computer Vision.

(1)

Information and Communication, Circuits.

(1)

Information resources management.

(1)

Innovation/Technology Management.

(1)

Input/Output and Data Communications.

(1)

Internetworking (Telecommunication)

(1)

Intersection theory (Mathematics)

(1)

Intranets (Computer networks) -- Design and construction.

(1)

Law and Economics.

(1)

(1)

Local area networks (Computer networks)

(1)

Logics and Meanings of Programs.

(1)

(1)

Management/Business for Professionals.

(1)

Mass media -- Law and legislation.

(1)

Mathematical geography.

(1)

Mechanical engineering.

(1)

Memory management (Computer science).

(1)

Microsoft .NET Framework.

(1)

Mobile communication systems.

(1)

Mobile computing.

(1)

Models and Principles.

(1)

Nanotechnology.

(1)

Neurochemistry.

(1)

Neuropsychology.

(1)

(1)

Numeric Computing.

(1)

Online social networks -- Data processing.

(1)

Optical materials.

(1)

(1)

Packet switching (Data transmission)

(1)

Parallel computers.

(1)

Partial Differential Equations.

(1)

Pattern Recognition.

(1)

Physiological, Cellular and Medical Topics.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Beytepe Genel Koleksiyon

CRC Ekitapları

Elektronik Kütüphane

Kütüphane

Beytepe 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

784 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 66

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.

Computer Network Security 6th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2012, St. Petersburg, Russia, October 17-19, 2012. Proceedings için kapak resmi

Computer Network Security 6th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2012, St. Petersburg, Russia, October 17-19, 2012. Proceedings

Computer Network Security 6th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2012, St. Petersburg, Russia, October 17-19, 2012. Proceedings

Yazar

Kotenko, Igor. editor. Skormin, Victor. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Computer Network Security Fourth International Conference on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2007 St. Petersburg, Russia, September 13–15, 2007 Proceedings için kapak resmi

Computer Network Security Fourth International Conference on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2007 St. Petersburg, Russia, September 13–15, 2007 Proceedings

Computer Network Security Fourth International Conference on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2007 St. Petersburg, Russia, September 13–15, 2007 Proceedings

Yazar

Gorodetsky, Vladimir. editor. Kotenko, Igor. editor. Skormin, Victor A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-73986-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Enabling technologies and architectures for next- generation networking capabilities için kapak resmi

Enabling technologies and architectures for next- generation networking capabilities

Enabling technologies and architectures for next- generation networking capabilities

Yazar

Elkhodr, Mahmoud, editor. IGI Global, publisher.

Yer Numarası

ONLINE

Elektronik Erişim

Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-6023-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Advanced methodologies and technologies in network architecture, mobile computing, and data analytics için kapak resmi

Advanced methodologies and technologies in network architecture, mobile computing, and data analytics

Advanced methodologies and technologies in network architecture, mobile computing, and data analytics

Yazar

Khosrow-Pour, Mehdi, 1951- editor. IGI Global, publisher.

Yer Numarası

ONLINE

Elektronik Erişim

Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-7598-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Hidden link prediction in stochastic social networks için kapak resmi

Hidden link prediction in stochastic social networks

Hidden link prediction in stochastic social networks

Yazar

Pandey, Babita, 1976- editor. Khamparia, Aditya, 1988- editor. IGI Global, publisher.

Yer Numarası

ONLINE

Elektronik Erişim

Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-9096-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Topic Detection and Classification in Social Networks The Twitter Case için kapak resmi

Topic Detection and Classification in Social Networks The Twitter Case

Topic Detection and Classification in Social Networks The Twitter Case

Yazar

Milioris, Dimitrios. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-66414-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Provable Security 12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018, Proceedings için kapak resmi

Provable Security 12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018, Proceedings

Provable Security 12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018, Proceedings

Yazar

Baek, Joonsang. editor. Susilo, Willy. editor. Kim, Jongkil. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-01446-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Pattern Recognition and Computer Vision First Chinese Conference, PRCV 2018, Guangzhou, China, November 23-26, 2018, Proceedings, Part II için kapak resmi

Pattern Recognition and Computer Vision First Chinese Conference, PRCV 2018, Guangzhou, China, November 23-26, 2018, Proceedings, Part II

Pattern Recognition and Computer Vision First Chinese Conference, PRCV 2018, Guangzhou, China, November 23-26, 2018, Proceedings, Part II

Yazar

Lai, Jian-Huang. editor. Liu, Cheng-Lin. editor. Chen, Xilin. editor. Zhou, Jie. editor. Tan, Tieniu. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-03335-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Pattern Recognition and Computer Vision First Chinese Conference, PRCV 2018, Guangzhou, China, November 23-26, 2018, Proceedings, Part I için kapak resmi

Pattern Recognition and Computer Vision First Chinese Conference, PRCV 2018, Guangzhou, China, November 23-26, 2018, Proceedings, Part I

Pattern Recognition and Computer Vision First Chinese Conference, PRCV 2018, Guangzhou, China, November 23-26, 2018, Proceedings, Part I

Yazar

Lai, Jian-Huang. editor. Liu, Cheng-Lin. editor. Chen, Xilin. editor. Zhou, Jie. editor. Tan, Tieniu. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-03398-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I için kapak resmi

Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

Yazar

Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-03418-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV için kapak resmi

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

Yazar

Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-03427-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Handbook of Smart Cities Software Services and Cyber Infrastructure için kapak resmi

Handbook of Smart Cities Software Services and Cyber Infrastructure

Handbook of Smart Cities Software Services and Cyber Infrastructure

Yazar

Maheswaran, Muthucumaru. editor. Badidi, Elarbi. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-97271-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 .. 66

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11