مرحباً!

Computer system performance.

نوع المادة: كتاب

الموضوعات

Logic design.

Software engineering.

Artificial intelligence.

Computer industry.

Computational complexity.

Logics and Meanings of Programs.

Software Engineering/Programming and Operating Systems.

Artificial Intelligence.

System Performance and Evaluation.

The Computing Profession.

Discrete Mathematics in Computer Science.

التصنيف:

برمجة الحاسوب ،البرامج و البيانات

المطبوعات والمسلسلات

المصادر: Springer books

اللغة: الإنجليزية

التاريخ: 2018

ردمك: 9783319893662

XV, 583 p. 75 illus.

online resource.

ملف خارجي

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference TACAS 2019 Held as Part of the European Joint Conferences on Theory and Practice of Software ETAPS 2019 Prague Czech Republic April 611 2019 Proceedings Part I

الناشر: springer international publishing

Computer system performance.

نوع المادة: كتاب

الموضوعات

Logic design.

Computer science.

Software engineering.

Artificial intelligence.

Computer industry.

Logics and Meanings of Programs.

Mathematical Logic and Formal Languages.

Software Engineering/Programming and Operating Systems.

Artificial Intelligence.

System Performance and Evaluation.

The Computing Profession.

التصنيف:

برمجة الحاسوب ،البرامج و البيانات

المطبوعات والمسلسلات

المصادر: Springer books

اللغة: الإنجليزية

التاريخ: 2019

ردمك: 9783030174620

XXIII, 433 p. 1251 illus., 61 illus. in color.

online resource.

ملف خارجي

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference TACAS 2019 Held as Part of the European Joint Conferences on Theory and Practice of Software ETAPS 2019 Prague Czech Republic April 611 2019 Proceedings Part II

الناشر: springer international publishing

Logics and Meanings of Programs.

نوع المادة: كتاب

الموضوعات

Logic design.

Software engineering.

Computer science.

Computer software.

Artificial intelligence.

Computer logic.

Software Engineering/Programming and Operating Systems.

Mathematical Logic and Formal Languages.

Algorithm Analysis and Problem Complexity.

Logic Design.

Logic in AI.

التصنيف:

برمجة الحاسوب ،البرامج و البيانات

المطبوعات والمسلسلات

المصادر: Springer books

اللغة: الإنجليزية

التاريخ: 2019

ردمك: 9783030174651

XXIII, 413 p. 552 illus., 55 illus. in color.

online resource.

ملف خارجي

Finding the Limits of the Limes Modelling Demography Economy and Transport on the Edge of the Roman Empire

الناشر: springer international publishing

Social sciences—Data processing.

نوع المادة: كتاب

الموضوعات

Social sciences—Computer programs.

Archaeology.

Computer simulation.

Europe-History-To 476.

Social sciences, Data processing.

Computational Social Sciences.

Archaeology.

Simulation and Modeling.

History of Ancient Europe.

Computer Appl. in Social and Behavioral Sciences.

التصنيف:

العلوم الاجتماعية

المصادر: Springer books

اللغة: الإنجليزية

التاريخ: 2019

ردمك: 9783030045760

XVI, 337 p. 51 illus., 8 illus. in color.

online resource.

ملف خارجي

Springer Handbook of Condensed Matter and Materials Data

الناشر: springer berlin heidelberg

نوع المادة: تقرير

الموضوعات

Surfaces and Interfaces, Thin Films.

Metals.

Optical and Electronic Materials.

Optical materials.

Electronic materials.

Thin films.

Surfaces., Materials

Materials science.

Condensed Matter Physics.

Condensed matter.

Metallic Materials.

Characterization and Evaluation of Materials.

التصنيف:

الفيزيا

المصادر: Springer Protocols

اللغة: الإنجليزية

التاريخ: 2005

ردمك: 9783540304371

eReference.

online resource.

ملف خارجي

Handbook of Research and Practice in Heritage Language Education

الناشر: springer international publishing

Educational Policy and Politics.

نوع المادة: تقرير

الموضوعات

Educational sociology.

Education.

Language Education.

Applied Linguistics.

Sociology, Educational.

Education and sociology.

Language and education.

Sociology of Education.

Learning & Instruction.

التصنيف:

اللغات

المصادر: Springer Protocols

اللغة: الإنجليزية

التاريخ: 2018

ردمك: 9783319446943

42 illus., 35 illus. in color. eReference.

online resource.

ملف خارجي

Handbuch Bildungsforschung

الناشر: springer fachmedien wiesbaden

Early Childhood Education.

نوع المادة: تقرير

الموضوعات

Education and sociology.

School administration.

Administration, Organization and Leadership.

Sociology, Educational.

Educational sociology.

Teaching.

Higher Education.

Teaching and Teacher Education.

Higher education.

Education.

School management and organization.

Sociology of Education.

التصنيف:

العلوم الاجتماعية

المصادر: Springer Protocols

اللغة: الإنجليزية

التاريخ: 2018

ردمك: 9783531199818

XXIII, 1470 S. 44 Abb., 12 Abb. in Farbe.

online resource.

ملف خارجي

Polymer Blends Handbook

الناشر: springer netherlands

Characterization and Evaluation of Materials.

نوع المادة: تقرير

الموضوعات

Chemical engineering.

Physical chemistry.

Materials science.

Amorphous substances.

Physical Chemistry.

Chemistry.

Complex fluids.

Chemistry.

Polymers.

Industrial Chemistry/Chemical Engineering.

Soft and Granular Matter, Complex Fluids and Microfluidics.

Polymer Sciences.

التصنيف:

الكيمياء الفيزيائية والنظرية

الكيمياء

المصادر: Springer Protocols

اللغة: الإنجليزية

التاريخ: 2014

ردمك: 9789400760646

491 illus., 131 illus. in color. eReference.

online resource.

ملف خارجي

Soft Matter Characterization

الناشر: imprint springer

Biophysics and Biological Physics.

نوع المادة: تقرير

الموضوعات

Polymer Sciences.

Characterization and Evaluation of Materials.

Amorphous substances.

Materials science.

Biological physics.

Soft and Granular Matter, Complex Fluids and Microfluidics.

Nanotechnology.

التصنيف:

الفيزيا

المصادر: Springer Protocols

اللغة: الإنجليزية

التاريخ: 2008

ردمك: 9781402044656

eReference.

online resource.

ملف خارجي

Finding your way

المؤلف: Pucci, Linda Marinaccio.

الناشر: sage