Search Results for Logic Design.

|

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: Artificial intelligence.

Yazar

SpringerLink (Online service)

(358)

Voronkov, Andrei. editor.

(11)

Dix, Jürgen. editor.

(7)

Baldoni, Matteo. editor.

(6)

Dastani, Mehdi. editor.

(5)

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

(5)

Fages, François. editor.

(5)

Leite, João. editor.

(5)

Rossi, Francesca. editor.

(5)

Castillo, Oscar. editor.

(4)

Governatori, Guido. editor.

(4)

Melin, Patricia. editor.

(4)

Son, Tran Cao. editor.

(4)

Torroni, Paolo. editor.

(4)

Winikoff, Michael. editor.

(4)

Zeugmann, Thomas. editor.

(4)

Bordini, Rafael H. editor.

(3)

Calude, Cristian S. editor.

(3)

Dediu, Adrian-Horia. editor.

(3)

Fallah Seghrouchni, Amal. editor.

(3)

Fu, Haohuan. editor.

(3)

Hinchey, Mike. editor.

(3)

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

(3)

Lees, Michael Harold. editor.

(3)

Martín-Vide, Carlos. editor.

(3)

Mayr, Heinrich C. editor.

(3)

Métais, Elisabeth. editor.

(3)

Omicini, Andrea. editor.

(3)

Ossowski, Sascha. editor.

(3)

Riemsdijk, M. Birna. editor.

(3)

Rozenberg, Grzegorz. editor.

(3)

Sardina, Sebastian. editor.

(3)

Sebastiani, Roberto. editor.

(3)

Shi, Yong. editor.

(3)

Sichman, Jaime Simão. editor.

(3)

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

(3)

Tian, Yingjie. editor.

(3)

Torre, Leon. editor.

(3)

Vasconcelos, Wamberto. editor.

(3)

Woodcock, Jim. editor.

(3)

Allemang, Dean. editor.

(2)

Baader, Franz. editor.

(2)

Barthe, Gilles. editor.

(2)

Bjørner, Nikolaj. editor.

(2)

Boella, Guido. editor.

(2)

Boissier, Olivier. editor.

(2)

Bonacina, Maria Paola. editor.

(2)

Caro, Jaime. editor.

(2)

Chockler, Hana. editor. (orcid)0000-0003-1219-0713

(2)

Decker, Stefan. editor.

(2)

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

(2)

Dignum, Virginia. editor.

(2)

Eijk, Rogier M. editor.

(2)

Endriss, Ulle. editor.

(2)

Erdem, Esra. editor.

(2)

Ermolayev, Vadim. editor.

(2)

Etalle, Sandro. editor.

(2)

Fisher, Michael. editor.

(2)

Galmiche, Didier. editor.

(2)

Giesl, Jürgen. editor.

(2)

Gleizes, Marie-Pierre. editor.

(2)

Gomez-Sanz, Jorge J. editor.

(2)

Hagiya, Masami. editor.

(2)

Hill, Patricia M. editor.

(2)

Hähnle, Reiner. editor.

(2)

Johnson, Michael. editor.

(2)

Kacprzyk, Janusz. editor.

(2)

Karczewski, Konrad. editor.

(2)

Kim, Haeng-kon. editor.

(2)

Kim, Tai-hoon. editor.

(2)

Kiumi, Akingbehin. editor.

(2)

Kudenko, Daniel. editor.

(2)

König, Barbara. editor.

(2)

Luck, Michael. editor.

(2)

Margaria, Tiziana. editor.

(2)

Matson, Eric. editor.

(2)

Maynard, Diana. editor.

(2)

Małuszyński, Jan. editor.

(2)

Meseguer, José. editor.

(2)

Middeldorp, Aart. editor.

(2)

Mika, Peter. editor.

(2)

Miller, Dale. editor.

(2)

Mizoguchi, Riichiro. editor.

(2)

Moreno Díaz, Roberto. editor.

(2)

Müller, Jörg P. editor.

(2)

Niemelä, Ilkka. editor.

(2)

Nikitchenko, Mykola. editor.

(2)

Nishizaki, Shin-ya. editor.

(2)

Noriega, Pablo. editor.

(2)

Numao, Masayuki. editor.

(2)

Padget, Julian. editor.

(2)

Padgham, Lin. editor.

(2)

Panigrahi, Bijaya Ketan. editor.

(2)

Paulin-Mohring, Christine. editor.

(2)

Pfenning, Frank. editor.

(2)

Pichler, Franz. editor.

(2)

Pontelli, Enrico. editor.

(2)

Quesada Arencibia, Alexis. editor.

(2)

Rajamani, Sriram K. editor.

(2)

Sadananda, Ramakoti. editor.

(2)

Scholz, Sven-Bodo. editor.

(2)

Seki, Shinnosuke. editor.

(2)

Shankar, Natarajan. editor.

(2)

Shi, Zhongzhi. editor.

(2)

Sofronie-Stokkermans, Viorica. editor.

(2)

Spivakovsky, Aleksander. editor.

(2)

Steffen, Bernhard. editor.

(2)

Stephan, Frank. editor.

(2)

Suarez, Merlin Teodosia. editor.

(2)

Timmis, Jon. editor.

(2)

Veith, Helmut. editor.

(2)

Vidal, Germán. editor.

(2)

Vázquez-Salceda, Javier. editor.

(2)

Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X

(2)

Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786

(2)

Yli-Jyrä, Anssi. editor.

(2)

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

(2)

Zambonelli, Franco. editor.

(2)

Zholtkevych, Grygoriy. editor.

(2)

Ågotnes, Thomas. editor.

(2)

Abdulla, Parosh Aziz. editor.

(1)

Abe, Jair Minoro. author.

(1)

Aberer, Karl. editor.

(1)

Abreu, Salvador. editor. (orcid)0000-0002-1613-4631

(1)

Adeli, Hojjat. editor.

(1)

Ahmad, Badlishah. editor.

(1)

Akama, Seiki. author.

(1)

Alam, Sadaf. editor. (orcid)0000-0002-2534-5078

(1)

Albert, Elvira. editor.

(1)

Aldinucci, Marco. editor. (orcid)0000-0001-8788-0829

(1)

Aloni, Maria. editor.

(1)

Alonso, Eduardo. editor.

(1)

Alpuente, María. editor.

(1)

Altenkirch, Thorsten. editor.

(1)

Amgoud, Leila. author.

(1)

Andres, Frederic. editor.

(1)

Antonelli, Laura. editor.

(1)

Antoniou, Grigoris. editor.

(1)

Anutariya, Chutiporn. editor.

(1)

Armando, Alessandro. editor.

(1)

Aroyo, Lora M. editor.

(1)

Artemov, Sergei. editor.

(1)

Artikis, Alexander. editor.

(1)

Asada, Minoru. editor.

(1)

Austin, Todd. editor.

(1)

Avigad, Jeremy. editor.

(1)

Azevedo, Francisco. editor.

(1)

Aßmann, Uwe. editor.

(1)

B. Heras, Dora. editor.

(1)

Baier, Christel. editor. (orcid)0000-0002-5321-9343

(1)

Ball, Thomas. editor.

(1)

Banerjee, Mohua. editor.

(1)

Bansal, Jagdish Chand. editor.

(1)

Barahona, Pedro. editor.

(1)

Barley, Michael Wayne. editor.

(1)

Baroglio, Cristina. editor.

(1)

Bassiliades, Nick. editor. (orcid)0000-0001-6035-1038

(1)

Bastiaanse, Harald. editor.

(1)

Baumgartner, Peter. editor.

(1)

Beccuti, Marco. editor.

(1)

Beckert, Bernhard. editor.

(1)

Beek, Peter. editor.

(1)

Bellodi, Elena. editor. (orcid)0000-0002-3717-3779

(1)

Benhamou, Frédéric. editor.

(1)

Benjamins, V. Richard. editor.

(1)

Bentahar, Jamal. editor.

(1)

Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093

(1)

Berardi, Stefano. editor.

(1)

Berdine, Josh. editor.

(1)

Beringer, Lennart. editor.

(1)

Bertacco, Valeria. editor.

(1)

Bessière, Christian. editor.

(1)

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

(1)

Bezhanishvili, Nick. editor.

(1)

Bhattacharya, Alakananda. author.

(1)

Bi, Yuanguo. editor.

(1)

Biere, Armin. editor.

(1)

Birkedal, Lars. editor.

(1)

Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121

(1)

Black, Elizabeth. editor. (orcid)0000-0002-4295-449X

(1)

Blazy, Sandrine. editor.

(1)

Blume, Matthias. editor.

(1)

Bodik, Rastislav. editor.

(1)

Bolduc, Claude. editor.

(1)

Bombieri, Nicola. editor.

(1)

Borrione, Dominique. editor.

(1)

Botterweck, Goetz. editor.

(1)

Bouajjani, Ahmed. editor.

(1)

Brandt, Jens. editor.

(1)

Broersen, Jan. editor.

(1)

Bry, François. editor.

(1)

Brünnler, Kai. editor.

(1)

Bshouty, Nader H. editor.

(1)

Bui, The Duy. editor.

(1)

Butler, Michael. editor.

(1)

Butterfield, Andrew. editor.

(1)

Béchet, Denis. editor.

(1)

Cabalar, Pedro. editor.

(1)

Cai, Zhipeng. editor.

(1)

Campbell, John A. editor.

(1)

Tümünü genişlet

Dil

(361)

Yayın Yılı

-

(52)

(41)

(41)

(40)

(31)

(30)

(29)

(28)

(25)

(19)

(9)

(8)

(6)

(1)

(1)

Tümünü genişlet

Konu

(343)

Computer science.

(317)

Software engineering.

(193)

Computer Communication Networks.

(84)

Computer software.

(56)

Information systems.

(33)

Artificial Intelligence (incl. Robotics).

(31)

Logics and Meanings of Programs.

(31)

Algebra -- Data processing.

(25)

Computational complexity.

(24)

Mathematical Logic and Formal Languages.

(23)

Information storage and retrieval systems.

(18)

Computer network architectures.

(17)

Computational intelligence.

(14)

Computer simulation.

(14)

Information theory.

(13)

Operating systems (Computers).

(12)

Bioinformatics.

(10)

Computer vision.

(10)

Electronic data processing.

(10)

(9)

Logic, Symbolic and mathematical.

(8)

Programming Languages, Compilers, Interpreters.

(8)

Algorithm Analysis and Problem Complexity.

(7)

Computation by Abstract Devices.

(7)

Computer security.

(7)

Multimedia systems.

(7)

Programming Techniques.

(7)

Computer aided design.

(6)

Database management.

(6)

Translators (Computer programs).

(6)

Computer hardware.

(5)

Discrete Mathematics in Computer Science.

(5)

Optical pattern recognition.

(5)

Social sciences -- Data processing.

(5)

Computer organization.

(4)

Data protection.

(4)

Information Systems Applications (incl. Internet).

(4)

Signal processing.

(4)

Signal, Speech and Image Processing.

(4)

Computer Science, general.

(3)

Computer system performance.

(3)

Data structures (Computer science).

(3)

(3)

(3)

Information Storage and Retrieval.

(3)

Management information systems.

(3)

Text processing (Computer science.

(3)

(2)

(2)

(2)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(2)

Control engineering.

(2)

Control, Robotics, Automation.

(2)

Data Mining and Knowledge Discovery.

(2)

Data Structures and Information Theory.

(2)

Data structures (Computer scienc.

(2)

Engineering mathematics.

(2)

(2)

Monoclonal antibodies.

(2)

(2)

User Interfaces and Human Computer Interaction.

(2)

User interfaces (Computer systems).

(2)

Architecture, Computer.

(1)

Artificial Intelligence

(1)

BUSINESS & ECONOMICS / Insurance / Risk Assessment & Management

(1)

Business strategy

(1)

COMPUTERS -- General.

(1)

COMPUTERS / Internet / Online Safety & Privacy

(1)

COMPUTERS / Security / General

(1)

COMPUTERS / Security / Network Security

(1)

(1)

Causes & prevention of crime

(1)

Communications Engineering, Networks.

(1)

Computational Biology/Bioinformatics.

(1)

Computational linguistics.

(1)

Computer Appl. in Administrative Data Processing.

(1)

Computer Appl. in Social and Behavioral Sciences.

(1)

Computer architecture & logic design

(1)

Computer communication systems.

(1)

Computer graphics.

(1)

Computer industry.

(1)

Computer logic.

(1)

Computer networking & communications

(1)

Computer networks -- Security measures.

(1)

Computer programming.

(1)

Computer security

(1)

Computers and Education.

(1)

(1)

Criminology - legal aspects

(1)

Data encryption (Computer science).

(1)

Data transmission systems.

(1)

Discrete groups.

(1)

Document Preparation and Text Processing.

(1)

Electronic books.

(1)

Embedded Systems.

(1)

Embedded computer systems.

(1)

Evaluation -- Methodology

(1)

Evaluation -- Methodology.

(1)

Expert systems (Computer science)

(1)

History of Computing.

(1)

Human-computer interaction.

(1)

Industrial and Production Engineering.

(1)

Industrial engineering.

(1)

Information and Communication, Circuits.

(1)

Informatique douce.

(1)

Intelligence artificielle.

(1)

Internet of things.

(1)

Legal aspects of IT

(1)

Linguistics -- Philosophy.

(1)

(1)

Math Applications in Computer Science.

(1)

Mathematical Models of Cognitive Processes and Neural Networks.

(1)

Mathematical logic.

(1)

Mathematical optimization.

(1)

Mechanical engineering.

(1)

Medical records -- Data processing.

(1)

Memory management (Computer scie.

(1)

Mobile and Network Security.

(1)

Neural networks (Computer science) .

(1)

Operations research.

(1)

(1)

Pattern Recognition.

(1)

Philosophy (General).

(1)

(1)

Production engineering.

(1)

Programming languages (Electronic computers).

(1)

Project Management.

(1)

Science -- Philosophy.

(1)

Security services

(1)

Simulation and Modeling.

(1)

(1)

Soft computing.

(1)

Software Development & Engineering.

(1)

Sustainability.

(1)

Symbolic and Algebraic Manipulation.

(1)

Systems and Data Security.

(1)

Telecommunication.

(1)

Theory of Computation.

(1)

cybersecurity;threat intelligence;risk assessment;artificial intelligence

(1)

Évaluation -- Méthodologie.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Elektronik Kütüphane

Taylor Francis E-Kitap Koleksiyonu

Wiley E-Kitap Koleksiyonu

Kütüphane

Ç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

361 sonuç bulundu

Arama sonuçlarına abone ol

1 .. 3 4 5 6 7 .. 31

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.

Reversible Computation 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings için kapak resmi

Reversible Computation 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings

Reversible Computation 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings

Yazar

Kari, Jarkko. editor. (orcid)0000-0003-0670-6138 Ulidowski, Irek. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-99498-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings için kapak resmi

Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings

Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings

Yazar

Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Ricca, Francesco. editor. Parent, Xavier. editor. Roman, Dumitru. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-99906-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Scalable Uncertainty Management 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings için kapak resmi

Scalable Uncertainty Management 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings

Scalable Uncertainty Management 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings

Yazar

Ciucci, Davide. editor. (orcid)0000-0002-8083-7809 Pasi, Gabriella. editor. (orcid)0000-0002-6080-8170 Vantaggi, Barbara. editor. (orcid)0000-0002-3651-3743 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-00461-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers için kapak resmi

Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers

Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers

Yazar

Seipel, Dietmar. editor. Hanus, Michael. editor. (orcid)0000-0002-4953-8202 Abreu, Salvador. editor. (orcid)0000-0002-1613-4631 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-00801-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

DNA Computing and Molecular Programming 24th International Conference, DNA 24, Jinan, China, October 8–12, 2018, Proceedings için kapak resmi

DNA Computing and Molecular Programming 24th International Conference, DNA 24, Jinan, China, October 8–12, 2018, Proceedings

DNA Computing and Molecular Programming 24th International Conference, DNA 24, Jinan, China, October 8–12, 2018, Proceedings

Yazar

Doty, David. editor. (orcid)0000-0002-3922-172X Dietz, Hendrik. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-00030-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers için kapak resmi

Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers

Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers

Yazar

Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948 Ober, Iulian. editor. Salaün, Gwen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I için kapak resmi

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Yazar

Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I için kapak resmi

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I

Yazar

Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-05051-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Network and Parallel Computing 15th IFIP WG 10.3 International Conference, NPC 2018, Muroran, Japan, November 29 – December 1, 2018, Proceedings için kapak resmi

Network and Parallel Computing 15th IFIP WG 10.3 International Conference, NPC 2018, Muroran, Japan, November 29 – December 1, 2018, Proceedings

Network and Parallel Computing 15th IFIP WG 10.3 International Conference, NPC 2018, Muroran, Japan, November 29 – December 1, 2018, Proceedings

Yazar

Zhang, Feng. editor. (orcid)0000-0003-1983-7321 Zhai, Jidong. editor. Snir, Marc. editor. Jin, Hai. editor. Kasahara, Hironori. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-05677-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Theoretical Aspects of Computing – ICTAC 2018 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings için kapak resmi

Theoretical Aspects of Computing – ICTAC 2018 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings

Theoretical Aspects of Computing – ICTAC 2018 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings

Yazar

Fischer, Bernd. editor. (orcid)0000-0002-1815-218X Uustalu, Tarmo. editor. (orcid)0000-0002-1297-0579 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-02508-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings için kapak resmi

Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings

Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings

Yazar

McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Horvath, Andras. editor. (orcid)0000-0002-8210-545X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings için kapak resmi

Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

Yazar

Baier, Christel. editor. (orcid)0000-0002-5321-9343 Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

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 .. 31

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11