Sökt på: Böcker av Esparza Javier
totalt 25 träffar
Matematik Origo 3b/3c vux Lösningshäfte
Till varje elevbok i Matematik Origo vux-serien finns ett lösningshäfte med fullständiga lösningar till bokens uppgifter. För de allra flesta kräver matematikstudierna mycket …
Sobre la familia realidades y representaciones sociales y culturales
La familia hist ricamente ha sido una instituci n social determinante para el desarrollo de las comunidades y la cultura en general. Sin embargo, y a pesar de constituir una …
Automata Theory
Finite and Algorithmic Model Theory
Intended for researchers and graduate students in theoretical computer science and mathematical logic, this volume contains accessible surveys by leading researchers from areas of …
Free Choice Petri Nets
Petri nets are a popular and powerful formal model for the analysis and modelling of concurrent systems, and a rich theory has developed around them. Petri nets are taught to …
Automated Technology for Verification and Analysis
This book constitutes the refereed proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis, ATVA 2019, held in Taipei, Taiwan in …
Foundations of Software Science and Computation Structures
This book constitutes the proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2017, which took place in Uppsala, …
Automata, Languages, and Programming
This two-volume set of LNCS 8572 and LNCS 8573 constitutes the refereed proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP 2014, held in …
Finite and Algorithmic Model Theory
Intended for researchers and graduate students in theoretical computer science and mathematical logic, this volume contains accessible surveys by leading researchers from areas of …
Application and Theory of Petri Nets 2002
Unfoldings
Model checking is a prominent technique used in the hardware and software industries for automatic verification. While it is very successful in finding subtle bugs in distributed …
Automata, Languages, and Programming
This two-volume set of LNCS 8572 and LNCS 8573 constitutes the refereed proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP 2014, held in …