Search Results for Design.

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Subject: Computational complexity.

Author

SpringerLink (Online service)

(117)

Rozenberg, Grzegorz. editor.

(5)

Ehrig, Hartmut. editor.

(4)

Fomin, Fedor V. editor.

(3)

Queiroz, Ruy. editor.

(3)

Schürr, Andy. editor.

(3)

Chen, Jianer. editor.

(2)

Corradini, Andrea. editor.

(2)

Du, Ding-Zhu. editor.

(2)

Gausemeier, Jürgen. editor.

(2)

Ibarra, Oscar H. editor.

(2)

Karhumäki, Juhani. editor.

(2)

Khurshid, Sarfraz. editor.

(2)

Kreowski, Hans-Jörg. editor.

(2)

Krob, Daniel. editor.

(2)

Kučera, Antonín. editor.

(2)

Lepistö, Arto. editor.

(2)

Lodaya, Kamal. editor.

(2)

Lyche, Tom. editor.

(2)

Löwe, Benedikt. editor.

(2)

Montanari, Ugo. editor.

(2)

Rammig, Franz Josef. editor.

(2)

Reeves, Steve. editor.

(2)

Schäfer, Wilhelm. editor.

(2)

Taentzer, Gabriele. editor.

(2)

Thomas, Wolfgang. editor.

(2)

Ablayev, Farid. editor.

(1)

Albers, Susanne. editor.

(1)

Albert Alexander, S., author.

(1)

Albert, Elvira. editor.

(1)

Alt, Helmut. editor.

(1)

Arun-Kumar, S. editor.

(1)

Arvind, V. editor.

(1)

Atallah, Mikhail J.

(1)

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

(1)

Beklemishev, Lev D. editor.

(1)

(1)

Berghammer, Rudolf. editor.

(1)

Berghofer, Stefan. editor.

(1)

Bezhanishvili, Nick. editor.

(1)

Blanton, Marina.

(1)

Blecken, Alexander. editor.

(1)

Bodlaender, Hans L. editor.

(1)

Boissonnat, Jean-Daniel. editor.

(1)

Bonanno, Giacomo. editor.

(1)

Bonizzoni, Paola. editor.

(1)

Bonjour, Eric. editor.

(1)

Bornstein, Claudson. editor.

(1)

Bouchou-Markhoff, Béatrice. editor.

(1)

Bozapalidis, Symeon. editor.

(1)

Brattka, Vasco. editor.

(1)

Broersen, Jan. editor.

(1)

Bulatov, Andrei A. editor.

(1)

Buss, Eduard. editor. (orcid)0000-0001-6993-5873

(1)

Cabalar, Pedro. editor.

(1)

Calude, Cristian S. editor.

(1)

Calude, Elena. editor.

(1)

Cardin, Michel Alexandre. editor.

(1)

Caron, Pascal. editor.

(1)

Champarnaud, Jean-Marc. editor.

(1)

Charatonik, Witold. editor.

(1)

Chen, Danny Z. editor.

(1)

Chenin, Patrick. editor.

(1)

Cohen, Albert. editor.

(1)

Cooper, Martin, 1910-1986 author.

(1)

Cooper, S. Barry. editor.

(1)

Coppo, Mario. editor.

(1)

Correa, José R. editor.

(1)

Cîrstea, Corina. editor.

(1)

Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X

(1)

Dang, Zhe. editor.

(1)

Dangelmaier, Wilhelm. editor.

(1)

Dawar, Anuj. editor.

(1)

Delgrande, James P. editor.

(1)

Delius, Robin. editor.

(1)

Derrick, John. editor.

(1)

Dinneen, Michael J. editor.

(1)

Ditmarsch, Hans. editor.

(1)

Dix, Jürgen. editor.

(1)

Domaratzki, Michael. editor.

(1)

Dong, Yingfei. editor.

(1)

Dorigo, Marco. editor. (orcid)0000-0002-3971-0507

(1)

Downey, Rod. editor.

(1)

Durand, Bruno. editor.

(1)

Dæhlen, Morten. editor.

(1)

Düntsch, Ivo. editor.

(1)

Ebert, Christian. editor.

(1)

Elgesem, Dag. editor.

(1)

Engels, Gregor. editor.

(1)

Erdem, Esra. editor.

(1)

Even, Guy. editor.

(1)

Faber, Wolfgang. editor.

(1)

Faria, Luerbio. editor.

(1)

Felice, Clelia. editor.

(1)

Fiala, Jiří. editor.

(1)

Fitzgerald, John. editor.

(1)

Floater, Michael. editor.

(1)

Franceschinis, Giuliana. editor.

(1)

Frappier, Marc. editor.

(1)

G, H J. editor.

(1)

Galmiche, Didier. editor.

(1)

Gao, Yuan. editor.

(1)

Garg, Naveen. editor.

(1)

Gibbons, Jeremy. editor.

(1)

Giesl, Jürgen. editor.

(1)

Glässer, Uwe. editor.

(1)

Gnesi, Stefania. editor.

(1)

Goldreich, Oded. editor. (orcid)0000-0002-4329-135X

(1)

Goranko, Valentin. editor.

(1)

Gout, Christian. editor.

(1)

Governatori, Guido. editor.

(1)

Griffin, Timothy G. editor.

(1)

Grossi, Davide. editor.

(1)

Gębala, Maciej. editor.

(1)

Hamann, Heiko. editor. (orcid)0000-0002-2458-8289

(1)

Harju, Tero. editor.

(1)

Hartmann, Sven. editor.

(1)

Hasselmann, Ken. editor. (orcid)0000-0002-8196-9889

(1)

Hastings, Daniel. editor.

(1)

He, Xiangdong. editor.

(1)

Heckel, Reiko. editor.

(1)

Hegner, Stephen J. editor.

(1)

Hevia, Alejandro. editor.

(1)

Hirsch, Edward A. editor.

(1)

Hliněný, Petr. editor.

(1)

Hoek, Wiebe. editor.

(1)

Horty, John. editor.

(1)

HromkoviČ, Juraj. author.

(1)

Huang, Huaxin. editor.

(1)

Hähnle, Reiner. editor.

(1)

Ibarra, Oscar. editor.

(1)

Inuiguchi, Masahiro. editor.

(1)

Jackson, Peter. editor.

(1)

Jaoua, Ali Mohamed. editor.

(1)

Jasmine, Mary, author.

(1)

Ju, Shier. editor.

(1)

Judd, J. Stephen.

(1)

Jurgensen, Helmut. editor.

(1)

Jäger, Gerhard. editor.

(1)

Jȩdrzejowicz, Joanna. editor.

(1)

Kahl, Wolfram. editor.

(1)

Kaiser, Tanja Katharina. editor. (orcid)0000-0002-1700-5508

(1)

Kern-Isberner, Gabriele. editor.

(1)

Khomenko, Victor. editor.

(1)

Kiwi, Marcos. editor.

(1)

Klette, Reinhard. author.

(1)

Klin, Bartek. editor.

(1)

Klöpfer, Stefan. editor.

(1)

Kolman, Petr. editor.

(1)

Konstantinidis, Stavros. editor.

(1)

Kratochvíl, Jan. editor.

(1)

Královič, Rastislav. editor.

(1)

Kuckling, Jonas. editor. (orcid)0000-0003-2391-2275

(1)

Kulikov, Alexander. editor.

(1)

Kurz, Alexander. editor.

(1)

Kutyłowski, Mirosław. editor.

(1)

Kučera, Luděk. editor.

(1)

Laber, Eduardo Sany. editor.

(1)

Laleau, Régine. editor.

(1)

Lang, Jérôme. editor.

(1)

Larchey-Wendling, Dominique. editor.

(1)

Lee, Der-Tsai. editor.

(1)

Lee, Kun-Pyo. editor.

(1)

Lenisa, Marina. editor.

(1)

Leporati, Alberto. editor.

(1)

Lerner, Jürgen. editor.

(1)

Leuschel, Michael. editor.

(1)

Li, Angsheng. editor.

(1)

Li, Fajie. author.

(1)

Li, Qing. author.

(1)

Li, Yuanzhe. author.

(1)

Lim, Chee-Peng. editor.

(1)

Lin, Fangzhen. editor.

(1)

Link, Sebastian. editor.

(1)

Lodi, Elena. editor.

(1)

Lu, Hanlin. editor.

(1)

Lui, Pao Chuen. editor.

(1)

Lukasiewicz, Thomas. editor.

(1)

Ma, Xiao. author. (orcid)0000-0001-5742-8890

(1)

MacCaull, Wendy. editor.

(1)

Mahajan, Meena. editor.

(1)

(1)

Marx, Dániel. editor.

(1)

Maurel, Denis. editor.

(1)

Mauri, Giancarlo. editor.

(1)

Mayr, Ernst W. editor.

(1)

Mazure, Marie-Laurence. editor.

(1)

Merrien, Jean-Louis. editor.

(1)

Michaelis, Jens. editor.

(1)

Milano, Michela. editor.

(1)

Moller, Faron. author.

(1)

Moser, Hubert Anton. author.

(1)

Muntean, Traian. editor.

(1)

Murlak, Filip. editor.

(1)

Möller, Bernhard. editor.

(1)

Mørken, Knut. editor.

(1)

Nagl, Manfred. editor.

(1)

Nakahara Jr., Jorge. author.

(1)

Narukawa, Yasuo. editor.

(1)

Nipkow, Tobias. editor.

(1)

Language

(124)

Publication Date

-

(18)

(16)

(15)

(14)

(12)

(9)

(8)

(7)

(5)

(5)

(4)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

Subject

Computer science.

(104)

(96)

Computer software.

(61)

Artificial intelligence.

(27)

Software engineering.

(24)

Data structures (Computer science).

(21)

Algebra -- Data processing.

(19)

(13)

Discrete Mathematics in Computer Science.

(12)

Logics and Meanings of Programs.

(12)

Information theory.

(11)

Electronic data processing.

(10)

Mathematical Logic and Formal Languages.

(10)

Computer aided design.

(6)

Logic, Symbolic and mathematical.

(6)

Algorithm Analysis and Problem Complexity.

(5)

Artificial Intelligence (incl. Robotics).

(5)

Computation by Abstract Devices.

(5)

Computer simulation.

(5)

Computer vision.

(5)

Computer algorithms.

(4)

Computer graphics.

(4)

Data structures (Computer scienc.

(4)

Engineering design.

(4)

Design and Analysis of Algorithms.

(3)

Programming Techniques.

(3)

Computational Mathematics and Numerical Analysis.

(2)

Computer Communication Networks.

(2)

Database management.

(2)

Math Applications in Computer Science.

(2)

Mathematical Logic and Foundations.

(2)

Mathematics -- Data processing.

(2)

(2)

Symbolic and Algebraic Manipulation.

(2)

Theory of Computation.

(2)

Aerospace engineering.

(1)

(1)

Business logistics.

(1)

COMPUTERS / Computer Engineering

(1)

COMPUTERS / Expert Systems

(1)

COMPUTERS / Programming / Algorithms.

(1)

COMPUTERS / Programming / Systems Analysis & Design

(1)

Circuits intégrés -- Conception assistée par ordinateur.

(1)

Cloud Computing.

(1)

(1)

Cognitive psychology.

(1)

(1)

Complex organizations.

(1)

Complexité de calcul (Informatique)

(1)

Computational complexity

(1)

Computational intelligence.

(1)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(1)

Computer Networks.

(1)

Computer industry.

(1)

Computer science -- Mathematics.

(1)

Computer security.

(1)

Computer system performance.

(1)

(1)

Control engineering.

(1)

(1)

Discrete groups.

(1)

Electronic books.

(1)

Electronic digital computers -- Evaluation.

(1)

Industrial engineering.

(1)

Industrial psychology.

(1)

Information storage and retrieval systems.

(1)

Information systems.

(1)

Integrated circuits -- Computer-aided design

(1)

Integrated circuits -- Computer-aided design.

(1)

MATHEMATICS / Arithmetic

(1)

MATHEMATICS / General

(1)

Machine-learning.

(1)

Management information systems.

(1)

(1)

Mathematics of Computing.

(1)

(1)

Mobile computing.

(1)

Models of Computation.

(1)

Natural language processing (Computer science).

(1)

Neural computers.

(1)

Neurale netwerken.

(1)

(1)

Numeric Computing.

(1)

Operating systems (Computers).

(1)

Operations research.

(1)

Optical pattern recognition.

(1)

(1)

Organizational behavior.

(1)

(1)

Problem solving -- Data processing.

(1)

Production engineering.

(1)

Programming Languages, Compilers, Interpreters.

(1)

(1)

System Performance and Evaluation.

(1)

Systems engineering.

(1)

TECHNOLOGY & ENGINEERING -- Electronics -- Circuits -- General.

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Material Type

Shelf Location

Beytepe General Collection

Electronic Library

Taylor Francis E-Book Collection

Wiley E-Book Collection

Library

Beytepe Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

124 Results Found

Subscribe to search results

1 2 3 4 5 .. 11

000000000000DEFAULT

Print

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

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

13.

Cover image for Principle of Petri Nets

Principle of Petri Nets

Principle of Petri Nets

Author

Yuan, Chongyi. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-7336-7

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for 5G Edge Computing Technologies, Applications and Future Visions

5G Edge Computing Technologies, Applications and Future Visions

5G Edge Computing Technologies, Applications and Future Visions

Author

Ma, Xiao. author. (orcid)0000-0001-5742-8890 Xu, Mengwei. author. Li, Qing. author. Li, Yuanzhe. author. Zhou, Ao. author.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-0213-8

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for Swarm Intelligence 14th International Conference, ANTS 2024, Konstanz, Germany, October 9-11, 2024, Proceedings

Swarm Intelligence 14th International Conference, ANTS 2024, Konstanz, Germany, October 9-11, 2024, Proceedings

Swarm Intelligence 14th International Conference, ANTS 2024, Konstanz, Germany, October 9-11, 2024, Proceedings

Author

Hamann, Heiko. editor. (orcid)0000-0002-2458-8289 Dorigo, Marco. editor. (orcid)0000-0002-3971-0507 Pérez Cáceres, Leslie. editor. (orcid)0000-0001-5553-6150 Reina, Andreagiovanni. editor. (orcid)0000-0003-4745-992X Kuckling, Jonas. editor. (orcid)0000-0003-2391-2275

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-70932-6

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Toward solving complex human problems : techniques for increasing our understanding of what matters in doing so

Toward solving complex human problems : techniques for increasing our understanding of what matters in doing so

Toward solving complex human problems : techniques for increasing our understanding of what matters in doing so

Author

White, Brian E., author.

Preferred Shelf Number

HM711 .W45 2020 EB

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003120988
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for CAD of circuits and integrated systems

CAD of circuits and integrated systems

CAD of circuits and integrated systems

Author

Mahdoum, Ali.

Preferred Shelf Number

TK7874

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119751595

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for 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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Computer Science – Theory and Applications 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings

Computer Science – Theory and Applications 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings

Computer Science – Theory and Applications 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings

Author

Fomin, Fedor V. editor. Podolskii, Vladimir V. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings

Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings

Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings

Author

Khomenko, Victor. editor. Roux, Olivier H. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for Descriptional Complexity of Formal Systems 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018, Proceedings

Descriptional Complexity of Formal Systems 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018, Proceedings

Descriptional Complexity of Formal Systems 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018, Proceedings

Author

Konstantinidis, Stavros. editor. Pighizzini, Giovanni. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

22.

Cover image for Systems Engineering, Systems Thinking, and Learning A Case Study in Space Industry

Systems Engineering, Systems Thinking, and Learning A Case Study in Space Industry

Systems Engineering, Systems Thinking, and Learning A Case Study in Space Industry

Author

Moser, Hubert Anton. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for Dependability of Self-Optimizing Mechatronic Systems

Dependability of Self-Optimizing Mechatronic Systems

Dependability of Self-Optimizing Mechatronic Systems

Author

Gausemeier, Jürgen. editor. Rammig, Franz Josef. editor. Schäfer, Wilhelm. editor. Sextro, Walter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-642-53742-4

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for Industrial Applications of Affective Engineering

Industrial Applications of Affective Engineering

Industrial Applications of Affective Engineering

Author

Watada, Junzo. editor. Shiizuka, Hisao. editor. Lee, Kun-Pyo. editor. Otani, Tsuyoshi. editor. Lim, Chee-Peng. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 .. 11

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11