Search Results for Foundations.

|

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: Algorithms.

Yazar

SpringerLink (Online service)

(115)

Huang, Jen-Wei. editor. (orcid)0000-0001-5482-8311

(6)

Lin, Jerry Chun-Wei. editor. (orcid)0000-0003-0920-0060

(6)

Pei, Jian. editor. (orcid)0000-0002-2200-8711

(6)

Tseng, Vincent S. editor. (orcid)0000-0002-4853-1594

(6)

Xie, Xing. editor. (orcid)0000-0002-8608-8482

(6)

Yang, De-Nian. editor. (orcid)0000-0002-3765-9293

(6)

Astorino, Annabella. editor. (orcid)0000-0002-3439-180X

(3)

Kvasov, Dmitri E. editor. (orcid)0000-0002-5067-4383

(3)

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739

(3)

Sergeyev, Yaroslav D. editor. (orcid)0000-0002-1429-069X

(3)

Barneva, Reneta P. editor.

(2)

Boche, Holger. author.

(2)

Brimkov, Valentin E. editor.

(2)

Cao, Longbing. editor. (orcid)0000-0003-1524-9063

(2)

Csuhaj-Varjú, Ersébet. editor.

(2)

Câmpeanu, Cezar. editor.

(2)

Dietzfelbinger, Martin. editor.

(2)

Engels, Gregor. editor.

(2)

Gama, Joao. editor. (orcid)0000-0003-3357-1195

(2)

Hirt, Martin. editor.

(2)

Kumar, Vipin. editor. (orcid)0000-0002-9040-2665

(2)

Legay, Axel. editor.

(2)

Masulli, Paolo. editor.

(2)

Mousavi, Mohammad Reza. editor.

(2)

Pang, Guansong. editor. (orcid)0000-0002-9877-2716

(2)

Paule, Peter. editor.

(2)

Pons Rivero, Antonio Javier. editor.

(2)

Potapov, Igor. editor.

(2)

Proença, José. editor.

(2)

Smith, Adam. editor.

(2)

Spiliopoulou, Myra. editor. (orcid)0000-0002-1828-5759

(2)

Villa, Alessandro E.P. editor.

(2)

Wang, Can. editor. (orcid)0000-0002-2890-0057

(2)

Wu, Xintao. editor. (orcid)0000-0002-2823-3063

(2)

Zhou, Xiangmin. editor. (orcid)0000-0002-1302-818X

(2)

Ésik, Zoltán. editor.

(2)

Abate, Alessandro. editor.

(1)

Abate, Alessandro. editor. (orcid)0000-0002-5627-9093

(1)

Abbas, Houssam. editor. (orcid)0000-0002-8096-2618

(1)

Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611

(1)

Alpert, Charles J.

(1)

Amos, Martyn. editor.

(1)

Baier, Christel. editor.

(1)

Barrett, Clark. editor.

(1)

Battiti, Roberto. editor. (orcid)0000-0002-0259-8603

(1)

Beckmann, Arnold. editor. (orcid)0000-0001-7958-5790

(1)

Bello, Rafael. author.

(1)

Berger, Christian. editor.

(1)

Berry, Stuart. editor.

(1)

Bessiere, Christian. editor.

(1)

Blanchette, Jasmin Christian. editor.

(1)

Boldo, Sylvie. editor.

(1)

Bonakdarpour, Borzoo. editor.

(1)

Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618

(1)

Bouillard, Anne, author.

(1)

Boyer, Marc, author.

(1)

Bozzano, Marco. editor. (orcid)0000-0002-4135-103X

(1)

Brandes, Ulrik. editor.

(1)

Brlek, Srečko. editor.

(1)

Bronstein, Manuel. editor.

(1)

Carmona, Josep. editor.

(1)

Catania, Barbara. editor.

(1)

Charlier, Émilie. editor.

(1)

Chaskin, Alexander V. editor.

(1)

Chen, Xujin. editor. (orcid)0000-0001-7844-5411

(1)

Cohen, Arjeh M. editor.

(1)

Cohen, Henri. editor.

(1)

Condon, Anne. editor.

(1)

Cornelis, Chris. author. (orcid)0000-0002-6852-4041

(1)

Corronc, Euriell, author.

(1)

Cuppens, Frédéric. editor.

(1)

Cuppens-Boulahia, Nora. editor.

(1)

Dastani, Mehdi. editor.

(1)

Davies, Misty. editor.

(1)

Day, Adam. editor.

(1)

De Raedt, Luc. editor.

(1)

DeBlasio, Dan. author.

(1)

Dediu, Adrian-Horia. editor.

(1)

Delporte-Gallet, Carole. editor.

(1)

Devitt, Simon. editor.

(1)

Dickenstein, Alicia. editor.

(1)

Dixon, Clare. editor.

(1)

Doder, Dragan. editor. (orcid)0000-0003-0067-3654

(1)

Du, Dingzhu. editor.

(1)

Dunkelman, Orr. editor.

(1)

Echahed, Rachid. editor.

(1)

Eder, Johann. editor.

(1)

Eisenbud, David. editor.

(1)

El Abbadi, Amr. editor. (orcid)0000-0003-4692-3268

(1)

Emiris, Ioannis Z. editor.

(1)

Erlebach, Thomas. editor.

(1)

Falcone, Yliès. editor.

(1)

Fazekas, Szilárd Zsolt. editor. (orcid)0000-0001-5319-0395

(1)

Fellows, Michael. editor.

(1)

Ferragina, Paolo. author.

(1)

Festa, Paola. editor.

(1)

Finger, Marcelo. editor.

(1)

Fraser, Roydon Andrew. author.

(1)

Freivalds, Rūsiņš Mārtiņš. editor.

(1)

Garbinato, Benoît. editor.

(1)

Garcia-Alfaro, Joaquin. editor.

(1)

Gavanelli, Marco. editor.

(1)

Gavrilova, Marina L. editor.

(1)

Geeraerts, Gilles. editor.

(1)

Gerdt, Vladimir P. editor.

(1)

Ghose, Debasish. author.

(1)

Ghosh, Sujata. editor.

(1)

Gopal, T.V. editor.

(1)

Greenberg, Noam. editor.

(1)

Greuel, Gert-Martin. editor.

(1)

Grimme, Christian. editor.

(1)

Göbel, Susanne. author.

(1)

Hague, Matthew. editor.

(1)

Han, Yanbo. editor.

(1)

Han, Yo-Sub. editor.

(1)

Hankin, Chris. editor.

(1)

Hansen, René Rydhof. editor.

(1)

He, Kun. editor.

(1)

Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X

(1)

Herrera, Francisco. author.

(1)

Hinchey, Mike. editor.

(1)

Hirvonen, Åsa. editor.

(1)

Hoos, Holger H.

(1)

Horiyama, Takashi. editor.

(1)

Hromkovič, Juraj. editor.

(1)

Hubbard, Steve. author.

(1)

Jajodia, Sushil. editor. (orcid)0000-0003-3210-558X

(1)

Janoušek, Jan. editor.

(1)

Jans, Mieke. editor. (orcid)0000-0002-9171-2403

(1)

Jin, Yaochu. editor.

(1)

Johnsen, Einar Broch. editor.

(1)

Jung, Jason J. editor.

(1)

Jäger, Gerhard. editor.

(1)

Jȩdrzejowicz, Joanna. editor.

(1)

Kahsai, Temesghen. editor.

(1)

Kaipa, Krishnanand N. author.

(1)

Kasim-Zade, Oktay M. editor.

(1)

Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926

(1)

Kawarabayashi, Ken-ichi. editor.

(1)

Kececioglu, John. author.

(1)

Khoussainov, Bakhadyr. editor.

(1)

Kim, Pankoo. editor.

(1)

Klamroth, Kathrin. editor.

(1)

Klasing, Ralf. editor.

(1)

Kleijn, Jetty. editor.

(1)

Koch, Thorsten. editor.

(1)

Koepf, Wolfram. editor.

(1)

Kordy, Barbara. editor.

(1)

Kotthoff, Lars. editor.

(1)

Koutny, Maciej. editor. (orcid)0000-0003-4563-1378

(1)

Kovács, Laura. editor. (orcid)0000-0002-8299-2714

(1)

Kreveld, Marc van.

(1)

Královič, Rastislav. editor.

(1)

Královič, Richard. editor.

(1)

Kulikov, Alexander S. editor.

(1)

Kumar, Akhil. editor.

(1)

Kučera, Antonín. editor.

(1)

Kučera, Luděk. editor.

(1)

Kvasov, Dmitri E. editor.

(1)

Lanese, Ivan. editor. (orcid)0000-0003-2527-9995

(1)

Langerak, Rom. editor.

(1)

Larsen, Kim Guldstrand. editor.

(1)

Lee, Kent D. author.

(1)

Leporati, Alberto. editor. (orcid)0000-0002-8105-4371

(1)

Leroy, Julien. editor.

(1)

Li, Bo. editor. (orcid)0000-0001-7500-8355

(1)

Li, Lian. editor.

(1)

Ligges, Uwe, author.

(1)

Lluch Lafuente, Alberto. editor.

(1)

Lopez-Garcia, Pedro. editor. (orcid)0000-0002-1092-2071

(1)

Lowndes, Val. editor.

(1)

Luccio, Fabrizio. author.

(1)

Lumpe, Markus. editor.

(1)

Lupanov, Oleg B. editor.

(1)

Manea, Florin. editor.

(1)

Manea, Florin. editor. (orcid)0000-0001-6094-3324

(1)

Marrella, Andrea. editor. (orcid)0000-0002-1031-0374

(1)

Martín-Vide, Carlos. editor.

(1)

Martínez Pérez, Gregorio. editor. (orcid)0000-0001-5532-6604

(1)

Mauw, Sjouke. editor.

(1)

Mehta, Dinesh P.

(1)

Melnikov, Alexander. editor.

(1)

Mersmann, Olaf, author.

(1)

Merz, Stephan. editor.

(1)

Minas, Mark. editor.

(1)

Minato, Shin-ichi. editor.

(1)

Nijssen, Siegfried. editor.

(1)

Nunkesser, Marc. editor.

(1)

O'Sullivan, Barry. editor.

(1)

Ochmański, Edward. editor.

(1)

Oitavem, Isabel. editor. (orcid)0000-0002-3573-9281

(1)

Omodeo, Eugenio G. author.

(1)

Ono, Hirotaka. editor.

(1)

Papadopoulos, Yiannis. editor.

(1)

Patra, Arpita. editor.

(1)

Pavel, Lacra. author.

(1)

Pedreschi, Dino. editor.

(1)

Penczek, Wojciech. editor.

(1)

Petit, Franck. editor.

(1)

Tümünü genişlet

Dil

(121)

Yayın Yılı

-

(41)

(35)

(12)

(10)

(5)

(3)

(2)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

Computer science.

(73)

Computer Science Logic and Foundations of Programming.

(57)

Software engineering.

(43)

Computer science -- Mathematics.

(41)

Formal Languages and Automata Theory.

(40)

Machine theory.

(40)

Artificial intelligence.

(34)

Computer networks .

(28)

Computer Communication Networks.

(26)

Theory of Computation.

(26)

Discrete mathematics.

(25)

Discrete Mathematics in Computer Science.

(24)

Compilers (Computer programs).

(20)

Compilers and Interpreters.

(20)

Application software.

(15)

Computer and Information Systems Applications.

(15)

Mathematics of Computing.

(15)

Design and Analysis of Algorithms.

(13)

Computer programming.

(11)

Programming Techniques.

(11)

Computer Modelling.

(9)

Computer simulation.

(9)

Computer software.

(9)

Computational complexity.

(8)

Computers and Education.

(8)

Data structures (Computer science).

(8)

Education -- Data processing.

(8)

Signal processing.

(8)

Signal, Speech and Image Processing.

(8)

(7)

(7)

Data and Information Security.

(7)

Data encryption (Computer science).

(7)

Data protection.

(7)

Artificial intelligence -- Data processing.

(6)

(6)

Electronic data processing -- Management.

(6)

(6)

Information Storage and Retrieval.

(6)

Information storage and retrieval systems.

(6)

(6)

Numerical analysis.

(6)

Computer Engineering and Networks.

(5)

Computer engineering.

(5)

Computer vision.

(5)

Information theory.

(5)

(5)

Telecommunication.

(5)

Automated Pattern Recognition.

(4)

Distribution (Probability theory).

(4)

Machine learning.

(4)

Pattern recognition systems.

(4)

Data Mining and Knowledge Discovery.

(3)

Data Structures and Information Theory.

(3)

(3)

Electronic digital computers -- Evaluation.

(3)

Engineering mathematics.

(3)

(3)

Mathematical logic.

(3)

System Performance and Evaluation.

(3)

Applications of Mathematics.

(2)

Computational intelligence.

(2)

Computer Application in Administrative Data Processing.

(2)

Computer network architectures.

(2)

Computer science—Mathematics.

(2)

Computers, Special purpose.

(2)

Database management.

(2)

Information technology -- Management.

(2)

Mathematical Logic and Foundations.

(2)

Mathematical optimization.

(2)

Natural Language Processing (NLP).

(2)

Natural language processing (Computer science).

(2)

Python (Computer program language).

(2)

(2)

Quantum Computing.

(2)

Quantum computers.

(2)

Special Purpose and Application-Based Systems.

(2)

Symbolic and Algebraic Manipulation.

(2)

Systems theory.

(2)

Algebra -- Data processing.

(1)

(1)

(1)

(1)

Bioinformatics.

(1)

Biometric identification.

(1)

(1)

(1)

Coding and Information Theory.

(1)

(1)

Combinatorial analysis.

(1)

Computational Science and Engineering.

(1)

Computational and Systems Biology.

(1)

Computational intelligence

(1)

Computer graphics.

(1)

Computer networks -- Mathematical models

(1)

Computer networks -- Mathematical models.

(1)

(1)

Culture -- Mathematical models

(1)

Culture -- Mathematical models.

(1)

Discrete Optimization.

(1)

Discrete groups.

(1)

Electronic Circuits and Systems.

(1)

Electronic books.

(1)

Electronic circuits.

(1)

Electronic commerce.

(1)

Emotional Intelligence

(1)

Geographic information systems.

(1)

(1)

Integrated circuit layout -- Data processing -- Handbooks, manuals, etc.

(1)

Integrated circuit layout -- Mathematics -- Handbooks, manuals, etc.

(1)

Integrated circuits -- Very large scale integration -- Design and construction -- Data processing -- Handbooks, manuals, etc.

(1)

Intelligence informatique.

(1)

Intelligence sociale.

(1)

(1)

Logic programming.

(1)

Logic, Symbolic and mathematical.

(1)

MATHEMATICS -- Applied.

(1)

MATHEMATICS -- Probability & Statistics -- General.

(1)

Mathematical Applications in Computer Science.

(1)

Mathematical Software.

(1)

Mathematical statistics.

(1)

Mathematics -- Data processing.

(1)

Models of Computation.

(1)

Operations Research and Decision Theory.

(1)

Operations research.

(1)

Probability and Statistics in Computer Science.

(1)

(1)

(1)

(1)

Queuing theory.

(1)

Réseaux d'ordinateurs -- Modèles mathématiques.

(1)

Social intelligence

(1)

Social intelligence.

(1)

Social systems -- Mathematical models

(1)

Social systems -- Mathematical models.

(1)

Software Engineering/Programming and Operating Systems.

(1)

Statistics -- Data processing.

(1)

Stochastic programming.

(1)

Systèmes sociaux -- Modèles mathématiques.

(1)

The Computing Profession.

(1)

Theory and Algorithms for Application Domains.

(1)

Théorie des files d'attente.

(1)

e-Commerce and e-Business.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Beytepe Genel Koleksiyon

CRC Ekitapları

Elektronik Kütüphane

Wiley E-Kitap Koleksiyonu

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

121 sonuç bulundu

Arama sonuçlarına abone ol

1 .. 3 4 5 6 7 .. 11

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.

49.

Fundamentals of Software Engineering 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers için kapak resmi

Fundamentals of Software Engineering 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers

Fundamentals of Software Engineering 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers

Yazar

Dastani, Mehdi. editor. Sirjani, Marjan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-68972-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

50.

Transactions on Petri Nets and Other Models of Concurrency XII için kapak resmi

Transactions on Petri Nets and Other Models of Concurrency XII

Transactions on Petri Nets and Other Models of Concurrency XII

Yazar

Koutny, Maciej. editor. (orcid)0000-0003-4563-1378 Kleijn, Jetty. editor. Penczek, Wojciech. editor. Zhang, Mingmin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

51.

Computer Algebra in Scientific Computing 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings için kapak resmi

Computer Algebra in Scientific Computing 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings

Computer Algebra in Scientific Computing 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings

Yazar

Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-66320-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

52.

Business Process Management 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings için kapak resmi

Business Process Management 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings

Business Process Management 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings

Yazar

Carmona, Josep. editor. Engels, Gregor. editor. Kumar, Akhil. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-65000-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

53.

SOFSEM 2017: Theory and Practice of Computer Science 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings için kapak resmi

SOFSEM 2017: Theory and Practice of Computer Science 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings

SOFSEM 2017: Theory and Practice of Computer Science 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings

Yazar

Steffen, Bernhard. editor. Baier, Christel. editor. van den Brand, Mark. editor. Eder, Johann. editor. Hinchey, Mike. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

54.

NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings için kapak resmi

NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

Yazar

Barrett, Clark. editor. Davies, Misty. editor. Kahsai, Temesghen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

55.

Networked Systems 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings için kapak resmi

Networked Systems 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings

Networked Systems 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings

Yazar

El Abbadi, Amr. editor. (orcid)0000-0003-4692-3268 Garbinato, Benoît. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-59647-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

56.

Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I için kapak resmi

Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I

Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I

Yazar

Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-54577-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

57.

Descriptional Complexity of Formal Systems 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings için kapak resmi

Descriptional Complexity of Formal Systems 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings

Descriptional Complexity of Formal Systems 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings

Yazar

Pighizzini, Giovanni. editor. Câmpeanu, Cezar. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-60252-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

58.

Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings için kapak resmi

Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings

Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings

Yazar

Abate, Alessandro. editor. Geeraerts, Gilles. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-65765-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

59.

ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday için kapak resmi

ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

Yazar

Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Langerak, Rom. editor. Rensink, Arend. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

60.

Cyber Physical Systems. Design, Modeling, and Evaluation 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers için kapak resmi

Cyber Physical Systems. Design, Modeling, and Evaluation 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers

Cyber Physical Systems. Design, Modeling, and Evaluation 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers

Yazar

Berger, Christian. editor. Mousavi, Mohammad Reza. editor. Wisniewski, Rafael. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-51738-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 .. 3 4 5 6 7 .. 11

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11